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/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit1d.opb
MD5SUM	6bb160e5eb0ef9c02ca7232f62836f2b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	8436
Biggest coefficient in the objective function	368640
Number of bits for the biggest coefficient in the objective function	19
Sum of the numbers in the objective function	57614442
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	483840
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	72412534
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1195.48
Number of variables	8436
Total number of constraints	1050
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1050
Minimum length of a constraint	8
Maximum length of a constraint	8436
Trace number 26055

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 23:33:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15770 boxname=wulflinc31 idbench=1214 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6bb160e5eb0ef9c02ca7232f62836f2b  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit1d.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit1d.opb
IDLAUNCH: 15770
/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:        708400 kB
Buffers:         18808 kB
Cached:         286588 kB
SwapCached:       1352 kB
Active:         230412 kB
Inactive:        77504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        708148 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12712 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 23:53:09 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 15770 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8436 variables and 1051 constraints.
c After prepocess the problem consists of 8434 variables and 1050 constraints.
c preprocess terminated 93.896 s
c Initial Lower Bound: -3773389
c Lower Bound Elapsed time: 9.49475
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.98 0.91 2/55 19576
Raw data (stat): 19576 (runsolver) R 19575 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825569981 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.0004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 13869 0 0 0 968 27 0 0 25 0 1 0 825569981 69844992 13792 4294967295 134512640 134714508 3221221776 3221220052 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17052 13792 1111 63 0 16989 0
vsize: 68208
[startup+20.0013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 14459 0 0 0 1966 29 0 0 25 0 1 0 825569981 72515584 14366 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17704 14366 1111 63 0 17641 0
vsize: 70816
[startup+30.0012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 14595 0 0 0 2965 30 0 0 25 0 1 0 825569981 73154560 14494 4294967295 134512640 134714508 3221221776 3221220052 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17860 14494 1111 63 0 17797 0
vsize: 71440
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 14853 0 0 0 3964 31 0 0 25 0 1 0 825569981 74137600 14748 4294967295 134512640 134714508 3221221776 3221220052 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18100 14748 1111 63 0 18037 0
vsize: 72400
[startup+50.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 15091 0 0 0 4964 31 0 0 25 0 1 0 825569981 75317248 14979 4294967295 134512640 134714508 3221221776 3221219436 1077253104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18388 14979 1111 63 0 18325 0
vsize: 73552
[startup+60.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 15410 0 0 0 5963 32 0 0 25 0 1 0 825569981 76640256 15289 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18711 15289 1111 63 0 18648 0
vsize: 74844
[startup+70.0029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 15639 0 0 0 6962 34 0 0 25 0 1 0 825569981 77737984 15514 4294967295 134512640 134714508 3221221776 3221220272 134539144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18979 15514 1111 63 0 18916 0
vsize: 75916
[startup+80.0039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 17163 0 0 0 7958 38 0 0 25 0 1 0 825569981 72163328 16541 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17618 16541 1111 63 0 17555 0
vsize: 70472
[startup+90.0038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 81409 0 0 0 8832 164 0 0 25 0 1 0 825569981 72556544 16614 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17714 16614 1111 63 0 17651 0
vsize: 70856
[startup+100.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 85785 0 0 0 9822 174 0 0 25 0 1 0 825569981 84692992 19740 4294967295 134512640 134714508 3221221776 3221217660 1074860632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20677 19740 1111 63 0 20614 0
vsize: 82708
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 85785 0 0 0 10822 174 0 0 25 0 1 0 825569981 84692992 19740 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20677 19740 1111 63 0 20614 0
vsize: 82708
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 85788 0 0 0 11822 175 0 0 25 0 1 0 825569981 84692992 19743 4294967295 134512640 134714508 3221221776 3221218616 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20677 19743 1111 63 0 20614 0
vsize: 82708
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 95333 0 0 0 12803 193 0 0 25 0 1 0 825569981 81285120 18929 4294967295 134512640 134714508 3221221776 3221220160 134606960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19845 18929 1111 63 0 19782 0
vsize: 79380
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99303 0 0 0 13795 202 0 0 25 0 1 0 825569981 81309696 18937 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18937 1111 63 0 19788 0
vsize: 79404
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99305 0 0 0 14794 203 0 0 25 0 1 0 825569981 81309696 18939 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18939 1111 63 0 19788 0
vsize: 79404
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99308 0 0 0 15793 204 0 0 25 0 1 0 825569981 81309696 18942 4294967295 134512640 134714508 3221221776 3221220552 134613501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18942 1111 63 0 19788 0
vsize: 79404
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99311 0 0 0 16792 205 0 0 25 0 1 0 825569981 81309696 18945 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18945 1111 63 0 19788 0
vsize: 79404
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99311 0 0 0 17791 206 0 0 25 0 1 0 825569981 81309696 18945 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18945 1111 63 0 19788 0
vsize: 79404
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99311 0 0 0 18791 207 0 0 25 0 1 0 825569981 81309696 18945 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18945 1111 63 0 19788 0
vsize: 79404
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99311 0 0 0 19790 208 0 0 25 0 1 0 825569981 81309696 18945 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18945 1111 63 0 19788 0
vsize: 79404
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99311 0 0 0 20789 208 0 0 25 0 1 0 825569981 81309696 18945 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18945 1111 63 0 19788 0
vsize: 79404
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99311 0 0 0 21788 210 0 0 25 0 1 0 825569981 81309696 18945 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18945 1111 63 0 19788 0
vsize: 79404
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99311 0 0 0 22788 210 0 0 25 0 1 0 825569981 81309696 18945 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18945 1111 63 0 19788 0
vsize: 79404
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99313 0 0 0 23787 211 0 0 25 0 1 0 825569981 81309696 18947 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18947 1111 63 0 19788 0
vsize: 79404
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99315 0 0 0 24786 212 0 0 25 0 1 0 825569981 81309696 18949 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18949 1111 63 0 19788 0
vsize: 79404
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99315 0 0 0 25786 213 0 0 25 0 1 0 825569981 81309696 18949 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18949 1111 63 0 19788 0
vsize: 79404
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99316 0 0 0 26786 213 0 0 25 0 1 0 825569981 81309696 18950 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18950 1111 63 0 19788 0
vsize: 79404
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99316 0 0 0 27786 213 0 0 25 0 1 0 825569981 81309696 18950 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18950 1111 63 0 19788 0
vsize: 79404
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99482 0 0 0 28785 214 0 0 25 0 1 0 825569981 81993728 19116 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20018 19116 1111 63 0 19955 0
vsize: 80072
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99535 0 0 0 29785 215 0 0 25 0 1 0 825569981 82186240 19165 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20065 19165 1111 63 0 20002 0
vsize: 80260
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 30785 215 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220424 134524196 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 31784 216 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 32784 216 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 33784 216 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+350.011 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 34784 217 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+360.012 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 35783 217 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+370.013 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 36783 218 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+380.014 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 37783 218 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+390.014 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 38783 218 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+400.015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 39783 218 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+410.015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 40783 219 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+420.016 s]
Raw data (loadavg): 1.09 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 41783 219 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+430.017 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 42783 219 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+440.016 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 43783 220 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+450.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 44783 220 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+460.017 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 45782 220 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+470.018 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 46782 220 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+480.018 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 47782 221 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+490.018 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 48782 221 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+500.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99602 0 0 0 49782 221 0 0 25 0 1 0 825569981 82591744 19232 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19232 1111 63 0 20101 0
vsize: 80656
[startup+510.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99626 0 0 0 50782 221 0 0 25 0 1 0 825569981 82591744 19256 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19256 1111 63 0 20101 0
vsize: 80656
[startup+520.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99833 0 0 0 51782 222 0 0 25 0 1 0 825569981 83165184 19382 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20304 19382 1111 63 0 20241 0
vsize: 81216
[startup+530.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99833 0 0 0 52782 222 0 0 25 0 1 0 825569981 82595840 19265 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20165 19265 1111 63 0 20102 0
vsize: 80660
[startup+540.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 99951 0 0 0 53781 223 0 0 25 0 1 0 825569981 82595840 19265 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20165 19265 1111 63 0 20102 0
vsize: 80660
[startup+550.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100160 0 0 0 54781 224 0 0 25 0 1 0 825569981 83320832 19419 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20342 19419 1111 63 0 20279 0
vsize: 81368
[startup+560.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100223 0 0 0 55780 225 0 0 25 0 1 0 825569981 83464192 19477 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20377 19477 1111 63 0 20314 0
vsize: 81508
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100265 0 0 0 56780 225 0 0 25 0 1 0 825569981 83734528 19519 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20443 19519 1111 63 0 20380 0
vsize: 81772
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100291 0 0 0 57779 226 0 0 25 0 1 0 825569981 83869696 19545 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20476 19545 1111 63 0 20413 0
vsize: 81904
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100352 0 0 0 58779 226 0 0 25 0 1 0 825569981 84004864 19606 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20509 19606 1111 63 0 20446 0
vsize: 82036
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100357 0 0 0 59778 227 0 0 25 0 1 0 825569981 83857408 19545 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20473 19545 1111 63 0 20410 0
vsize: 81892
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100394 0 0 0 60778 227 0 0 25 0 1 0 825569981 83873792 19577 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20477 19577 1111 63 0 20414 0
vsize: 81908
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100399 0 0 0 61778 228 0 0 25 0 1 0 825569981 82591744 19264 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19264 1111 63 0 20101 0
vsize: 80656
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100399 0 0 0 62777 228 0 0 25 0 1 0 825569981 82591744 19264 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19264 1111 63 0 20101 0
vsize: 80656
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100598 0 0 0 63777 229 0 0 25 0 1 0 825569981 83451904 19463 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20374 19463 1111 63 0 20311 0
vsize: 81496
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100736 0 0 0 64776 230 0 0 25 0 1 0 825569981 83316736 19421 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20341 19421 1111 63 0 20278 0
vsize: 81364
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100794 0 0 0 65776 230 0 0 25 0 1 0 825569981 83587072 19479 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20407 19479 1111 63 0 20344 0
vsize: 81628
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100858 0 0 0 66775 231 0 0 25 0 1 0 825569981 83865600 19543 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20475 19543 1111 63 0 20412 0
vsize: 81900
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100871 0 0 0 67775 231 0 0 25 0 1 0 825569981 83865600 19556 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20475 19556 1111 63 0 20412 0
vsize: 81900
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100965 0 0 0 68775 232 0 0 25 0 1 0 825569981 84226048 19631 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20563 19631 1111 63 0 20500 0
vsize: 82252
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 100965 0 0 0 69775 232 0 0 25 0 1 0 825569981 82849792 19327 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20227 19327 1111 63 0 20164 0
vsize: 80908
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101077 0 0 0 70774 233 0 0 25 0 1 0 825569981 83423232 19439 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20367 19439 1111 63 0 20304 0
vsize: 81468
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101215 0 0 0 71773 234 0 0 25 0 1 0 825569981 83275776 19423 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20331 19423 1111 63 0 20268 0
vsize: 81324
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101274 0 0 0 72773 235 0 0 25 0 1 0 825569981 82591744 19264 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19264 1111 63 0 20101 0
vsize: 80656
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101274 0 0 0 73773 235 0 0 25 0 1 0 825569981 82591744 19264 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19264 1111 63 0 20101 0
vsize: 80656
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101422 0 0 0 74773 235 0 0 25 0 1 0 825569981 82882560 19333 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20235 19333 1111 63 0 20172 0
vsize: 80940
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101617 0 0 0 75772 236 0 0 25 0 1 0 825569981 83472384 19472 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20379 19472 1111 63 0 20316 0
vsize: 81516
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101664 0 0 0 76773 236 0 0 25 0 1 0 825569981 83615744 19514 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20414 19514 1111 63 0 20351 0
vsize: 81656
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101692 0 0 0 77773 236 0 0 25 0 1 0 825569981 83750912 19542 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20447 19542 1111 63 0 20384 0
vsize: 81788
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101732 0 0 0 78773 236 0 0 25 0 1 0 825569981 83873792 19577 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20477 19577 1111 63 0 20414 0
vsize: 81908
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101732 0 0 0 79773 236 0 0 25 0 1 0 825569981 83873792 19577 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20477 19577 1111 63 0 20414 0
vsize: 81908
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101737 0 0 0 80773 236 0 0 25 0 1 0 825569981 84008960 19582 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20510 19582 1111 63 0 20447 0
vsize: 82040
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101748 0 0 0 81773 236 0 0 25 0 1 0 825569981 83918848 19588 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20488 19588 1111 63 0 20425 0
vsize: 81952
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101779 0 0 0 82772 236 0 0 25 0 1 0 825569981 84054016 19619 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20521 19619 1111 63 0 20458 0
vsize: 82084
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101779 0 0 0 83772 237 0 0 25 0 1 0 825569981 82591744 19264 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20164 19264 1111 63 0 20101 0
vsize: 80656
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 101991 0 0 0 84772 237 0 0 25 0 1 0 825569981 83550208 19476 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20398 19476 1111 63 0 20335 0
vsize: 81592
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102102 0 0 0 85771 238 0 0 25 0 1 0 825569981 83316736 19433 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20341 19433 1111 63 0 20278 0
vsize: 81364
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102240 0 0 0 86770 239 0 0 25 0 1 0 825569981 83759104 19516 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20449 19516 1111 63 0 20386 0
vsize: 81796
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102418 0 0 0 87770 240 0 0 25 0 1 0 825569981 83890176 19554 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20481 19554 1111 63 0 20418 0
vsize: 81924
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102420 0 0 0 88769 240 0 0 25 0 1 0 825569981 83890176 19556 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20481 19556 1111 63 0 20418 0
vsize: 81924
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102457 0 0 0 89769 240 0 0 25 0 1 0 825569981 84029440 19593 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20515 19593 1111 63 0 20452 0
vsize: 82060
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102565 0 0 0 90769 241 0 0 25 0 1 0 825569981 83468288 19447 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20378 19447 1111 63 0 20315 0
vsize: 81512
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102648 0 0 0 91769 242 0 0 25 0 1 0 825569981 83202048 19413 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20313 19413 1111 63 0 20250 0
vsize: 81252
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 102834 0 0 0 92768 242 0 0 25 0 1 0 825569981 83775488 19544 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20453 19544 1111 63 0 20390 0
vsize: 81812
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103020 0 0 0 93768 243 0 0 25 0 1 0 825569981 84041728 19590 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20518 19590 1111 63 0 20455 0
vsize: 82072
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103108 0 0 0 94767 243 0 0 25 0 1 0 825569981 84217856 19647 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19647 1111 63 0 20498 0
vsize: 82244
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103126 0 0 0 95767 243 0 0 25 0 1 0 825569981 84353024 19665 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20594 19665 1111 63 0 20531 0
vsize: 82376
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103132 0 0 0 96767 244 0 0 25 0 1 0 825569981 84250624 19642 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20569 19642 1111 63 0 20506 0
vsize: 82276
[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103181 0 0 0 97767 244 0 0 25 0 1 0 825569981 84385792 19691 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20602 19691 1111 63 0 20539 0
vsize: 82408
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103184 0 0 0 98767 244 0 0 25 0 1 0 825569981 84250624 19637 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20569 19637 1111 63 0 20506 0
vsize: 82276
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 99767 244 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 100767 245 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 101767 245 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 102767 245 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 103766 246 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 104766 246 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 105766 246 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 106766 247 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220344 1077377888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 107766 247 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 108765 248 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103249 0 0 0 109765 248 0 0 25 0 1 0 825569981 84520960 19702 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20635 19702 1111 63 0 20572 0
vsize: 82540
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103315 0 0 0 110765 248 0 0 25 0 1 0 825569981 84541440 19738 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20640 19738 1111 63 0 20577 0
vsize: 82560
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103404 0 0 0 111764 249 0 0 25 0 1 0 825569981 84946944 19827 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20739 19827 1111 63 0 20676 0
vsize: 82956
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103404 0 0 0 112764 249 0 0 25 0 1 0 825569981 84946944 19827 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20739 19827 1111 63 0 20676 0
vsize: 82956
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103404 0 0 0 113764 249 0 0 25 0 1 0 825569981 84946944 19827 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20739 19827 1111 63 0 20676 0
vsize: 82956
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103410 0 0 0 114764 250 0 0 25 0 1 0 825569981 84946944 19833 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20739 19833 1111 63 0 20676 0
vsize: 82956
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103410 0 0 0 115763 251 0 0 25 0 1 0 825569981 84946944 19833 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20739 19833 1111 63 0 20676 0
vsize: 82956
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103410 0 0 0 116762 252 0 0 25 0 1 0 825569981 84946944 19833 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20739 19833 1111 63 0 20676 0
vsize: 82956
[startup+1175.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 19576
Raw data (stat): 19576 (bsolo_lpr) R 19575 7876 7672 0 -1 0 103410 0 0 0 116762 252 0 0 25 0 1 0 825569981 84946944 19833 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20739 19833 1111 63 0 20676 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.15
CPU user time (s): 1172.59
CPU system time (s): 2.56261
CPU usage (%): 100.009
Max. virtual memory (Kb): 82956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####