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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
MD5SUM	2da614f2ff412c1e07d8c65342ffb362
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 25414

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 03:25:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19904 boxname=wulflinc31 idbench=1532 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2da614f2ff412c1e07d8c65342ffb362  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B2C1S1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B2C1S1.opb
IDLAUNCH: 19904
/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:        849304 kB
Buffers:         13692 kB
Cached:         146216 kB
SwapCached:       5400 kB
Active:          96284 kB
Inactive:        70324 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        849052 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            13040 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 03:44:55 (client local time) WITH STATUS 0 IN 1175.25 SECONDS
stats: 19904 7 1175.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71968 variables and 5184 constraints.
c After prepocess the problem consists of 52268 variables and 5869 constraints.
c preprocess terminated 291.565 s
c Initial Lower Bound: 54227147
c Lower Bound Elapsed time: 98.6194
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.92 0.95 0.90 2/55 16931
Raw data (stat): 16931 (runsolver) R 16930 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 783755854 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.93 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1557 0 0 0 990 5 0 0 25 0 1 0 783755854 19042304 1480 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4649 1480 1111 63 0 4586 0
vsize: 18596
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 2568 0 0 0 1988 7 0 0 25 0 1 0 783755854 23130112 2491 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5647 2491 1111 63 0 5584 0
vsize: 22588
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 3637 0 0 0 2986 9 0 0 25 0 1 0 783755854 27529216 3560 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6721 3560 1111 63 0 6658 0
vsize: 26884
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 4745 0 0 0 3984 11 0 0 25 0 1 0 783755854 32047104 4668 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7824 4668 1111 63 0 7761 0
vsize: 31296
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 5925 0 0 0 4982 14 0 0 25 0 1 0 783755854 36847616 5848 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8996 5848 1111 63 0 8933 0
vsize: 35984
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 7187 0 0 0 5980 16 0 0 25 0 1 0 783755854 42082304 7110 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10274 7110 1111 63 0 10211 0
vsize: 41096
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 8529 0 0 0 6977 19 0 0 25 0 1 0 783755854 47587328 8452 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11618 8452 1111 63 0 11555 0
vsize: 46472
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 10020 0 0 0 7975 21 0 0 25 0 1 0 783755854 53665792 9943 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13102 9943 1111 63 0 13039 0
vsize: 52408
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 11712 0 0 0 8972 24 0 0 25 0 1 0 783755854 60653568 11635 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14808 11635 1111 63 0 14745 0
vsize: 59232
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 13383 0 0 0 9968 28 0 0 25 0 1 0 783755854 67579904 13306 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16499 13306 1111 63 0 16436 0
vsize: 65996
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 15249 0 0 0 10964 33 0 0 25 0 1 0 783755854 75202560 15172 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18360 15172 1111 63 0 18297 0
vsize: 73440
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 17268 0 0 0 11961 36 0 0 25 0 1 0 783755854 83390464 17191 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20359 17191 1111 63 0 20296 0
vsize: 81436
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 36260 0 0 0 12920 77 0 0 25 0 1 0 783755854 161263616 36183 4294967295 134512640 134714508 3221221776 3221218236 1077359371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39371 36183 1111 63 0 39308 0
vsize: 157484
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 41502 0 0 0 13909 87 0 0 25 0 1 0 783755854 182669312 41425 4294967295 134512640 134714508 3221221776 3221218396 1077254507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44597 41425 1111 63 0 44534 0
vsize: 178388
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 64307 0 0 0 14862 134 0 0 25 0 1 0 783755854 266936320 63753 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65170 63753 1111 63 0 65107 0
vsize: 260680
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 64406 0 0 0 15862 134 0 0 25 0 1 0 783755854 267341824 63852 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65269 63852 1111 63 0 65206 0
vsize: 261076
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 72919 0 0 0 16843 153 0 0 25 0 1 0 783755854 273477632 65336 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66767 65336 1111 63 0 66704 0
vsize: 267068
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 73014 0 0 0 17843 153 0 0 25 0 1 0 783755854 273883136 65431 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66866 65431 1111 63 0 66803 0
vsize: 267464
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 73054 0 0 0 18843 153 0 0 25 0 1 0 783755854 274018304 65471 4294967295 134512640 134714508 3221221776 3221220268 134539312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66899 65471 1111 63 0 66836 0
vsize: 267596
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 119235 0 0 0 19742 255 0 0 25 0 1 0 783755854 275025920 65644 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67145 65650 1111 63 0 67082 0
vsize: 268580
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 269311 0 0 0 20409 588 0 0 25 0 1 0 783755854 275161088 65555 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67178 65562 1111 63 0 67115 0
vsize: 268712
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 411786 0 0 0 21067 930 0 0 25 0 1 0 783755854 275296256 65746 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67211 65753 1111 63 0 67148 0
vsize: 268844
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 494936 0 0 0 21888 1110 0 0 25 0 1 0 783755854 274558976 65613 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67031 65613 1111 63 0 66968 0
vsize: 268124
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 509560 0 0 0 22855 1142 0 0 25 0 1 0 783755854 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 509560 0 0 0 23856 1142 0 0 25 0 1 0 783755854 275120128 65753 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 509560 0 0 0 24856 1142 0 0 25 0 1 0 783755854 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 509560 0 0 0 25856 1142 0 0 25 0 1 0 783755854 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 509560 0 0 0 26856 1142 0 0 25 0 1 0 783755854 275120128 65753 4294967295 134512640 134714508 3221221776 3221220436 134627138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 509560 0 0 0 27856 1142 0 0 25 0 1 0 783755854 275120128 65753 4294967295 134512640 134714508 3221221776 3221220436 134627138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 626498 0 0 0 28590 1408 0 0 25 0 1 0 783755854 290541568 69310 4294967295 134512640 134714508 3221221776 3221220000 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70933 69310 1111 63 0 70870 0
vsize: 283732
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 753038 0 0 0 29305 1693 0 0 25 0 1 0 783755854 290877440 69401 4294967295 134512640 134714508 3221221776 3221219912 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71015 69405 1111 63 0 70952 0
vsize: 284060
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 871562 0 0 0 30036 1962 0 0 25 0 1 0 783755854 291008512 69428 4294967295 134512640 134714508 3221221776 3221220000 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71047 69428 1111 63 0 70984 0
vsize: 284188
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 978699 0 0 0 30792 2206 0 0 25 0 1 0 783755854 291504128 69569 4294967295 134512640 134714508 3221221776 3221219420 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71168 69569 1111 63 0 71105 0
vsize: 284672
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1071855 0 0 0 31576 2423 0 0 25 0 1 0 783755854 291422208 69557 4294967295 134512640 134714508 3221221776 3221219504 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71077 69486 1111 63 0 71014 0
vsize: 284592
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1151067 0 0 0 32389 2610 0 0 25 0 1 0 783755854 291909632 69676 4294967295 134512640 134714508 3221221776 3221219264 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71267 69676 1111 63 0 71204 0
vsize: 285068
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1219480 0 0 0 33225 2774 0 0 25 0 1 0 783755854 292364288 69788 4294967295 134512640 134714508 3221221776 3221219264 1074153767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71378 69788 1111 63 0 71315 0
vsize: 285512
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1280466 0 0 0 34079 2920 0 0 25 0 1 0 783755854 293007360 69927 4294967295 134512640 134714508 3221221776 3221219192 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71535 69931 1111 63 0 71472 0
vsize: 286140
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1336083 0 0 0 34944 3055 0 0 25 0 1 0 783755854 293027840 69951 4294967295 134512640 134714508 3221221776 3221219328 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71540 69951 1111 63 0 71477 0
vsize: 286160
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359069 0 0 0 35888 3112 0 0 25 0 1 0 783755854 309514240 73340 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75565 73340 1111 63 0 75502 0
vsize: 302260
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359091 0 0 0 36888 3112 0 0 25 0 1 0 783755854 309514240 73362 4294967295 134512640 134714508 3221221776 3221217916 1075116530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75565 73362 1111 63 0 75502 0
vsize: 302260
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359095 0 0 0 37888 3112 0 0 25 0 1 0 783755854 309514240 73366 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75565 73366 1111 63 0 75502 0
vsize: 302260
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359115 0 0 0 38888 3112 0 0 25 0 1 0 783755854 310255616 73386 4294967295 134512640 134714508 3221221776 3221217824 1075112371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73386 1111 63 0 75683 0
vsize: 302984
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359117 0 0 0 39888 3112 0 0 25 0 1 0 783755854 310255616 73388 4294967295 134512640 134714508 3221221776 3221218352 1075967413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73388 1111 63 0 75683 0
vsize: 302984
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359117 0 0 0 40888 3112 0 0 25 0 1 0 783755854 310255616 73388 4294967295 134512640 134714508 3221221776 3221217660 1074860824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73388 1111 63 0 75683 0
vsize: 302984
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 41888 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 42889 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 43889 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 44889 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 45889 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 46889 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 47889 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217916 1075116796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359118 0 0 0 48890 3112 0 0 25 0 1 0 783755854 310255616 73389 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73389 1111 63 0 75683 0
vsize: 302984
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359120 0 0 0 49890 3113 0 0 25 0 1 0 783755854 310255616 73391 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73391 1111 63 0 75683 0
vsize: 302984
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1359121 0 0 0 50890 3113 0 0 25 0 1 0 783755854 310255616 73392 4294967295 134512640 134714508 3221221776 3221218528 1075115295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75746 73392 1111 63 0 75683 0
vsize: 302984
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1413854 0 0 0 51761 3242 0 0 25 0 1 0 783755854 314654720 75129 4294967295 134512640 134714508 3221221776 3221220000 1074039267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76820 75129 1111 63 0 76757 0
vsize: 307280
[startup+560.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1473984 0 0 0 52616 3387 0 0 25 0 1 0 783755854 328613888 78539 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80228 78539 1111 63 0 80165 0
vsize: 320912
[startup+570.013 s]
Raw data (loadavg): 1.14 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1535533 0 0 0 53466 3537 0 0 25 0 1 0 783755854 351002624 84080 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85694 84080 1111 63 0 85631 0
vsize: 342776
[startup+580.013 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1593943 0 0 0 54330 3673 0 0 25 0 1 0 783755854 349552640 83652 4294967295 134512640 134714508 3221221776 3221219908 1075964282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85340 83652 1111 63 0 85277 0
vsize: 341360
[startup+590.013 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610204 0 0 0 55294 3709 0 0 25 0 1 0 783755854 365740032 87134 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89292 87134 1111 63 0 89229 0
vsize: 357168
[startup+600.013 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610212 0 0 0 56294 3709 0 0 25 0 1 0 783755854 365740032 87142 4294967295 134512640 134714508 3221221776 3221217720 1074860225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89292 87142 1111 63 0 89229 0
vsize: 357168
[startup+610.013 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610217 0 0 0 57294 3709 0 0 25 0 1 0 783755854 365740032 87147 4294967295 134512640 134714508 3221221776 3221218640 1074620296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89292 87147 1111 63 0 89229 0
vsize: 357168
[startup+620.013 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610217 0 0 0 58294 3710 0 0 25 0 1 0 783755854 365740032 87147 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89292 87147 1111 63 0 89229 0
vsize: 357168
[startup+630.013 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610230 0 0 0 59294 3710 0 0 25 0 1 0 783755854 366481408 87160 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89473 87160 1111 63 0 89410 0
vsize: 357892
[startup+640.013 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610233 0 0 0 60294 3710 0 0 25 0 1 0 783755854 366481408 87163 4294967295 134512640 134714508 3221221776 3221218816 1074834239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89473 87163 1111 63 0 89410 0
vsize: 357892
[startup+650.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610233 0 0 0 61294 3710 0 0 25 0 1 0 783755854 366481408 87163 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89473 87163 1111 63 0 89410 0
vsize: 357892
[startup+660.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610593 0 0 0 62294 3711 0 0 25 0 1 0 783755854 367964160 87523 4294967295 134512640 134714508 3221221776 3221218388 1075965929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89835 87523 1111 63 0 89772 0
vsize: 359340
[startup+670.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610595 0 0 0 63294 3711 0 0 25 0 1 0 783755854 367964160 87525 4294967295 134512640 134714508 3221221776 3221218392 1075112556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89835 87525 1111 63 0 89772 0
vsize: 359340
[startup+680.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610595 0 0 0 64294 3711 0 0 25 0 1 0 783755854 367964160 87525 4294967295 134512640 134714508 3221221776 3221218480 1074793534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89835 87525 1111 63 0 89772 0
vsize: 359340
[startup+690.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610595 0 0 0 65294 3711 0 0 25 0 1 0 783755854 367964160 87525 4294967295 134512640 134714508 3221221776 3221218224 1075898747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89835 87525 1111 63 0 89772 0
vsize: 359340
[startup+700.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610595 0 0 0 66294 3711 0 0 25 0 1 0 783755854 367964160 87525 4294967295 134512640 134714508 3221221776 3221218640 1074620304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89835 87525 1111 63 0 89772 0
vsize: 359340
[startup+710.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610595 0 0 0 67295 3711 0 0 25 0 1 0 783755854 367964160 87525 4294967295 134512640 134714508 3221221776 3221218244 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89835 87525 1111 63 0 89772 0
vsize: 359340
[startup+720.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1610595 0 0 0 68295 3711 0 0 25 0 1 0 783755854 367964160 87525 4294967295 134512640 134714508 3221221776 3221218480 1074793528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89835 87525 1111 63 0 89772 0
vsize: 359340
[startup+730.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1651940 0 0 0 69198 3807 0 0 25 0 1 0 783755854 355680256 85236 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86836 85236 1111 63 0 86773 0
vsize: 347344
[startup+740.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1712711 0 0 0 70057 3949 0 0 25 0 1 0 783755854 378363904 90774 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92374 90774 1111 63 0 92311 0
vsize: 369496
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1762872 0 0 0 70940 4066 0 0 25 0 1 0 783755854 380284928 91383 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92843 91383 1111 63 0 92780 0
vsize: 371372
[startup+760.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1822825 0 0 0 71797 4209 0 0 25 0 1 0 783755854 396861440 95291 4294967295 134512640 134714508 3221221776 3221220016 1074039475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96890 95292 1111 63 0 96827 0
vsize: 387560
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1874415 0 0 0 72677 4330 0 0 25 0 1 0 783755854 404889600 97390 4294967295 134512640 134714508 3221221776 3221219896 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98850 97390 1111 63 0 98787 0
vsize: 395400
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1934465 0 0 0 73536 4471 0 0 25 0 1 0 783755854 422916096 101516 4294967295 134512640 134714508 3221221776 3221220144 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103251 101523 1111 63 0 103188 0
vsize: 413004
[startup+790.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955011 0 0 0 74490 4516 0 0 25 0 1 0 783755854 423387136 101930 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101930 1111 63 0 103303 0
vsize: 413464
[startup+800.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955011 0 0 0 75490 4516 0 0 25 0 1 0 783755854 423387136 101930 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101930 1111 63 0 103303 0
vsize: 413464
[startup+810.021 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955011 0 0 0 76491 4516 0 0 25 0 1 0 783755854 423387136 101930 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101930 1111 63 0 103303 0
vsize: 413464
[startup+820.021 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955011 0 0 0 77491 4516 0 0 25 0 1 0 783755854 423387136 101930 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101930 1111 63 0 103303 0
vsize: 413464
[startup+830.021 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955011 0 0 0 78491 4516 0 0 25 0 1 0 783755854 423387136 101930 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101930 1111 63 0 103303 0
vsize: 413464
[startup+840.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955011 0 0 0 79491 4516 0 0 25 0 1 0 783755854 423387136 101930 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101930 1111 63 0 103303 0
vsize: 413464
[startup+850.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955013 0 0 0 80491 4516 0 0 25 0 1 0 783755854 423387136 101932 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101932 1111 63 0 103303 0
vsize: 413464
[startup+860.022 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955013 0 0 0 81492 4516 0 0 25 0 1 0 783755854 423387136 101932 4294967295 134512640 134714508 3221221776 3221220552 134613526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101932 1111 63 0 103303 0
vsize: 413464
[startup+870.023 s]
Raw data (loadavg): 1.18 1.04 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955013 0 0 0 82492 4516 0 0 25 0 1 0 783755854 423387136 101932 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101932 1111 63 0 103303 0
vsize: 413464
[startup+880.023 s]
Raw data (loadavg): 1.15 1.04 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955013 0 0 0 83492 4517 0 0 25 0 1 0 783755854 423387136 101932 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101932 1111 63 0 103303 0
vsize: 413464
[startup+890.023 s]
Raw data (loadavg): 1.13 1.04 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 84492 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+900.023 s]
Raw data (loadavg): 1.11 1.04 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 85492 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+910.023 s]
Raw data (loadavg): 1.09 1.04 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 86492 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+920.023 s]
Raw data (loadavg): 1.08 1.03 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 87492 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+930.024 s]
Raw data (loadavg): 1.06 1.03 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 88492 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+940.024 s]
Raw data (loadavg): 1.05 1.03 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 89492 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+950.024 s]
Raw data (loadavg): 1.04 1.03 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 90493 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+960.024 s]
Raw data (loadavg): 1.04 1.03 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 91493 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+970.024 s]
Raw data (loadavg): 1.03 1.03 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 92493 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+980.024 s]
Raw data (loadavg): 1.03 1.03 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 93493 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+990.024 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 94493 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1000.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 95493 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1010.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 96493 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1020.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 97494 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1030.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 98494 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1040.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 99494 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1050.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 100494 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 101494 4517 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 102494 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.02 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 103494 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 104494 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 105494 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 106495 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 107495 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 108495 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 109495 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 110495 4518 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 111495 4519 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/55 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 112495 4519 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 413464
[startup+1175.13 s]
Raw data (loadavg): 1.00 1.01 0.94 1/54 16931
Raw data (stat): 16931 (bsolo_lpr) R 16930 7876 7672 0 -1 0 1955014 0 0 0 112495 4519 0 0 25 0 1 0 783755854 423387136 101933 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103366 101933 1111 63 0 103303 0
vsize: 0

Child status: 0
Real time (s): 1175.13
CPU time (s): 1175.25
CPU user time (s): 1129.86
CPU system time (s): 45.3861
CPU usage (%): 100.01
Max. virtual memory (Kb): 413464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####