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-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 23367

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 20:21:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=406 boxname=wulflinc31 idbench=46 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  888577ab8fe81abf9fdd366d65e4c3b7  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_28_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_28_sat_pb.cnf.cr.opb
IDLAUNCH: 406
/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:        926056 kB
Buffers:         38752 kB
Cached:          47752 kB
SwapCached:        944 kB
Active:          72788 kB
Inactive:        16196 kB
HighTotal:      131008 kB
HighFree:        82292 kB
LowTotal:       903652 kB
LowFree:        843764 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14128 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 20:41:27 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 406 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 1260 variables and 926 constraints.
c After prepocess the problem consists of 1260 variables and 926 constraints.
c preprocess terminated 1.682 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.96 2/54 28047
Raw data (stat): 28047 (runsolver) R 28046 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642958851 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 1467 0 0 0 989 7 0 0 25 0 1 0 642958851 9129984 1388 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2229 1388 1111 63 0 2166 0
vsize: 8916
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 1527 0 0 0 1986 9 0 0 25 0 1 0 642958851 9400320 1448 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2295 1448 1111 63 0 2232 0
vsize: 9180
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 1584 0 0 0 2985 10 0 0 25 0 1 0 642958851 9654272 1505 4294967295 134512640 134714508 3221221776 3221220324 134696709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2357 1505 1111 63 0 2294 0
vsize: 9428
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 1621 0 0 0 3984 12 0 0 25 0 1 0 642958851 9789440 1542 4294967295 134512640 134714508 3221221776 3221220272 134697384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2390 1542 1111 63 0 2327 0
vsize: 9560
[startup+50.0031 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 1680 0 0 0 4983 12 0 0 25 0 1 0 642958851 10059776 1601 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2456 1601 1111 63 0 2393 0
vsize: 9824
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 1892 0 0 0 5982 14 0 0 25 0 1 0 642958851 10870784 1813 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2654 1813 1111 63 0 2591 0
vsize: 10616
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2010 0 0 0 6981 15 0 0 25 0 1 0 642958851 11411456 1931 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1931 1111 63 0 2723 0
vsize: 11144
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2010 0 0 0 7981 15 0 0 25 0 1 0 642958851 11276288 1927 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2753 1927 1111 63 0 2690 0
vsize: 11012
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2010 0 0 0 8981 16 0 0 25 0 1 0 642958851 11276288 1927 4294967295 134512640 134714508 3221221776 3221220480 134528538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2753 1927 1111 63 0 2690 0
vsize: 11012
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2010 0 0 0 9980 17 0 0 25 0 1 0 642958851 11276288 1927 4294967295 134512640 134714508 3221221776 3221220484 134535806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2753 1927 1111 63 0 2690 0
vsize: 11012
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2025 0 0 0 10980 17 0 0 25 0 1 0 642958851 11411456 1942 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1942 1111 63 0 2723 0
vsize: 11144
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2025 0 0 0 11979 18 0 0 25 0 1 0 642958851 11411456 1942 4294967295 134512640 134714508 3221221776 3221220416 134696286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1942 1111 63 0 2723 0
vsize: 11144
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2034 0 0 0 12978 19 0 0 25 0 1 0 642958851 11411456 1951 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1951 1111 63 0 2723 0
vsize: 11144
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2100 0 0 0 13977 20 0 0 25 0 1 0 642958851 11681792 2017 4294967295 134512640 134714508 3221221776 3221220332 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2852 2017 1111 63 0 2789 0
vsize: 11408
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2115 0 0 0 14976 21 0 0 25 0 1 0 642958851 11816960 2032 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2885 2032 1111 63 0 2822 0
vsize: 11540
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2148 0 0 0 15975 22 0 0 25 0 1 0 642958851 11952128 2065 4294967295 134512640 134714508 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2918 2065 1111 63 0 2855 0
vsize: 11672
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2178 0 0 0 16975 23 0 0 25 0 1 0 642958851 12058624 2095 4294967295 134512640 134714508 3221221776 3221220312 134613753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2944 2095 1111 63 0 2881 0
vsize: 11776
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2197 0 0 0 17974 24 0 0 25 0 1 0 642958851 12152832 2114 4294967295 134512640 134714508 3221221776 3221220304 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2967 2114 1111 63 0 2904 0
vsize: 11868
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2227 0 0 0 18973 25 0 0 25 0 1 0 642958851 12238848 2144 4294967295 134512640 134714508 3221221776 3221220436 134536744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2144 1111 63 0 2925 0
vsize: 11952
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2244 0 0 0 19972 26 0 0 25 0 1 0 642958851 12238848 2161 4294967295 134512640 134714508 3221221776 3221220504 1076648037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2161 1111 63 0 2925 0
vsize: 11952
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2264 0 0 0 20971 27 0 0 25 0 1 0 642958851 12320768 2181 4294967295 134512640 134714508 3221221776 3221220416 134613457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3008 2181 1111 63 0 2945 0
vsize: 12032
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2274 0 0 0 21971 28 0 0 25 0 1 0 642958851 12455936 2191 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2191 1111 63 0 2978 0
vsize: 12164
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2274 0 0 0 22969 29 0 0 25 0 1 0 642958851 12455936 2191 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2191 1111 63 0 2978 0
vsize: 12164
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2284 0 0 0 23968 30 0 0 25 0 1 0 642958851 12455936 2201 4294967295 134512640 134714508 3221221776 3221220560 134528816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2201 1111 63 0 2978 0
vsize: 12164
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2288 0 0 0 24968 32 0 0 25 0 1 0 642958851 12455936 2205 4294967295 134512640 134714508 3221221776 3221220344 1077378409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3041 2205 1111 63 0 2978 0
vsize: 12164
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2304 0 0 0 25966 33 0 0 25 0 1 0 642958851 12578816 2221 4294967295 134512640 134714508 3221221776 3221220432 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2221 1111 63 0 3008 0
vsize: 12284
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2313 0 0 0 26966 33 0 0 25 0 1 0 642958851 12578816 2230 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2230 1111 63 0 3008 0
vsize: 12284
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2314 0 0 0 27965 34 0 0 25 0 1 0 642958851 12578816 2231 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2231 1111 63 0 3008 0
vsize: 12284
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2314 0 0 0 28964 35 0 0 25 0 1 0 642958851 12578816 2231 4294967295 134512640 134714508 3221221776 3221220400 134539567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2231 1111 63 0 3008 0
vsize: 12284
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2314 0 0 0 29964 36 0 0 25 0 1 0 642958851 12578816 2231 4294967295 134512640 134714508 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2231 1111 63 0 3008 0
vsize: 12284
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2355 0 0 0 30962 38 0 0 25 0 1 0 642958851 12713984 2272 4294967295 134512640 134714508 3221221776 3221220384 134549450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2272 1111 63 0 3041 0
vsize: 12416
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2377 0 0 0 31961 39 0 0 25 0 1 0 642958851 12828672 2294 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3132 2294 1111 63 0 3069 0
vsize: 12528
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2493 0 0 0 32960 41 0 0 25 0 1 0 642958851 13377536 2410 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3266 2410 1111 63 0 3203 0
vsize: 13064
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2571 0 0 0 33960 41 0 0 25 0 1 0 642958851 13643776 2488 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2488 1111 63 0 3268 0
vsize: 13324
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2571 0 0 0 34959 42 0 0 25 0 1 0 642958851 13643776 2488 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2488 1111 63 0 3268 0
vsize: 13324
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2584 0 0 0 35958 43 0 0 25 0 1 0 642958851 13643776 2501 4294967295 134512640 134714508 3221221776 3221220168 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2501 1111 63 0 3268 0
vsize: 13324
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2630 0 0 0 36957 44 0 0 25 0 1 0 642958851 13914112 2547 4294967295 134512640 134714508 3221221776 3221220416 134696116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3397 2547 1111 63 0 3334 0
vsize: 13588
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2799 0 0 0 37954 47 0 0 25 0 1 0 642958851 14589952 2716 4294967295 134512640 134714508 3221221776 3221220400 134696268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3562 2716 1111 63 0 3499 0
vsize: 14248
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2903 0 0 0 38953 48 0 0 25 0 1 0 642958851 14987264 2820 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3659 2820 1111 63 0 3596 0
vsize: 14636
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 2928 0 0 0 39952 50 0 0 25 0 1 0 642958851 15118336 2845 4294967295 134512640 134714508 3221221776 3221220532 134652880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3691 2845 1111 63 0 3628 0
vsize: 14764
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3011 0 0 0 40950 52 0 0 25 0 1 0 642958851 15388672 2928 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2928 1111 63 0 3694 0
vsize: 15028
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3097 0 0 0 41948 54 0 0 25 0 1 0 642958851 15794176 3014 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 3014 1111 63 0 3793 0
vsize: 15424
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3203 0 0 0 42946 56 0 0 25 0 1 0 642958851 16183296 3120 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3951 3120 1111 63 0 3888 0
vsize: 15804
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3253 0 0 0 43945 57 0 0 25 0 1 0 642958851 16453632 3170 4294967295 134512640 134714508 3221221776 3221220464 134534089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4017 3170 1111 63 0 3954 0
vsize: 16068
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3308 0 0 0 44944 59 0 0 25 0 1 0 642958851 16707584 3225 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4079 3225 1111 63 0 4016 0
vsize: 16316
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3391 0 0 0 45942 60 0 0 25 0 1 0 642958851 16973824 3308 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4144 3308 1111 63 0 4081 0
vsize: 16576
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3432 0 0 0 46941 62 0 0 25 0 1 0 642958851 17108992 3349 4294967295 134512640 134714508 3221221776 3221220316 134613740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3349 1111 63 0 4114 0
vsize: 16708
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3432 0 0 0 47940 63 0 0 25 0 1 0 642958851 17108992 3349 4294967295 134512640 134714508 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3349 1111 63 0 4114 0
vsize: 16708
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3442 0 0 0 48939 64 0 0 25 0 1 0 642958851 17240064 3359 4294967295 134512640 134714508 3221221776 3221220100 134697196 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 3359 1111 63 0 4146 0
vsize: 16836
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3457 0 0 0 49937 66 0 0 25 0 1 0 642958851 17240064 3374 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4209 3374 1111 63 0 4146 0
vsize: 16836
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3485 0 0 0 50936 67 0 0 25 0 1 0 642958851 17375232 3402 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4242 3402 1111 63 0 4179 0
vsize: 16968
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3594 0 0 0 51935 69 0 0 25 0 1 0 642958851 17780736 3511 4294967295 134512640 134714508 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3511 1111 63 0 4278 0
vsize: 17364
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3647 0 0 0 52934 70 0 0 25 0 1 0 642958851 18051072 3564 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4407 3564 1111 63 0 4344 0
vsize: 17628
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3648 0 0 0 53932 72 0 0 25 0 1 0 642958851 18051072 3565 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4407 3565 1111 63 0 4344 0
vsize: 17628
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3658 0 0 0 54931 73 0 0 25 0 1 0 642958851 18051072 3575 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4407 3575 1111 63 0 4344 0
vsize: 17628
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3693 0 0 0 55930 74 0 0 25 0 1 0 642958851 18186240 3610 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3610 1111 63 0 4377 0
vsize: 17760
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3762 0 0 0 56928 76 0 0 25 0 1 0 642958851 18452480 3679 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3679 1111 63 0 4442 0
vsize: 18020
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3810 0 0 0 57927 78 0 0 25 0 1 0 642958851 18722816 3727 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3727 1111 63 0 4508 0
vsize: 18284
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3895 0 0 0 58925 79 0 0 25 0 1 0 642958851 19128320 3812 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3812 1111 63 0 4607 0
vsize: 18680
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3946 0 0 0 59924 81 0 0 25 0 1 0 642958851 19255296 3863 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4701 3863 1111 63 0 4638 0
vsize: 18804
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 3984 0 0 0 60923 82 0 0 25 0 1 0 642958851 19386368 3901 4294967295 134512640 134714508 3221221776 3221220400 134696324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4733 3901 1111 63 0 4670 0
vsize: 18932
[startup+620.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4012 0 0 0 61921 84 0 0 25 0 1 0 642958851 19521536 3929 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4766 3929 1111 63 0 4703 0
vsize: 19064
[startup+630.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4034 0 0 0 62920 86 0 0 25 0 1 0 642958851 19656704 3951 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4799 3951 1111 63 0 4736 0
vsize: 19196
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4038 0 0 0 63919 87 0 0 25 0 1 0 642958851 19656704 3955 4294967295 134512640 134714508 3221221776 3221220332 134535484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4799 3955 1111 63 0 4736 0
vsize: 19196
[startup+650.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4126 0 0 0 64917 88 0 0 25 0 1 0 642958851 20062208 4043 4294967295 134512640 134714508 3221221776 3221220468 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4898 4043 1111 63 0 4835 0
vsize: 19592
[startup+660.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4158 0 0 0 65916 90 0 0 25 0 1 0 642958851 20197376 4075 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4075 1111 63 0 4868 0
vsize: 19724
[startup+670.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4165 0 0 0 66915 91 0 0 25 0 1 0 642958851 20197376 4082 4294967295 134512640 134714508 3221221776 3221220260 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4082 1111 63 0 4868 0
vsize: 19724
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4220 0 0 0 67913 94 0 0 25 0 1 0 642958851 20332544 4137 4294967295 134512640 134714508 3221221776 3221220020 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4964 4137 1111 63 0 4901 0
vsize: 19856
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4255 0 0 0 68912 95 0 0 25 0 1 0 642958851 20602880 4172 4294967295 134512640 134714508 3221221776 3221220512 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4172 1111 63 0 4967 0
vsize: 20120
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4259 0 0 0 69911 96 0 0 25 0 1 0 642958851 20602880 4176 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4176 1111 63 0 4967 0
vsize: 20120
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4293 0 0 0 70910 97 0 0 25 0 1 0 642958851 20738048 4210 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4210 1111 63 0 5000 0
vsize: 20252
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4303 0 0 0 71909 98 0 0 25 0 1 0 642958851 20738048 4220 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5063 4220 1111 63 0 5000 0
vsize: 20252
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4310 0 0 0 72907 100 0 0 25 0 1 0 642958851 20738048 4227 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4227 1111 63 0 5000 0
vsize: 20252
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4310 0 0 0 73907 101 0 0 25 0 1 0 642958851 20738048 4227 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4227 1111 63 0 5000 0
vsize: 20252
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4326 0 0 0 74906 102 0 0 25 0 1 0 642958851 20873216 4243 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5096 4243 1111 63 0 5033 0
vsize: 20384
[startup+760.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4365 0 0 0 75905 103 0 0 25 0 1 0 642958851 21008384 4282 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5129 4282 1111 63 0 5066 0
vsize: 20516
[startup+770.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4382 0 0 0 76903 105 0 0 25 0 1 0 642958851 21008384 4299 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5129 4299 1111 63 0 5066 0
vsize: 20516
[startup+780.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4440 0 0 0 77902 105 0 0 25 0 1 0 642958851 21258240 4357 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4357 1111 63 0 5127 0
vsize: 20760
[startup+790.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4496 0 0 0 78902 106 0 0 25 0 1 0 642958851 21495808 4413 4294967295 134512640 134714508 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5248 4413 1111 63 0 5185 0
vsize: 20992
[startup+800.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4636 0 0 0 79900 108 0 0 25 0 1 0 642958851 22151168 4553 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4553 1111 63 0 5345 0
vsize: 21632
[startup+810.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4688 0 0 0 80899 109 0 0 25 0 1 0 642958851 22286336 4605 4294967295 134512640 134714508 3221221776 3221220336 134523583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5441 4605 1111 63 0 5378 0
vsize: 21764
[startup+820.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4706 0 0 0 81898 110 0 0 25 0 1 0 642958851 22421504 4623 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4623 1111 63 0 5411 0
vsize: 21896
[startup+830.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4706 0 0 0 82897 112 0 0 25 0 1 0 642958851 22421504 4623 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4623 1111 63 0 5411 0
vsize: 21896
[startup+840.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4720 0 0 0 83897 113 0 0 25 0 1 0 642958851 22421504 4637 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4637 1111 63 0 5411 0
vsize: 21896
[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4726 0 0 0 84896 114 0 0 25 0 1 0 642958851 22421504 4643 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4643 1111 63 0 5411 0
vsize: 21896
[startup+860.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4747 0 0 0 85895 115 0 0 25 0 1 0 642958851 22556672 4664 4294967295 134512640 134714508 3221221776 3221220316 134539290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5507 4664 1111 63 0 5444 0
vsize: 22028
[startup+870.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4764 0 0 0 86893 116 0 0 25 0 1 0 642958851 22556672 4681 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5507 4681 1111 63 0 5444 0
vsize: 22028
[startup+880.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4792 0 0 0 87893 117 0 0 25 0 1 0 642958851 22691840 4709 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5540 4709 1111 63 0 5477 0
vsize: 22160
[startup+890.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4848 0 0 0 88892 118 0 0 25 0 1 0 642958851 22962176 4765 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5606 4765 1111 63 0 5543 0
vsize: 22424
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4892 0 0 0 89891 119 0 0 25 0 1 0 642958851 23097344 4809 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5639 4809 1111 63 0 5576 0
vsize: 22556
[startup+910.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4926 0 0 0 90890 121 0 0 25 0 1 0 642958851 23232512 4843 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5672 4843 1111 63 0 5609 0
vsize: 22688
[startup+920.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 4984 0 0 0 91888 122 0 0 25 0 1 0 642958851 23482368 4901 4294967295 134512640 134714508 3221221776 3221220496 1076648048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5733 4901 1111 63 0 5670 0
vsize: 22932
[startup+930.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5002 0 0 0 92888 123 0 0 25 0 1 0 642958851 23617536 4919 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5766 4919 1111 63 0 5703 0
vsize: 23064
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5013 0 0 0 93887 124 0 0 25 0 1 0 642958851 23617536 4930 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5766 4930 1111 63 0 5703 0
vsize: 23064
[startup+950.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5021 0 0 0 94886 125 0 0 25 0 1 0 642958851 23617536 4938 4294967295 134512640 134714508 3221221776 3221220464 134523165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5766 4938 1111 63 0 5703 0
vsize: 23064
[startup+960.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5078 0 0 0 95885 126 0 0 25 0 1 0 642958851 23879680 4995 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5830 4995 1111 63 0 5767 0
vsize: 23320
[startup+970.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5133 0 0 0 96884 128 0 0 25 0 1 0 642958851 24150016 5050 4294967295 134512640 134714508 3221221776 3221220520 134592019 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5050 1111 63 0 5833 0
vsize: 23584
[startup+980.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5139 0 0 0 97883 129 0 0 25 0 1 0 642958851 24150016 5056 4294967295 134512640 134714508 3221221776 3221220272 134535477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5896 5056 1111 63 0 5833 0
vsize: 23584
[startup+990.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5166 0 0 0 98881 131 0 0 25 0 1 0 642958851 24285184 5083 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5929 5083 1111 63 0 5866 0
vsize: 23716
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5173 0 0 0 99880 133 0 0 25 0 1 0 642958851 24285184 5090 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5929 5090 1111 63 0 5866 0
vsize: 23716
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5213 0 0 0 100878 134 0 0 25 0 1 0 642958851 24420352 5130 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5962 5130 1111 63 0 5899 0
vsize: 23848
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5267 0 0 0 101877 135 0 0 25 0 1 0 642958851 24690688 5184 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6028 5184 1111 63 0 5965 0
vsize: 24112
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5267 0 0 0 102876 137 0 0 25 0 1 0 642958851 24662016 5184 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6021 5184 1111 63 0 5958 0
vsize: 24084
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5307 0 0 0 103875 138 0 0 25 0 1 0 642958851 24793088 5224 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6053 5224 1111 63 0 5990 0
vsize: 24212
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5377 0 0 0 104874 140 0 0 25 0 1 0 642958851 25161728 5294 4294967295 134512640 134714508 3221221776 3221220384 134549299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6143 5294 1111 63 0 6080 0
vsize: 24572
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5391 0 0 0 105872 141 0 0 25 0 1 0 642958851 25161728 5308 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6143 5308 1111 63 0 6080 0
vsize: 24572
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5421 0 0 0 106872 142 0 0 25 0 1 0 642958851 25292800 5338 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6175 5338 1111 63 0 6112 0
vsize: 24700
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5463 0 0 0 107871 143 0 0 25 0 1 0 642958851 25427968 5380 4294967295 134512640 134714508 3221221776 3221220232 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5463 0 0 0 108870 144 0 0 25 0 1 0 642958851 25427968 5380 4294967295 134512640 134714508 3221221776 3221220396 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5463 0 0 0 109868 146 0 0 25 0 1 0 642958851 25427968 5380 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5463 0 0 0 110867 147 0 0 25 0 1 0 642958851 25427968 5380 4294967295 134512640 134714508 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5463 0 0 0 111867 148 0 0 25 0 1 0 642958851 25427968 5380 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5380 1111 63 0 6145 0
vsize: 24832
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5475 0 0 0 112866 149 0 0 25 0 1 0 642958851 25563136 5392 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6241 5392 1111 63 0 6178 0
vsize: 24964
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5475 0 0 0 113864 151 0 0 25 0 1 0 642958851 25563136 5392 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6241 5392 1111 63 0 6178 0
vsize: 24964
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5521 0 0 0 114863 152 0 0 25 0 1 0 642958851 25698304 5438 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5438 1111 63 0 6211 0
vsize: 25096
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5525 0 0 0 115862 153 0 0 25 0 1 0 642958851 25698304 5442 4294967295 134512640 134714508 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5442 1111 63 0 6211 0
vsize: 25096
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5525 0 0 0 116861 154 0 0 25 0 1 0 642958851 25698304 5442 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5442 1111 63 0 6211 0
vsize: 25096
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.98 0.96 1/53 28047
Raw data (stat): 28047 (bsolo_lpr) R 28046 7876 7672 0 -1 0 5525 0 0 0 116861 154 0 0 25 0 1 0 642958851 25698304 5442 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6274 5442 1111 63 0 6211 0
vsize: 0

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