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-chnl50_55_pb.cnf.cr.opb
MD5SUM	88aaed929c30a489c8806c3852596de3
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	56
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.173973
Number of variables	5500
Total number of constraints	210
Number of constraints which are clauses	110
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	55
Trace number 23242

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 20:24:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=181 boxname=wulflinc31 idbench=21 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  88aaed929c30a489c8806c3852596de3  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_55_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_55_pb.cnf.cr.opb
IDLAUNCH: 181
/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:        929904 kB
Buffers:         36712 kB
Cached:          46064 kB
SwapCached:        864 kB
Active:          71124 kB
Inactive:        14068 kB
HighTotal:      131008 kB
HighFree:        83860 kB
LowTotal:       903652 kB
LowFree:        846044 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             124 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13956 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 20:43:46 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 181 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 5500 variables and 210 constraints.
c After prepocess the problem consists of 5500 variables and 210 constraints.
c preprocess terminated 2.747 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): 1.01 1.00 0.92 2/54 14734
Raw data (stat): 14734 (runsolver) R 14733 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 634331805 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 1962 0 0 0 987 8 0 0 25 0 1 0 634331805 11309056 1883 4294967295 134512640 134714508 3221221776 3221220608 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2761 1883 1111 63 0 2698 0
vsize: 11044
[startup+20.0007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 1983 0 0 0 1985 10 0 0 25 0 1 0 634331805 11444224 1904 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1904 1111 63 0 2731 0
vsize: 11176
[startup+30.0017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2004 0 0 0 2984 12 0 0 25 0 1 0 634331805 11444224 1925 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1925 1111 63 0 2731 0
vsize: 11176
[startup+40.0016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2007 0 0 0 3982 13 0 0 25 0 1 0 634331805 11444224 1928 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2794 1928 1111 63 0 2731 0
vsize: 11176
[startup+50.0029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2038 0 0 0 4981 14 0 0 25 0 1 0 634331805 11579392 1959 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1959 1111 63 0 2764 0
vsize: 11308
[startup+60.0025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2038 0 0 0 5979 16 0 0 25 0 1 0 634331805 11579392 1959 4294967295 134512640 134714508 3221221776 3221220524 134558545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1959 1111 63 0 2764 0
vsize: 11308
[startup+70.0024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2052 0 0 0 6978 18 0 0 25 0 1 0 634331805 11714560 1973 4294967295 134512640 134714508 3221221776 3221220400 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 1973 1111 63 0 2797 0
vsize: 11440
[startup+80.0033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2052 0 0 0 7977 19 0 0 25 0 1 0 634331805 11714560 1973 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 1973 1111 63 0 2797 0
vsize: 11440
[startup+90.0032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2063 0 0 0 8975 21 0 0 25 0 1 0 634331805 11714560 1984 4294967295 134512640 134714508 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 1984 1111 63 0 2797 0
vsize: 11440
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2063 0 0 0 9973 23 0 0 25 0 1 0 634331805 11714560 1984 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 1984 1111 63 0 2797 0
vsize: 11440
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2063 0 0 0 10971 25 0 0 25 0 1 0 634331805 11714560 1984 4294967295 134512640 134714508 3221221776 3221219932 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 1984 1111 63 0 2797 0
vsize: 11440
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2121 0 0 0 11969 28 0 0 25 0 1 0 634331805 11984896 2042 4294967295 134512640 134714508 3221221776 3221220560 134584864 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2042 1111 63 0 2863 0
vsize: 11704
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2150 0 0 0 12967 30 0 0 25 0 1 0 634331805 12120064 2071 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2071 1111 63 0 2896 0
vsize: 11836
[startup+140.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2175 0 0 0 13966 31 0 0 25 0 1 0 634331805 12120064 2096 4294967295 134512640 134714508 3221221776 3221220532 134652863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2096 1111 63 0 2896 0
vsize: 11836
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2175 0 0 0 14964 33 0 0 25 0 1 0 634331805 12120064 2096 4294967295 134512640 134714508 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2959 2096 1111 63 0 2896 0
vsize: 11836
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2186 0 0 0 15963 34 0 0 25 0 1 0 634331805 12255232 2107 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2992 2107 1111 63 0 2929 0
vsize: 11968
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2196 0 0 0 16962 36 0 0 25 0 1 0 634331805 12255232 2117 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2992 2117 1111 63 0 2929 0
vsize: 11968
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2196 0 0 0 17960 37 0 0 25 0 1 0 634331805 12255232 2117 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2992 2117 1111 63 0 2929 0
vsize: 11968
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2224 0 0 0 18960 38 0 0 25 0 1 0 634331805 12390400 2145 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+200.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2224 0 0 0 19959 39 0 0 25 0 1 0 634331805 12390400 2145 4294967295 134512640 134714508 3221221776 3221220344 1077377353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2224 0 0 0 20958 40 0 0 25 0 1 0 634331805 12390400 2145 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2224 0 0 0 21956 42 0 0 25 0 1 0 634331805 12390400 2145 4294967295 134512640 134714508 3221221776 3221220264 134697439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2224 0 0 0 22954 44 0 0 25 0 1 0 634331805 12390400 2145 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2224 0 0 0 23952 46 0 0 25 0 1 0 634331805 12390400 2145 4294967295 134512640 134714508 3221221776 3221220416 134696286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2244 0 0 0 24951 48 0 0 25 0 1 0 634331805 12525568 2165 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3058 2165 1111 63 0 2995 0
vsize: 12232
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2244 0 0 0 25949 50 0 0 25 0 1 0 634331805 12525568 2165 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3058 2165 1111 63 0 2995 0
vsize: 12232
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2253 0 0 0 26947 52 0 0 25 0 1 0 634331805 12521472 2174 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2174 1111 63 0 2994 0
vsize: 12228
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2253 0 0 0 27946 53 0 0 25 0 1 0 634331805 12521472 2174 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2174 1111 63 0 2994 0
vsize: 12228
[startup+290.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2259 0 0 0 28943 56 0 0 25 0 1 0 634331805 12521472 2180 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2180 1111 63 0 2994 0
vsize: 12228
[startup+300.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2259 0 0 0 29942 57 0 0 25 0 1 0 634331805 12521472 2180 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2180 1111 63 0 2994 0
vsize: 12228
[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2259 0 0 0 30940 59 0 0 25 0 1 0 634331805 12521472 2180 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2180 1111 63 0 2994 0
vsize: 12228
[startup+320.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2268 0 0 0 31939 61 0 0 25 0 1 0 634331805 12521472 2189 4294967295 134512640 134714508 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2189 1111 63 0 2994 0
vsize: 12228
[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2268 0 0 0 32936 63 0 0 25 0 1 0 634331805 12521472 2189 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2189 1111 63 0 2994 0
vsize: 12228
[startup+340.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2268 0 0 0 33934 65 0 0 25 0 1 0 634331805 12521472 2189 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2189 1111 63 0 2994 0
vsize: 12228
[startup+350.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2274 0 0 0 34932 67 0 0 25 0 1 0 634331805 12521472 2195 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2195 1111 63 0 2994 0
vsize: 12228
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2275 0 0 0 35930 69 0 0 25 0 1 0 634331805 12521472 2196 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2196 1111 63 0 2994 0
vsize: 12228
[startup+370.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2281 0 0 0 36929 71 0 0 25 0 1 0 634331805 12656640 2202 4294967295 134512640 134714508 3221221776 3221220424 1077374049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3090 2202 1111 63 0 3027 0
vsize: 12360
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2307 0 0 0 37928 72 0 0 25 0 1 0 634331805 12656640 2228 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3090 2228 1111 63 0 3027 0
vsize: 12360
[startup+390.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2307 0 0 0 38927 73 0 0 25 0 1 0 634331805 12656640 2228 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3090 2228 1111 63 0 3027 0
vsize: 12360
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2307 0 0 0 39925 75 0 0 25 0 1 0 634331805 12656640 2228 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3090 2228 1111 63 0 3027 0
vsize: 12360
[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2307 0 0 0 40924 76 0 0 25 0 1 0 634331805 12656640 2228 4294967295 134512640 134714508 3221221776 3221220432 134527272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3090 2228 1111 63 0 3027 0
vsize: 12360
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2323 0 0 0 41922 78 0 0 25 0 1 0 634331805 12791808 2244 4294967295 134512640 134714508 3221221776 3221220512 134591951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3123 2244 1111 63 0 3060 0
vsize: 12492
[startup+430.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2385 0 0 0 42920 81 0 0 25 0 1 0 634331805 13062144 2306 4294967295 134512640 134714508 3221221776 3221220352 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3189 2306 1111 63 0 3126 0
vsize: 12756
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2424 0 0 0 43919 82 0 0 25 0 1 0 634331805 13172736 2345 4294967295 134512640 134714508 3221221776 3221220336 134551989 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3216 2345 1111 63 0 3153 0
vsize: 12864
[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2467 0 0 0 44917 84 0 0 25 0 1 0 634331805 13307904 2388 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3249 2388 1111 63 0 3186 0
vsize: 12996
[startup+460.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2503 0 0 0 45915 86 0 0 25 0 1 0 634331805 13565952 2424 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2424 1111 63 0 3249 0
vsize: 13248
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2517 0 0 0 46914 87 0 0 25 0 1 0 634331805 13565952 2438 4294967295 134512640 134714508 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2438 1111 63 0 3249 0
vsize: 13248
[startup+480.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2517 0 0 0 47913 89 0 0 25 0 1 0 634331805 13565952 2438 4294967295 134512640 134714508 3221221776 3221220400 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2438 1111 63 0 3249 0
vsize: 13248
[startup+490.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2534 0 0 0 48911 91 0 0 25 0 1 0 634331805 13701120 2455 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2455 1111 63 0 3282 0
vsize: 13380
[startup+500.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2540 0 0 0 49910 92 0 0 25 0 1 0 634331805 13701120 2461 4294967295 134512640 134714508 3221221776 3221220344 1077377281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2461 1111 63 0 3282 0
vsize: 13380
[startup+510.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2564 0 0 0 50908 94 0 0 25 0 1 0 634331805 13836288 2485 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2485 1111 63 0 3315 0
vsize: 13512
[startup+520.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2564 0 0 0 51907 95 0 0 25 0 1 0 634331805 13836288 2485 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2485 1111 63 0 3315 0
vsize: 13512
[startup+530.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2564 0 0 0 52906 97 0 0 25 0 1 0 634331805 13836288 2485 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2485 1111 63 0 3315 0
vsize: 13512
[startup+540.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2583 0 0 0 53905 98 0 0 25 0 1 0 634331805 13836288 2504 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2504 1111 63 0 3315 0
vsize: 13512
[startup+550.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2583 0 0 0 54903 99 0 0 25 0 1 0 634331805 13836288 2504 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3378 2504 1111 63 0 3315 0
vsize: 13512
[startup+560.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2598 0 0 0 55903 100 0 0 25 0 1 0 634331805 13971456 2519 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 2519 1111 63 0 3348 0
vsize: 13644
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2603 0 0 0 56902 101 0 0 25 0 1 0 634331805 13946880 2524 4294967295 134512640 134714508 3221221776 3221220544 134592098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2524 1111 63 0 3342 0
vsize: 13620
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2615 0 0 0 57900 103 0 0 25 0 1 0 634331805 13946880 2536 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3405 2536 1111 63 0 3342 0
vsize: 13620
[startup+590.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2626 0 0 0 58900 104 0 0 25 0 1 0 634331805 14082048 2547 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2547 1111 63 0 3375 0
vsize: 13752
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2652 0 0 0 59899 105 0 0 25 0 1 0 634331805 14082048 2573 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2573 1111 63 0 3375 0
vsize: 13752
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2666 0 0 0 60897 107 0 0 25 0 1 0 634331805 14217216 2587 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2666 0 0 0 61896 108 0 0 25 0 1 0 634331805 14217216 2587 4294967295 134512640 134714508 3221221776 3221220572 134554961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2666 0 0 0 62895 109 0 0 25 0 1 0 634331805 14217216 2587 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+640.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2666 0 0 0 63894 110 0 0 25 0 1 0 634331805 14217216 2587 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2666 0 0 0 64892 112 0 0 25 0 1 0 634331805 14217216 2587 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2666 0 0 0 65891 114 0 0 25 0 1 0 634331805 14217216 2587 4294967295 134512640 134714508 3221221776 3221220508 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2677 0 0 0 66890 115 0 0 25 0 1 0 634331805 14217216 2598 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2598 1111 63 0 3408 0
vsize: 13884
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2677 0 0 0 67889 116 0 0 25 0 1 0 634331805 14217216 2598 4294967295 134512640 134714508 3221221776 3221220408 134696017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2598 1111 63 0 3408 0
vsize: 13884
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2678 0 0 0 68888 117 0 0 25 0 1 0 634331805 14217216 2599 4294967295 134512640 134714508 3221221776 3221220432 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2599 1111 63 0 3408 0
vsize: 13884
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2678 0 0 0 69887 118 0 0 25 0 1 0 634331805 14217216 2599 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2599 1111 63 0 3408 0
vsize: 13884
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2690 0 0 0 70886 119 0 0 25 0 1 0 634331805 14352384 2611 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2611 1111 63 0 3441 0
vsize: 14016
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2706 0 0 0 71885 120 0 0 25 0 1 0 634331805 14352384 2627 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2627 1111 63 0 3441 0
vsize: 14016
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2706 0 0 0 72885 121 0 0 25 0 1 0 634331805 14352384 2627 4294967295 134512640 134714508 3221221776 3221220540 134534136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2627 1111 63 0 3441 0
vsize: 14016
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2716 0 0 0 73884 123 0 0 25 0 1 0 634331805 14352384 2637 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2637 1111 63 0 3441 0
vsize: 14016
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2716 0 0 0 74883 123 0 0 25 0 1 0 634331805 14352384 2637 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2637 1111 63 0 3441 0
vsize: 14016
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2754 0 0 0 75882 124 0 0 25 0 1 0 634331805 14487552 2675 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3537 2675 1111 63 0 3474 0
vsize: 14148
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2756 0 0 0 76881 126 0 0 25 0 1 0 634331805 14622720 2677 4294967295 134512640 134714508 3221221776 3221220416 134696051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2677 1111 63 0 3507 0
vsize: 14280
[startup+780.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2779 0 0 0 77880 127 0 0 25 0 1 0 634331805 14622720 2700 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2700 1111 63 0 3507 0
vsize: 14280
[startup+790.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2780 0 0 0 78878 129 0 0 25 0 1 0 634331805 14622720 2701 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2701 1111 63 0 3507 0
vsize: 14280
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 79877 130 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 80876 131 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+820.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 81874 133 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 82873 135 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 83872 136 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 84871 137 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 85869 139 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220172 1077379851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2787 0 0 0 86868 140 0 0 25 0 1 0 634331805 14622720 2708 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2803 0 0 0 87867 141 0 0 25 0 1 0 634331805 14757888 2724 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2724 1111 63 0 3540 0
vsize: 14412
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2803 0 0 0 88866 143 0 0 25 0 1 0 634331805 14757888 2724 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2724 1111 63 0 3540 0
vsize: 14412
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2811 0 0 0 89865 144 0 0 25 0 1 0 634331805 14757888 2732 4294967295 134512640 134714508 3221221776 3221220452 1077374485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2732 1111 63 0 3540 0
vsize: 14412
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2813 0 0 0 90863 146 0 0 25 0 1 0 634331805 14757888 2734 4294967295 134512640 134714508 3221221776 3221220416 134536698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2734 1111 63 0 3540 0
vsize: 14412
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2835 0 0 0 91863 146 0 0 25 0 1 0 634331805 14893056 2756 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2756 1111 63 0 3573 0
vsize: 14544
[startup+930.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2848 0 0 0 92862 148 0 0 25 0 1 0 634331805 14893056 2769 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2769 1111 63 0 3573 0
vsize: 14544
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2848 0 0 0 93860 150 0 0 25 0 1 0 634331805 14893056 2769 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2769 1111 63 0 3573 0
vsize: 14544
[startup+950.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2871 0 0 0 94860 150 0 0 25 0 1 0 634331805 15024128 2792 4294967295 134512640 134714508 3221221776 3221220452 134652832 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2792 1111 63 0 3605 0
vsize: 14672
[startup+960.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2871 0 0 0 95858 152 0 0 25 0 1 0 634331805 15024128 2792 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2792 1111 63 0 3605 0
vsize: 14672
[startup+970.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2871 0 0 0 96857 153 0 0 25 0 1 0 634331805 15024128 2792 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2792 1111 63 0 3605 0
vsize: 14672
[startup+980.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2881 0 0 0 97856 154 0 0 25 0 1 0 634331805 15024128 2802 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2802 1111 63 0 3605 0
vsize: 14672
[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2881 0 0 0 98855 156 0 0 25 0 1 0 634331805 15024128 2802 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2802 1111 63 0 3605 0
vsize: 14672
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2891 0 0 0 99854 157 0 0 25 0 1 0 634331805 15159296 2812 4294967295 134512640 134714508 3221221776 3221220316 134613740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2812 1111 63 0 3638 0
vsize: 14804
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2923 0 0 0 100853 158 0 0 25 0 1 0 634331805 15294464 2844 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2844 1111 63 0 3671 0
vsize: 14936
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2923 0 0 0 101852 159 0 0 25 0 1 0 634331805 15294464 2844 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2844 1111 63 0 3671 0
vsize: 14936
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2932 0 0 0 102850 161 0 0 25 0 1 0 634331805 15294464 2853 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2932 0 0 0 103849 162 0 0 25 0 1 0 634331805 15294464 2853 4294967295 134512640 134714508 3221221776 3221220368 134549757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2932 0 0 0 104849 163 0 0 25 0 1 0 634331805 15294464 2853 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2932 0 0 0 105847 165 0 0 25 0 1 0 634331805 15294464 2853 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2932 0 0 0 106846 166 0 0 25 0 1 0 634331805 15294464 2853 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2932 0 0 0 107845 168 0 0 25 0 1 0 634331805 15294464 2853 4294967295 134512640 134714508 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2946 0 0 0 108843 170 0 0 25 0 1 0 634331805 15294464 2867 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2867 1111 63 0 3671 0
vsize: 14936
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2965 0 0 0 109842 171 0 0 25 0 1 0 634331805 15413248 2886 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3763 2886 1111 63 0 3700 0
vsize: 15052
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2965 0 0 0 110840 173 0 0 25 0 1 0 634331805 15413248 2886 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3763 2886 1111 63 0 3700 0
vsize: 15052
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2966 0 0 0 111839 174 0 0 25 0 1 0 634331805 15413248 2887 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3763 2887 1111 63 0 3700 0
vsize: 15052
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2966 0 0 0 112837 176 0 0 25 0 1 0 634331805 15413248 2887 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3763 2887 1111 63 0 3700 0
vsize: 15052
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 2966 0 0 0 113836 177 0 0 25 0 1 0 634331805 15413248 2887 4294967295 134512640 134714508 3221221776 3221220536 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2887 1111 63 0 3700 0
vsize: 15052
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 3000 0 0 0 114834 179 0 0 25 0 1 0 634331805 15548416 2921 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2921 1111 63 0 3733 0
vsize: 15184
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 3000 0 0 0 115832 181 0 0 25 0 1 0 634331805 15548416 2921 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2921 1111 63 0 3733 0
vsize: 15184
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 3004 0 0 0 116831 182 0 0 25 0 1 0 634331805 15548416 2925 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2925 1111 63 0 3733 0
vsize: 15184
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 14734
Raw data (stat): 14734 (bsolo_lpr) R 14733 7876 7672 0 -1 0 3004 0 0 0 116831 182 0 0 25 0 1 0 634331805 15548416 2925 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2925 1111 63 0 3733 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.03
CPU user time (s): 1173.18
CPU system time (s): 1.84272
CPU usage (%): 100.008
Max. virtual memory (Kb): 15184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####