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/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
MD5SUM	7100a312d793a62875e04da08d79c5f4
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	641
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2174
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.350946
Number of variables	2221
Total number of constraints	3050
Number of constraints which are clauses	2330
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	720
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 24457

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 16:23:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2368 boxname=wulflinc31 idbench=264 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  7100a312d793a62875e04da08d79c5f4  /oldhome/oroussel/tmp/wulflinc31/normalized-blast-tlan2.ucl.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-blast-tlan2.ucl.opb
IDLAUNCH: 2368
/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:        289160 kB
Buffers:         47012 kB
Cached:         664508 kB
SwapCached:        644 kB
Active:         312796 kB
Inactive:       401092 kB
HighTotal:      131008 kB
HighFree:        26040 kB
LowTotal:       903652 kB
LowFree:        263120 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:            2260 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25992 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 16:43:07 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 2368 7 1175.1 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 2221 variables and 3050 constraints.
c After prepocess the problem consists of 1732 variables and 2164 constraints.
c preprocess terminated 129.759 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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): 1.06 1.02 0.95 2/54 11733
Raw data (stat): 11733 (runsolver) R 11732 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 710656686 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 3766 0 0 0 982 13 0 0 25 0 1 0 710656686 18628608 3687 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4548 3687 1111 63 0 4485 0
vsize: 18192
[startup+20.0017 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 3788 0 0 0 1981 13 0 0 25 0 1 0 710656686 18743296 3709 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3709 1111 63 0 4513 0
vsize: 18304
[startup+30.0027 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 3872 0 0 0 2981 14 0 0 25 0 1 0 710656686 19021824 3793 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4644 3793 1111 63 0 4581 0
vsize: 18576
[startup+40.0026 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 3872 0 0 0 3980 14 0 0 25 0 1 0 710656686 19021824 3793 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4644 3793 1111 63 0 4581 0
vsize: 18576
[startup+50.0035 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4011 0 0 0 4980 15 0 0 25 0 1 0 710656686 19660800 3932 4294967295 134512640 134714508 3221221792 3221220288 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3932 1111 63 0 4737 0
vsize: 19200
[startup+60.0035 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4024 0 0 0 5979 15 0 0 25 0 1 0 710656686 19660800 3945 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+70.0044 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4024 0 0 0 6979 16 0 0 25 0 1 0 710656686 19660800 3945 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+80.0053 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4024 0 0 0 7978 17 0 0 25 0 1 0 710656686 19660800 3945 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+90.0052 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4024 0 0 0 8978 17 0 0 25 0 1 0 710656686 19660800 3945 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+100.006 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4024 0 0 0 9978 18 0 0 25 0 1 0 710656686 19660800 3945 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+110.007 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4024 0 0 0 10977 18 0 0 25 0 1 0 710656686 19660800 3945 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3945 1111 63 0 4737 0
vsize: 19200
[startup+120.008 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4031 0 0 0 11977 19 0 0 25 0 1 0 710656686 19660800 3952 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3952 1111 63 0 4737 0
vsize: 19200
[startup+130.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 4051 0 0 0 12976 19 0 0 25 0 1 0 710656686 19660800 3972 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3972 1111 63 0 4737 0
vsize: 19200
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 5351 0 0 0 13971 25 0 0 25 0 1 0 710656686 25067520 5272 4294967295 134512640 134714508 3221221792 3221220432 134539455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6120 5272 1111 63 0 6057 0
vsize: 24480
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 6281 0 0 0 14967 29 0 0 25 0 1 0 710656686 28852224 6202 4294967295 134512640 134714508 3221221792 3221220512 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7044 6202 1111 63 0 6981 0
vsize: 28176
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 7150 0 0 0 15963 33 0 0 25 0 1 0 710656686 32370688 7071 4294967295 134512640 134714508 3221221792 3221220424 134696017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7903 7071 1111 63 0 7840 0
vsize: 31612
[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 7971 0 0 0 16960 36 0 0 25 0 1 0 710656686 35753984 7892 4294967295 134512640 134714508 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8729 7892 1111 63 0 8666 0
vsize: 34916
[startup+180.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 9013 0 0 0 17957 39 0 0 25 0 1 0 710656686 40079360 8934 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9785 8934 1111 63 0 9722 0
vsize: 39140
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 10067 0 0 0 18953 44 0 0 25 0 1 0 710656686 44429312 9988 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10847 9988 1111 63 0 10784 0
vsize: 43388
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 11022 0 0 0 19949 48 0 0 25 0 1 0 710656686 48369664 10942 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11809 10942 1111 63 0 11746 0
vsize: 47236
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 11945 0 0 0 20946 51 0 0 25 0 1 0 710656686 52154368 11864 4294967295 134512640 134714508 3221221792 3221220376 134542291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12733 11864 1111 63 0 12670 0
vsize: 50932
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 13057 0 0 0 21941 56 0 0 25 0 1 0 710656686 56786944 12975 4294967295 134512640 134714508 3221221792 3221220464 134542977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13864 12975 1111 63 0 13801 0
vsize: 55456
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 13968 0 0 0 22938 59 0 0 25 0 1 0 710656686 60436480 13886 4294967295 134512640 134714508 3221221792 3221220492 134543760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14755 13886 1111 63 0 14692 0
vsize: 59020
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 14834 0 0 0 23935 62 0 0 25 0 1 0 710656686 63959040 14751 4294967295 134512640 134714508 3221221792 3221220340 134696414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15615 14751 1111 63 0 15552 0
vsize: 62460
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 15910 0 0 0 24932 65 0 0 25 0 1 0 710656686 68468736 15826 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16716 15826 1111 63 0 16653 0
vsize: 66864
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 16497 0 0 0 25929 68 0 0 25 0 1 0 710656686 70955008 16412 4294967295 134512640 134714508 3221221792 3221220520 134535782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17323 16412 1111 63 0 17260 0
vsize: 69292
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 16933 0 0 0 26928 70 0 0 25 0 1 0 710656686 72794112 16846 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17772 16846 1111 63 0 17709 0
vsize: 71088
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 17269 0 0 0 27926 71 0 0 25 0 1 0 710656686 74256384 17178 4294967295 134512640 134714508 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18129 17178 1111 63 0 18066 0
vsize: 72516
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 17608 0 0 0 28924 74 0 0 25 0 1 0 710656686 75608064 17517 4294967295 134512640 134714508 3221221792 3221220340 134696728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18459 17517 1111 63 0 18396 0
vsize: 73836
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 17901 0 0 0 29923 75 0 0 25 0 1 0 710656686 76877824 17807 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18769 17807 1111 63 0 18706 0
vsize: 75076
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 18272 0 0 0 30921 77 0 0 25 0 1 0 710656686 78508032 18175 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19167 18175 1111 63 0 19104 0
vsize: 76668
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 18642 0 0 0 31918 80 0 0 25 0 1 0 710656686 79994880 18545 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19530 18545 1111 63 0 19467 0
vsize: 78120
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 18828 0 0 0 32917 81 0 0 25 0 1 0 710656686 80670720 18731 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19695 18731 1111 63 0 19632 0
vsize: 78780
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 18980 0 0 0 33917 82 0 0 25 0 1 0 710656686 81346560 18883 4294967295 134512640 134714508 3221221792 3221220348 134539214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19860 18883 1111 63 0 19797 0
vsize: 79440
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19077 0 0 0 34916 83 0 0 25 0 1 0 710656686 81752064 18980 4294967295 134512640 134714508 3221221792 3221220496 134528449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19959 18980 1111 63 0 19896 0
vsize: 79836
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19250 0 0 0 35916 84 0 0 25 0 1 0 710656686 82427904 19153 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20124 19153 1111 63 0 20061 0
vsize: 80496
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19358 0 0 0 36915 84 0 0 25 0 1 0 710656686 82833408 19261 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20223 19261 1111 63 0 20160 0
vsize: 80892
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19442 0 0 0 37915 85 0 0 25 0 1 0 710656686 83238912 19345 4294967295 134512640 134714508 3221221792 3221220480 134542845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20322 19345 1111 63 0 20259 0
vsize: 81288
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19590 0 0 0 38915 85 0 0 25 0 1 0 710656686 83779584 19493 4294967295 134512640 134714508 3221221792 3221220348 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20454 19493 1111 63 0 20391 0
vsize: 81816
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19735 0 0 0 39914 86 0 0 25 0 1 0 710656686 84455424 19638 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20619 19638 1111 63 0 20556 0
vsize: 82476
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19827 0 0 0 40913 86 0 0 25 0 1 0 710656686 84860928 19730 4294967295 134512640 134714508 3221221792 3221220560 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20718 19730 1111 63 0 20655 0
vsize: 82872
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 19971 0 0 0 41913 87 0 0 25 0 1 0 710656686 85401600 19874 4294967295 134512640 134714508 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20850 19874 1111 63 0 20787 0
vsize: 83400
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 20085 0 0 0 42913 88 0 0 25 0 1 0 710656686 85807104 19988 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20949 19988 1111 63 0 20886 0
vsize: 83796
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 20210 0 0 0 43912 88 0 0 25 0 1 0 710656686 86347776 20113 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21081 20113 1111 63 0 21018 0
vsize: 84324
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 20379 0 0 0 44912 89 0 0 25 0 1 0 710656686 87023616 20282 4294967295 134512640 134714508 3221221792 3221220448 134536594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21246 20282 1111 63 0 21183 0
vsize: 84984
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 20509 0 0 0 45911 90 0 0 25 0 1 0 710656686 87564288 20412 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21378 20412 1111 63 0 21315 0
vsize: 85512
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 20873 0 0 0 46911 90 0 0 25 0 1 0 710656686 89051136 20775 4294967295 134512640 134714508 3221221792 3221220416 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21741 20775 1111 63 0 21678 0
vsize: 86964
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21079 0 0 0 47910 91 0 0 25 0 1 0 710656686 89862144 20981 4294967295 134512640 134714508 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21939 20981 1111 63 0 21876 0
vsize: 87756
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21213 0 0 0 48909 92 0 0 25 0 1 0 710656686 90402816 21115 4294967295 134512640 134714508 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22071 21115 1111 63 0 22008 0
vsize: 88284
[startup+500.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21309 0 0 0 49909 93 0 0 25 0 1 0 710656686 90808320 21211 4294967295 134512640 134714508 3221221792 3221220464 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22170 21211 1111 63 0 22107 0
vsize: 88680
[startup+510.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21447 0 0 0 50908 94 0 0 25 0 1 0 710656686 91484160 21349 4294967295 134512640 134714508 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22335 21349 1111 63 0 22272 0
vsize: 89340
[startup+520.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21568 0 0 0 51908 94 0 0 25 0 1 0 710656686 91889664 21470 4294967295 134512640 134714508 3221221792 3221220448 134524135 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22434 21470 1111 63 0 22371 0
vsize: 89736
[startup+530.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21683 0 0 0 52907 95 0 0 25 0 1 0 710656686 92430336 21585 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22566 21585 1111 63 0 22503 0
vsize: 90264
[startup+540.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21813 0 0 0 53906 96 0 0 25 0 1 0 710656686 92971008 21715 4294967295 134512640 134714508 3221221792 3221220496 134528726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22698 21715 1111 63 0 22635 0
vsize: 90792
[startup+550.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 21916 0 0 0 54906 96 0 0 25 0 1 0 710656686 93376512 21818 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22797 21818 1111 63 0 22734 0
vsize: 91188
[startup+560.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 22055 0 0 0 55906 97 0 0 25 0 1 0 710656686 93917184 21957 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22929 21957 1111 63 0 22866 0
vsize: 91716
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 22178 0 0 0 56906 97 0 0 25 0 1 0 710656686 94457856 22080 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23061 22080 1111 63 0 22998 0
vsize: 92244
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 22301 0 0 0 57905 98 0 0 25 0 1 0 710656686 95023104 22203 4294967295 134512640 134714508 3221221792 3221220552 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23199 22203 1111 63 0 23136 0
vsize: 92796
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 22387 0 0 0 58905 98 0 0 25 0 1 0 710656686 95293440 22289 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23265 22289 1111 63 0 23202 0
vsize: 93060
[startup+600.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 22478 0 0 0 59905 98 0 0 25 0 1 0 710656686 95698944 22380 4294967295 134512640 134714508 3221221792 3221220384 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23364 22380 1111 63 0 23301 0
vsize: 93456
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 22664 0 0 0 60903 100 0 0 25 0 1 0 710656686 96509952 22566 4294967295 134512640 134714508 3221221792 3221220416 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23562 22566 1111 63 0 23499 0
vsize: 94248
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23043 0 0 0 61902 101 0 0 25 0 1 0 710656686 97996800 22945 4294967295 134512640 134714508 3221221792 3221220436 134613632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23925 22945 1111 63 0 23862 0
vsize: 95700
[startup+630.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23217 0 0 0 62901 102 0 0 25 0 1 0 710656686 98672640 23118 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24090 23118 1111 63 0 24027 0
vsize: 96360
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23327 0 0 0 63901 103 0 0 25 0 1 0 710656686 99213312 23228 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24222 23228 1111 63 0 24159 0
vsize: 96888
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23431 0 0 0 64900 104 0 0 25 0 1 0 710656686 99618816 23332 4294967295 134512640 134714508 3221221792 3221220576 134529344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24321 23332 1111 63 0 24258 0
vsize: 97284
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23544 0 0 0 65900 104 0 0 25 0 1 0 710656686 100024320 23445 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24420 23445 1111 63 0 24357 0
vsize: 97680
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23660 0 0 0 66900 105 0 0 25 0 1 0 710656686 100564992 23561 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24552 23561 1111 63 0 24489 0
vsize: 98208
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23778 0 0 0 67899 105 0 0 25 0 1 0 710656686 100970496 23679 4294967295 134512640 134714508 3221221792 3221220496 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23679 1111 63 0 24588 0
vsize: 98604
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 23882 0 0 0 68899 106 0 0 25 0 1 0 710656686 101376000 23783 4294967295 134512640 134714508 3221221792 3221220456 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24750 23783 1111 63 0 24687 0
vsize: 99000
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 24255 0 0 0 69898 107 0 0 25 0 1 0 710656686 102998016 24156 4294967295 134512640 134714508 3221221792 3221220552 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25146 24156 1111 63 0 25083 0
vsize: 100584
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 24567 0 0 0 70896 109 0 0 25 0 1 0 710656686 104214528 24466 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25443 24466 1111 63 0 25380 0
vsize: 101772
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 24782 0 0 0 71896 109 0 0 25 0 1 0 710656686 105193472 24681 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25682 24681 1111 63 0 25619 0
vsize: 102728
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 24969 0 0 0 72895 110 0 0 25 0 1 0 710656686 106004480 24868 4294967295 134512640 134714508 3221221792 3221220516 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25880 24868 1111 63 0 25817 0
vsize: 103520
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 25153 0 0 0 73894 111 0 0 25 0 1 0 710656686 106680320 25052 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26045 25052 1111 63 0 25982 0
vsize: 104180
[startup+750.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 25329 0 0 0 74893 113 0 0 25 0 1 0 710656686 107491328 25228 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26243 25228 1111 63 0 26180 0
vsize: 104972
[startup+760.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 25526 0 0 0 75892 114 0 0 25 0 1 0 710656686 108167168 25425 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26408 25425 1111 63 0 26345 0
vsize: 105632
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 25776 0 0 0 76891 115 0 0 25 0 1 0 710656686 109248512 25675 4294967295 134512640 134714508 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26672 25675 1111 63 0 26609 0
vsize: 106688
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 26013 0 0 0 77890 116 0 0 25 0 1 0 710656686 110194688 25912 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26903 25912 1111 63 0 26840 0
vsize: 107612
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 26201 0 0 0 78890 117 0 0 25 0 1 0 710656686 111005696 26100 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27101 26100 1111 63 0 27038 0
vsize: 108404
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 26456 0 0 0 79889 118 0 0 25 0 1 0 710656686 112087040 26354 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27365 26354 1111 63 0 27302 0
vsize: 109460
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 26614 0 0 0 80889 118 0 0 25 0 1 0 710656686 112627712 26512 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27497 26512 1111 63 0 27434 0
vsize: 109988
[startup+820.023 s]
Raw data (loadavg): 1.08 1.02 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 26788 0 0 0 81888 119 0 0 25 0 1 0 710656686 113438720 26686 4294967295 134512640 134714508 3221221792 3221220496 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27695 26686 1111 63 0 27632 0
vsize: 110780
[startup+830.024 s]
Raw data (loadavg): 1.07 1.02 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 26965 0 0 0 82887 120 0 0 25 0 1 0 710656686 114114560 26863 4294967295 134512640 134714508 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27860 26863 1111 63 0 27797 0
vsize: 111440
[startup+840.024 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 27110 0 0 0 83887 121 0 0 25 0 1 0 710656686 114655232 27008 4294967295 134512640 134714508 3221221792 3221220432 134536653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27992 27008 1111 63 0 27929 0
vsize: 111968
[startup+850.024 s]
Raw data (loadavg): 1.05 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 27281 0 0 0 84886 122 0 0 25 0 1 0 710656686 115466240 27179 4294967295 134512640 134714508 3221221792 3221220576 134529359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28190 27179 1111 63 0 28127 0
vsize: 112760
[startup+860.024 s]
Raw data (loadavg): 1.04 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 27458 0 0 0 85885 122 0 0 25 0 1 0 710656686 116142080 27356 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28355 27356 1111 63 0 28292 0
vsize: 113420
[startup+870.025 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 27663 0 0 0 86885 123 0 0 25 0 1 0 710656686 116953088 27561 4294967295 134512640 134714508 3221221792 3221220576 134528816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28553 27561 1111 63 0 28490 0
vsize: 114212
[startup+880.025 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 27832 0 0 0 87884 124 0 0 25 0 1 0 710656686 117628928 27730 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28718 27730 1111 63 0 28655 0
vsize: 114872
[startup+890.025 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 28082 0 0 0 88883 125 0 0 25 0 1 0 710656686 118767616 27972 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28996 27972 1111 63 0 28933 0
vsize: 115984
[startup+900.025 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 28434 0 0 0 89882 127 0 0 25 0 1 0 710656686 120254464 28324 4294967295 134512640 134714508 3221221792 3221220528 134535728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29359 28324 1111 63 0 29296 0
vsize: 117436
[startup+910.025 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 28786 0 0 0 90881 128 0 0 25 0 1 0 710656686 121774080 28672 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29730 28672 1111 63 0 29667 0
vsize: 118920
[startup+920.026 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 29153 0 0 0 91880 129 0 0 25 0 1 0 710656686 123125760 29039 4294967295 134512640 134714508 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30060 29039 1111 63 0 29997 0
vsize: 120240
[startup+930.027 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 29587 0 0 0 92878 131 0 0 25 0 1 0 710656686 124956672 29471 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30507 29471 1111 63 0 30444 0
vsize: 122028
[startup+940.027 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 30004 0 0 0 93877 133 0 0 25 0 1 0 710656686 126779392 29884 4294967295 134512640 134714508 3221221792 3221220512 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30952 29884 1111 63 0 30889 0
vsize: 123808
[startup+950.027 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 30223 0 0 0 94876 134 0 0 25 0 1 0 710656686 127774720 30099 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31195 30099 1111 63 0 31132 0
vsize: 124780
[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 30392 0 0 0 95875 135 0 0 25 0 1 0 710656686 128450560 30268 4294967295 134512640 134714508 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31360 30268 1111 63 0 31297 0
vsize: 125440
[startup+970.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 30589 0 0 0 96874 136 0 0 25 0 1 0 710656686 129261568 30465 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31558 30465 1111 63 0 31495 0
vsize: 126232
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 30778 0 0 0 97873 137 0 0 25 0 1 0 710656686 130072576 30654 4294967295 134512640 134714508 3221221792 3221220496 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31756 30654 1111 63 0 31693 0
vsize: 127024
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 30942 0 0 0 98872 138 0 0 25 0 1 0 710656686 130748416 30818 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31921 30818 1111 63 0 31858 0
vsize: 127684
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 31189 0 0 0 99871 139 0 0 25 0 1 0 710656686 131694592 31065 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32152 31065 1111 63 0 32089 0
vsize: 128608
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 31387 0 0 0 100870 140 0 0 25 0 1 0 710656686 132505600 31263 4294967295 134512640 134714508 3221221792 3221220332 134613764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32350 31263 1111 63 0 32287 0
vsize: 129400
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 31575 0 0 0 101870 141 0 0 25 0 1 0 710656686 133275648 31438 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32538 31438 1111 63 0 32475 0
vsize: 130152
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 31716 0 0 0 102870 142 0 0 25 0 1 0 710656686 133816320 31579 4294967295 134512640 134714508 3221221792 3221220512 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32670 31579 1111 63 0 32607 0
vsize: 130680
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 31870 0 0 0 103869 142 0 0 25 0 1 0 710656686 134492160 31732 4294967295 134512640 134714508 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32835 31732 1111 63 0 32772 0
vsize: 131340
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 32022 0 0 0 104869 143 0 0 25 0 1 0 710656686 135168000 31884 4294967295 134512640 134714508 3221221792 3221220560 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33000 31885 1111 63 0 32937 0
vsize: 132000
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 32161 0 0 0 105869 143 0 0 25 0 1 0 710656686 135716864 32022 4294967295 134512640 134714508 3221221792 3221220352 134542340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33134 32022 1111 63 0 33071 0
vsize: 132536
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 32282 0 0 0 106868 143 0 0 25 0 1 0 710656686 136257536 32143 4294967295 134512640 134714508 3221221792 3221220512 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33266 32143 1111 63 0 33203 0
vsize: 133064
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 32449 0 0 0 107868 144 0 0 25 0 1 0 710656686 136933376 32310 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33431 32310 1111 63 0 33368 0
vsize: 133724
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 32623 0 0 0 108866 146 0 0 25 0 1 0 710656686 137609216 32484 4294967295 134512640 134714508 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33596 32484 1111 63 0 33533 0
vsize: 134384
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 32777 0 0 0 109865 147 0 0 25 0 1 0 710656686 138285056 32638 4294967295 134512640 134714508 3221221792 3221220496 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33761 32638 1111 63 0 33698 0
vsize: 135044
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 32926 0 0 0 110865 147 0 0 25 0 1 0 710656686 138825728 32787 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33893 32787 1111 63 0 33830 0
vsize: 135572
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 33102 0 0 0 111865 148 0 0 25 0 1 0 710656686 139505664 32963 4294967295 134512640 134714508 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34059 32963 1111 63 0 33996 0
vsize: 136236
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 33246 0 0 0 112864 149 0 0 25 0 1 0 710656686 140181504 33107 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34224 33107 1111 63 0 34161 0
vsize: 136896
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 33505 0 0 0 113863 150 0 0 25 0 1 0 710656686 141336576 33365 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34506 33365 1111 63 0 34443 0
vsize: 138024
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 33735 0 0 0 114862 151 0 0 25 0 1 0 710656686 142147584 33595 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34704 33595 1111 63 0 34641 0
vsize: 138816
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 33888 0 0 0 115861 152 0 0 25 0 1 0 710656686 142823424 33748 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34869 33748 1111 63 0 34806 0
vsize: 139476
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 33987 0 0 0 116861 153 0 0 25 0 1 0 710656686 143228928 33847 4294967295 134512640 134714508 3221221792 3221220348 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34968 33847 1111 63 0 34905 0
vsize: 139872
[startup+1174.99 s]
Raw data (loadavg): 1.00 1.00 0.96 1/53 11733
Raw data (stat): 11733 (bsolo_lpr) R 11732 7876 7672 0 -1 0 33987 0 0 0 116861 153 0 0 25 0 1 0 710656686 143228928 33847 4294967295 134512640 134714508 3221221792 3221220348 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34968 33847 1111 63 0 34905 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.1
CPU user time (s): 1173.5
CPU system time (s): 1.60076
CPU usage (%): 100.009
Max. virtual memory (Kb): 139872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####