PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM	69d239b72e8d1a72f9c55329043493e1
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.9626
Number of variables	2280
Total number of constraints	1636
Number of constraints which are clauses	1558
Number of constraints which are cardinality constraints (but not clauses)	78
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 23397

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 04:23:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=460 boxname=wulflinc31 idbench=52 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  69d239b72e8d1a72f9c55329043493e1  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_38_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_38_sat_pb.cnf.cr.opb
IDLAUNCH: 460
/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:        923500 kB
Buffers:         39312 kB
Cached:          49572 kB
SwapCached:        944 kB
Active:          74180 kB
Inactive:        17156 kB
HighTotal:      131008 kB
HighFree:        80416 kB
LowTotal:       903652 kB
LowFree:        843084 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             396 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14220 kB
Committed_AS:    63616 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 04:43:15 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 460 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 2280 variables and 1636 constraints.
c After prepocess the problem consists of 2280 variables and 1636 constraints.
c preprocess terminated 5.189 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.92 0.95 0.97 2/54 31351
Raw data (stat): 31351 (runsolver) R 31350 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 645850004 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 1843 0 0 0 987 8 0 0 25 0 1 0 645850004 10661888 1764 4294967295 134512640 134714508 3221221776 3221220712 134598701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2603 1764 1111 63 0 2540 0
vsize: 10412
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 1858 0 0 0 1985 11 0 0 25 0 1 0 645850004 10792960 1779 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2635 1779 1111 63 0 2572 0
vsize: 10540
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 1898 0 0 0 2983 12 0 0 25 0 1 0 645850004 10928128 1819 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1819 1111 63 0 2605 0
vsize: 10672
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 1937 0 0 0 3982 14 0 0 25 0 1 0 645850004 11063296 1858 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1858 1111 63 0 2638 0
vsize: 10804
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 1944 0 0 0 4981 15 0 0 25 0 1 0 645850004 11063296 1865 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2701 1865 1111 63 0 2638 0
vsize: 10804
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2003 0 0 0 5979 17 0 0 25 0 1 0 645850004 11321344 1924 4294967295 134512640 134714508 3221221776 3221220464 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1924 1111 63 0 2701 0
vsize: 11056
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2036 0 0 0 6979 18 0 0 25 0 1 0 645850004 11436032 1957 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2792 1957 1111 63 0 2729 0
vsize: 11168
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2048 0 0 0 7978 18 0 0 25 0 1 0 645850004 11563008 1969 4294967295 134512640 134714508 3221221776 3221220416 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2823 1969 1111 63 0 2760 0
vsize: 11292
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2075 0 0 0 8977 20 0 0 25 0 1 0 645850004 11698176 1996 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2856 1996 1111 63 0 2793 0
vsize: 11424
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2077 0 0 0 9975 22 0 0 25 0 1 0 645850004 11698176 1998 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2856 1998 1111 63 0 2793 0
vsize: 11424
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2106 0 0 0 10974 23 0 0 25 0 1 0 645850004 11833344 2027 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2889 2027 1111 63 0 2826 0
vsize: 11556
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2130 0 0 0 11973 24 0 0 25 0 1 0 645850004 11943936 2051 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2051 1111 63 0 2853 0
vsize: 11664
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2130 0 0 0 12972 25 0 0 25 0 1 0 645850004 11943936 2051 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2051 1111 63 0 2853 0
vsize: 11664
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2135 0 0 0 13971 26 0 0 25 0 1 0 645850004 11943936 2056 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2056 1111 63 0 2853 0
vsize: 11664
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2138 0 0 0 14970 28 0 0 25 0 1 0 645850004 11943936 2059 4294967295 134512640 134714508 3221221776 3221220320 134696471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2059 1111 63 0 2853 0
vsize: 11664
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2161 0 0 0 15969 29 0 0 25 0 1 0 645850004 11943936 2082 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2082 1111 63 0 2853 0
vsize: 11664
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2161 0 0 0 16968 30 0 0 25 0 1 0 645850004 11943936 2082 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2916 2082 1111 63 0 2853 0
vsize: 11664
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2168 0 0 0 17966 32 0 0 25 0 1 0 645850004 12079104 2089 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2949 2089 1111 63 0 2886 0
vsize: 11796
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2170 0 0 0 18965 33 0 0 25 0 1 0 645850004 12079104 2091 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2949 2091 1111 63 0 2886 0
vsize: 11796
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2174 0 0 0 19964 35 0 0 25 0 1 0 645850004 12079104 2095 4294967295 134512640 134714508 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2949 2095 1111 63 0 2886 0
vsize: 11796
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2208 0 0 0 20963 36 0 0 25 0 1 0 645850004 12214272 2129 4294967295 134512640 134714508 3221221776 3221220272 134697184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2982 2129 1111 63 0 2919 0
vsize: 11928
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2228 0 0 0 21962 37 0 0 25 0 1 0 645850004 12349440 2149 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 2149 1111 63 0 2952 0
vsize: 12060
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2228 0 0 0 22961 38 0 0 25 0 1 0 645850004 12349440 2149 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3015 2149 1111 63 0 2952 0
vsize: 12060
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2228 0 0 0 23960 39 0 0 25 0 1 0 645850004 12333056 2149 4294967295 134512640 134714508 3221221776 3221220292 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2149 1111 63 0 2948 0
vsize: 12044
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2244 0 0 0 24959 40 0 0 25 0 1 0 645850004 12333056 2165 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2165 1111 63 0 2948 0
vsize: 12044
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2260 0 0 0 25958 42 0 0 25 0 1 0 645850004 12414976 2181 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2181 1111 63 0 2968 0
vsize: 12124
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2287 0 0 0 26957 43 0 0 25 0 1 0 645850004 12533760 2208 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2208 1111 63 0 2997 0
vsize: 12240
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2310 0 0 0 27956 44 0 0 25 0 1 0 645850004 12668928 2231 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2231 1111 63 0 3030 0
vsize: 12372
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2310 0 0 0 28955 45 0 0 25 0 1 0 645850004 12668928 2231 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2231 1111 63 0 3030 0
vsize: 12372
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2310 0 0 0 29954 46 0 0 25 0 1 0 645850004 12668928 2231 4294967295 134512640 134714508 3221221776 3221220384 134523607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2231 1111 63 0 3030 0
vsize: 12372
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2310 0 0 0 30952 48 0 0 25 0 1 0 645850004 12668928 2231 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2231 1111 63 0 3030 0
vsize: 12372
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2310 0 0 0 31951 50 0 0 25 0 1 0 645850004 12668928 2231 4294967295 134512640 134714508 3221221776 3221220384 134549332 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2231 1111 63 0 3030 0
vsize: 12372
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2310 0 0 0 32949 52 0 0 25 0 1 0 645850004 12668928 2231 4294967295 134512640 134714508 3221221776 3221220512 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2231 1111 63 0 3030 0
vsize: 12372
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2310 0 0 0 33948 54 0 0 25 0 1 0 645850004 12668928 2231 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2231 1111 63 0 3030 0
vsize: 12372
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2327 0 0 0 34946 55 0 0 25 0 1 0 645850004 12668928 2248 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2248 1111 63 0 3030 0
vsize: 12372
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2337 0 0 0 35945 57 0 0 25 0 1 0 645850004 12668928 2258 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2258 1111 63 0 3030 0
vsize: 12372
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2341 0 0 0 36944 58 0 0 25 0 1 0 645850004 12804096 2262 4294967295 134512640 134714508 3221221776 3221220384 134549450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2262 1111 63 0 3063 0
vsize: 12504
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2351 0 0 0 37943 59 0 0 25 0 1 0 645850004 12804096 2272 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2272 1111 63 0 3063 0
vsize: 12504
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2374 0 0 0 38942 60 0 0 25 0 1 0 645850004 12939264 2295 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2295 1111 63 0 3096 0
vsize: 12636
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2381 0 0 0 39941 61 0 0 25 0 1 0 645850004 12939264 2302 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2302 1111 63 0 3096 0
vsize: 12636
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2412 0 0 0 40940 62 0 0 25 0 1 0 645850004 13058048 2333 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2333 1111 63 0 3125 0
vsize: 12752
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2413 0 0 0 41939 63 0 0 25 0 1 0 645850004 13058048 2334 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2334 1111 63 0 3125 0
vsize: 12752
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2423 0 0 0 42938 65 0 0 25 0 1 0 645850004 13058048 2344 4294967295 134512640 134714508 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2344 1111 63 0 3125 0
vsize: 12752
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2425 0 0 0 43937 66 0 0 25 0 1 0 645850004 13058048 2346 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2346 1111 63 0 3125 0
vsize: 12752
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2425 0 0 0 44937 67 0 0 25 0 1 0 645850004 13058048 2346 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3188 2346 1111 63 0 3125 0
vsize: 12752
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2440 0 0 0 45935 68 0 0 25 0 1 0 645850004 13193216 2361 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3221 2361 1111 63 0 3158 0
vsize: 12884
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2440 0 0 0 46933 70 0 0 25 0 1 0 645850004 13193216 2361 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3221 2361 1111 63 0 3158 0
vsize: 12884
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2440 0 0 0 47932 71 0 0 25 0 1 0 645850004 13193216 2361 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3221 2361 1111 63 0 3158 0
vsize: 12884
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2474 0 0 0 48931 73 0 0 25 0 1 0 645850004 13328384 2395 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2395 1111 63 0 3191 0
vsize: 13016
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2479 0 0 0 49930 74 0 0 25 0 1 0 645850004 13328384 2400 4294967295 134512640 134714508 3221221776 3221220368 134549520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2400 1111 63 0 3191 0
vsize: 13016
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2479 0 0 0 50928 76 0 0 25 0 1 0 645850004 13328384 2400 4294967295 134512640 134714508 3221221776 3221220436 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2400 1111 63 0 3191 0
vsize: 13016
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2484 0 0 0 51927 77 0 0 25 0 1 0 645850004 13328384 2405 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2405 1111 63 0 3191 0
vsize: 13016
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2496 0 0 0 52925 79 0 0 25 0 1 0 645850004 13328384 2417 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3254 2417 1111 63 0 3191 0
vsize: 13016
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2523 0 0 0 53924 81 0 0 25 0 1 0 645850004 13447168 2444 4294967295 134512640 134714508 3221221776 3221220480 134528726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3283 2444 1111 63 0 3220 0
vsize: 13132
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2523 0 0 0 54923 82 0 0 25 0 1 0 645850004 13447168 2444 4294967295 134512640 134714508 3221221776 3221220404 1077374168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3283 2444 1111 63 0 3220 0
vsize: 13132
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2523 0 0 0 55922 83 0 0 25 0 1 0 645850004 13447168 2444 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3283 2444 1111 63 0 3220 0
vsize: 13132
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2532 0 0 0 56920 85 0 0 25 0 1 0 645850004 13582336 2453 4294967295 134512640 134714508 3221221776 3221220480 134524399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2453 1111 63 0 3253 0
vsize: 13264
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2559 0 0 0 57919 87 0 0 25 0 1 0 645850004 13582336 2480 4294967295 134512640 134714508 3221221776 3221220172 1077379892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2480 1111 63 0 3253 0
vsize: 13264
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2559 0 0 0 58918 87 0 0 25 0 1 0 645850004 13582336 2480 4294967295 134512640 134714508 3221221776 3221220504 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2480 1111 63 0 3253 0
vsize: 13264
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2577 0 0 0 59917 89 0 0 25 0 1 0 645850004 13717504 2498 4294967295 134512640 134714508 3221221776 3221220544 134592140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2498 1111 63 0 3286 0
vsize: 13396
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2577 0 0 0 60916 90 0 0 25 0 1 0 645850004 13717504 2498 4294967295 134512640 134714508 3221221776 3221220560 134528816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2498 1111 63 0 3286 0
vsize: 13396
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2593 0 0 0 61914 92 0 0 25 0 1 0 645850004 13717504 2514 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2514 1111 63 0 3286 0
vsize: 13396
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2613 0 0 0 62913 93 0 0 25 0 1 0 645850004 13852672 2534 4294967295 134512640 134714508 3221221776 3221220332 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2534 1111 63 0 3319 0
vsize: 13528
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2621 0 0 0 63912 94 0 0 25 0 1 0 645850004 13852672 2542 4294967295 134512640 134714508 3221221776 3221220464 134528464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2542 1111 63 0 3319 0
vsize: 13528
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2621 0 0 0 64911 95 0 0 25 0 1 0 645850004 13852672 2542 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2542 1111 63 0 3319 0
vsize: 13528
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2644 0 0 0 65910 96 0 0 25 0 1 0 645850004 13983744 2565 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2565 1111 63 0 3351 0
vsize: 13656
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2653 0 0 0 66909 98 0 0 25 0 1 0 645850004 13983744 2574 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2574 1111 63 0 3351 0
vsize: 13656
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2668 0 0 0 67908 99 0 0 25 0 1 0 645850004 14118912 2589 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2589 1111 63 0 3384 0
vsize: 13788
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2668 0 0 0 68907 100 0 0 25 0 1 0 645850004 14118912 2589 4294967295 134512640 134714508 3221221776 3221220452 1077374543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2589 1111 63 0 3384 0
vsize: 13788
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2685 0 0 0 69907 100 0 0 25 0 1 0 645850004 14118912 2606 4294967295 134512640 134714508 3221221776 3221220384 1077377147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2606 1111 63 0 3384 0
vsize: 13788
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2685 0 0 0 70906 101 0 0 25 0 1 0 645850004 14118912 2606 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2606 1111 63 0 3384 0
vsize: 13788
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2685 0 0 0 71906 102 0 0 25 0 1 0 645850004 14118912 2606 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2606 1111 63 0 3384 0
vsize: 13788
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2685 0 0 0 72905 103 0 0 25 0 1 0 645850004 14118912 2606 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2606 1111 63 0 3384 0
vsize: 13788
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2685 0 0 0 73903 105 0 0 25 0 1 0 645850004 14098432 2606 4294967295 134512640 134714508 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2606 1111 63 0 3379 0
vsize: 13768
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2685 0 0 0 74903 106 0 0 25 0 1 0 645850004 14098432 2606 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2606 1111 63 0 3379 0
vsize: 13768
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2685 0 0 0 75902 107 0 0 25 0 1 0 645850004 14098432 2606 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2606 1111 63 0 3379 0
vsize: 13768
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2691 0 0 0 76901 108 0 0 25 0 1 0 645850004 14229504 2612 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2612 1111 63 0 3411 0
vsize: 13896
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2706 0 0 0 77900 109 0 0 25 0 1 0 645850004 14229504 2627 4294967295 134512640 134714508 3221221776 3221220536 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2627 1111 63 0 3411 0
vsize: 13896
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2707 0 0 0 78899 110 0 0 25 0 1 0 645850004 14229504 2628 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2628 1111 63 0 3411 0
vsize: 13896
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2723 0 0 0 79898 111 0 0 25 0 1 0 645850004 14364672 2644 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3507 2644 1111 63 0 3444 0
vsize: 14028
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2742 0 0 0 80897 112 0 0 25 0 1 0 645850004 14364672 2663 4294967295 134512640 134714508 3221221776 3221220384 134549324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3507 2663 1111 63 0 3444 0
vsize: 14028
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2754 0 0 0 81896 113 0 0 25 0 1 0 645850004 14499840 2675 4294967295 134512640 134714508 3221221776 3221220524 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3540 2675 1111 63 0 3477 0
vsize: 14160
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 82895 115 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 83894 116 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220416 134543118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 84893 117 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220288 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 85892 118 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 86891 119 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 87890 120 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 88889 121 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2798 0 0 0 89888 122 0 0 25 0 1 0 645850004 14622720 2719 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2719 1111 63 0 3507 0
vsize: 14280
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2801 0 0 0 90887 124 0 0 25 0 1 0 645850004 14622720 2722 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2722 1111 63 0 3507 0
vsize: 14280
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2801 0 0 0 91886 125 0 0 25 0 1 0 645850004 14622720 2722 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2722 1111 63 0 3507 0
vsize: 14280
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2801 0 0 0 92885 126 0 0 25 0 1 0 645850004 14622720 2722 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2722 1111 63 0 3507 0
vsize: 14280
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2808 0 0 0 93884 127 0 0 25 0 1 0 645850004 14622720 2729 4294967295 134512640 134714508 3221221776 3221220528 134592340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2729 1111 63 0 3507 0
vsize: 14280
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2841 0 0 0 94883 128 0 0 25 0 1 0 645850004 14757888 2762 4294967295 134512640 134714508 3221221776 3221220512 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2762 1111 63 0 3540 0
vsize: 14412
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2841 0 0 0 95882 130 0 0 25 0 1 0 645850004 14757888 2762 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2762 1111 63 0 3540 0
vsize: 14412
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2841 0 0 0 96881 131 0 0 25 0 1 0 645850004 14757888 2762 4294967295 134512640 134714508 3221221776 3221220584 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2762 1111 63 0 3540 0
vsize: 14412
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2846 0 0 0 97881 132 0 0 25 0 1 0 645850004 14757888 2767 4294967295 134512640 134714508 3221221776 3221220344 1077377891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2767 1111 63 0 3540 0
vsize: 14412
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2846 0 0 0 98880 132 0 0 25 0 1 0 645850004 14757888 2767 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2767 1111 63 0 3540 0
vsize: 14412
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2846 0 0 0 99879 134 0 0 25 0 1 0 645850004 14757888 2767 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2767 1111 63 0 3540 0
vsize: 14412
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2846 0 0 0 100877 136 0 0 25 0 1 0 645850004 14757888 2767 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2767 1111 63 0 3540 0
vsize: 14412
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2846 0 0 0 101876 137 0 0 25 0 1 0 645850004 14757888 2767 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2767 1111 63 0 3540 0
vsize: 14412
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2867 0 0 0 102874 139 0 0 25 0 1 0 645850004 14864384 2788 4294967295 134512640 134714508 3221221776 3221220388 134548552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3629 2788 1111 63 0 3566 0
vsize: 14516
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2873 0 0 0 103873 140 0 0 25 0 1 0 645850004 14864384 2794 4294967295 134512640 134714508 3221221776 3221220560 134528996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3629 2794 1111 63 0 3566 0
vsize: 14516
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2893 0 0 0 104872 141 0 0 25 0 1 0 645850004 14999552 2814 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2814 1111 63 0 3599 0
vsize: 14648
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2893 0 0 0 105871 142 0 0 25 0 1 0 645850004 14999552 2814 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2814 1111 63 0 3599 0
vsize: 14648
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2894 0 0 0 106871 143 0 0 25 0 1 0 645850004 14999552 2815 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2815 1111 63 0 3599 0
vsize: 14648
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2894 0 0 0 107869 145 0 0 25 0 1 0 645850004 14999552 2815 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2815 1111 63 0 3599 0
vsize: 14648
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2894 0 0 0 108868 147 0 0 25 0 1 0 645850004 14999552 2815 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2815 1111 63 0 3599 0
vsize: 14648
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2918 0 0 0 109867 148 0 0 25 0 1 0 645850004 15134720 2839 4294967295 134512640 134714508 3221221776 3221220480 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2839 1111 63 0 3632 0
vsize: 14780
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2918 0 0 0 110865 149 0 0 25 0 1 0 645850004 15134720 2839 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2839 1111 63 0 3632 0
vsize: 14780
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2918 0 0 0 111865 150 0 0 25 0 1 0 645850004 15134720 2839 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2839 1111 63 0 3632 0
vsize: 14780
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2918 0 0 0 112864 151 0 0 25 0 1 0 645850004 15134720 2839 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2839 1111 63 0 3632 0
vsize: 14780
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2918 0 0 0 113864 152 0 0 25 0 1 0 645850004 15134720 2839 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2839 1111 63 0 3632 0
vsize: 14780
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2918 0 0 0 114862 154 0 0 25 0 1 0 645850004 15134720 2839 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2839 1111 63 0 3632 0
vsize: 14780
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2933 0 0 0 115861 155 0 0 25 0 1 0 645850004 15134720 2854 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3695 2854 1111 63 0 3632 0
vsize: 14780
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2947 0 0 0 116860 157 0 0 25 0 1 0 645850004 15269888 2868 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3728 2868 1111 63 0 3665 0
vsize: 14912
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 31351
Raw data (stat): 31351 (bsolo_lpr) R 31350 7876 7672 0 -1 0 2947 0 0 0 116860 157 0 0 25 0 1 0 645850004 15269888 2868 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3728 2868 1111 63 0 3665 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.46
CPU system time (s): 1.58476
CPU usage (%): 100.012
Max. virtual memory (Kb): 14912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####