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_39_sat_pb.cnf.cr.opb
MD5SUM	b0b9c98556325dcf5a5811fc2d17a816
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	4.5833
Number of variables	2340
Total number of constraints	1678
Number of constraints which are clauses	1599
Number of constraints which are cardinality constraints (but not clauses)	79
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 23402

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 05:44:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=469 boxname=wulflinc31 idbench=53 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b0b9c98556325dcf5a5811fc2d17a816  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_39_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga40_39_sat_pb.cnf.cr.opb
IDLAUNCH: 469
/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:        923364 kB
Buffers:         39408 kB
Cached:          49816 kB
SwapCached:        944 kB
Active:          74544 kB
Inactive:        17132 kB
HighTotal:      131008 kB
HighFree:        80248 kB
LowTotal:       903652 kB
LowFree:        843116 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             268 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14188 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 06:03:39 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 469 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 2340 variables and 1678 constraints.
c After prepocess the problem consists of 2340 variables and 1678 constraints.
c preprocess terminated 5.536 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): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (runsolver) R 31881 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 646332499 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.0011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 1846 0 0 0 988 8 0 0 25 0 1 0 646332499 10670080 1767 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2605 1767 1111 63 0 2542 0
vsize: 10420
[startup+20.0015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 1884 0 0 0 1986 10 0 0 25 0 1 0 646332499 10932224 1805 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2669 1805 1111 63 0 2606 0
vsize: 10676
[startup+30.0024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 1931 0 0 0 2984 11 0 0 25 0 1 0 646332499 11067392 1852 4294967295 134512640 134714508 3221221776 3221220512 134591875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2702 1852 1111 63 0 2639 0
vsize: 10808
[startup+40.0028 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 1961 0 0 0 3982 14 0 0 25 0 1 0 646332499 11202560 1882 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2735 1882 1111 63 0 2672 0
vsize: 10940
[startup+50.0036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 1991 0 0 0 4981 15 0 0 25 0 1 0 646332499 11333632 1912 4294967295 134512640 134714508 3221221776 3221220464 134524583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2767 1912 1111 63 0 2704 0
vsize: 11068
[startup+60.0033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2008 0 0 0 5979 17 0 0 25 0 1 0 646332499 11333632 1929 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2767 1929 1111 63 0 2704 0
vsize: 11068
[startup+70.0036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2008 0 0 0 6977 19 0 0 25 0 1 0 646332499 11333632 1929 4294967295 134512640 134714508 3221221776 3221220336 134696512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2767 1929 1111 63 0 2704 0
vsize: 11068
[startup+80.0041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2046 0 0 0 7976 20 0 0 25 0 1 0 646332499 11603968 1967 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2833 1967 1111 63 0 2770 0
vsize: 11332
[startup+90.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2063 0 0 0 8975 22 0 0 25 0 1 0 646332499 11546624 1984 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2819 1984 1111 63 0 2756 0
vsize: 11276
[startup+100.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2070 0 0 0 9973 24 0 0 25 0 1 0 646332499 11661312 1991 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 1991 1111 63 0 2784 0
vsize: 11388
[startup+110.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2074 0 0 0 10972 25 0 0 25 0 1 0 646332499 11661312 1995 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2847 1995 1111 63 0 2784 0
vsize: 11388
[startup+120.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2105 0 0 0 11970 27 0 0 25 0 1 0 646332499 11796480 2026 4294967295 134512640 134714508 3221221776 3221220500 134591841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2026 1111 63 0 2817 0
vsize: 11520
[startup+130.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2133 0 0 0 12969 28 0 0 25 0 1 0 646332499 11931648 2054 4294967295 134512640 134714508 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2054 1111 63 0 2850 0
vsize: 11652
[startup+140.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2164 0 0 0 13968 30 0 0 25 0 1 0 646332499 12050432 2085 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2085 1111 63 0 2879 0
vsize: 11768
[startup+150.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2168 0 0 0 14967 31 0 0 25 0 1 0 646332499 12050432 2089 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2089 1111 63 0 2879 0
vsize: 11768
[startup+160.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2176 0 0 0 15966 32 0 0 25 0 1 0 646332499 12050432 2097 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2942 2097 1111 63 0 2879 0
vsize: 11768
[startup+170.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2201 0 0 0 16964 34 0 0 25 0 1 0 646332499 12185600 2122 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2975 2122 1111 63 0 2912 0
vsize: 11900
[startup+180.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2214 0 0 0 17963 35 0 0 25 0 1 0 646332499 12185600 2135 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2975 2135 1111 63 0 2912 0
vsize: 11900
[startup+190.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2249 0 0 0 18962 36 0 0 25 0 1 0 646332499 12431360 2170 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3035 2170 1111 63 0 2972 0
vsize: 12140
[startup+200.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2249 0 0 0 19960 38 0 0 25 0 1 0 646332499 12419072 2170 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2170 1111 63 0 2969 0
vsize: 12128
[startup+210.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2263 0 0 0 20959 39 0 0 25 0 1 0 646332499 12414976 2184 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3031 2184 1111 63 0 2968 0
vsize: 12124
[startup+220.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2303 0 0 0 21958 41 0 0 25 0 1 0 646332499 12529664 2224 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3059 2224 1111 63 0 2996 0
vsize: 12236
[startup+230.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2314 0 0 0 22956 43 0 0 25 0 1 0 646332499 12664832 2235 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3092 2235 1111 63 0 3029 0
vsize: 12368
[startup+240.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2325 0 0 0 23954 45 0 0 25 0 1 0 646332499 12664832 2246 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3092 2246 1111 63 0 3029 0
vsize: 12368
[startup+250.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2332 0 0 0 24953 46 0 0 25 0 1 0 646332499 12664832 2253 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3092 2253 1111 63 0 3029 0
vsize: 12368
[startup+260.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2338 0 0 0 25951 48 0 0 25 0 1 0 646332499 12800000 2259 4294967295 134512640 134714508 3221221776 3221220452 1077374563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3125 2259 1111 63 0 3062 0
vsize: 12500
[startup+270.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2367 0 0 0 26949 51 0 0 25 0 1 0 646332499 12902400 2288 4294967295 134512640 134714508 3221221776 3221220388 134549501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2288 1111 63 0 3087 0
vsize: 12600
[startup+280.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2383 0 0 0 27948 51 0 0 25 0 1 0 646332499 12902400 2304 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2304 1111 63 0 3087 0
vsize: 12600
[startup+290.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2402 0 0 0 28947 53 0 0 25 0 1 0 646332499 13037568 2323 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2323 1111 63 0 3120 0
vsize: 12732
[startup+300.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2402 0 0 0 29947 54 0 0 25 0 1 0 646332499 13037568 2323 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2323 1111 63 0 3120 0
vsize: 12732
[startup+310.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2420 0 0 0 30945 55 0 0 25 0 1 0 646332499 13037568 2341 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2341 1111 63 0 3120 0
vsize: 12732
[startup+320.007 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2430 0 0 0 31944 56 0 0 25 0 1 0 646332499 13168640 2351 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+330.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2430 0 0 0 32943 58 0 0 25 0 1 0 646332499 13168640 2351 4294967295 134512640 134714508 3221221776 3221220496 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2351 1111 63 0 3152 0
vsize: 12860
[startup+340.008 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2432 0 0 0 33942 59 0 0 25 0 1 0 646332499 13160448 2353 4294967295 134512640 134714508 3221221776 3221220508 134558784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3213 2353 1111 63 0 3150 0
vsize: 12852
[startup+350.009 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2462 0 0 0 34940 61 0 0 25 0 1 0 646332499 13279232 2383 4294967295 134512640 134714508 3221221776 3221220332 134535515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2383 1111 63 0 3179 0
vsize: 12968
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2486 0 0 0 35939 63 0 0 25 0 1 0 646332499 13279232 2407 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3242 2407 1111 63 0 3179 0
vsize: 12968
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2492 0 0 0 36938 64 0 0 25 0 1 0 646332499 13414400 2413 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2413 1111 63 0 3212 0
vsize: 13100
[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2502 0 0 0 37937 65 0 0 25 0 1 0 646332499 13414400 2423 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2423 1111 63 0 3212 0
vsize: 13100
[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2503 0 0 0 38936 66 0 0 25 0 1 0 646332499 13414400 2424 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2424 1111 63 0 3212 0
vsize: 13100
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2510 0 0 0 39935 67 0 0 25 0 1 0 646332499 13414400 2431 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3275 2431 1111 63 0 3212 0
vsize: 13100
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2537 0 0 0 40933 69 0 0 25 0 1 0 646332499 13549568 2458 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2458 1111 63 0 3245 0
vsize: 13232
[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2537 0 0 0 41931 71 0 0 25 0 1 0 646332499 13549568 2458 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2458 1111 63 0 3245 0
vsize: 13232
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2551 0 0 0 42931 72 0 0 25 0 1 0 646332499 13549568 2472 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2472 1111 63 0 3245 0
vsize: 13232
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2551 0 0 0 43930 73 0 0 25 0 1 0 646332499 13549568 2472 4294967295 134512640 134714508 3221221776 3221220168 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2472 1111 63 0 3245 0
vsize: 13232
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2577 0 0 0 44929 74 0 0 25 0 1 0 646332499 13684736 2498 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2498 1111 63 0 3278 0
vsize: 13364
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2577 0 0 0 45928 76 0 0 25 0 1 0 646332499 13684736 2498 4294967295 134512640 134714508 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2498 1111 63 0 3278 0
vsize: 13364
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2577 0 0 0 46927 77 0 0 25 0 1 0 646332499 13684736 2498 4294967295 134512640 134714508 3221221776 3221220560 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2498 1111 63 0 3278 0
vsize: 13364
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2577 0 0 0 47926 78 0 0 25 0 1 0 646332499 13684736 2498 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2498 1111 63 0 3278 0
vsize: 13364
[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 48925 79 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220404 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+500.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 49924 80 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 50922 82 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 51921 83 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220416 134613464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+530.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 52920 84 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 53919 86 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220532 134652863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 54917 87 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 55916 89 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+570.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 56915 91 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220416 134696297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+580.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2585 0 0 0 57913 92 0 0 25 0 1 0 646332499 13684736 2506 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2506 1111 63 0 3278 0
vsize: 13364
[startup+590.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2586 0 0 0 58912 93 0 0 25 0 1 0 646332499 13684736 2507 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2507 1111 63 0 3278 0
vsize: 13364
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2597 0 0 0 59911 95 0 0 25 0 1 0 646332499 13819904 2518 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2518 1111 63 0 3311 0
vsize: 13496
[startup+610.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2598 0 0 0 60910 96 0 0 25 0 1 0 646332499 13819904 2519 4294967295 134512640 134714508 3221221776 3221220448 134542865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2519 1111 63 0 3311 0
vsize: 13496
[startup+620.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2598 0 0 0 61909 97 0 0 25 0 1 0 646332499 13819904 2519 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2519 1111 63 0 3311 0
vsize: 13496
[startup+630.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2605 0 0 0 62908 98 0 0 25 0 1 0 646332499 13819904 2526 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2526 1111 63 0 3311 0
vsize: 13496
[startup+640.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2605 0 0 0 63906 100 0 0 25 0 1 0 646332499 13819904 2526 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2526 1111 63 0 3311 0
vsize: 13496
[startup+650.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2617 0 0 0 64905 101 0 0 25 0 1 0 646332499 13819904 2538 4294967295 134512640 134714508 3221221776 3221220344 1077377259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2538 1111 63 0 3311 0
vsize: 13496
[startup+660.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2617 0 0 0 65904 103 0 0 25 0 1 0 646332499 13819904 2538 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3374 2538 1111 63 0 3311 0
vsize: 13496
[startup+670.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2624 0 0 0 66902 104 0 0 25 0 1 0 646332499 13926400 2545 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3400 2545 1111 63 0 3337 0
vsize: 13600
[startup+680.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2651 0 0 0 67901 106 0 0 25 0 1 0 646332499 14032896 2572 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2572 1111 63 0 3363 0
vsize: 13704
[startup+690.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2666 0 0 0 68900 107 0 0 25 0 1 0 646332499 14032896 2587 4294967295 134512640 134714508 3221221776 3221220436 134524380 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2587 1111 63 0 3363 0
vsize: 13704
[startup+700.014 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2671 0 0 0 69898 109 0 0 25 0 1 0 646332499 14032896 2592 4294967295 134512640 134714508 3221221776 3221220480 134528738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3426 2592 1111 63 0 3363 0
vsize: 13704
[startup+710.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2681 0 0 0 70897 110 0 0 25 0 1 0 646332499 14168064 2602 4294967295 134512640 134714508 3221221776 3221220428 134536771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+720.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2681 0 0 0 71896 112 0 0 25 0 1 0 646332499 14168064 2602 4294967295 134512640 134714508 3221221776 3221220428 134536787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+730.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2681 0 0 0 72895 113 0 0 25 0 1 0 646332499 14168064 2602 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2681 0 0 0 73894 114 0 0 25 0 1 0 646332499 14168064 2602 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+750.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2702 0 0 0 74893 115 0 0 25 0 1 0 646332499 14168064 2623 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2623 1111 63 0 3396 0
vsize: 13836
[startup+760.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2708 0 0 0 75892 116 0 0 25 0 1 0 646332499 14303232 2629 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2629 1111 63 0 3429 0
vsize: 13968
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2727 0 0 0 76891 118 0 0 25 0 1 0 646332499 14303232 2648 4294967295 134512640 134714508 3221221776 3221220320 134696700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2736 0 0 0 77889 120 0 0 25 0 1 0 646332499 14303232 2657 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2657 1111 63 0 3429 0
vsize: 13968
[startup+790.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2741 0 0 0 78887 121 0 0 25 0 1 0 646332499 14438400 2662 4294967295 134512640 134714508 3221221776 3221220516 134555030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2662 1111 63 0 3462 0
vsize: 14100
[startup+800.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2741 0 0 0 79886 123 0 0 25 0 1 0 646332499 14397440 2662 4294967295 134512640 134714508 3221221776 3221220448 134652816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3515 2662 1111 63 0 3452 0
vsize: 14060
[startup+810.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2765 0 0 0 80885 124 0 0 25 0 1 0 646332499 14503936 2686 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2686 1111 63 0 3478 0
vsize: 14164
[startup+820.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2765 0 0 0 81884 125 0 0 25 0 1 0 646332499 14503936 2686 4294967295 134512640 134714508 3221221776 3221220428 134536831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2686 1111 63 0 3478 0
vsize: 14164
[startup+830.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2779 0 0 0 82884 125 0 0 25 0 1 0 646332499 14503936 2700 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2700 1111 63 0 3478 0
vsize: 14164
[startup+840.015 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2784 0 0 0 83883 126 0 0 25 0 1 0 646332499 14503936 2705 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2705 1111 63 0 3478 0
vsize: 14164
[startup+850.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2798 0 0 0 84881 128 0 0 25 0 1 0 646332499 14639104 2719 4294967295 134512640 134714508 3221221776 3221220520 134672902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2719 1111 63 0 3511 0
vsize: 14296
[startup+860.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2798 0 0 0 85880 130 0 0 25 0 1 0 646332499 14639104 2719 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2719 1111 63 0 3511 0
vsize: 14296
[startup+870.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2802 0 0 0 86879 131 0 0 25 0 1 0 646332499 14639104 2723 4294967295 134512640 134714508 3221221776 3221220428 1077374113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2723 1111 63 0 3511 0
vsize: 14296
[startup+880.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2815 0 0 0 87878 132 0 0 25 0 1 0 646332499 14639104 2736 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2736 1111 63 0 3511 0
vsize: 14296
[startup+890.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2824 0 0 0 88876 134 0 0 25 0 1 0 646332499 14774272 2745 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3607 2745 1111 63 0 3544 0
vsize: 14428
[startup+900.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2845 0 0 0 89875 135 0 0 25 0 1 0 646332499 14766080 2766 4294967295 134512640 134714508 3221221776 3221220448 134594375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2766 1111 63 0 3542 0
vsize: 14420
[startup+910.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2845 0 0 0 90874 137 0 0 25 0 1 0 646332499 14766080 2766 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2766 1111 63 0 3542 0
vsize: 14420
[startup+920.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2850 0 0 0 91873 138 0 0 25 0 1 0 646332499 14766080 2771 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2771 1111 63 0 3542 0
vsize: 14420
[startup+930.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2865 0 0 0 92872 139 0 0 25 0 1 0 646332499 14901248 2786 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2786 1111 63 0 3575 0
vsize: 14552
[startup+940.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2896 0 0 0 93870 141 0 0 25 0 1 0 646332499 15036416 2817 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+950.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2896 0 0 0 94869 142 0 0 25 0 1 0 646332499 15036416 2817 4294967295 134512640 134714508 3221221776 3221220188 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+960.019 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 31882
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2896 0 0 0 95869 143 0 0 25 0 1 0 646332499 15036416 2817 4294967295 134512640 134714508 3221221776 3221220344 1077377353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+970.019 s]
Raw data (loadavg): 1.15 1.02 0.99 2/57 31926
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2896 0 0 0 96867 144 0 0 25 0 1 0 646332499 15036416 2817 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+980.06 s]
Raw data (loadavg): 1.20 1.04 1.00 2/54 31935
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2896 0 0 0 97870 145 0 0 25 0 1 0 646332499 15036416 2817 4294967295 134512640 134714508 3221221776 3221220420 134536691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+990.06 s]
Raw data (loadavg): 1.17 1.03 1.00 2/54 31935
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2896 0 0 0 98869 146 0 0 25 0 1 0 646332499 15036416 2817 4294967295 134512640 134714508 3221221776 3221220324 134696694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+1000.06 s]
Raw data (loadavg): 1.14 1.03 1.00 2/54 31935
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2896 0 0 0 99868 148 0 0 25 0 1 0 646332499 15036416 2817 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2817 1111 63 0 3608 0
vsize: 14684
[startup+1010.06 s]
Raw data (loadavg): 1.20 1.05 1.00 2/54 31935
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2910 0 0 0 100866 150 0 0 25 0 1 0 646332499 15036416 2831 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2831 1111 63 0 3608 0
vsize: 14684
[startup+1020.06 s]
Raw data (loadavg): 1.16 1.04 1.00 2/54 31935
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2910 0 0 0 101866 151 0 0 25 0 1 0 646332499 15036416 2831 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2831 1111 63 0 3608 0
vsize: 14684
[startup+1030.06 s]
Raw data (loadavg): 1.14 1.04 1.00 2/54 31935
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2915 0 0 0 102864 152 0 0 25 0 1 0 646332499 15036416 2836 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2836 1111 63 0 3608 0
vsize: 14684
[startup+1040.06 s]
Raw data (loadavg): 1.12 1.04 1.00 2/54 31935
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2919 0 0 0 103863 153 0 0 25 0 1 0 646332499 15163392 2840 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2840 1111 63 0 3639 0
vsize: 14808
[startup+1050.06 s]
Raw data (loadavg): 1.10 1.04 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2919 0 0 0 104862 154 0 0 25 0 1 0 646332499 15163392 2840 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2840 1111 63 0 3639 0
vsize: 14808
[startup+1060.06 s]
Raw data (loadavg): 1.08 1.04 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2919 0 0 0 105861 156 0 0 25 0 1 0 646332499 15163392 2840 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2840 1111 63 0 3639 0
vsize: 14808
[startup+1070.06 s]
Raw data (loadavg): 1.07 1.03 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2928 0 0 0 106860 157 0 0 25 0 1 0 646332499 15147008 2849 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2849 1111 63 0 3635 0
vsize: 14792
[startup+1080.06 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2928 0 0 0 107859 158 0 0 25 0 1 0 646332499 15147008 2849 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2849 1111 63 0 3635 0
vsize: 14792
[startup+1090.06 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2928 0 0 0 108858 159 0 0 25 0 1 0 646332499 15147008 2849 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3698 2849 1111 63 0 3635 0
vsize: 14792
[startup+1100.06 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2954 0 0 0 109858 160 0 0 25 0 1 0 646332499 15200256 2875 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3711 2875 1111 63 0 3648 0
vsize: 14844
[startup+1110.06 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2954 0 0 0 110857 161 0 0 25 0 1 0 646332499 15200256 2875 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3711 2875 1111 63 0 3648 0
vsize: 14844
[startup+1120.06 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2961 0 0 0 111856 162 0 0 25 0 1 0 646332499 15335424 2882 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1130.06 s]
Raw data (loadavg): 1.02 1.03 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2961 0 0 0 112855 163 0 0 25 0 1 0 646332499 15335424 2882 4294967295 134512640 134714508 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1140.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2961 0 0 0 113855 164 0 0 25 0 1 0 646332499 15335424 2882 4294967295 134512640 134714508 3221221776 3221220532 134592437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2961 0 0 0 114853 165 0 0 25 0 1 0 646332499 15335424 2882 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1160.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2961 0 0 0 115853 166 0 0 25 0 1 0 646332499 15335424 2882 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2961 0 0 0 116851 168 0 0 25 0 1 0 646332499 15335424 2882 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 14976
[startup+1174.91 s]
Raw data (loadavg): 1.01 1.02 1.00 1/53 31937
Raw data (stat): 31882 (bsolo_lpr) R 31881 7876 7672 0 -1 0 2961 0 0 0 116851 168 0 0 25 0 1 0 646332499 15335424 2882 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 2882 1111 63 0 3681 0
vsize: 0

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