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-fpga40_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 23407

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 07:04:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=478 boxname=wulflinc31 idbench=54 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 478
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        922660 kB
Buffers:         39512 kB
Cached:          50256 kB
SwapCached:        944 kB
Active:          74936 kB
Inactive:        17292 kB
HighTotal:      131008 kB
HighFree:        79688 kB
LowTotal:       903652 kB
LowFree:        842972 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             300 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14292 kB
Committed_AS:    63616 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 07:23:52 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 478 7 1175.05 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 2400 variables and 1720 constraints.
c After prepocess the problem consists of 2400 variables and 1720 constraints.
c preprocess terminated 5.886 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
Raw data (loadavg): 0.93 1.01 0.99 2/54 32468
Raw data (stat): 32468 (runsolver) R 32467 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 646813846 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.94 1.01 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 1914 0 0 0 987 8 0 0 25 0 1 0 646813846 11022336 1835 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2691 1835 1111 63 0 2628 0
vsize: 10764
[startup+20.0012 s]
Raw data (loadavg): 0.95 1.01 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2006 0 0 0 1986 9 0 0 25 0 1 0 646813846 11399168 1927 4294967295 134512640 134714508 3221221776 3221220344 1077378283 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2783 1927 1111 63 0 2720 0
vsize: 11132
[startup+30.0021 s]
Raw data (loadavg): 0.96 1.01 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2102 0 0 0 2984 12 0 0 25 0 1 0 646813846 11804672 2023 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2882 2023 1111 63 0 2819 0
vsize: 11528
[startup+40.0024 s]
Raw data (loadavg): 0.96 1.00 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2131 0 0 0 3981 14 0 0 25 0 1 0 646813846 11939840 2052 4294967295 134512640 134714508 3221221776 3221220336 134696580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2052 1111 63 0 2852 0
vsize: 11660
[startup+50.0034 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2154 0 0 0 4978 17 0 0 25 0 1 0 646813846 11939840 2075 4294967295 134512640 134714508 3221221776 3221220188 1077379936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2075 1111 63 0 2852 0
vsize: 11660
[startup+60.0029 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2186 0 0 0 5976 19 0 0 25 0 1 0 646813846 12075008 2107 4294967295 134512640 134714508 3221221776 3221220412 1076647540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2107 1111 63 0 2885 0
vsize: 11792
[startup+70.0042 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2206 0 0 0 6975 21 0 0 25 0 1 0 646813846 12193792 2127 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2977 2127 1111 63 0 2914 0
vsize: 11908
[startup+80.0047 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2276 0 0 0 7972 24 0 0 25 0 1 0 646813846 12455936 2197 4294967295 134512640 134714508 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3041 2197 1111 63 0 2978 0
vsize: 12164
[startup+90.0045 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2307 0 0 0 8970 26 0 0 25 0 1 0 646813846 12591104 2228 4294967295 134512640 134714508 3221221776 3221220336 134551992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3074 2228 1111 63 0 3011 0
vsize: 12296
[startup+100.004 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 32468
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2418 0 0 0 9968 29 0 0 25 0 1 0 646813846 13090816 2339 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3196 2339 1111 63 0 3133 0
vsize: 12784
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2563 0 0 0 10965 32 0 0 25 0 1 0 646813846 13623296 2484 4294967295 134512640 134714508 3221221776 3221220432 134523904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3326 2484 1111 63 0 3263 0
vsize: 13304
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2793 0 0 0 11963 33 0 0 25 0 1 0 646813846 14569472 2714 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3557 2714 1111 63 0 3494 0
vsize: 14228
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 2978 0 0 0 12962 34 0 0 25 0 1 0 646813846 15380480 2899 4294967295 134512640 134714508 3221221776 3221220520 134672929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3755 2899 1111 63 0 3692 0
vsize: 15020
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 13962 35 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 14961 36 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 15960 37 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220368 134543738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 16960 37 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 17959 39 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 18958 40 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 19956 42 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+210.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 20955 43 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+220.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 21955 44 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+230.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3035 0 0 0 22954 44 0 0 25 0 1 0 646813846 15560704 2956 4294967295 134512640 134714508 3221221776 3221220372 134543706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3799 2956 1111 63 0 3736 0
vsize: 15196
[startup+240.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3115 0 0 0 23953 45 0 0 25 0 1 0 646813846 15966208 3036 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3898 3036 1111 63 0 3835 0
vsize: 15592
[startup+250.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3115 0 0 0 24953 46 0 0 25 0 1 0 646813846 15958016 3036 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+260.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3115 0 0 0 25952 47 0 0 25 0 1 0 646813846 15958016 3036 4294967295 134512640 134714508 3221221776 3221220444 134536852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+270.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3115 0 0 0 26950 49 0 0 25 0 1 0 646813846 15958016 3036 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+280.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3115 0 0 0 27949 51 0 0 25 0 1 0 646813846 15958016 3036 4294967295 134512640 134714508 3221221776 3221220608 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 3036 1111 63 0 3833 0
vsize: 15584
[startup+290.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3115 0 0 0 28948 52 0 0 25 0 1 0 646813846 15867904 3036 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3036 1111 63 0 3811 0
vsize: 15496
[startup+300.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3117 0 0 0 29947 52 0 0 25 0 1 0 646813846 15867904 3038 4294967295 134512640 134714508 3221221776 3221220316 134539230 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3038 1111 63 0 3811 0
vsize: 15496
[startup+310.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 30947 53 0 0 25 0 1 0 646813846 15876096 3041 4294967295 134512640 134714508 3221221776 3221220424 134539581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3041 1111 63 0 3813 0
vsize: 15504
[startup+320.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 31947 53 0 0 25 0 1 0 646813846 15876096 3041 4294967295 134512640 134714508 3221221776 3221220368 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3041 1111 63 0 3813 0
vsize: 15504
[startup+330.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 32947 53 0 0 25 0 1 0 646813846 15876096 3041 4294967295 134512640 134714508 3221221776 3221220336 134696541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3041 1111 63 0 3813 0
vsize: 15504
[startup+340.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 33946 54 0 0 25 0 1 0 646813846 15876096 3041 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3041 1111 63 0 3813 0
vsize: 15504
[startup+350.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 34946 54 0 0 25 0 1 0 646813846 15867904 3039 4294967295 134512640 134714508 3221221776 3221220560 134529311 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+360.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 35946 55 0 0 25 0 1 0 646813846 15867904 3039 4294967295 134512640 134714508 3221221776 3221220384 134549332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+370.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 36945 55 0 0 25 0 1 0 646813846 15867904 3039 4294967295 134512640 134714508 3221221776 3221220480 134524393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+380.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 37945 56 0 0 25 0 1 0 646813846 15867904 3039 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+390.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3120 0 0 0 38944 57 0 0 25 0 1 0 646813846 15867904 3039 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3874 3039 1111 63 0 3811 0
vsize: 15496
[startup+400.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3135 0 0 0 39943 58 0 0 25 0 1 0 646813846 16003072 3054 4294967295 134512640 134714508 3221221776 3221220528 134592438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3907 3054 1111 63 0 3844 0
vsize: 15628
[startup+410.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3160 0 0 0 40942 59 0 0 25 0 1 0 646813846 16138240 3079 4294967295 134512640 134714508 3221221776 3221220544 134529110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3079 1111 63 0 3877 0
vsize: 15760
[startup+420.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3172 0 0 0 41942 60 0 0 25 0 1 0 646813846 16138240 3091 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3091 1111 63 0 3877 0
vsize: 15760
[startup+430.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3216 0 0 0 42941 61 0 0 25 0 1 0 646813846 16359424 3135 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3135 1111 63 0 3931 0
vsize: 15976
[startup+440.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3277 0 0 0 43940 62 0 0 25 0 1 0 646813846 16355328 3153 4294967295 134512640 134714508 3221221776 3221220428 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3993 3153 1111 63 0 3930 0
vsize: 15972
[startup+450.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3277 0 0 0 44938 64 0 0 25 0 1 0 646813846 16355328 3153 4294967295 134512640 134714508 3221221776 3221220596 134590259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3993 3153 1111 63 0 3930 0
vsize: 15972
[startup+460.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 45937 66 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+470.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 46936 67 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+480.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 47935 68 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220264 134697442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+490.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 48934 69 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220384 134549441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+500.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 49932 72 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220416 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+510.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 50930 73 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+520.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 51929 74 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+530.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 52928 76 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220368 134549834 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+540.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 53926 77 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+550.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 54925 79 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220568 134531231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+560.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 55924 80 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+570.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 56922 82 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+580.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 57920 84 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+590.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 58919 85 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+600.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3479 0 0 0 59918 86 0 0 25 0 1 0 646813846 17166336 3355 4294967295 134512640 134714508 3221221776 3221220380 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3355 1111 63 0 4128 0
vsize: 16764
[startup+610.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3487 0 0 0 60917 88 0 0 25 0 1 0 646813846 17301504 3363 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3363 1111 63 0 4161 0
vsize: 16896
[startup+620.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3487 0 0 0 61917 88 0 0 25 0 1 0 646813846 17301504 3363 4294967295 134512640 134714508 3221221776 3221220400 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3363 1111 63 0 4161 0
vsize: 16896
[startup+630.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3487 0 0 0 62917 88 0 0 25 0 1 0 646813846 17256448 3363 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3363 1111 63 0 4150 0
vsize: 16852
[startup+640.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3487 0 0 0 63915 90 0 0 25 0 1 0 646813846 17256448 3363 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3363 1111 63 0 4150 0
vsize: 16852
[startup+650.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3487 0 0 0 64915 91 0 0 25 0 1 0 646813846 17256448 3363 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3363 1111 63 0 4150 0
vsize: 16852
[startup+660.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3535 0 0 0 65914 92 0 0 25 0 1 0 646813846 17391616 3402 4294967295 134512640 134714508 3221221776 3221220300 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4246 3402 1111 63 0 4183 0
vsize: 16984
[startup+670.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 66913 93 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220512 134558504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+680.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 67912 94 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220508 134532440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+690.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 68911 96 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+700.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 69909 97 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220484 134591892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+710.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 70908 98 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+720.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 71908 99 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220336 134696583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+730.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 72907 100 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+740.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 73907 100 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220368 134543735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+750.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 74907 101 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220500 1076647544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+760.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 75905 102 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+770.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 76905 103 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+780.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 77904 104 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220488 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+790.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 78902 106 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+800.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 79901 107 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+810.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 80901 108 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220400 134696025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+820.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 81900 108 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220316 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+830.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 82900 109 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220464 134528605 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+840.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 83899 110 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+850.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3591 0 0 0 84898 111 0 0 25 0 1 0 646813846 17657856 3458 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3458 1111 63 0 4248 0
vsize: 17244
[startup+860.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3594 0 0 0 85898 111 0 0 25 0 1 0 646813846 17657856 3461 4294967295 134512640 134714508 3221221776 3221220020 134697337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+870.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3594 0 0 0 86897 112 0 0 25 0 1 0 646813846 17657856 3461 4294967295 134512640 134714508 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+880.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3594 0 0 0 87897 113 0 0 25 0 1 0 646813846 17657856 3461 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+890.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3594 0 0 0 88896 114 0 0 25 0 1 0 646813846 17657856 3461 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+900.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3594 0 0 0 89896 114 0 0 25 0 1 0 646813846 17657856 3461 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+910.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3594 0 0 0 90894 116 0 0 25 0 1 0 646813846 17657856 3461 4294967295 134512640 134714508 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+920.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3594 0 0 0 91894 117 0 0 25 0 1 0 646813846 17657856 3461 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3461 1111 63 0 4248 0
vsize: 17244
[startup+930.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3646 0 0 0 92892 118 0 0 25 0 1 0 646813846 17928192 3513 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3513 1111 63 0 4314 0
vsize: 17508
[startup+940.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 93892 119 0 0 25 0 1 0 646813846 17928192 3514 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3514 1111 63 0 4314 0
vsize: 17508
[startup+950.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 94891 120 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+960.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 95889 122 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+970.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 96887 124 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220324 134552046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+980.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 97886 125 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+990.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 98884 127 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 99883 129 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 100881 131 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 101880 132 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220504 134558785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 102878 134 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 103877 135 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220524 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 104876 137 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 105875 138 0 0 25 0 1 0 646813846 17756160 3500 4294967295 134512640 134714508 3221221776 3221220368 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3500 1111 63 0 4272 0
vsize: 17340
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 106874 139 0 0 25 0 1 0 646813846 17739776 3496 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 107873 140 0 0 25 0 1 0 646813846 17739776 3496 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 108871 142 0 0 25 0 1 0 646813846 17739776 3496 4294967295 134512640 134714508 3221221776 3221220468 134524411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3647 0 0 0 109870 143 0 0 25 0 1 0 646813846 17739776 3496 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4331 3496 1111 63 0 4268 0
vsize: 17324
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3681 0 0 0 110870 144 0 0 25 0 1 0 646813846 18010112 3530 4294967295 134512640 134714508 3221221776 3221220336 134696549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3681 0 0 0 111869 144 0 0 25 0 1 0 646813846 18010112 3530 4294967295 134512640 134714508 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3681 0 0 0 112868 146 0 0 25 0 1 0 646813846 18010112 3530 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3681 0 0 0 113867 147 0 0 25 0 1 0 646813846 18010112 3530 4294967295 134512640 134714508 3221221776 3221220676 134588473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3530 1111 63 0 4334 0
vsize: 17588
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3681 0 0 0 114866 149 0 0 25 0 1 0 646813846 17969152 3530 4294967295 134512640 134714508 3221221776 3221220440 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3530 1111 63 0 4324 0
vsize: 17548
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3760 0 0 0 115864 150 0 0 25 0 1 0 646813846 18239488 3609 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4453 3609 1111 63 0 4390 0
vsize: 17812
[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3773 0 0 0 116863 151 0 0 25 0 1 0 646813846 18374656 3622 4294967295 134512640 134714508 3221221776 3221220344 1077378362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4486 3622 1111 63 0 4423 0
vsize: 17944
[startup+1174.91 s]
Raw data (loadavg): 0.99 1.00 0.99 1/53 32470
Raw data (stat): 32468 (bsolo_lpr) R 32467 7876 7672 0 -1 0 3773 0 0 0 116863 151 0 0 25 0 1 0 646813846 18374656 3622 4294967295 134512640 134714508 3221221776 3221220344 1077378362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4486 3622 1111 63 0 4423 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1173.52
CPU system time (s): 1.52877
CPU usage (%): 100.011
Max. virtual memory (Kb): 17944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####