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-ii32c4.opb
MD5SUM	cafd7bd480d889c74d8810dc689bffd8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	736
Optimality of the best value was proved	NO
Number of terms in the objective function	1518
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	1518
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	1518
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	23.6604
Number of variables	1518
Total number of constraints	21621
Number of constraints which are clauses	21621
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 23907

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-06 06:24:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1378 boxname=wulflinc31 idbench=154 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  cafd7bd480d889c74d8810dc689bffd8  /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c4.opb
IDLAUNCH: 1378
/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:        152364 kB
Buffers:         36008 kB
Cached:         811580 kB
SwapCached:        644 kB
Active:         484456 kB
Inactive:       365512 kB
HighTotal:      131008 kB
HighFree:         9912 kB
LowTotal:       903652 kB
LowFree:        142452 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26700 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-06 06:44:27 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 1378 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1518 variables and 21621 constraints.
c After prepocess the problem consists of 1518 variables and 21621 constraints.
c preprocess terminated 174.041 s
c Initial Lower Bound: 396
c Lower Bound Elapsed time: 207.547
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 21910
Raw data (stat): 21910 (runsolver) R 21909 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 672500327 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5123 0 0 0 975 20 0 0 25 0 1 0 672500327 24162304 5041 4294967295 134512640 134714508 3221221792 3221220176 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5899 5041 1111 63 0 5836 0
vsize: 23596
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5963 0 0 0 1973 22 0 0 25 0 1 0 672500327 27541504 5881 4294967295 134512640 134714508 3221221792 3221220408 134536909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5881 1111 63 0 6661 0
vsize: 26896
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5969 0 0 0 2973 22 0 0 25 0 1 0 672500327 27541504 5887 4294967295 134512640 134714508 3221221792 3221220260 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5887 1111 63 0 6661 0
vsize: 26896
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5969 0 0 0 3973 22 0 0 25 0 1 0 672500327 27541504 5887 4294967295 134512640 134714508 3221221792 3221220416 134529232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6724 5887 1111 63 0 6661 0
vsize: 26896
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5970 0 0 0 4973 22 0 0 25 0 1 0 672500327 27676672 5888 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5888 1111 63 0 6694 0
vsize: 27028
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5972 0 0 0 5973 22 0 0 25 0 1 0 672500327 27676672 5890 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5890 1111 63 0 6694 0
vsize: 27028
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5973 0 0 0 6974 22 0 0 25 0 1 0 672500327 27676672 5891 4294967295 134512640 134714508 3221221792 3221220400 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5891 1111 63 0 6694 0
vsize: 27028
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5974 0 0 0 7974 22 0 0 25 0 1 0 672500327 27676672 5892 4294967295 134512640 134714508 3221221792 3221220432 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5892 1111 63 0 6694 0
vsize: 27028
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5974 0 0 0 8974 22 0 0 25 0 1 0 672500327 27676672 5892 4294967295 134512640 134714508 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5892 1111 63 0 6694 0
vsize: 27028
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5976 0 0 0 9974 22 0 0 25 0 1 0 672500327 27676672 5894 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5894 1111 63 0 6694 0
vsize: 27028
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5977 0 0 0 10974 22 0 0 25 0 1 0 672500327 27676672 5895 4294967295 134512640 134714508 3221221792 3221220408 134543788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5895 1111 63 0 6694 0
vsize: 27028
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5981 0 0 0 11974 22 0 0 25 0 1 0 672500327 27676672 5899 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5981 0 0 0 12975 22 0 0 25 0 1 0 672500327 27676672 5899 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5981 0 0 0 13975 22 0 0 25 0 1 0 672500327 27676672 5899 4294967295 134512640 134714508 3221221792 3221220440 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 5981 0 0 0 14975 22 0 0 25 0 1 0 672500327 27676672 5899 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5899 1111 63 0 6694 0
vsize: 27028
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 6068 0 0 0 15975 22 0 0 25 0 1 0 672500327 28028928 5986 4294967295 134512640 134714508 3221221792 3221220600 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6843 5986 1111 63 0 6780 0
vsize: 27372
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 6154 0 0 0 16975 23 0 0 25 0 1 0 672500327 28381184 6072 4294967295 134512640 134714508 3221221792 3221220580 134622785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6929 6072 1111 63 0 6866 0
vsize: 27716
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 6559 0 0 0 17974 23 0 0 25 0 1 0 672500327 30027776 6477 4294967295 134512640 134714508 3221221792 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6477 1111 63 0 7268 0
vsize: 29324
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 6783 0 0 0 18972 25 0 0 25 0 1 0 672500327 31002624 6701 4294967295 134512640 134714508 3221221792 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7569 6701 1111 63 0 7506 0
vsize: 30276
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 6977 0 0 0 19970 27 0 0 25 0 1 0 672500327 31428608 6837 4294967295 134512640 134714508 3221221792 3221219760 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7673 6837 1111 63 0 7610 0
vsize: 30692
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 7104 0 0 0 20969 28 0 0 25 0 1 0 672500327 31944704 6964 4294967295 134512640 134714508 3221221792 3221219760 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7799 6964 1111 63 0 7736 0
vsize: 31196
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11429 0 0 0 21960 38 0 0 25 0 1 0 672500327 49508352 9942 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12087 9942 1111 63 0 12024 0
vsize: 48348
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11520 0 0 0 22960 38 0 0 25 0 1 0 672500327 49508352 10017 4294967295 134512640 134714508 3221221792 3221217984 1074960958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12087 10017 1111 63 0 12024 0
vsize: 48348
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11574 0 0 0 23960 38 0 0 25 0 1 0 672500327 49508352 10057 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12087 10057 1111 63 0 12024 0
vsize: 48348
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11588 0 0 0 24960 38 0 0 25 0 1 0 672500327 49684480 10059 4294967295 134512640 134714508 3221221792 3221218784 1074867212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12130 10059 1111 63 0 12067 0
vsize: 48520
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11600 0 0 0 25961 38 0 0 25 0 1 0 672500327 49508352 10057 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12087 10057 1111 63 0 12024 0
vsize: 48348
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11614 0 0 0 26961 38 0 0 25 0 1 0 672500327 49508352 10057 4294967295 134512640 134714508 3221221792 3221217932 1075116731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12087 10057 1111 63 0 12024 0
vsize: 48348
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11686 0 0 0 27960 39 0 0 25 0 1 0 672500327 50073600 10113 4294967295 134512640 134714508 3221221792 3221218632 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10113 1111 63 0 12162 0
vsize: 48900
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11700 0 0 0 28960 39 0 0 25 0 1 0 672500327 50073600 10115 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10115 1111 63 0 12162 0
vsize: 48900
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11717 0 0 0 29960 39 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11731 0 0 0 30960 39 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11745 0 0 0 31960 39 0 0 25 0 1 0 672500327 50249728 10118 4294967295 134512640 134714508 3221221792 3221218368 1075967953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12268 10118 1111 63 0 12205 0
vsize: 49072
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11757 0 0 0 32960 40 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217768 1074860223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11771 0 0 0 33960 40 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11783 0 0 0 34960 40 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11799 0 0 0 35960 40 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11813 0 0 0 36960 40 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11827 0 0 0 37960 40 0 0 25 0 1 0 672500327 50073600 10116 4294967295 134512640 134714508 3221221792 3221217932 1075116486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10116 1111 63 0 12162 0
vsize: 48900
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 11843 0 0 0 38960 40 0 0 25 0 1 0 672500327 50073600 10118 4294967295 134512640 134714508 3221221792 3221218256 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12225 10118 1111 63 0 12162 0
vsize: 48900
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 18120 0 0 0 39944 57 0 0 25 0 1 0 672500327 36233216 8070 4294967295 134512640 134714508 3221221792 3221219864 1074950108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8846 8070 1111 63 0 8783 0
vsize: 35384
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 19356 0 0 0 40939 62 0 0 25 0 1 0 672500327 36233216 8070 4294967295 134512640 134714508 3221221792 3221219964 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8846 8070 1111 63 0 8783 0
vsize: 35384
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 20504 0 0 0 41935 66 0 0 25 0 1 0 672500327 36233216 8070 4294967295 134512640 134714508 3221221792 3221220256 1074032775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8846 8070 1111 63 0 8783 0
vsize: 35384
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 21660 0 0 0 42930 72 0 0 25 0 1 0 672500327 36777984 8074 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8979 8074 1111 63 0 8916 0
vsize: 35916
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 22816 0 0 0 43925 77 0 0 25 0 1 0 672500327 36233216 8070 4294967295 134512640 134714508 3221221792 3221220192 1074031992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8846 8070 1111 63 0 8783 0
vsize: 35384
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27066 0 0 0 44915 87 0 0 25 0 1 0 672500327 50327552 10238 4294967295 134512640 134714508 3221221792 3221217932 1075116532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10238 1111 63 0 12224 0
vsize: 49148
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27080 0 0 0 45915 87 0 0 25 0 1 0 672500327 50327552 10238 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10238 1111 63 0 12224 0
vsize: 49148
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27096 0 0 0 46915 87 0 0 25 0 1 0 672500327 50327552 10238 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10238 1111 63 0 12224 0
vsize: 49148
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27112 0 0 0 47915 87 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27128 0 0 0 48915 87 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27142 0 0 0 49916 87 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27156 0 0 0 50915 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27172 0 0 0 51915 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27186 0 0 0 52915 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27200 0 0 0 53915 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217768 1074789806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27214 0 0 0 54915 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27228 0 0 0 55916 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27242 0 0 0 56916 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221218656 1074620117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27254 0 0 0 57916 88 0 0 25 0 1 0 672500327 50327552 10240 4294967295 134512640 134714508 3221221792 3221217932 1075116564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12287 10240 1111 63 0 12224 0
vsize: 49148
[startup+590.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27268 0 0 0 58916 88 0 0 25 0 1 0 672500327 50503680 10242 4294967295 134512640 134714508 3221221792 3221218368 1075967695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12330 10242 1111 63 0 12267 0
vsize: 49320
[startup+600.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27336 0 0 0 59916 88 0 0 25 0 1 0 672500327 50892800 10294 4294967295 134512640 134714508 3221221792 3221217932 1075116872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10294 1111 63 0 12362 0
vsize: 49700
[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27350 0 0 0 60916 89 0 0 25 0 1 0 672500327 50892800 10296 4294967295 134512640 134714508 3221221792 3221217984 1074960952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10296 1111 63 0 12362 0
vsize: 49700
[startup+620.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27369 0 0 0 61916 89 0 0 25 0 1 0 672500327 50892800 10299 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10299 1111 63 0 12362 0
vsize: 49700
[startup+630.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27384 0 0 0 62916 89 0 0 25 0 1 0 672500327 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27396 0 0 0 63916 89 0 0 25 0 1 0 672500327 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116774 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+650.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27410 0 0 0 64916 89 0 0 25 0 1 0 672500327 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27424 0 0 0 65916 89 0 0 25 0 1 0 672500327 51068928 10302 4294967295 134512640 134714508 3221221792 3221218368 1075967695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12468 10302 1111 63 0 12405 0
vsize: 49872
[startup+670.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27436 0 0 0 66917 89 0 0 25 0 1 0 672500327 50892800 10300 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10300 1111 63 0 12362 0
vsize: 49700
[startup+680.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27451 0 0 0 67917 89 0 0 25 0 1 0 672500327 50892800 10301 4294967295 134512640 134714508 3221221792 3221217872 1075091205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10301 1111 63 0 12362 0
vsize: 49700
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27465 0 0 0 68917 89 0 0 25 0 1 0 672500327 50892800 10301 4294967295 134512640 134714508 3221221792 3221217984 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10301 1111 63 0 12362 0
vsize: 49700
[startup+700.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27481 0 0 0 69917 89 0 0 25 0 1 0 672500327 50892800 10301 4294967295 134512640 134714508 3221221792 3221217984 1074961258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10301 1111 63 0 12362 0
vsize: 49700
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27495 0 0 0 70917 90 0 0 25 0 1 0 672500327 50892800 10303 4294967295 134512640 134714508 3221221792 3221217932 1075116556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10303 1111 63 0 12362 0
vsize: 49700
[startup+720.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27507 0 0 0 71917 90 0 0 25 0 1 0 672500327 50892800 10303 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10303 1111 63 0 12362 0
vsize: 49700
[startup+730.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 27524 0 0 0 72917 90 0 0 25 0 1 0 672500327 50892800 10306 4294967295 134512640 134714508 3221221792 3221218832 1074837180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12425 10306 1111 63 0 12362 0
vsize: 49700
[startup+740.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 33382 0 0 0 73904 103 0 0 25 0 1 0 672500327 36831232 8239 4294967295 134512640 134714508 3221221792 3221220016 1074039238 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8992 8239 1111 63 0 8929 0
vsize: 35968
[startup+750.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 34654 0 0 0 74895 112 0 0 25 0 1 0 672500327 37376000 8243 4294967295 134512640 134714508 3221221792 3221219856 1074790226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8243 1111 63 0 9062 0
vsize: 36500
[startup+760.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 35814 0 0 0 75889 118 0 0 25 0 1 0 672500327 37376000 8243 4294967295 134512640 134714508 3221221792 3221219856 1074790226 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8243 1111 63 0 9062 0
vsize: 36500
[startup+770.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 36962 0 0 0 76884 123 0 0 25 0 1 0 672500327 37376000 8243 4294967295 134512640 134714508 3221221792 3221219924 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8243 1111 63 0 9062 0
vsize: 36500
[startup+780.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 38122 0 0 0 77878 129 0 0 25 0 1 0 672500327 36831232 8239 4294967295 134512640 134714508 3221221792 3221220128 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8992 8239 1111 63 0 8929 0
vsize: 35968
[startup+790.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 42920 0 0 0 78867 141 0 0 25 0 1 0 672500327 50937856 10386 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12436 10386 1111 63 0 12373 0
vsize: 49744
[startup+800.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 42970 0 0 0 79867 141 0 0 25 0 1 0 672500327 51503104 10420 4294967295 134512640 134714508 3221221792 3221217932 1075116584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12574 10420 1111 63 0 12511 0
vsize: 50296
[startup+810.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 42989 0 0 0 80867 141 0 0 25 0 1 0 672500327 51503104 10425 4294967295 134512640 134714508 3221221792 3221217932 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12574 10425 1111 63 0 12511 0
vsize: 50296
[startup+820.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 49508 0 0 0 81849 159 0 0 25 0 1 0 672500327 37552128 8286 4294967295 134512640 134714508 3221221792 3221219708 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9168 8286 1111 63 0 9105 0
vsize: 36672
[startup+830.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 50728 0 0 0 82844 165 0 0 25 0 1 0 672500327 37007360 8282 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9035 8282 1111 63 0 8972 0
vsize: 36140
[startup+840.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 51884 0 0 0 83839 169 0 0 25 0 1 0 672500327 37007360 8282 4294967295 134512640 134714508 3221221792 3221220192 1074031958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9035 8282 1111 63 0 8972 0
vsize: 36140
[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 53052 0 0 0 84834 175 0 0 25 0 1 0 672500327 37552128 8286 4294967295 134512640 134714508 3221221792 3221219960 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9168 8286 1111 63 0 9105 0
vsize: 36672
[startup+860.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58036 0 0 0 85820 189 0 0 25 0 1 0 672500327 50925568 10086 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12433 10086 1111 63 0 12370 0
vsize: 49732
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58404 0 0 0 86820 189 0 0 25 0 1 0 672500327 51126272 10440 4294967295 134512640 134714508 3221221792 3221217932 1075116572 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10440 1111 63 0 12419 0
vsize: 49928
[startup+880.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58417 0 0 0 87820 189 0 0 25 0 1 0 672500327 51126272 10441 4294967295 134512640 134714508 3221221792 3221217932 1075116731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10441 1111 63 0 12419 0
vsize: 49928
[startup+890.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58431 0 0 0 88819 190 0 0 25 0 1 0 672500327 51126272 10441 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10441 1111 63 0 12419 0
vsize: 49928
[startup+900.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58446 0 0 0 89820 190 0 0 25 0 1 0 672500327 51126272 10442 4294967295 134512640 134714508 3221221792 3221218776 1075066488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+910.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58458 0 0 0 90820 190 0 0 25 0 1 0 672500327 51126272 10442 4294967295 134512640 134714508 3221221792 3221217872 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+920.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58470 0 0 0 91820 190 0 0 25 0 1 0 672500327 51126272 10442 4294967295 134512640 134714508 3221221792 3221217984 1074960876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+930.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58484 0 0 0 92820 190 0 0 25 0 1 0 672500327 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+940.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58496 0 0 0 93820 190 0 0 25 0 1 0 672500327 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+950.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58510 0 0 0 94820 191 0 0 25 0 1 0 672500327 51126272 10442 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12482 10442 1111 63 0 12419 0
vsize: 49928
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58580 0 0 0 95820 191 0 0 25 0 1 0 672500327 51691520 10496 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10496 1111 63 0 12557 0
vsize: 50480
[startup+970.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58592 0 0 0 96820 191 0 0 25 0 1 0 672500327 51691520 10496 4294967295 134512640 134714508 3221221792 3221217932 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10496 1111 63 0 12557 0
vsize: 50480
[startup+980.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58609 0 0 0 97820 191 0 0 25 0 1 0 672500327 51691520 10501 4294967295 134512640 134714508 3221221792 3221217932 1075116796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10501 1111 63 0 12557 0
vsize: 50480
[startup+990.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58623 0 0 0 98820 191 0 0 25 0 1 0 672500327 51691520 10503 4294967295 134512640 134714508 3221221792 3221217932 1075116498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10503 1111 63 0 12557 0
vsize: 50480
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 58636 0 0 0 99820 191 0 0 25 0 1 0 672500327 51691520 10504 4294967295 134512640 134714508 3221221792 3221217932 1075116741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 10504 1111 63 0 12557 0
vsize: 50480
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62042 0 0 0 100811 199 0 0 25 0 1 0 672500327 33497088 7435 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8178 7435 1111 63 0 8115 0
vsize: 32712
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62042 0 0 0 101812 199 0 0 25 0 1 0 672500327 33497088 7435 4294967295 134512640 134714508 3221221792 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8178 7435 1111 63 0 8115 0
vsize: 32712
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62074 0 0 0 102811 200 0 0 25 0 1 0 672500327 33632256 7467 4294967295 134512640 134714508 3221221792 3221220376 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8211 7467 1111 63 0 8148 0
vsize: 32844
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62125 0 0 0 103812 200 0 0 25 0 1 0 672500327 33902592 7518 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8277 7518 1111 63 0 8214 0
vsize: 33108
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62183 0 0 0 104812 200 0 0 25 0 1 0 672500327 34172928 7576 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8343 7576 1111 63 0 8280 0
vsize: 33372
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62275 0 0 0 105811 200 0 0 25 0 1 0 672500327 34578432 7668 4294967295 134512640 134714508 3221221792 3221220464 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8442 7668 1111 63 0 8379 0
vsize: 33768
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62314 0 0 0 106811 201 0 0 25 0 1 0 672500327 34713600 7707 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8475 7707 1111 63 0 8412 0
vsize: 33900
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62362 0 0 0 107811 201 0 0 25 0 1 0 672500327 34848768 7755 4294967295 134512640 134714508 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7755 1111 63 0 8445 0
vsize: 34032
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62407 0 0 0 108811 201 0 0 25 0 1 0 672500327 35119104 7800 4294967295 134512640 134714508 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8574 7800 1111 63 0 8511 0
vsize: 34296
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62455 0 0 0 109811 202 0 0 25 0 1 0 672500327 35254272 7848 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8607 7848 1111 63 0 8544 0
vsize: 34428
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62497 0 0 0 110811 202 0 0 25 0 1 0 672500327 35389440 7890 4294967295 134512640 134714508 3221221792 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8640 7890 1111 63 0 8577 0
vsize: 34560
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62539 0 0 0 111811 202 0 0 25 0 1 0 672500327 35659776 7932 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8706 7932 1111 63 0 8643 0
vsize: 34824
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62590 0 0 0 112811 202 0 0 25 0 1 0 672500327 35794944 7983 4294967295 134512640 134714508 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8739 7983 1111 63 0 8676 0
vsize: 34956
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62628 0 0 0 113811 203 0 0 25 0 1 0 672500327 35930112 8021 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8772 8021 1111 63 0 8709 0
vsize: 35088
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62686 0 0 0 114811 203 0 0 25 0 1 0 672500327 36200448 8079 4294967295 134512640 134714508 3221221792 3221220440 134542295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8838 8079 1111 63 0 8775 0
vsize: 35352
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62727 0 0 0 115810 203 0 0 25 0 1 0 672500327 36335616 8120 4294967295 134512640 134714508 3221221792 3221220376 134543647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8871 8120 1111 63 0 8808 0
vsize: 35484
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62805 0 0 0 116810 204 0 0 25 0 1 0 672500327 36741120 8198 4294967295 134512640 134714508 3221221792 3221220396 134542823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8970 8198 1111 63 0 8907 0
vsize: 35880
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 21910
Raw data (stat): 21910 (bsolo_lpr) R 21909 7876 7672 0 -1 0 62805 0 0 0 116810 204 0 0 25 0 1 0 672500327 36741120 8198 4294967295 134512640 134714508 3221221792 3221220396 134542823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8970 8198 1111 63 0 8907 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1173
CPU system time (s): 2.06269
CPU usage (%): 100.011
Max. virtual memory (Kb): 50480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####