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/web/uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
MD5SUM	091959fe1286f391097654d0def293d7
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	39
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	132
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	5.13722
Number of variables	9071
Total number of constraints	25914
Number of constraints which are clauses	25190
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	724
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 24687

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 20:00:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2782 boxname=wulflinc31 idbench=310 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  091959fe1286f391097654d0def293d7  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag10.ucl.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag10.ucl.opb
IDLAUNCH: 2782
/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:        909220 kB
Buffers:         18548 kB
Cached:          86144 kB
SwapCached:       1116 kB
Active:          66316 kB
Inactive:        40728 kB
HighTotal:      131008 kB
HighFree:        44100 kB
LowTotal:       903652 kB
LowFree:        865120 kB
SwapTotal:     2097892 kB
SwapFree:      2096056 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            12632 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 20:20:31 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 2782 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 9071 variables and 25914 constraints.
c After prepocess the problem consists of 6720 variables and 20577 constraints.
c preprocess terminated 841.336 s
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): 1.09 1.02 1.00 2/55 2172
Raw data (stat): 2172 (runsolver) R 2171 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 720602160 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.0012 s]
Raw data (loadavg): 1.07 1.01 1.00 2/55 2172
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 33353 0 0 0 911 84 0 0 25 0 1 0 720602160 139952128 33271 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34168 33271 1111 63 0 34105 0
vsize: 136672
[startup+20.0021 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 2172
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 41520 0 0 0 1892 104 0 0 25 0 1 0 720602160 173498368 41438 4294967295 134512640 134714508 3221221792 3221220320 134554866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42358 41443 1111 63 0 42295 0
vsize: 169432
[startup+30.003 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 71664 0 0 0 2821 175 0 0 25 0 1 0 720602160 296869888 71582 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71582 1111 63 0 72415 0
vsize: 289912
[startup+40.004 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 71664 0 0 0 3820 176 0 0 25 0 1 0 720602160 296869888 71582 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71582 1111 63 0 72415 0
vsize: 289912
[startup+50.0051 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 71664 0 0 0 4820 176 0 0 25 0 1 0 720602160 296869888 71582 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71582 1111 63 0 72415 0
vsize: 289912
[startup+60.0057 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 5811 185 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220300 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+70.0068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 6811 186 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+80.0076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 7811 186 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220256 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+90.0076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 8811 186 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+100.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 9811 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+110.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 10811 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+120.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 11811 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220256 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+130.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 12811 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220320 134542898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+140.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 13811 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 14811 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 15812 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 16812 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 17812 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 18812 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 19812 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220324 134584832 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 20813 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 21813 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 22813 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 23813 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220396 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 24814 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+260.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 25814 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+270.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 26814 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 27814 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 28814 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+300.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 29814 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220280 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+310.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2174
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 30815 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220284 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 31815 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 32815 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+340.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 33815 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 34815 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+360.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 35816 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 36816 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220272 134524132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 37816 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+390.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 38816 187 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 39816 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220172 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 40816 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 41816 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 42816 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 43816 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 44816 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220172 134539337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 45817 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+470.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 46817 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 47817 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220464 134594903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 48817 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 49817 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+510.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 50817 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220200 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+520.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 51818 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+530.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 52818 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220532 134630783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+540.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 53818 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220400 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+550.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 54818 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220200 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+560.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 55818 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+570.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 56818 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 57819 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 58819 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 59819 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 60819 188 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 61819 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 62820 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+640.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 63820 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220412 134543776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 64820 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 65820 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 66820 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 67820 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220416 134529184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 68821 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+700.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 69821 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 70821 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220368 134523971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 71821 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220252 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 72821 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220200 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 73822 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 74822 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220368 134535728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 75822 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 76822 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 77823 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 78823 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220272 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+800.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 79823 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 80823 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220532 134630783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 81823 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 82823 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220176 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75044 0 0 0 83824 189 0 0 25 0 1 0 720602160 296869888 71587 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71587 1111 63 0 72415 0
vsize: 289912
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 84822 190 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 85821 191 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 86821 191 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220384 134543749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 87821 192 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 88821 192 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 89821 192 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220348 134539230 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 90821 193 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220472 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 91821 193 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 92821 193 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220576 134528996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 93821 193 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220380 134551980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 94821 193 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 95821 194 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220432 134539385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 96821 194 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220432 134543108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 97821 194 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 98821 194 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 99820 195 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 100820 195 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 101820 196 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 102820 196 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 103820 196 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 104820 196 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 105820 196 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 106820 196 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220480 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 107820 197 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220384 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 108820 197 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220576 134529393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 109820 197 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220560 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 110820 197 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 111820 198 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220440 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 112820 198 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220332 134539304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 113820 198 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220376 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 114820 198 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220340 134696414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 115820 198 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220424 134696017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 116820 199 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 289912
[startup+1175.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 2176
Raw data (stat): 2172 (bsolo_lpr) R 2171 7876 7672 0 -1 0 75060 0 0 0 116820 199 0 0 25 0 1 0 720602160 296869888 71603 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72478 71603 1111 63 0 72415 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.16
CPU user time (s): 1173.03
CPU system time (s): 2.12968
CPU usage (%): 100.011
Max. virtual memory (Kb): 289912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####