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/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	5efced6eaf647505ade406591fd69d4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1216.42
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 25683

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 16:36:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18344 boxname=wulflinc31 idbench=1412 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5efced6eaf647505ade406591fd69d4e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 18344
/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:        881004 kB
Buffers:         27668 kB
Cached:         105420 kB
SwapCached:       1076 kB
Active:          71928 kB
Inactive:        63452 kB
HighTotal:      131008 kB
HighFree:        56784 kB
LowTotal:       903652 kB
LowFree:        824220 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12740 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 16:56:18 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 18344 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 789 constraints.
c preprocess terminated 798.505 s
c Initial Lower Bound: 172728
c Lower Bound Elapsed time: 1.134
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.92 0.95 0.94 2/55 13645
Raw data (stat): 13645 (runsolver) R 13644 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 805786713 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 8960 0 0 0 975 20 0 0 25 0 1 0 805786713 49684480 8883 4294967295 134512640 134714508 3221221776 3221219692 1077270194 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12130 8883 1111 63 0 12067 0
vsize: 48520
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 17664 0 0 0 1951 43 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 17727 0 0 0 2951 44 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 17790 0 0 0 3950 45 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 17892 0 0 0 4949 45 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 18028 0 0 0 5949 46 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 18045 0 0 0 6949 46 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 18348 0 0 0 7948 47 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 18582 0 0 0 8947 49 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 19484 0 0 0 9944 51 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 20877 0 0 0 10940 56 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220156 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 25111 0 0 0 11928 68 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 29466 0 0 0 12915 81 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 33850 0 0 0 13904 92 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 39246 0 0 0 14889 107 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 44834 0 0 0 15874 121 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 51292 0 0 0 16858 138 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 58557 0 0 0 17840 156 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 66912 0 0 0 18819 178 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220488 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 75452 0 0 0 19795 201 0 0 25 0 1 0 805786713 75390976 17475 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18406 17475 1111 63 0 18343 0
vsize: 73624
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 84331 0 0 0 20773 224 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 93630 0 0 0 21748 249 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 103489 0 0 0 22723 274 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 113341 0 0 0 23698 299 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 124738 0 0 0 24671 326 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 135983 0 0 0 25645 352 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 147431 0 0 0 26616 382 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 158982 0 0 0 27587 411 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 171762 0 0 0 28555 443 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 184307 0 0 0 29524 474 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 196942 0 0 0 30493 505 0 0 25 0 1 0 805786713 75231232 17472 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18367 17472 1111 63 0 18304 0
vsize: 73468
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 198721 0 0 0 31489 509 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 198769 0 0 0 32489 509 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 198852 0 0 0 33489 510 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 199012 0 0 0 34489 510 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 199124 0 0 0 35489 510 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 199280 0 0 0 36489 511 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 199462 0 0 0 37488 511 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 200088 0 0 0 38486 513 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 201400 0 0 0 39481 519 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 202480 0 0 0 40477 523 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 204345 0 0 0 41470 530 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 206919 0 0 0 42463 537 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 209654 0 0 0 43456 544 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 212344 0 0 0 44448 553 0 0 25 0 1 0 805786713 75714560 17590 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18485 17590 1111 63 0 18422 0
vsize: 73940
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 213659 0 0 0 45444 557 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 214913 0 0 0 46439 562 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 216254 0 0 0 47435 566 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 217621 0 0 0 48430 572 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 220630 0 0 0 49422 580 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 223623 0 0 0 50413 589 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 227784 0 0 0 51402 600 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 231916 0 0 0 52390 612 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 236135 0 0 0 53379 623 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 240656 0 0 0 54364 638 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 246109 0 0 0 55349 653 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 251527 0 0 0 56336 667 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 257125 0 0 0 57321 682 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 262636 0 0 0 58307 696 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 269741 0 0 0 59288 715 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 276781 0 0 0 60269 735 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 283647 0 0 0 61252 752 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 290716 0 0 0 62232 772 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 297727 0 0 0 63214 790 0 0 25 0 1 0 805786713 75800576 17611 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17611 1111 63 0 18443 0
vsize: 74024
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302643 0 0 0 64201 804 0 0 25 0 1 0 805786713 76115968 17686 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18583 17686 1111 63 0 18520 0
vsize: 74332
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 65201 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 66201 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 67201 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 68201 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 69201 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 70202 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 71202 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 72202 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 73202 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 74201 804 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220328 1077377401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 75201 805 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 76201 805 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 77201 805 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 302875 0 0 0 78202 805 0 0 25 0 1 0 805786713 76873728 17870 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18768 17870 1111 63 0 18705 0
vsize: 75072
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 303472 0 0 0 79200 806 0 0 25 0 1 0 805786713 77099008 18056 4294967295 134512640 134714508 3221221776 3221218800 1074138642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18823 18056 1111 63 0 18760 0
vsize: 75292
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305490 0 0 0 80195 811 0 0 25 0 1 0 805786713 77127680 18079 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18079 1111 63 0 18767 0
vsize: 75320
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 81194 813 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 82192 814 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 83191 815 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 84191 816 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 85190 817 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 86189 818 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 87189 818 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 88188 819 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 89188 820 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 90187 821 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 91187 821 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 92187 821 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 93186 822 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 94185 823 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 95185 824 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 96185 824 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 97184 825 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 98183 826 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 99183 827 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 100182 828 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 101181 828 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 102180 829 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 103180 830 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 104180 830 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 105179 831 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 106179 831 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 107179 832 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 108178 833 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 109178 833 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 110177 834 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 111176 835 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 112176 836 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 113175 836 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 114175 837 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 115175 837 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 116174 838 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 75320
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 13645
Raw data (stat): 13645 (bsolo_lpr) R 13644 7876 7672 0 -1 0 305497 0 0 0 116174 838 0 0 25 0 1 0 805786713 77127680 18086 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18830 18086 1111 63 0 18767 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.05
CPU user time (s): 1166.63
CPU system time (s): 8.42372
CPU usage (%): 100.007
Max. virtual memory (Kb): 75320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####