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/manquinho/primes-dimacs-cnf/normalized-ii32d3.opb
MD5SUM	527fb49aa1a9296592f9e28b71f1006f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	802
Optimality of the best value was proved	NO
Number of terms in the objective function	1648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1648
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1648
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	269.791
Number of variables	1648
Total number of constraints	20302
Number of constraints which are clauses	20302
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 23922

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 11:09:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1405 boxname=wulflinc31 idbench=157 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  527fb49aa1a9296592f9e28b71f1006f  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32d3.opb
IDLAUNCH: 1405
/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:        151024 kB
Buffers:         36400 kB
Cached:         812684 kB
SwapCached:        644 kB
Active:         485624 kB
Inactive:       365840 kB
HighTotal:      131008 kB
HighFree:         8876 kB
LowTotal:       903652 kB
LowFree:        142148 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26620 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 11:29:30 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 1405 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1648 variables and 20302 constraints.
c After prepocess the problem consists of 1648 variables and 20302 constraints.
c preprocess terminated 110.387 s
c Initial Lower Bound: 416
c Lower Bound Elapsed time: 132.774
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 23623
Raw data (stat): 23623 (runsolver) D 23622 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 674210736 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4312 0 0 0 980 14 0 0 25 0 1 0 674210736 20779008 4230 4294967295 134512640 134714508 3221221792 3221220240 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5073 4230 1111 63 0 5010 0
vsize: 20292
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4896 0 0 0 1979 16 0 0 25 0 1 0 674210736 23212032 4814 4294967295 134512640 134714508 3221221792 3221220256 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4814 1111 63 0 5604 0
vsize: 22668
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4898 0 0 0 2979 16 0 0 25 0 1 0 674210736 23212032 4816 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4816 1111 63 0 5604 0
vsize: 22668
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4901 0 0 0 3978 17 0 0 25 0 1 0 674210736 23212032 4819 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4819 1111 63 0 5604 0
vsize: 22668
[startup+50.0047 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4903 0 0 0 4978 17 0 0 25 0 1 0 674210736 23212032 4821 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4821 1111 63 0 5604 0
vsize: 22668
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4908 0 0 0 5978 18 0 0 25 0 1 0 674210736 23212032 4826 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4908 0 0 0 6978 18 0 0 25 0 1 0 674210736 23212032 4826 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+80.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4908 0 0 0 7978 18 0 0 25 0 1 0 674210736 23212032 4826 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4908 0 0 0 8977 19 0 0 25 0 1 0 674210736 23212032 4826 4294967295 134512640 134714508 3221221792 3221220444 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 4908 0 0 0 9977 19 0 0 25 0 1 0 674210736 23212032 4826 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4826 1111 63 0 5604 0
vsize: 22668
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 5069 0 0 0 10977 19 0 0 25 0 1 0 674210736 23867392 4987 4294967295 134512640 134714508 3221221792 3221220576 134622917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5827 4987 1111 63 0 5764 0
vsize: 23308
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 5606 0 0 0 11975 22 0 0 25 0 1 0 674210736 25911296 5486 4294967295 134512640 134714508 3221221792 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6326 5486 1111 63 0 6263 0
vsize: 25304
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 5745 0 0 0 12973 24 0 0 25 0 1 0 674210736 26460160 5625 4294967295 134512640 134714508 3221221792 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6460 5625 1111 63 0 6397 0
vsize: 25840
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 8893 0 0 0 13964 32 0 0 25 0 1 0 674210736 41324544 7873 4294967295 134512640 134714508 3221221792 3221217768 1074860225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10089 7873 1111 63 0 10026 0
vsize: 40356
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 9081 0 0 0 14963 34 0 0 25 0 1 0 674210736 41324544 8031 4294967295 134512640 134714508 3221221792 3221218832 1074834340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10089 8031 1111 63 0 10026 0
vsize: 40356
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 9179 0 0 0 15963 34 0 0 25 0 1 0 674210736 42831872 8107 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10457 8107 1111 63 0 10394 0
vsize: 41828
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 9262 0 0 0 16962 35 0 0 25 0 1 0 674210736 43397120 8166 4294967295 134512640 134714508 3221221792 3221217856 1074969685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10595 8166 1111 63 0 10532 0
vsize: 42380
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 9283 0 0 0 17962 35 0 0 25 0 1 0 674210736 43397120 8167 4294967295 134512640 134714508 3221221792 3221217932 1075116566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10595 8167 1111 63 0 10532 0
vsize: 42380
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 9305 0 0 0 18962 36 0 0 25 0 1 0 674210736 43397120 8167 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10595 8167 1111 63 0 10532 0
vsize: 42380
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 14612 0 0 0 19947 51 0 0 25 0 1 0 674210736 30461952 6684 4294967295 134512640 134714508 3221221792 3221220128 1073989416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7437 6684 1111 63 0 7374 0
vsize: 29748
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 17192 0 0 0 20937 61 0 0 25 0 1 0 674210736 31006720 6690 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7570 6690 1111 63 0 7507 0
vsize: 30280
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 19604 0 0 0 21927 71 0 0 25 0 1 0 674210736 30461952 6684 4294967295 134512640 134714508 3221221792 3221220200 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7437 6684 1111 63 0 7374 0
vsize: 29748
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 24602 0 0 0 22914 83 0 0 25 0 1 0 674210736 43413504 8039 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10599 8039 1111 63 0 10536 0
vsize: 42396
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 24866 0 0 0 23914 84 0 0 25 0 1 0 674210736 43614208 8279 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8279 1111 63 0 10585 0
vsize: 42592
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 24891 0 0 0 24914 84 0 0 25 0 1 0 674210736 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 24917 0 0 0 25914 84 0 0 25 0 1 0 674210736 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 24941 0 0 0 26914 84 0 0 25 0 1 0 674210736 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 24965 0 0 0 27914 84 0 0 25 0 1 0 674210736 43614208 8280 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 8280 1111 63 0 10585 0
vsize: 42592
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 24989 0 0 0 28915 85 0 0 25 0 1 0 674210736 43778048 8282 4294967295 134512640 134714508 3221221792 3221218784 1074867344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10688 8282 1111 63 0 10625 0
vsize: 42752
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 25059 0 0 0 29915 85 0 0 25 0 1 0 674210736 44179456 8328 4294967295 134512640 134714508 3221221792 3221217592 1074788474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10786 8328 1111 63 0 10723 0
vsize: 43144
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 25081 0 0 0 30915 85 0 0 25 0 1 0 674210736 44179456 8330 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10786 8330 1111 63 0 10723 0
vsize: 43144
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 30782 0 0 0 31901 99 0 0 25 0 1 0 674210736 31322112 6870 4294967295 134512640 134714508 3221221792 3221220256 1074032775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7647 6870 1111 63 0 7584 0
vsize: 30588
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 33309 0 0 0 32891 109 0 0 25 0 1 0 674210736 31322112 6871 4294967295 134512640 134714508 3221221792 3221219964 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7647 6871 1111 63 0 7584 0
vsize: 30588
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 35721 0 0 0 33883 117 0 0 25 0 1 0 674210736 31866880 6877 4294967295 134512640 134714508 3221221792 3221219708 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7780 6877 1111 63 0 7717 0
vsize: 31120
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40735 0 0 0 34868 132 0 0 25 0 1 0 674210736 44027904 8395 4294967295 134512640 134714508 3221221792 3221217932 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10749 8395 1111 63 0 10686 0
vsize: 42996
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40814 0 0 0 35868 132 0 0 25 0 1 0 674210736 44228608 8454 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8454 1111 63 0 10735 0
vsize: 43192
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40837 0 0 0 36868 132 0 0 25 0 1 0 674210736 44228608 8455 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8455 1111 63 0 10735 0
vsize: 43192
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40862 0 0 0 37868 133 0 0 25 0 1 0 674210736 44228608 8456 4294967295 134512640 134714508 3221221792 3221217932 1075116489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8456 1111 63 0 10735 0
vsize: 43192
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40887 0 0 0 38868 133 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40909 0 0 0 39868 133 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40933 0 0 0 40868 133 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40957 0 0 0 41869 133 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217872 1074794560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 40983 0 0 0 42869 133 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221218832 1074834239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41007 0 0 0 43869 133 0 0 25 0 1 0 674210736 44392448 8459 4294967295 134512640 134714508 3221221792 3221218752 1075971386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8459 1111 63 0 10775 0
vsize: 43352
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41031 0 0 0 44869 134 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221218044 1075112923 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41055 0 0 0 45869 134 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217820 1075663396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41077 0 0 0 46869 134 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41099 0 0 0 47869 134 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41125 0 0 0 48869 134 0 0 25 0 1 0 674210736 44392448 8459 4294967295 134512640 134714508 3221221792 3221218368 1075969188 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10838 8459 1111 63 0 10775 0
vsize: 43352
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41149 0 0 0 49869 134 0 0 25 0 1 0 674210736 44228608 8457 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8457 1111 63 0 10735 0
vsize: 43192
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41172 0 0 0 50869 134 0 0 25 0 1 0 674210736 44228608 8458 4294967295 134512640 134714508 3221221792 3221217932 1075116498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8458 1111 63 0 10735 0
vsize: 43192
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41196 0 0 0 51869 134 0 0 25 0 1 0 674210736 44228608 8458 4294967295 134512640 134714508 3221221792 3221217932 1075116781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8458 1111 63 0 10735 0
vsize: 43192
[startup+530.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41304 0 0 0 52869 134 0 0 25 0 1 0 674210736 44228608 8503 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10798 8503 1111 63 0 10735 0
vsize: 43192
[startup+540.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 41370 0 0 0 53869 135 0 0 25 0 1 0 674210736 44793856 8551 4294967295 134512640 134714508 3221221792 3221217864 1074883056 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10936 8551 1111 63 0 10873 0
vsize: 43744
[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 47774 0 0 0 54852 152 0 0 25 0 1 0 674210736 31485952 6938 4294967295 134512640 134714508 3221221792 3221220032 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7687 6938 1111 63 0 7624 0
vsize: 30748
[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51142 0 0 0 55845 160 0 0 25 0 1 0 674210736 44646400 8567 4294967295 134512640 134714508 3221221792 3221217932 1075116478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8567 1111 63 0 10837 0
vsize: 43600
[startup+570.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51165 0 0 0 56844 160 0 0 25 0 1 0 674210736 44646400 8568 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8568 1111 63 0 10837 0
vsize: 43600
[startup+580.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51188 0 0 0 57844 161 0 0 25 0 1 0 674210736 44646400 8571 4294967295 134512640 134714508 3221221792 3221217932 1075116467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8571 1111 63 0 10837 0
vsize: 43600
[startup+590.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51210 0 0 0 58844 161 0 0 25 0 1 0 674210736 44646400 8571 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8571 1111 63 0 10837 0
vsize: 43600
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51234 0 0 0 59844 161 0 0 25 0 1 0 674210736 44646400 8571 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8571 1111 63 0 10837 0
vsize: 43600
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51259 0 0 0 60844 161 0 0 25 0 1 0 674210736 44646400 8572 4294967295 134512640 134714508 3221221792 3221217932 1075116519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8572 1111 63 0 10837 0
vsize: 43600
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51281 0 0 0 61844 162 0 0 25 0 1 0 674210736 44646400 8572 4294967295 134512640 134714508 3221221792 3221217848 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8572 1111 63 0 10837 0
vsize: 43600
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51301 0 0 0 62844 162 0 0 25 0 1 0 674210736 44646400 8572 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8572 1111 63 0 10837 0
vsize: 43600
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 51373 0 0 0 63843 162 0 0 25 0 1 0 674210736 45375488 8622 4294967295 134512640 134714508 3221221792 3221218304 1074886376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11078 8622 1111 63 0 11015 0
vsize: 44312
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 53818 0 0 0 64837 168 0 0 25 0 1 0 674210736 28975104 6334 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7074 6334 1111 63 0 7011 0
vsize: 28296
[startup+660.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 53826 0 0 0 65837 169 0 0 25 0 1 0 674210736 29110272 6342 4294967295 134512640 134714508 3221221792 3221220432 134539427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7107 6342 1111 63 0 7044 0
vsize: 28428
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 53900 0 0 0 66836 169 0 0 25 0 1 0 674210736 29380608 6416 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7173 6416 1111 63 0 7110 0
vsize: 28692
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 53991 0 0 0 67836 170 0 0 25 0 1 0 674210736 29786112 6507 4294967295 134512640 134714508 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7272 6507 1111 63 0 7209 0
vsize: 29088
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54074 0 0 0 68835 171 0 0 25 0 1 0 674210736 30056448 6590 4294967295 134512640 134714508 3221221792 3221220352 134696583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7338 6590 1111 63 0 7275 0
vsize: 29352
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54167 0 0 0 69835 171 0 0 25 0 1 0 674210736 30461952 6683 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6683 1111 63 0 7374 0
vsize: 29748
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54261 0 0 0 70834 172 0 0 25 0 1 0 674210736 30867456 6777 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6777 1111 63 0 7473 0
vsize: 30144
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54346 0 0 0 71834 172 0 0 25 0 1 0 674210736 31137792 6862 4294967295 134512640 134714508 3221221792 3221220332 134539251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7602 6862 1111 63 0 7539 0
vsize: 30408
[startup+730.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54412 0 0 0 72834 172 0 0 25 0 1 0 674210736 31408128 6928 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7668 6928 1111 63 0 7605 0
vsize: 30672
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54494 0 0 0 73834 173 0 0 25 0 1 0 674210736 31813632 7010 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7767 7010 1111 63 0 7704 0
vsize: 31068
[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54552 0 0 0 74833 174 0 0 25 0 1 0 674210736 32083968 7068 4294967295 134512640 134714508 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7833 7068 1111 63 0 7770 0
vsize: 31332
[startup+760.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54588 0 0 0 75832 175 0 0 25 0 1 0 674210736 32219136 7104 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7866 7104 1111 63 0 7803 0
vsize: 31464
[startup+770.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54641 0 0 0 76832 176 0 0 25 0 1 0 674210736 32354304 7157 4294967295 134512640 134714508 3221221792 3221220300 134535936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7899 7157 1111 63 0 7836 0
vsize: 31596
[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54718 0 0 0 77831 176 0 0 25 0 1 0 674210736 32759808 7234 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7998 7234 1111 63 0 7935 0
vsize: 31992
[startup+790.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54786 0 0 0 78831 176 0 0 25 0 1 0 674210736 33030144 7302 4294967295 134512640 134714508 3221221792 3221220416 134542356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8064 7302 1111 63 0 8001 0
vsize: 32256
[startup+800.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54884 0 0 0 79830 177 0 0 25 0 1 0 674210736 33435648 7400 4294967295 134512640 134714508 3221221792 3221220464 134542865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8163 7400 1111 63 0 8100 0
vsize: 32652
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 54953 0 0 0 80830 178 0 0 25 0 1 0 674210736 33705984 7469 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8229 7469 1111 63 0 8166 0
vsize: 32916
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55011 0 0 0 81830 178 0 0 25 0 1 0 674210736 33976320 7527 4294967295 134512640 134714508 3221221792 3221220448 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8295 7527 1111 63 0 8232 0
vsize: 33180
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55089 0 0 0 82830 178 0 0 25 0 1 0 674210736 34246656 7605 4294967295 134512640 134714508 3221221792 3221220360 134539209 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8361 7605 1111 63 0 8298 0
vsize: 33444
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55175 0 0 0 83829 179 0 0 25 0 1 0 674210736 34652160 7691 4294967295 134512640 134714508 3221221792 3221220384 134543738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8460 7691 1111 63 0 8397 0
vsize: 33840
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55252 0 0 0 84829 179 0 0 25 0 1 0 674210736 34922496 7768 4294967295 134512640 134714508 3221221792 3221220300 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8526 7768 1111 63 0 8463 0
vsize: 34104
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55325 0 0 0 85829 180 0 0 25 0 1 0 674210736 35192832 7841 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8592 7841 1111 63 0 8529 0
vsize: 34368
[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55401 0 0 0 86828 181 0 0 25 0 1 0 674210736 35463168 7917 4294967295 134512640 134714508 3221221792 3221220448 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8658 7917 1111 63 0 8595 0
vsize: 34632
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55466 0 0 0 87828 181 0 0 25 0 1 0 674210736 35733504 7982 4294967295 134512640 134714508 3221221792 3221220448 134524085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8724 7982 1111 63 0 8661 0
vsize: 34896
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55529 0 0 0 88828 182 0 0 25 0 1 0 674210736 35999744 8045 4294967295 134512640 134714508 3221221792 3221220336 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8789 8045 1111 63 0 8726 0
vsize: 35156
[startup+900.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55622 0 0 0 89828 182 0 0 25 0 1 0 674210736 36405248 8138 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8888 8138 1111 63 0 8825 0
vsize: 35552
[startup+910.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55688 0 0 0 90827 182 0 0 25 0 1 0 674210736 36675584 8204 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8954 8204 1111 63 0 8891 0
vsize: 35816
[startup+920.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55763 0 0 0 91827 183 0 0 25 0 1 0 674210736 36945920 8279 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9020 8279 1111 63 0 8957 0
vsize: 36080
[startup+930.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55843 0 0 0 92827 183 0 0 25 0 1 0 674210736 37351424 8359 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9119 8359 1111 63 0 9056 0
vsize: 36476
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55909 0 0 0 93826 184 0 0 25 0 1 0 674210736 37621760 8425 4294967295 134512640 134714508 3221221792 3221220376 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9185 8425 1111 63 0 9122 0
vsize: 36740
[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 55975 0 0 0 94826 184 0 0 25 0 1 0 674210736 37892096 8491 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9251 8491 1111 63 0 9188 0
vsize: 37004
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56057 0 0 0 95826 185 0 0 25 0 1 0 674210736 38162432 8573 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9317 8573 1111 63 0 9254 0
vsize: 37268
[startup+970.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56136 0 0 0 96825 185 0 0 25 0 1 0 674210736 38567936 8652 4294967295 134512640 134714508 3221221792 3221220576 134529323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9416 8652 1111 63 0 9353 0
vsize: 37664
[startup+980.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56216 0 0 0 97825 186 0 0 25 0 1 0 674210736 38838272 8732 4294967295 134512640 134714508 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9482 8732 1111 63 0 9419 0
vsize: 37928
[startup+990.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56288 0 0 0 98824 187 0 0 25 0 1 0 674210736 39108608 8804 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9548 8804 1111 63 0 9485 0
vsize: 38192
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56361 0 0 0 99824 187 0 0 25 0 1 0 674210736 39514112 8877 4294967295 134512640 134714508 3221221792 3221220496 134528740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9647 8877 1111 63 0 9584 0
vsize: 38588
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56438 0 0 0 100824 187 0 0 25 0 1 0 674210736 39784448 8954 4294967295 134512640 134714508 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9713 8954 1111 63 0 9650 0
vsize: 38852
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56486 0 0 0 101823 188 0 0 25 0 1 0 674210736 39919616 9002 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9746 9002 1111 63 0 9683 0
vsize: 38984
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56506 0 0 0 102824 188 0 0 25 0 1 0 674210736 40054784 9022 4294967295 134512640 134714508 3221221792 3221220380 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9779 9022 1111 63 0 9716 0
vsize: 39116
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56534 0 0 0 103824 188 0 0 25 0 1 0 674210736 40189952 9050 4294967295 134512640 134714508 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 9050 1111 63 0 9749 0
vsize: 39248
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56555 0 0 0 104823 188 0 0 25 0 1 0 674210736 40189952 9071 4294967295 134512640 134714508 3221221792 3221220400 134536849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9812 9071 1111 63 0 9749 0
vsize: 39248
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56593 0 0 0 105824 189 0 0 25 0 1 0 674210736 40460288 9109 4294967295 134512640 134714508 3221221792 3221220416 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9878 9109 1111 63 0 9815 0
vsize: 39512
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56617 0 0 0 106824 189 0 0 25 0 1 0 674210736 40460288 9133 4294967295 134512640 134714508 3221221792 3221220576 134529365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9878 9133 1111 63 0 9815 0
vsize: 39512
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56623 0 0 0 107824 189 0 0 25 0 1 0 674210736 40595456 9139 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9911 9139 1111 63 0 9848 0
vsize: 39644
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56638 0 0 0 108824 189 0 0 25 0 1 0 674210736 40595456 9154 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9911 9154 1111 63 0 9848 0
vsize: 39644
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56660 0 0 0 109824 189 0 0 25 0 1 0 674210736 40730624 9176 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9944 9176 1111 63 0 9881 0
vsize: 39776
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56677 0 0 0 110824 189 0 0 25 0 1 0 674210736 40730624 9193 4294967295 134512640 134714508 3221221792 3221220528 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9944 9193 1111 63 0 9881 0
vsize: 39776
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56678 0 0 0 111824 189 0 0 25 0 1 0 674210736 40730624 9194 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9944 9194 1111 63 0 9881 0
vsize: 39776
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56692 0 0 0 112824 190 0 0 25 0 1 0 674210736 40865792 9208 4294967295 134512640 134714508 3221221792 3221220348 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9208 1111 63 0 9914 0
vsize: 39908
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56709 0 0 0 113824 190 0 0 25 0 1 0 674210736 40865792 9225 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9225 1111 63 0 9914 0
vsize: 39908
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56709 0 0 0 114824 190 0 0 25 0 1 0 674210736 40865792 9225 4294967295 134512640 134714508 3221221792 3221220564 134529375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9225 1111 63 0 9914 0
vsize: 39908
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56713 0 0 0 115824 190 0 0 25 0 1 0 674210736 40865792 9229 4294967295 134512640 134714508 3221221792 3221220384 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9977 9229 1111 63 0 9914 0
vsize: 39908
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56727 0 0 0 116824 190 0 0 25 0 1 0 674210736 41000960 9243 4294967295 134512640 134714508 3221221792 3221220348 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10010 9243 1111 63 0 9947 0
vsize: 40040
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 23623
Raw data (stat): 23623 (bsolo_lpr) R 23622 7876 7672 0 -1 0 56727 0 0 0 116824 190 0 0 25 0 1 0 674210736 41000960 9243 4294967295 134512640 134714508 3221221792 3221220348 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10010 9243 1111 63 0 9947 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.07
CPU user time (s): 1173.14
CPU system time (s): 1.92971
CPU usage (%): 100.01
Max. virtual memory (Kb): 44312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####