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-chnl20_30_pb.cnf.cr.opb
MD5SUM	afcc4289aafaea265ed2d465965a3342
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.036993
Number of variables	1200
Total number of constraints	100
Number of constraints which are clauses	60
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	30
Trace number 23187

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 05:42:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=82 boxname=wulflinc31 idbench=10 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  afcc4289aafaea265ed2d465965a3342  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_30_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_30_pb.cnf.cr.opb
IDLAUNCH: 82
/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:        932132 kB
Buffers:         35700 kB
Cached:          45036 kB
SwapCached:        864 kB
Active:          70072 kB
Inactive:        13012 kB
HighTotal:      131008 kB
HighFree:        85064 kB
LowTotal:       903652 kB
LowFree:        847068 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13880 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 06:02:12 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 82 7 1175.09 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 1200 variables and 100 constraints.
c After prepocess the problem consists of 1200 variables and 100 constraints.
c preprocess terminated 0.356 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.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (runsolver) R 8654 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 629041818 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 2434 0 0 0 984 12 0 0 25 0 1 0 629041818 13037568 2355 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2355 1111 63 0 3120 0
vsize: 12732
[startup+20.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 3590 0 0 0 1978 17 0 0 25 0 1 0 629041818 17776640 3511 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4340 3511 1111 63 0 4277 0
vsize: 17360
[startup+30.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 4058 0 0 0 2976 19 0 0 25 0 1 0 629041818 19804160 3979 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4835 3979 1111 63 0 4772 0
vsize: 19340
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 4661 0 0 0 3974 22 0 0 25 0 1 0 629041818 22237184 4582 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5429 4582 1111 63 0 5366 0
vsize: 21716
[startup+50.0026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 5063 0 0 0 4972 24 0 0 25 0 1 0 629041818 23846912 4984 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5822 4984 1111 63 0 5759 0
vsize: 23288
[startup+60.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 5332 0 0 0 5971 25 0 0 25 0 1 0 629041818 24928256 5253 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6086 5253 1111 63 0 6023 0
vsize: 24344
[startup+70.0034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 5517 0 0 0 6970 27 0 0 25 0 1 0 629041818 25739264 5438 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5438 1111 63 0 6221 0
vsize: 25136
[startup+80.0044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 5745 0 0 0 7968 29 0 0 25 0 1 0 629041818 26685440 5666 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6515 5666 1111 63 0 6452 0
vsize: 26060
[startup+90.0042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 5903 0 0 0 8967 30 0 0 25 0 1 0 629041818 27357184 5824 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6679 5824 1111 63 0 6616 0
vsize: 26716
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 6162 0 0 0 9965 32 0 0 25 0 1 0 629041818 28303360 6083 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6910 6083 1111 63 0 6847 0
vsize: 27640
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 6400 0 0 0 10963 34 0 0 25 0 1 0 629041818 29376512 6321 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7172 6321 1111 63 0 7109 0
vsize: 28688
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 6767 0 0 0 11961 36 0 0 25 0 1 0 629041818 30863360 6688 4294967295 134512640 134714508 3221221776 3221220324 134696728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7535 6688 1111 63 0 7472 0
vsize: 30140
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 7077 0 0 0 12960 38 0 0 25 0 1 0 629041818 32063488 6998 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7828 6998 1111 63 0 7765 0
vsize: 31312
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 7332 0 0 0 13958 40 0 0 25 0 1 0 629041818 33144832 7253 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8092 7253 1111 63 0 8029 0
vsize: 32368
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 7503 0 0 0 14957 41 0 0 25 0 1 0 629041818 33816576 7424 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8256 7424 1111 63 0 8193 0
vsize: 33024
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 7753 0 0 0 15956 43 0 0 25 0 1 0 629041818 34914304 7674 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8524 7674 1111 63 0 8461 0
vsize: 34096
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 7936 0 0 0 16954 45 0 0 25 0 1 0 629041818 35721216 7857 4294967295 134512640 134714508 3221221776 3221220524 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8721 7857 1111 63 0 8658 0
vsize: 34884
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 8049 0 0 0 17953 46 0 0 25 0 1 0 629041818 36126720 7970 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8820 7970 1111 63 0 8757 0
vsize: 35280
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 8279 0 0 0 18952 47 0 0 25 0 1 0 629041818 37072896 8200 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9051 8200 1111 63 0 8988 0
vsize: 36204
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 8391 0 0 0 19951 48 0 0 25 0 1 0 629041818 37621760 8312 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9185 8312 1111 63 0 9122 0
vsize: 36740
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 8516 0 0 0 20951 49 0 0 25 0 1 0 629041818 38166528 8437 4294967295 134512640 134714508 3221221776 3221220504 134536901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9318 8437 1111 63 0 9255 0
vsize: 37272
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 8965 0 0 0 21948 52 0 0 25 0 1 0 629041818 39923712 8886 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9747 8886 1111 63 0 9684 0
vsize: 38988
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 9163 0 0 0 22947 53 0 0 25 0 1 0 629041818 40730624 9084 4294967295 134512640 134714508 3221221776 3221220336 134551992 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9944 9084 1111 63 0 9881 0
vsize: 39776
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 9248 0 0 0 23946 54 0 0 25 0 1 0 629041818 41136128 9169 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10043 9169 1111 63 0 9980 0
vsize: 40172
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 9302 0 0 0 24945 55 0 0 25 0 1 0 629041818 41271296 9223 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10076 9223 1111 63 0 10013 0
vsize: 40304
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 9567 0 0 0 25943 57 0 0 25 0 1 0 629041818 42352640 9488 4294967295 134512640 134714508 3221221776 3221220588 134554888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10340 9488 1111 63 0 10277 0
vsize: 41360
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 9810 0 0 0 26942 59 0 0 25 0 1 0 629041818 43433984 9731 4294967295 134512640 134714508 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10604 9731 1111 63 0 10541 0
vsize: 42416
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 9969 0 0 0 27940 60 0 0 25 0 1 0 629041818 44109824 9890 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10769 9890 1111 63 0 10706 0
vsize: 43076
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10151 0 0 0 28938 62 0 0 25 0 1 0 629041818 44789760 10072 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10935 10072 1111 63 0 10872 0
vsize: 43740
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10320 0 0 0 29937 63 0 0 25 0 1 0 629041818 45477888 10241 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11103 10241 1111 63 0 11040 0
vsize: 44412
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10423 0 0 0 30937 64 0 0 25 0 1 0 629041818 46018560 10344 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11235 10344 1111 63 0 11172 0
vsize: 44940
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10509 0 0 0 31936 65 0 0 25 0 1 0 629041818 46284800 10430 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11300 10430 1111 63 0 11237 0
vsize: 45200
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10632 0 0 0 32935 66 0 0 25 0 1 0 629041818 46813184 10553 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11429 10553 1111 63 0 11366 0
vsize: 45716
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10745 0 0 0 33934 68 0 0 25 0 1 0 629041818 47353856 10666 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11561 10666 1111 63 0 11498 0
vsize: 46244
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10821 0 0 0 34933 69 0 0 25 0 1 0 629041818 47595520 10742 4294967295 134512640 134714508 3221221776 3221220480 134528668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11620 10742 1111 63 0 11557 0
vsize: 46480
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10864 0 0 0 35932 70 0 0 25 0 1 0 629041818 47730688 10785 4294967295 134512640 134714508 3221221776 3221220568 134531231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11653 10785 1111 63 0 11590 0
vsize: 46612
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 10915 0 0 0 36931 71 0 0 25 0 1 0 629041818 48001024 10836 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11719 10836 1111 63 0 11656 0
vsize: 46876
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 11053 0 0 0 37930 72 0 0 25 0 1 0 629041818 48500736 10974 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11841 10974 1111 63 0 11778 0
vsize: 47364
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 11225 0 0 0 38928 74 0 0 25 0 1 0 629041818 49311744 11146 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12039 11146 1111 63 0 11976 0
vsize: 48156
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 11559 0 0 0 39926 77 0 0 25 0 1 0 629041818 50659328 11480 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12368 11480 1111 63 0 12305 0
vsize: 49472
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 11753 0 0 0 40924 79 0 0 25 0 1 0 629041818 51470336 11674 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12566 11674 1111 63 0 12503 0
vsize: 50264
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 11889 0 0 0 41923 80 0 0 25 0 1 0 629041818 51998720 11810 4294967295 134512640 134714508 3221221776 3221220516 134591993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12695 11810 1111 63 0 12632 0
vsize: 50780
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 12077 0 0 0 42922 82 0 0 25 0 1 0 629041818 52801536 11998 4294967295 134512640 134714508 3221221776 3221220472 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12891 11998 1111 63 0 12828 0
vsize: 51564
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 12233 0 0 0 43921 83 0 0 25 0 1 0 629041818 53334016 12154 4294967295 134512640 134714508 3221221776 3221220436 134523855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13021 12154 1111 63 0 12958 0
vsize: 52084
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 12350 0 0 0 44920 84 0 0 25 0 1 0 629041818 53874688 12271 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13153 12271 1111 63 0 13090 0
vsize: 52612
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 12474 0 0 0 45919 85 0 0 25 0 1 0 629041818 54415360 12395 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13285 12395 1111 63 0 13222 0
vsize: 53140
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 12871 0 0 0 46918 86 0 0 25 0 1 0 629041818 56057856 12792 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13686 12792 1111 63 0 13623 0
vsize: 54744
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 13178 0 0 0 47917 88 0 0 25 0 1 0 629041818 57270272 13099 4294967295 134512640 134714508 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13982 13099 1111 63 0 13919 0
vsize: 55928
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 13328 0 0 0 48916 89 0 0 25 0 1 0 629041818 57946112 13249 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14147 13249 1111 63 0 14084 0
vsize: 56588
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 13486 0 0 0 49915 90 0 0 25 0 1 0 629041818 58621952 13407 4294967295 134512640 134714508 3221221776 3221220496 134584808 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14312 13407 1111 63 0 14249 0
vsize: 57248
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 13816 0 0 0 50914 91 0 0 25 0 1 0 629041818 59973632 13737 4294967295 134512640 134714508 3221221776 3221220416 134536653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14642 13737 1111 63 0 14579 0
vsize: 58568
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 14415 0 0 0 51911 94 0 0 25 0 1 0 629041818 62382080 14335 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15230 14335 1111 63 0 15167 0
vsize: 60920
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 14610 0 0 0 52910 95 0 0 25 0 1 0 629041818 63193088 14530 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15428 14530 1111 63 0 15365 0
vsize: 61712
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 14803 0 0 0 53909 97 0 0 25 0 1 0 629041818 64004096 14723 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15626 14723 1111 63 0 15563 0
vsize: 62504
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 14909 0 0 0 54907 99 0 0 25 0 1 0 629041818 64409600 14829 4294967295 134512640 134714508 3221221776 3221220560 134529410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15725 14829 1111 63 0 15662 0
vsize: 62900
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 14979 0 0 0 55907 99 0 0 25 0 1 0 629041818 64679936 14899 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15791 14899 1111 63 0 15728 0
vsize: 63164
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 15357 0 0 0 56905 102 0 0 25 0 1 0 629041818 66301952 15277 4294967295 134512640 134714508 3221221776 3221220464 134594387 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16187 15277 1111 63 0 16124 0
vsize: 64748
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 15678 0 0 0 57903 103 0 0 25 0 1 0 629041818 67518464 15598 4294967295 134512640 134714508 3221221776 3221220364 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15598 1111 63 0 16421 0
vsize: 65936
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 15884 0 0 0 58901 105 0 0 25 0 1 0 629041818 68464640 15804 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16715 15804 1111 63 0 16652 0
vsize: 66860
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 15988 0 0 0 59900 106 0 0 25 0 1 0 629041818 68870144 15908 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16814 15908 1111 63 0 16751 0
vsize: 67256
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 16108 0 0 0 60900 107 0 0 25 0 1 0 629041818 69275648 16026 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16913 16026 1111 63 0 16850 0
vsize: 67652
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 16354 0 0 0 61898 109 0 0 25 0 1 0 629041818 70373376 16272 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17181 16272 1111 63 0 17118 0
vsize: 68724
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 16501 0 0 0 62897 110 0 0 25 0 1 0 629041818 70914048 16419 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17313 16419 1111 63 0 17250 0
vsize: 69252
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 16583 0 0 0 63896 111 0 0 25 0 1 0 629041818 71319552 16501 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17412 16501 1111 63 0 17349 0
vsize: 69648
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 16661 0 0 0 64896 112 0 0 25 0 1 0 629041818 71589888 16579 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17478 16579 1111 63 0 17415 0
vsize: 69912
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 16797 0 0 0 65895 112 0 0 25 0 1 0 629041818 72130560 16715 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17610 16715 1111 63 0 17547 0
vsize: 70440
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 16893 0 0 0 66895 113 0 0 25 0 1 0 629041818 72536064 16811 4294967295 134512640 134714508 3221221776 3221220428 134536775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17709 16811 1111 63 0 17646 0
vsize: 70836
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17079 0 0 0 67893 115 0 0 25 0 1 0 629041818 73347072 16997 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17907 16997 1111 63 0 17844 0
vsize: 71628
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17163 0 0 0 68892 116 0 0 25 0 1 0 629041818 73617408 17081 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17973 17081 1111 63 0 17910 0
vsize: 71892
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17331 0 0 0 69891 118 0 0 25 0 1 0 629041818 74428416 17249 4294967295 134512640 134714508 3221221776 3221220560 134529103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18171 17249 1111 63 0 18108 0
vsize: 72684
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17502 0 0 0 70890 119 0 0 25 0 1 0 629041818 75104256 17420 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18336 17420 1111 63 0 18273 0
vsize: 73344
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17617 0 0 0 71889 119 0 0 25 0 1 0 629041818 75509760 17535 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18435 17535 1111 63 0 18372 0
vsize: 73740
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17696 0 0 0 72889 120 0 0 25 0 1 0 629041818 75915264 17614 4294967295 134512640 134714508 3221221776 3221220524 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18534 17614 1111 63 0 18471 0
vsize: 74136
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17771 0 0 0 73888 121 0 0 25 0 1 0 629041818 76185600 17689 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18600 17689 1111 63 0 18537 0
vsize: 74400
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17878 0 0 0 74887 123 0 0 25 0 1 0 629041818 76587008 17796 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18698 17796 1111 63 0 18635 0
vsize: 74792
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17944 0 0 0 75886 124 0 0 25 0 1 0 629041818 76857344 17862 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18764 17862 1111 63 0 18701 0
vsize: 75056
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 17988 0 0 0 76885 125 0 0 25 0 1 0 629041818 77127680 17906 4294967295 134512640 134714508 3221221776 3221220272 134535379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18830 17906 1111 63 0 18767 0
vsize: 75320
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18033 0 0 0 77885 125 0 0 25 0 1 0 629041818 77262848 17951 4294967295 134512640 134714508 3221221776 3221220480 134528680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18863 17951 1111 63 0 18800 0
vsize: 75452
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18133 0 0 0 78884 126 0 0 25 0 1 0 629041818 77668352 18051 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18962 18051 1111 63 0 18899 0
vsize: 75848
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18329 0 0 0 79882 128 0 0 25 0 1 0 629041818 78479360 18247 4294967295 134512640 134714508 3221221776 3221220512 134528662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19160 18247 1111 63 0 19097 0
vsize: 76640
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18414 0 0 0 80882 128 0 0 25 0 1 0 629041818 78741504 18332 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19224 18332 1111 63 0 19161 0
vsize: 76896
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18662 0 0 0 81880 131 0 0 25 0 1 0 629041818 79822848 18580 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19488 18580 1111 63 0 19425 0
vsize: 77952
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18758 0 0 0 82878 132 0 0 25 0 1 0 629041818 80228352 18676 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19587 18676 1111 63 0 19524 0
vsize: 78348
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18890 0 0 0 83878 133 0 0 25 0 1 0 629041818 80748544 18808 4294967295 134512640 134714508 3221221776 3221220444 134613400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19714 18808 1111 63 0 19651 0
vsize: 78856
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 18983 0 0 0 84876 135 0 0 25 0 1 0 629041818 81154048 18901 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19813 18901 1111 63 0 19750 0
vsize: 79252
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19042 0 0 0 85876 136 0 0 25 0 1 0 629041818 81424384 18960 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19879 18960 1111 63 0 19816 0
vsize: 79516
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19082 0 0 0 86875 136 0 0 25 0 1 0 629041818 81567744 19000 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19914 19000 1111 63 0 19851 0
vsize: 79656
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19191 0 0 0 87874 137 0 0 25 0 1 0 629041818 81973248 19109 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20013 19109 1111 63 0 19950 0
vsize: 80052
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19296 0 0 0 88873 139 0 0 25 0 1 0 629041818 82374656 19214 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20111 19214 1111 63 0 20048 0
vsize: 80444
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19372 0 0 0 89872 139 0 0 25 0 1 0 629041818 82780160 19290 4294967295 134512640 134714508 3221221776 3221220376 134549515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20210 19290 1111 63 0 20147 0
vsize: 80840
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19441 0 0 0 90872 140 0 0 25 0 1 0 629041818 83050496 19359 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20276 19359 1111 63 0 20213 0
vsize: 81104
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19483 0 0 0 91871 140 0 0 25 0 1 0 629041818 83185664 19401 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20309 19401 1111 63 0 20246 0
vsize: 81236
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19541 0 0 0 92871 141 0 0 25 0 1 0 629041818 83456000 19459 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20375 19459 1111 63 0 20312 0
vsize: 81500
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19619 0 0 0 93870 142 0 0 25 0 1 0 629041818 83726336 19537 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20441 19537 1111 63 0 20378 0
vsize: 81764
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19700 0 0 0 94870 142 0 0 25 0 1 0 629041818 84013056 19618 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20511 19618 1111 63 0 20448 0
vsize: 82044
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19780 0 0 0 95869 143 0 0 25 0 1 0 629041818 84418560 19698 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20610 19698 1111 63 0 20547 0
vsize: 82440
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19837 0 0 0 96868 144 0 0 25 0 1 0 629041818 84688896 19755 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20676 19755 1111 63 0 20613 0
vsize: 82704
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19875 0 0 0 97868 145 0 0 25 0 1 0 629041818 84824064 19793 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20709 19793 1111 63 0 20646 0
vsize: 82836
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 19938 0 0 0 98867 146 0 0 25 0 1 0 629041818 85094400 19856 4294967295 134512640 134714508 3221221776 3221220512 134535837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20775 19856 1111 63 0 20712 0
vsize: 83100
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20059 0 0 0 99867 147 0 0 25 0 1 0 629041818 85499904 19977 4294967295 134512640 134714508 3221221776 3221220480 134524402 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20874 19977 1111 63 0 20811 0
vsize: 83496
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20165 0 0 0 100866 148 0 0 25 0 1 0 629041818 86040576 20083 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21006 20083 1111 63 0 20943 0
vsize: 84024
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20209 0 0 0 101866 148 0 0 25 0 1 0 629041818 86175744 20127 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21039 20127 1111 63 0 20976 0
vsize: 84156
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20236 0 0 0 102865 149 0 0 25 0 1 0 629041818 86306816 20154 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21071 20154 1111 63 0 21008 0
vsize: 84284
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8655
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20279 0 0 0 103865 149 0 0 25 0 1 0 629041818 86441984 20197 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21104 20197 1111 63 0 21041 0
vsize: 84416
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 8658
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20328 0 0 0 104861 153 0 0 25 0 1 0 629041818 86712320 20246 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21170 20246 1111 63 0 21107 0
vsize: 84680
[startup+1060.29 s]
Raw data (loadavg): 1.23 1.02 0.93 3/57 8699
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20438 0 0 0 105886 154 0 0 25 0 1 0 629041818 87117824 20356 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21269 20356 1111 63 0 21206 0
vsize: 85076
[startup+1070.29 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 8708
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20482 0 0 0 106886 155 0 0 25 0 1 0 629041818 87252992 20400 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21302 20400 1111 63 0 21239 0
vsize: 85208
[startup+1080.29 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 8708
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20531 0 0 0 107885 155 0 0 25 0 1 0 629041818 87523328 20449 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21368 20449 1111 63 0 21305 0
vsize: 85472
[startup+1090.29 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 8708
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20582 0 0 0 108885 156 0 0 25 0 1 0 629041818 87658496 20500 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21401 20500 1111 63 0 21338 0
vsize: 85604
[startup+1100.29 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 8708
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20624 0 0 0 109884 156 0 0 25 0 1 0 629041818 87928832 20542 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21467 20542 1111 63 0 21404 0
vsize: 85868
[startup+1110.29 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 8708
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20708 0 0 0 110884 157 0 0 25 0 1 0 629041818 88190976 20626 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21531 20626 1111 63 0 21468 0
vsize: 86124
[startup+1120.29 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 8708
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20895 0 0 0 111882 159 0 0 25 0 1 0 629041818 88989696 20813 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21726 20813 1111 63 0 21663 0
vsize: 86904
[startup+1130.29 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 8710
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 20944 0 0 0 112882 160 0 0 25 0 1 0 629041818 89260032 20862 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21792 20862 1111 63 0 21729 0
vsize: 87168
[startup+1140.29 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 8710
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 21126 0 0 0 113881 161 0 0 25 0 1 0 629041818 89935872 21044 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21957 21044 1111 63 0 21894 0
vsize: 87828
[startup+1150.29 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 8710
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 21289 0 0 0 114880 162 0 0 25 0 1 0 629041818 90619904 21207 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22124 21207 1111 63 0 22061 0
vsize: 88496
[startup+1160.3 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 8710
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 21437 0 0 0 115880 162 0 0 25 0 1 0 629041818 91295744 21355 4294967295 134512640 134714508 3221221776 3221220436 134524380 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22289 21355 1111 63 0 22226 0
vsize: 89156
[startup+1170.3 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 8710
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 21535 0 0 0 116879 163 0 0 25 0 1 0 629041818 91709440 21453 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22390 21453 1111 63 0 22327 0
vsize: 89560
[startup+1174.95 s]
Raw data (loadavg): 1.03 1.01 0.93 1/53 8710
Raw data (stat): 8655 (bsolo_lpr) R 8654 7876 7672 0 -1 0 21535 0 0 0 116879 163 0 0 25 0 1 0 629041818 91709440 21453 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22390 21453 1111 63 0 22327 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.09
CPU user time (s): 1173.4
CPU system time (s): 1.68074
CPU usage (%): 100.012
Max. virtual memory (Kb): 89560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####