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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4742
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.33
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 28321

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-25 01:37:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13482 boxname=wulflinc17 idbench=1038 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 13482
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915124 kB
Buffers:          9736 kB
Cached:          86808 kB
SwapCached:        492 kB
Active:          17016 kB
Inactive:        81712 kB
HighTotal:      131008 kB
HighFree:        58352 kB
LowTotal:       903652 kB
LowFree:        856772 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5324 kB
Slab:            15056 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:57:05 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 13482 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 397 constraints.
c preprocess terminated 75.4 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 1.59267
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.77 0.92 0.91 2/54 15770
Raw data (stat): 15770 (runsolver) R 15769 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834986484 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99981 s]
Raw data (loadavg): 0.81 0.93 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 16271 0 0 0 961 37 0 0 25 0 1 0 834986484 69804032 16184 4294967295 134512640 134714508 3221224592 3221223208 134536915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17042 16184 1111 63 0 16979 0
vsize: 68168
[startup+20.0008 s]
Raw data (loadavg): 0.84 0.93 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 17637 0 0 0 1958 40 0 0 25 0 1 0 834986484 75350016 17550 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17550 1111 63 0 18333 0
vsize: 73584
[startup+30.001 s]
Raw data (loadavg): 0.86 0.93 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 17690 0 0 0 2958 40 0 0 25 0 1 0 834986484 75620352 17603 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17603 1111 63 0 18399 0
vsize: 73848
[startup+40.0006 s]
Raw data (loadavg): 0.88 0.93 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 17743 0 0 0 3958 40 0 0 25 0 1 0 834986484 75755520 17656 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17656 1111 63 0 18432 0
vsize: 73980
[startup+50.0015 s]
Raw data (loadavg): 0.90 0.93 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 17786 0 0 0 4958 40 0 0 25 0 1 0 834986484 76025856 17699 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17699 1111 63 0 18498 0
vsize: 74244
[startup+60.0008 s]
Raw data (loadavg): 0.91 0.93 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 17835 0 0 0 5958 40 0 0 25 0 1 0 834986484 76161024 17748 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17748 1111 63 0 18531 0
vsize: 74376
[startup+70.0014 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 17880 0 0 0 6958 40 0 0 25 0 1 0 834986484 76431360 17793 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17793 1111 63 0 18597 0
vsize: 74640
[startup+80.0025 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21721 0 0 0 7950 49 0 0 25 0 1 0 834986484 78774272 18495 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19232 18495 1111 63 0 19169 0
vsize: 76928
[startup+90.0016 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21726 0 0 0 8948 51 0 0 25 0 1 0 834986484 78774272 18500 4294967295 134512640 134714508 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19232 18500 1111 63 0 19169 0
vsize: 76928
[startup+100.001 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21821 0 0 0 9947 52 0 0 25 0 1 0 834986484 79044608 18595 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19298 18595 1111 63 0 19235 0
vsize: 77192
[startup+110.001 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21850 0 0 0 10946 53 0 0 25 0 1 0 834986484 79179776 18624 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19331 18624 1111 63 0 19268 0
vsize: 77324
[startup+120.001 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21948 0 0 0 11944 55 0 0 25 0 1 0 834986484 79605760 18722 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18722 1111 63 0 19372 0
vsize: 77740
[startup+130.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21965 0 0 0 12944 55 0 0 25 0 1 0 834986484 79605760 18739 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18739 1111 63 0 19372 0
vsize: 77740
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21965 0 0 0 13943 56 0 0 25 0 1 0 834986484 79605760 18739 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19435 18739 1111 63 0 19372 0
vsize: 77740
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 21965 0 0 0 14943 57 0 0 25 0 1 0 834986484 79593472 18739 4294967295 134512640 134714508 3221224592 3221223232 134696051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19432 18739 1111 63 0 19369 0
vsize: 77728
[startup+160.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 22104 0 0 0 15941 59 0 0 25 0 1 0 834986484 80269312 18878 4294967295 134512640 134714508 3221224592 3221223152 134696524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19597 18878 1111 63 0 19534 0
vsize: 78388
[startup+170.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 22181 0 0 0 16940 61 0 0 25 0 1 0 834986484 80510976 18955 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19656 18955 1111 63 0 19593 0
vsize: 78624
[startup+180.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 22184 0 0 0 17939 61 0 0 25 0 1 0 834986484 80510976 18958 4294967295 134512640 134714508 3221224592 3221223180 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19656 18958 1111 63 0 19593 0
vsize: 78624
[startup+190.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 22405 0 0 0 18938 62 0 0 25 0 1 0 834986484 81457152 19179 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19887 19179 1111 63 0 19824 0
vsize: 79548
[startup+200.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 22659 0 0 0 19937 63 0 0 25 0 1 0 834986484 82505728 19433 4294967295 134512640 134714508 3221224592 3221223248 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20143 19433 1111 63 0 20080 0
vsize: 80572
[startup+210 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 22773 0 0 0 20937 64 0 0 25 0 1 0 834986484 82915328 19547 4294967295 134512640 134714508 3221224592 3221222988 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20243 19547 1111 63 0 20180 0
vsize: 80972
[startup+220.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 22911 0 0 0 21936 65 0 0 25 0 1 0 834986484 83574784 19685 4294967295 134512640 134714508 3221224592 3221223048 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20404 19685 1111 63 0 20341 0
vsize: 81616
[startup+230.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23108 0 0 0 22935 66 0 0 25 0 1 0 834986484 84344832 19882 4294967295 134512640 134714508 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20592 19882 1111 63 0 20529 0
vsize: 82368
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23201 0 0 0 23935 66 0 0 25 0 1 0 834986484 84746240 19975 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20690 19975 1111 63 0 20627 0
vsize: 82760
[startup+250 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23311 0 0 0 24935 67 0 0 25 0 1 0 834986484 85151744 20085 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20789 20085 1111 63 0 20726 0
vsize: 83156
[startup+260 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23401 0 0 0 25934 68 0 0 25 0 1 0 834986484 85557248 20175 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20888 20175 1111 63 0 20825 0
vsize: 83552
[startup+270 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23493 0 0 0 26933 69 0 0 25 0 1 0 834986484 85962752 20267 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20987 20267 1111 63 0 20924 0
vsize: 83948
[startup+280 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23549 0 0 0 27932 70 0 0 25 0 1 0 834986484 86073344 20323 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21014 20323 1111 63 0 20951 0
vsize: 84056
[startup+290 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23641 0 0 0 28932 71 0 0 25 0 1 0 834986484 86441984 20399 4294967295 134512640 134714508 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21104 20399 1111 63 0 21041 0
vsize: 84416
[startup+300 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23660 0 0 0 29931 71 0 0 25 0 1 0 834986484 86577152 20418 4294967295 134512640 134714508 3221224592 3221223348 134592437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21137 20418 1111 63 0 21074 0
vsize: 84548
[startup+310 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23865 0 0 0 30930 72 0 0 25 0 1 0 834986484 87396352 20615 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21337 20615 1111 63 0 21274 0
vsize: 85348
[startup+320.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23907 0 0 0 31930 73 0 0 25 0 1 0 834986484 87523328 20657 4294967295 134512640 134714508 3221224592 3221223160 1077377891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21368 20657 1111 63 0 21305 0
vsize: 85472
[startup+330.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 23981 0 0 0 32930 74 0 0 25 0 1 0 834986484 87764992 20731 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21427 20731 1111 63 0 21364 0
vsize: 85708
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24009 0 0 0 33929 74 0 0 25 0 1 0 834986484 87900160 20759 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21460 20759 1111 63 0 21397 0
vsize: 85840
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24071 0 0 0 34929 74 0 0 25 0 1 0 834986484 88113152 20821 4294967295 134512640 134714508 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21512 20821 1111 63 0 21449 0
vsize: 86048
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24136 0 0 0 35929 75 0 0 25 0 1 0 834986484 88383488 20886 4294967295 134512640 134714508 3221224592 3221223220 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21578 20886 1111 63 0 21515 0
vsize: 86312
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24270 0 0 0 36928 76 0 0 25 0 1 0 834986484 88940544 21018 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21714 21018 1111 63 0 21651 0
vsize: 86856
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24317 0 0 0 37928 76 0 0 25 0 1 0 834986484 89210880 21065 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21780 21065 1111 63 0 21717 0
vsize: 87120
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24402 0 0 0 38928 77 0 0 25 0 1 0 834986484 89481216 21150 4294967295 134512640 134714508 3221224592 3221223184 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21846 21150 1111 63 0 21783 0
vsize: 87384
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24402 0 0 0 39927 77 0 0 25 0 1 0 834986484 89481216 21150 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21846 21150 1111 63 0 21783 0
vsize: 87384
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24471 0 0 0 40927 78 0 0 25 0 1 0 834986484 89751552 21219 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21912 21219 1111 63 0 21849 0
vsize: 87648
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24756 0 0 0 41927 78 0 0 25 0 1 0 834986484 90976256 21504 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24756 0 0 0 42926 79 0 0 25 0 1 0 834986484 90976256 21504 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24756 0 0 0 43926 80 0 0 25 0 1 0 834986484 90976256 21504 4294967295 134512640 134714508 3221224592 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22211 21504 1111 63 0 22148 0
vsize: 88844
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24772 0 0 0 44926 80 0 0 25 0 1 0 834986484 90976256 21520 4294967295 134512640 134714508 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22211 21520 1111 63 0 22148 0
vsize: 88844
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24835 0 0 0 45925 81 0 0 25 0 1 0 834986484 91365376 21583 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22306 21583 1111 63 0 22243 0
vsize: 89224
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 24873 0 0 0 46925 81 0 0 25 0 1 0 834986484 91500544 21621 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22339 21621 1111 63 0 22276 0
vsize: 89356
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25004 0 0 0 47925 82 0 0 25 0 1 0 834986484 92020736 21752 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21752 1111 63 0 22403 0
vsize: 89864
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25005 0 0 0 48924 82 0 0 25 0 1 0 834986484 92020736 21753 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25005 0 0 0 49924 82 0 0 25 0 1 0 834986484 92020736 21753 4294967295 134512640 134714508 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25005 0 0 0 50924 83 0 0 25 0 1 0 834986484 92020736 21753 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22466 21753 1111 63 0 22403 0
vsize: 89864
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25165 0 0 0 51924 84 0 0 25 0 1 0 834986484 92647424 21913 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25165 0 0 0 52924 84 0 0 25 0 1 0 834986484 92647424 21913 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25165 0 0 0 53924 84 0 0 25 0 1 0 834986484 92647424 21913 4294967295 134512640 134714508 3221224592 3221223200 134549497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21913 1111 63 0 22556 0
vsize: 90476
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25167 0 0 0 54924 85 0 0 25 0 1 0 834986484 92647424 21915 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21915 1111 63 0 22556 0
vsize: 90476
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25264 0 0 0 55922 86 0 0 25 0 1 0 834986484 93052928 22012 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22718 22012 1111 63 0 22655 0
vsize: 90872
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25333 0 0 0 56922 87 0 0 25 0 1 0 834986484 93278208 22081 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22773 22081 1111 63 0 22710 0
vsize: 91092
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25450 0 0 0 57921 88 0 0 25 0 1 0 834986484 93749248 22198 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22888 22198 1111 63 0 22825 0
vsize: 91552
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25564 0 0 0 58921 88 0 0 25 0 1 0 834986484 94285824 22312 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23019 22312 1111 63 0 22956 0
vsize: 92076
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25582 0 0 0 59920 89 0 0 25 0 1 0 834986484 94420992 22330 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23052 22330 1111 63 0 22989 0
vsize: 92208
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25635 0 0 0 60920 89 0 0 25 0 1 0 834986484 94547968 22383 4294967295 134512640 134714508 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23083 22383 1111 63 0 23020 0
vsize: 92332
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25761 0 0 0 61919 91 0 0 25 0 1 0 834986484 95088640 22509 4294967295 134512640 134714508 3221224592 3221223376 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22509 1111 63 0 23152 0
vsize: 92860
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25766 0 0 0 62919 91 0 0 25 0 1 0 834986484 95088640 22514 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25766 0 0 0 63919 91 0 0 25 0 1 0 834986484 95088640 22514 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25766 0 0 0 64918 92 0 0 25 0 1 0 834986484 95088640 22514 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22514 1111 63 0 23152 0
vsize: 92860
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25771 0 0 0 65918 92 0 0 25 0 1 0 834986484 95088640 22519 4294967295 134512640 134714508 3221224592 3221223320 134558801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 22519 1111 63 0 23152 0
vsize: 92860
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25852 0 0 0 66918 93 0 0 25 0 1 0 834986484 95473664 22600 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23309 22600 1111 63 0 23246 0
vsize: 93236
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25877 0 0 0 67918 93 0 0 25 0 1 0 834986484 95608832 22625 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23342 22625 1111 63 0 23279 0
vsize: 93368
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 25913 0 0 0 68917 94 0 0 25 0 1 0 834986484 95719424 22661 4294967295 134512640 134714508 3221224592 3221223328 134535841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23369 22661 1111 63 0 23306 0
vsize: 93476
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26048 0 0 0 69916 95 0 0 25 0 1 0 834986484 96219136 22796 4294967295 134512640 134714508 3221224592 3221223280 134524469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23491 22796 1111 63 0 23428 0
vsize: 93964
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26077 0 0 0 70916 95 0 0 25 0 1 0 834986484 96354304 22825 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23524 22825 1111 63 0 23461 0
vsize: 94096
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26109 0 0 0 71916 96 0 0 25 0 1 0 834986484 96489472 22857 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23557 22857 1111 63 0 23494 0
vsize: 94228
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26120 0 0 0 72916 96 0 0 25 0 1 0 834986484 96591872 22866 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23582 22866 1111 63 0 23519 0
vsize: 94328
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26264 0 0 0 73915 97 0 0 25 0 1 0 834986484 97173504 23010 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23724 23010 1111 63 0 23661 0
vsize: 94896
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26341 0 0 0 74915 97 0 0 25 0 1 0 834986484 97447936 23087 4294967295 134512640 134714508 3221224592 3221223220 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23791 23087 1111 63 0 23728 0
vsize: 95164
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26341 0 0 0 75915 97 0 0 25 0 1 0 834986484 97386496 23085 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23776 23085 1111 63 0 23713 0
vsize: 95104
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26401 0 0 0 76914 98 0 0 25 0 1 0 834986484 97656832 23145 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23842 23145 1111 63 0 23779 0
vsize: 95368
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26452 0 0 0 77914 99 0 0 25 0 1 0 834986484 97902592 23195 4294967295 134512640 134714508 3221224592 3221223400 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23195 1111 63 0 23839 0
vsize: 95608
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26452 0 0 0 78913 100 0 0 25 0 1 0 834986484 97902592 23195 4294967295 134512640 134714508 3221224592 3221223184 134548587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23195 1111 63 0 23839 0
vsize: 95608
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26453 0 0 0 79913 100 0 0 25 0 1 0 834986484 97902592 23196 4294967295 134512640 134714508 3221224592 3221223232 134536698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26453 0 0 0 80913 100 0 0 25 0 1 0 834986484 97902592 23196 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26453 0 0 0 81912 101 0 0 25 0 1 0 834986484 97902592 23196 4294967295 134512640 134714508 3221224592 3221223232 134539371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23902 23196 1111 63 0 23839 0
vsize: 95608
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26522 0 0 0 82912 101 0 0 25 0 1 0 834986484 98172928 23265 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23968 23265 1111 63 0 23905 0
vsize: 95872
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26563 0 0 0 83912 101 0 0 25 0 1 0 834986484 98308096 23306 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24001 23306 1111 63 0 23938 0
vsize: 96004
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26583 0 0 0 84912 102 0 0 25 0 1 0 834986484 98443264 23326 4294967295 134512640 134714508 3221224592 3221223340 134672949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26583 0 0 0 85912 102 0 0 25 0 1 0 834986484 98443264 23326 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26583 0 0 0 86911 102 0 0 25 0 1 0 834986484 98443264 23326 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26583 0 0 0 87911 103 0 0 25 0 1 0 834986484 98443264 23326 4294967295 134512640 134714508 3221224592 3221223308 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24034 23326 1111 63 0 23971 0
vsize: 96136
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26656 0 0 0 88911 103 0 0 25 0 1 0 834986484 98709504 23399 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24099 23399 1111 63 0 24036 0
vsize: 96396
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26714 0 0 0 89911 104 0 0 25 0 1 0 834986484 98979840 23457 4294967295 134512640 134714508 3221224592 3221223280 134543698 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23457 1111 63 0 24102 0
vsize: 96660
[startup+910.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26715 0 0 0 90910 104 0 0 25 0 1 0 834986484 98979840 23458 4294967295 134512640 134714508 3221224592 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26715 0 0 0 91911 104 0 0 25 0 1 0 834986484 98979840 23458 4294967295 134512640 134714508 3221224592 3221223484 134597460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26715 0 0 0 92911 104 0 0 25 0 1 0 834986484 98979840 23458 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24165 23458 1111 63 0 24102 0
vsize: 96660
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26761 0 0 0 93910 105 0 0 25 0 1 0 834986484 99086336 23501 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24191 23501 1111 63 0 24128 0
vsize: 96764
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26854 0 0 0 94910 105 0 0 25 0 1 0 834986484 99491840 23594 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24290 23594 1111 63 0 24227 0
vsize: 97160
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26910 0 0 0 95910 106 0 0 25 0 1 0 834986484 99762176 23650 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26910 0 0 0 96910 106 0 0 25 0 1 0 834986484 99762176 23650 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23650 1111 63 0 24293 0
vsize: 97424
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26911 0 0 0 97909 107 0 0 25 0 1 0 834986484 99762176 23651 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23651 1111 63 0 24293 0
vsize: 97424
[startup+990.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26925 0 0 0 98909 107 0 0 25 0 1 0 834986484 99762176 23665 4294967295 134512640 134714508 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23665 1111 63 0 24293 0
vsize: 97424
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26925 0 0 0 99909 108 0 0 25 0 1 0 834986484 99762176 23665 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24356 23665 1111 63 0 24293 0
vsize: 97424
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 26950 0 0 0 100908 108 0 0 25 0 1 0 834986484 99897344 23690 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24389 23690 1111 63 0 24326 0
vsize: 97556
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27072 0 0 0 101908 109 0 0 25 0 1 0 834986484 100438016 23812 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24521 23812 1111 63 0 24458 0
vsize: 98084
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27072 0 0 0 102907 109 0 0 25 0 1 0 834986484 100405248 23812 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24513 23812 1111 63 0 24450 0
vsize: 98052
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27117 0 0 0 103907 110 0 0 25 0 1 0 834986484 100675584 23857 4294967295 134512640 134714508 3221224592 3221223360 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24579 23857 1111 63 0 24516 0
vsize: 98316
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27236 0 0 0 104906 111 0 0 25 0 1 0 834986484 101007360 23950 4294967295 134512640 134714508 3221224592 3221223248 134524069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24660 23950 1111 63 0 24597 0
vsize: 98640
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27273 0 0 0 105906 112 0 0 25 0 1 0 834986484 101142528 23987 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24693 23987 1111 63 0 24630 0
vsize: 98772
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 106905 112 0 0 25 0 1 0 834986484 101142528 23988 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24693 23988 1111 63 0 24630 0
vsize: 98772
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 107905 113 0 0 25 0 1 0 834986484 100970496 23961 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 108904 114 0 0 25 0 1 0 834986484 100970496 23961 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 109904 114 0 0 25 0 1 0 834986484 100970496 23961 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 110904 114 0 0 25 0 1 0 834986484 100970496 23961 4294967295 134512640 134714508 3221224592 3221223348 134592415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 111904 114 0 0 25 0 1 0 834986484 100970496 23961 4294967295 134512640 134714508 3221224592 3221223184 134549585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 112904 115 0 0 25 0 1 0 834986484 100970496 23961 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27274 0 0 0 113904 115 0 0 25 0 1 0 834986484 100970496 23961 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24651 23961 1111 63 0 24588 0
vsize: 98604
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27370 0 0 0 114903 116 0 0 25 0 1 0 834986484 101376000 24057 4294967295 134512640 134714508 3221224592 3221223376 134529249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24750 24057 1111 63 0 24687 0
vsize: 99000
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27370 0 0 0 115902 117 0 0 25 0 1 0 834986484 101376000 24057 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24750 24057 1111 63 0 24687 0
vsize: 99000
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27440 0 0 0 116902 117 0 0 25 0 1 0 834986484 101781504 24127 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 99396
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15770
Raw data (stat): 15770 (bsolo_lpr) R 15769 7475 7474 0 -1 0 27440 0 0 0 116902 117 0 0 25 0 1 0 834986484 101781504 24127 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24849 24127 1111 63 0 24786 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.05
CPU user time (s): 1173.83
CPU system time (s): 1.21981
CPU usage (%): 100.016
Max. virtual memory (Kb): 99396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####