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-chnl40_50_pb.cnf.cr.opb
MD5SUM	2cb05b3a6451c60276a625949666f14e
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	51
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12498
Number of variables	4000
Total number of constraints	180
Number of constraints which are clauses	100
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	40
Maximum length of a constraint	50
Trace number 23232

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 17:43:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=163 boxname=wulflinc31 idbench=19 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2cb05b3a6451c60276a625949666f14e  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_50_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_50_pb.cnf.cr.opb
IDLAUNCH: 163
/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:        930360 kB
Buffers:         36508 kB
Cached:          45724 kB
SwapCached:        864 kB
Active:          70848 kB
Inactive:        13844 kB
HighTotal:      131008 kB
HighFree:        84196 kB
LowTotal:       903652 kB
LowFree:        846164 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             100 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13984 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 18:03:26 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 163 7 1175.04 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 4000 variables and 180 constraints.
c After prepocess the problem consists of 4000 variables and 180 constraints.
c preprocess terminated 1.808 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.92 0.95 0.90 2/54 13615
Raw data (stat): 13615 (runsolver) R 13614 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 633369743 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1618 0 0 0 986 9 0 0 25 0 1 0 633369743 9834496 1539 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2401 1539 1111 63 0 2338 0
vsize: 9604
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1656 0 0 0 1984 12 0 0 25 0 1 0 633369743 9969664 1577 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1577 1111 63 0 2371 0
vsize: 9736
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1713 0 0 0 2981 15 0 0 25 0 1 0 633369743 10240000 1634 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2500 1634 1111 63 0 2437 0
vsize: 10000
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1734 0 0 0 3978 18 0 0 25 0 1 0 633369743 10375168 1655 4294967295 134512640 134714508 3221221776 3221220516 134591993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2533 1655 1111 63 0 2470 0
vsize: 10132
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1742 0 0 0 4976 21 0 0 25 0 1 0 633369743 10375168 1663 4294967295 134512640 134714508 3221221776 3221219928 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2533 1663 1111 63 0 2470 0
vsize: 10132
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1760 0 0 0 5974 22 0 0 25 0 1 0 633369743 10375168 1681 4294967295 134512640 134714508 3221221776 3221220528 134592391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2533 1681 1111 63 0 2470 0
vsize: 10132
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1782 0 0 0 6972 25 0 0 25 0 1 0 633369743 10510336 1703 4294967295 134512640 134714508 3221221776 3221220400 134696268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2566 1703 1111 63 0 2503 0
vsize: 10264
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1794 0 0 0 7969 27 0 0 25 0 1 0 633369743 10510336 1715 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1715 1111 63 0 2503 0
vsize: 10264
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1811 0 0 0 8968 29 0 0 25 0 1 0 633369743 10645504 1732 4294967295 134512640 134714508 3221221776 3221220344 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1732 1111 63 0 2536 0
vsize: 10396
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1822 0 0 0 9967 30 0 0 25 0 1 0 633369743 10645504 1743 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2599 1743 1111 63 0 2536 0
vsize: 10396
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1844 0 0 0 10965 32 0 0 25 0 1 0 633369743 10780672 1765 4294967295 134512640 134714508 3221221776 3221220368 134549588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2632 1765 1111 63 0 2569 0
vsize: 10528
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1844 0 0 0 11964 34 0 0 25 0 1 0 633369743 10780672 1765 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2632 1765 1111 63 0 2569 0
vsize: 10528
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1851 0 0 0 12962 35 0 0 25 0 1 0 633369743 10780672 1772 4294967295 134512640 134714508 3221221776 3221220408 134696017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2632 1772 1111 63 0 2569 0
vsize: 10528
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1895 0 0 0 13960 38 0 0 25 0 1 0 633369743 11051008 1816 4294967295 134512640 134714508 3221221776 3221220560 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1816 1111 63 0 2635 0
vsize: 10792
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1905 0 0 0 14958 40 0 0 25 0 1 0 633369743 11051008 1826 4294967295 134512640 134714508 3221221776 3221220416 134539455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1826 1111 63 0 2635 0
vsize: 10792
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1933 0 0 0 15956 43 0 0 25 0 1 0 633369743 11186176 1854 4294967295 134512640 134714508 3221221776 3221220516 134591823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2731 1854 1111 63 0 2668 0
vsize: 10924
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1939 0 0 0 16955 44 0 0 25 0 1 0 633369743 11186176 1860 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2731 1860 1111 63 0 2668 0
vsize: 10924
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1962 0 0 0 17953 46 0 0 25 0 1 0 633369743 11317248 1883 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1883 1111 63 0 2700 0
vsize: 11052
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1962 0 0 0 18951 48 0 0 25 0 1 0 633369743 11317248 1883 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2763 1883 1111 63 0 2700 0
vsize: 11052
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1967 0 0 0 19950 49 0 0 25 0 1 0 633369743 11309056 1888 4294967295 134512640 134714508 3221221776 3221220464 134528707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2761 1888 1111 63 0 2698 0
vsize: 11044
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 1990 0 0 0 20949 50 0 0 25 0 1 0 633369743 11444224 1911 4294967295 134512640 134714508 3221221776 3221220368 134549585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1911 1111 63 0 2731 0
vsize: 11176
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2001 0 0 0 21947 52 0 0 25 0 1 0 633369743 11444224 1922 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1922 1111 63 0 2731 0
vsize: 11176
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2004 0 0 0 22946 54 0 0 25 0 1 0 633369743 11444224 1925 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1925 1111 63 0 2731 0
vsize: 11176
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2004 0 0 0 23944 56 0 0 25 0 1 0 633369743 11444224 1925 4294967295 134512640 134714508 3221221776 3221220512 134591997 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1925 1111 63 0 2731 0
vsize: 11176
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2009 0 0 0 24942 58 0 0 25 0 1 0 633369743 11444224 1930 4294967295 134512640 134714508 3221221776 3221220344 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1930 1111 63 0 2731 0
vsize: 11176
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2016 0 0 0 25940 60 0 0 25 0 1 0 633369743 11444224 1937 4294967295 134512640 134714508 3221221776 3221220448 134652831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1937 1111 63 0 2731 0
vsize: 11176
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2026 0 0 0 26939 62 0 0 25 0 1 0 633369743 11579392 1947 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1947 1111 63 0 2764 0
vsize: 11308
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2026 0 0 0 27937 64 0 0 25 0 1 0 633369743 11579392 1947 4294967295 134512640 134714508 3221221776 3221220324 134696728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1947 1111 63 0 2764 0
vsize: 11308
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2031 0 0 0 28935 66 0 0 25 0 1 0 633369743 11579392 1952 4294967295 134512640 134714508 3221221776 3221220472 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1952 1111 63 0 2764 0
vsize: 11308
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2033 0 0 0 29933 68 0 0 25 0 1 0 633369743 11579392 1954 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1954 1111 63 0 2764 0
vsize: 11308
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2073 0 0 0 30932 69 0 0 25 0 1 0 633369743 11689984 1994 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2854 1994 1111 63 0 2791 0
vsize: 11416
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2102 0 0 0 31930 71 0 0 25 0 1 0 633369743 11825152 2023 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2887 2023 1111 63 0 2824 0
vsize: 11548
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2103 0 0 0 32929 73 0 0 25 0 1 0 633369743 11825152 2024 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2887 2024 1111 63 0 2824 0
vsize: 11548
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2145 0 0 0 33927 74 0 0 25 0 1 0 633369743 11960320 2066 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2920 2066 1111 63 0 2857 0
vsize: 11680
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2174 0 0 0 34926 76 0 0 25 0 1 0 633369743 12095488 2095 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2174 0 0 0 35925 78 0 0 25 0 1 0 633369743 12095488 2095 4294967295 134512640 134714508 3221221776 3221220456 134594352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2174 0 0 0 36924 79 0 0 25 0 1 0 633369743 12095488 2095 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2174 0 0 0 37922 80 0 0 25 0 1 0 633369743 12095488 2095 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2174 0 0 0 38922 81 0 0 25 0 1 0 633369743 12095488 2095 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2953 2095 1111 63 0 2890 0
vsize: 11812
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2203 0 0 0 39921 82 0 0 25 0 1 0 633369743 12230656 2124 4294967295 134512640 134714508 3221221776 3221220344 1077377221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2986 2124 1111 63 0 2923 0
vsize: 11944
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2227 0 0 0 40919 84 0 0 25 0 1 0 633369743 12365824 2148 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3019 2148 1111 63 0 2956 0
vsize: 12076
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2269 0 0 0 41918 86 0 0 25 0 1 0 633369743 12492800 2190 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2190 1111 63 0 2987 0
vsize: 12200
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2273 0 0 0 42917 87 0 0 25 0 1 0 633369743 12492800 2194 4294967295 134512640 134714508 3221221776 3221220448 134652816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2194 1111 63 0 2987 0
vsize: 12200
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2278 0 0 0 43916 88 0 0 25 0 1 0 633369743 12492800 2199 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2199 1111 63 0 2987 0
vsize: 12200
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2283 0 0 0 44915 89 0 0 25 0 1 0 633369743 12627968 2204 4294967295 134512640 134714508 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2204 1111 63 0 3020 0
vsize: 12332
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2289 0 0 0 45914 90 0 0 25 0 1 0 633369743 12627968 2210 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2210 1111 63 0 3020 0
vsize: 12332
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2308 0 0 0 46912 92 0 0 25 0 1 0 633369743 12627968 2229 4294967295 134512640 134714508 3221221776 3221220416 134536695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2229 1111 63 0 3020 0
vsize: 12332
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2308 0 0 0 47911 94 0 0 25 0 1 0 633369743 12627968 2229 4294967295 134512640 134714508 3221221776 3221220344 1077377227 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2229 1111 63 0 3020 0
vsize: 12332
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2315 0 0 0 48909 95 0 0 25 0 1 0 633369743 12763136 2236 4294967295 134512640 134714508 3221221776 3221220432 134523904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2236 1111 63 0 3053 0
vsize: 12464
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2315 0 0 0 49908 97 0 0 25 0 1 0 633369743 12763136 2236 4294967295 134512640 134714508 3221221776 3221220428 134542372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2236 1111 63 0 3053 0
vsize: 12464
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2331 0 0 0 50906 99 0 0 25 0 1 0 633369743 12763136 2252 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3116 2252 1111 63 0 3053 0
vsize: 12464
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2349 0 0 0 51904 101 0 0 25 0 1 0 633369743 12898304 2270 4294967295 134512640 134714508 3221221776 3221220360 134543638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3149 2270 1111 63 0 3086 0
vsize: 12596
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2397 0 0 0 52903 102 0 0 25 0 1 0 633369743 13033472 2318 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2397 0 0 0 53902 103 0 0 25 0 1 0 633369743 13033472 2318 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2397 0 0 0 54901 105 0 0 25 0 1 0 633369743 13033472 2318 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2397 0 0 0 55899 107 0 0 25 0 1 0 633369743 13033472 2318 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2397 0 0 0 56898 108 0 0 25 0 1 0 633369743 13033472 2318 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2397 0 0 0 57897 109 0 0 25 0 1 0 633369743 13033472 2318 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2397 0 0 0 58896 110 0 0 25 0 1 0 633369743 13033472 2318 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2318 1111 63 0 3119 0
vsize: 12728
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2401 0 0 0 59894 112 0 0 25 0 1 0 633369743 13033472 2322 4294967295 134512640 134714508 3221221776 3221220188 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2322 1111 63 0 3119 0
vsize: 12728
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2401 0 0 0 60894 113 0 0 25 0 1 0 633369743 13033472 2322 4294967295 134512640 134714508 3221221776 3221220464 134594343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2322 1111 63 0 3119 0
vsize: 12728
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2401 0 0 0 61893 115 0 0 25 0 1 0 633369743 13033472 2322 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2322 1111 63 0 3119 0
vsize: 12728
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2405 0 0 0 62891 116 0 0 25 0 1 0 633369743 13033472 2326 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2326 1111 63 0 3119 0
vsize: 12728
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2405 0 0 0 63890 118 0 0 25 0 1 0 633369743 13033472 2326 4294967295 134512640 134714508 3221221776 3221220260 134697199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2326 1111 63 0 3119 0
vsize: 12728
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2412 0 0 0 64889 119 0 0 25 0 1 0 633369743 13168640 2333 4294967295 134512640 134714508 3221221776 3221220560 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2333 1111 63 0 3152 0
vsize: 12860
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2412 0 0 0 65887 121 0 0 25 0 1 0 633369743 13168640 2333 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2333 1111 63 0 3152 0
vsize: 12860
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2412 0 0 0 66885 123 0 0 25 0 1 0 633369743 13168640 2333 4294967295 134512640 134714508 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2333 1111 63 0 3152 0
vsize: 12860
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2416 0 0 0 67884 124 0 0 25 0 1 0 633369743 13168640 2337 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2337 1111 63 0 3152 0
vsize: 12860
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2430 0 0 0 68883 126 0 0 25 0 1 0 633369743 13168640 2351 4294967295 134512640 134714508 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2430 0 0 0 69882 127 0 0 25 0 1 0 633369743 13168640 2351 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2432 0 0 0 70880 129 0 0 25 0 1 0 633369743 13168640 2353 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2353 1111 63 0 3152 0
vsize: 12860
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2477 0 0 0 71879 130 0 0 25 0 1 0 633369743 13422592 2398 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3277 2398 1111 63 0 3214 0
vsize: 13108
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2477 0 0 0 72877 132 0 0 25 0 1 0 633369743 13422592 2398 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3277 2398 1111 63 0 3214 0
vsize: 13108
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2490 0 0 0 73875 134 0 0 25 0 1 0 633369743 13422592 2411 4294967295 134512640 134714508 3221221776 3221220368 134549730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3277 2411 1111 63 0 3214 0
vsize: 13108
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2502 0 0 0 74873 136 0 0 25 0 1 0 633369743 13422592 2423 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3277 2423 1111 63 0 3214 0
vsize: 13108
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2528 0 0 0 75871 138 0 0 25 0 1 0 633369743 13557760 2449 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3310 2449 1111 63 0 3247 0
vsize: 13240
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2562 0 0 0 76869 141 0 0 25 0 1 0 633369743 13692928 2483 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2483 1111 63 0 3280 0
vsize: 13372
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2562 0 0 0 77868 142 0 0 25 0 1 0 633369743 13692928 2483 4294967295 134512640 134714508 3221221776 3221220480 134528687 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2483 1111 63 0 3280 0
vsize: 13372
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2570 0 0 0 78867 143 0 0 25 0 1 0 633369743 13692928 2491 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3343 2491 1111 63 0 3280 0
vsize: 13372
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2588 0 0 0 79866 144 0 0 25 0 1 0 633369743 13824000 2509 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2509 1111 63 0 3312 0
vsize: 13500
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2588 0 0 0 80865 146 0 0 25 0 1 0 633369743 13824000 2509 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2509 1111 63 0 3312 0
vsize: 13500
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2588 0 0 0 81863 148 0 0 25 0 1 0 633369743 13824000 2509 4294967295 134512640 134714508 3221221776 3221220312 134613763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2509 1111 63 0 3312 0
vsize: 13500
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2597 0 0 0 82862 150 0 0 25 0 1 0 633369743 13824000 2518 4294967295 134512640 134714508 3221221776 3221220408 134536665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2518 1111 63 0 3312 0
vsize: 13500
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2597 0 0 0 83860 151 0 0 25 0 1 0 633369743 13824000 2518 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2518 1111 63 0 3312 0
vsize: 13500
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2599 0 0 0 84860 152 0 0 25 0 1 0 633369743 13824000 2520 4294967295 134512640 134714508 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2520 1111 63 0 3312 0
vsize: 13500
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2599 0 0 0 85858 154 0 0 25 0 1 0 633369743 13824000 2520 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2520 1111 63 0 3312 0
vsize: 13500
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2599 0 0 0 86856 156 0 0 25 0 1 0 633369743 13824000 2520 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2520 1111 63 0 3312 0
vsize: 13500
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2601 0 0 0 87854 157 0 0 25 0 1 0 633369743 13824000 2522 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2522 1111 63 0 3312 0
vsize: 13500
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2613 0 0 0 88853 159 0 0 25 0 1 0 633369743 13950976 2534 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2534 1111 63 0 3343 0
vsize: 13624
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2613 0 0 0 89852 160 0 0 25 0 1 0 633369743 13950976 2534 4294967295 134512640 134714508 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2534 1111 63 0 3343 0
vsize: 13624
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2614 0 0 0 90851 162 0 0 25 0 1 0 633369743 13950976 2535 4294967295 134512640 134714508 3221221776 3221220400 134542356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2535 1111 63 0 3343 0
vsize: 13624
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2614 0 0 0 91849 164 0 0 25 0 1 0 633369743 13950976 2535 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2535 1111 63 0 3343 0
vsize: 13624
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2616 0 0 0 92847 166 0 0 25 0 1 0 633369743 13950976 2537 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2537 1111 63 0 3343 0
vsize: 13624
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2616 0 0 0 93846 167 0 0 25 0 1 0 633369743 13950976 2537 4294967295 134512640 134714508 3221221776 3221220348 134535876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2537 1111 63 0 3343 0
vsize: 13624
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2637 0 0 0 94844 169 0 0 25 0 1 0 633369743 14086144 2558 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2558 1111 63 0 3376 0
vsize: 13756
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2641 0 0 0 95843 171 0 0 25 0 1 0 633369743 14086144 2562 4294967295 134512640 134714508 3221221776 3221220432 134524132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13615
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2641 0 0 0 96842 171 0 0 25 0 1 0 633369743 14086144 2562 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+980.034 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13668
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2641 0 0 0 97835 178 0 0 25 0 1 0 633369743 14086144 2562 4294967295 134512640 134714508 3221221776 3221220272 134535397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+990.034 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13668
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2641 0 0 0 98834 179 0 0 25 0 1 0 633369743 14086144 2562 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2562 1111 63 0 3376 0
vsize: 13756
[startup+1000.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13668
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2667 0 0 0 99832 181 0 0 25 0 1 0 633369743 14086144 2588 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3439 2588 1111 63 0 3376 0
vsize: 13756
[startup+1010.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13668
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2675 0 0 0 100831 182 0 0 25 0 1 0 633369743 14221312 2596 4294967295 134512640 134714508 3221221776 3221220404 134696225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2596 1111 63 0 3409 0
vsize: 13888
[startup+1020.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13668
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2675 0 0 0 101830 184 0 0 25 0 1 0 633369743 14221312 2596 4294967295 134512640 134714508 3221221776 3221220512 134558537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2596 1111 63 0 3409 0
vsize: 13888
[startup+1030.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13668
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2711 0 0 0 102829 185 0 0 25 0 1 0 633369743 14356480 2632 4294967295 134512640 134714508 3221221776 3221220532 134652855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2632 1111 63 0 3442 0
vsize: 14020
[startup+1040.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2733 0 0 0 103826 188 0 0 25 0 1 0 633369743 14356480 2654 4294967295 134512640 134714508 3221221776 3221220520 134672948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1050.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2733 0 0 0 104825 189 0 0 25 0 1 0 633369743 14356480 2654 4294967295 134512640 134714508 3221221776 3221220308 1077374077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1060.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2733 0 0 0 105824 191 0 0 25 0 1 0 633369743 14356480 2654 4294967295 134512640 134714508 3221221776 3221220344 1077378356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1070.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2733 0 0 0 106822 192 0 0 25 0 1 0 633369743 14356480 2654 4294967295 134512640 134714508 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1080.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2733 0 0 0 107820 194 0 0 25 0 1 0 633369743 14356480 2654 4294967295 134512640 134714508 3221221776 3221220452 1077374446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1090.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2733 0 0 0 108818 196 0 0 25 0 1 0 633369743 14356480 2654 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1100.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2733 0 0 0 109817 198 0 0 25 0 1 0 633369743 14356480 2654 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3505 2654 1111 63 0 3442 0
vsize: 14020
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2744 0 0 0 110815 200 0 0 25 0 1 0 633369743 14491648 2665 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2665 1111 63 0 3475 0
vsize: 14152
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2744 0 0 0 111814 201 0 0 25 0 1 0 633369743 14491648 2665 4294967295 134512640 134714508 3221221776 3221220508 134532440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2665 1111 63 0 3475 0
vsize: 14152
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2755 0 0 0 112813 203 0 0 25 0 1 0 633369743 14491648 2676 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2676 1111 63 0 3475 0
vsize: 14152
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2755 0 0 0 113811 205 0 0 25 0 1 0 633369743 14491648 2676 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2676 1111 63 0 3475 0
vsize: 14152
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2755 0 0 0 114810 206 0 0 25 0 1 0 633369743 14491648 2676 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2676 1111 63 0 3475 0
vsize: 14152
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2762 0 0 0 115808 208 0 0 25 0 1 0 633369743 14491648 2683 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3538 2683 1111 63 0 3475 0
vsize: 14152
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2773 0 0 0 116806 211 0 0 25 0 1 0 633369743 14618624 2694 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2694 1111 63 0 3506 0
vsize: 14276
[startup+1174.91 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 13670
Raw data (stat): 13615 (bsolo_lpr) R 13614 7876 7672 0 -1 0 2773 0 0 0 116806 211 0 0 25 0 1 0 633369743 14618624 2694 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2694 1111 63 0 3506 0
vsize: 0

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