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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb
MD5SUM	e6fecce3dd18220c4b3d8965362801d2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1359
Optimality of the best value was proved	NO
Number of terms in the objective function	2782
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2782
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2782
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04284
Number of variables	2782
Total number of constraints	4517
Number of constraints which are clauses	4517
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 39630

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 15:01:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27672 boxname=wulflinc6 idbench=230 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  e6fecce3dd18220c4b3d8965362801d2  /oldhome/oroussel/tmp/wulflinc6/normalized-ssa7552-160.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ssa7552-160.opb
IDLAUNCH: 27672
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        836920 kB
Buffers:         33816 kB
Cached:         141896 kB
SwapCached:       1020 kB
Active:          45348 kB
Inactive:       132524 kB
HighTotal:      131008 kB
HighFree:        95564 kB
LowTotal:       903652 kB
LowFree:        741356 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            14224 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:21:02 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 27672 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2782 variables and 4517 constraints.
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.94 1/54 15476
Raw data (stat): 15476 (runsolver) R 15475 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893908839 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 15476
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 18306 0 0 0 953 45 0 0 25 0 1 0 893908839 25993216 5502 4294967295 134512640 134716908 3221224576 3221223020 134542656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6346 5502 1111 63 0 6283 0
vsize: 25384
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 26018 0 0 0 1935 63 0 0 25 0 1 0 893908839 34222080 7498 4294967295 134512640 134716908 3221224576 3221222908 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8355 7498 1111 63 0 8292 0
vsize: 33420
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 31536 0 0 0 2924 75 0 0 25 0 1 0 893908839 37904384 8410 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9254 8410 1111 63 0 9191 0
vsize: 37016
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 35474 0 0 0 3914 85 0 0 25 0 1 0 893908839 43016192 9626 4294967295 134512640 134716908 3221224576 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10502 9626 1111 63 0 10439 0
vsize: 42008
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 39826 0 0 0 4904 95 0 0 25 0 1 0 893908839 46211072 10409 4294967295 134512640 134716908 3221224576 3221223152 134535835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11282 10409 1111 63 0 11219 0
vsize: 45128
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 42235 0 0 0 5900 100 0 0 25 0 1 0 893908839 49385472 11205 4294967295 134512640 134716908 3221224576 3221222984 134543644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12057 11205 1111 63 0 11994 0
vsize: 48228
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 44499 0 0 0 6896 104 0 0 25 0 1 0 893908839 51675136 11759 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12616 11759 1111 63 0 12553 0
vsize: 50464
[startup+80.002 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 46394 0 0 0 7891 109 0 0 25 0 1 0 893908839 54534144 12468 4294967295 134512640 134716908 3221224576 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13314 12468 1111 63 0 13251 0
vsize: 53256
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 47878 0 0 0 8888 112 0 0 25 0 1 0 893908839 57028608 13062 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13923 13062 1111 63 0 13860 0
vsize: 55692
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 49216 0 0 0 9885 115 0 0 25 0 1 0 893908839 59412480 13656 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14505 13656 1111 63 0 14442 0
vsize: 58020
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 56215 0 0 0 10867 134 0 0 25 0 1 0 893908839 61112320 14044 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14920 14044 1111 63 0 14857 0
vsize: 59680
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 57104 0 0 0 11864 137 0 0 25 0 1 0 893908839 61485056 14167 4294967295 134512640 134716908 3221224576 3221223064 134542370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15011 14167 1111 63 0 14948 0
vsize: 60044
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 58462 0 0 0 12861 140 0 0 25 0 1 0 893908839 63123456 14549 4294967295 134512640 134716908 3221224576 3221223080 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15411 14549 1111 63 0 15348 0
vsize: 61644
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 60418 0 0 0 13857 145 0 0 25 0 1 0 893908839 64708608 14954 4294967295 134512640 134716908 3221224576 3221222908 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15798 14954 1111 63 0 15735 0
vsize: 63192
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 62010 0 0 0 14854 148 0 0 25 0 1 0 893908839 66478080 15366 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16230 15366 1111 63 0 16167 0
vsize: 64920
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 63957 0 0 0 15849 154 0 0 25 0 1 0 893908839 68055040 15771 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16615 15771 1111 63 0 16552 0
vsize: 66460
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 65135 0 0 0 16846 157 0 0 25 0 1 0 893908839 69976064 16230 4294967295 134512640 134716908 3221224576 3221223040 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17084 16230 1111 63 0 17021 0
vsize: 68336
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 66157 0 0 0 17844 159 0 0 25 0 1 0 893908839 71401472 16583 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17432 16583 1111 63 0 17369 0
vsize: 69728
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 68154 0 0 0 18841 162 0 0 25 0 1 0 893908839 73043968 16960 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17833 16960 1111 63 0 17770 0
vsize: 71332
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 69661 0 0 0 19838 166 0 0 25 0 1 0 893908839 74465280 17307 4294967295 134512640 134716908 3221224576 3221223328 134630838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18180 17307 1111 63 0 18117 0
vsize: 72720
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 71088 0 0 0 20835 170 0 0 25 0 1 0 893908839 75845632 17646 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18517 17646 1111 63 0 18454 0
vsize: 74068
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 73305 0 0 0 21830 174 0 0 25 0 1 0 893908839 76718080 17886 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18730 17886 1111 63 0 18667 0
vsize: 74920
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 74236 0 0 0 22828 177 0 0 25 0 1 0 893908839 77774848 18144 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18988 18144 1111 63 0 18925 0
vsize: 75952
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 76076 0 0 0 23824 181 0 0 25 0 1 0 893908839 79400960 18517 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19385 18517 1111 63 0 19322 0
vsize: 77540
[startup+250 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 76916 0 0 0 24823 182 0 0 25 0 1 0 893908839 79912960 18666 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19510 18666 1111 63 0 19447 0
vsize: 78040
[startup+260.001 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 77773 0 0 0 25822 184 0 0 25 0 1 0 893908839 81215488 18955 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19828 18955 1111 63 0 19765 0
vsize: 79312
[startup+270.001 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 15478
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 80342 0 0 0 26816 190 0 0 25 0 1 0 893908839 82849792 19351 4294967295 134512640 134716908 3221224576 3221223040 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20227 19351 1111 63 0 20164 0
vsize: 80908
[startup+280.001 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 81175 0 0 0 27814 192 0 0 25 0 1 0 893908839 83296256 19492 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20336 19492 1111 63 0 20273 0
vsize: 81344
[startup+290.001 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 82907 0 0 0 28811 196 0 0 25 0 1 0 893908839 84832256 19838 4294967295 134512640 134716908 3221224576 3221223200 134529222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20711 19838 1111 63 0 20648 0
vsize: 82844
[startup+300.001 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 83581 0 0 0 29810 197 0 0 25 0 1 0 893908839 85762048 20075 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20938 20075 1111 63 0 20875 0
vsize: 83752
[startup+310.001 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 84268 0 0 0 30808 200 0 0 25 0 1 0 893908839 86786048 20328 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21188 20328 1111 63 0 21125 0
vsize: 84752
[startup+320.001 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 86031 0 0 0 31805 203 0 0 25 0 1 0 893908839 88272896 20707 4294967295 134512640 134716908 3221224576 3221222908 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21551 20707 1111 63 0 21488 0
vsize: 86204
[startup+330.001 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 86820 0 0 0 32803 205 0 0 25 0 1 0 893908839 89075712 20902 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21747 20902 1111 63 0 21684 0
vsize: 86988
[startup+340.001 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 87640 0 0 0 33802 206 0 0 25 0 1 0 893908839 90001408 21128 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21973 21128 1111 63 0 21910 0
vsize: 87892
[startup+350 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 88424 0 0 0 34801 208 0 0 25 0 1 0 893908839 91316224 21418 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22294 21418 1111 63 0 22231 0
vsize: 89176
[startup+360 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 89231 0 0 0 35800 209 0 0 25 0 1 0 893908839 92225536 21640 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22516 21640 1111 63 0 22453 0
vsize: 90064
[startup+370 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 89946 0 0 0 36798 211 0 0 25 0 1 0 893908839 93106176 21860 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22731 21860 1111 63 0 22668 0
vsize: 90924
[startup+380 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 90333 0 0 0 37798 212 0 0 25 0 1 0 893908839 93458432 21973 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22817 21973 1111 63 0 22754 0
vsize: 91268
[startup+390 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 91142 0 0 0 38797 214 0 0 25 0 1 0 893908839 94752768 22287 4294967295 134512640 134716908 3221224576 3221223056 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23133 22287 1111 63 0 23070 0
vsize: 92532
[startup+399.999 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 96006 0 0 0 39786 224 0 0 25 0 1 0 893908839 97701888 22985 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23853 22985 1111 63 0 23790 0
vsize: 95412
[startup+409.999 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 96006 0 0 0 40787 224 0 0 25 0 1 0 893908839 97701888 22985 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23853 22985 1111 63 0 23790 0
vsize: 95412
[startup+419.999 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 96009 0 0 0 41787 224 0 0 25 0 1 0 893908839 97701888 22988 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23853 22988 1111 63 0 23790 0
vsize: 95412
[startup+429.999 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 97189 0 0 0 42784 228 0 0 25 0 1 0 893908839 98631680 23204 4294967295 134512640 134716908 3221224576 3221223080 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24080 23204 1111 63 0 24017 0
vsize: 96320
[startup+439.998 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 98680 0 0 0 43781 231 0 0 25 0 1 0 893908839 99356672 23408 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24257 23408 1111 63 0 24194 0
vsize: 97028
[startup+449.999 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 99240 0 0 0 44780 232 0 0 25 0 1 0 893908839 100048896 23550 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24426 23550 1111 63 0 24363 0
vsize: 97704
[startup+459.998 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 100329 0 0 0 45777 235 0 0 25 0 1 0 893908839 100454400 23681 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24525 23681 1111 63 0 24462 0
vsize: 98100
[startup+470.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 100926 0 0 0 46776 237 0 0 25 0 1 0 893908839 101023744 23811 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24664 23811 1111 63 0 24601 0
vsize: 98656
[startup+480.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 101591 0 0 0 47775 238 0 0 25 0 1 0 893908839 101683200 23981 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24825 23981 1111 63 0 24762 0
vsize: 99300
[startup+490.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 103850 0 0 0 48771 243 0 0 25 0 1 0 893908839 102473728 24164 4294967295 134512640 134716908 3221224576 3221222908 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25018 24164 1111 63 0 24955 0
vsize: 100072
[startup+500.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 104510 0 0 0 49770 244 0 0 25 0 1 0 893908839 103112704 24330 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25174 24330 1111 63 0 25111 0
vsize: 100696
[startup+510.002 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 105911 0 0 0 50767 247 0 0 25 0 1 0 893908839 103804928 24489 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25343 24489 1111 63 0 25280 0
vsize: 101372
[startup+520.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 107777 0 0 0 51763 252 0 0 25 0 1 0 893908839 104964096 24772 4294967295 134512640 134716908 3221224576 3221223020 134536814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25626 24772 1111 63 0 25563 0
vsize: 102504
[startup+530.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 108324 0 0 0 52762 253 0 0 25 0 1 0 893908839 105574400 24901 4294967295 134512640 134716908 3221224576 3221223188 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25775 24901 1111 63 0 25712 0
vsize: 103100
[startup+540.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 109588 0 0 0 53760 256 0 0 25 0 1 0 893908839 106274816 25094 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25946 25094 1111 63 0 25883 0
vsize: 103784
[startup+550.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 113350 0 0 0 54753 262 0 0 25 0 1 0 893908839 108027904 25528 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26374 25528 1111 63 0 26311 0
vsize: 105496
[startup+560 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 113385 0 0 0 55753 262 0 0 25 0 1 0 893908839 108171264 25563 4294967295 134512640 134716908 3221224576 3221223184 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26409 25563 1111 63 0 26346 0
vsize: 105636
[startup+570.001 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 113876 0 0 0 56753 263 0 0 25 0 1 0 893908839 108814336 25690 4294967295 134512640 134716908 3221224576 3221223304 134675309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26566 25690 1111 63 0 26503 0
vsize: 106264
[startup+580 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 114412 0 0 0 57752 265 0 0 25 0 1 0 893908839 108908544 25732 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26589 25732 1111 63 0 26526 0
vsize: 106356
[startup+590 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 115062 0 0 0 58750 266 0 0 25 0 1 0 893908839 109953024 25987 4294967295 134512640 134716908 3221224576 3221223152 134523974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26844 25987 1111 63 0 26781 0
vsize: 107376
[startup+600 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 116474 0 0 0 59748 269 0 0 25 0 1 0 893908839 110542848 26112 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26988 26112 1111 63 0 26925 0
vsize: 107952
[startup+610 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 116788 0 0 0 60747 271 0 0 25 0 1 0 893908839 110751744 26195 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27039 26195 1111 63 0 26976 0
vsize: 108156
[startup+619.999 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 117374 0 0 0 61746 272 0 0 25 0 1 0 893908839 111669248 26401 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27263 26401 1111 63 0 27200 0
vsize: 109052
[startup+630 s]
Raw data (loadavg): 1.08 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 117884 0 0 0 62745 273 0 0 25 0 1 0 893908839 111656960 26416 4294967295 134512640 134716908 3221224576 3221222992 134542668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27260 26416 1111 63 0 27197 0
vsize: 109040
[startup+640 s]
Raw data (loadavg): 1.07 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 118898 0 0 0 63744 275 0 0 25 0 1 0 893908839 112701440 26639 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 26639 1111 63 0 27452 0
vsize: 110060
[startup+650 s]
Raw data (loadavg): 1.06 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 120223 0 0 0 64741 278 0 0 25 0 1 0 893908839 112795648 26678 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27538 26678 1111 63 0 27475 0
vsize: 110152
[startup+660 s]
Raw data (loadavg): 1.05 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 120656 0 0 0 65740 279 0 0 25 0 1 0 893908839 113770496 26924 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27776 26924 1111 63 0 27713 0
vsize: 111104
[startup+670 s]
Raw data (loadavg): 1.04 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 121161 0 0 0 66739 280 0 0 25 0 1 0 893908839 114266112 27035 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27897 27035 1111 63 0 27834 0
vsize: 111588
[startup+680 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 121668 0 0 0 67738 282 0 0 25 0 1 0 893908839 114409472 27088 4294967295 134512640 134716908 3221224576 3221222992 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27932 27088 1111 63 0 27869 0
vsize: 111728
[startup+690.001 s]
Raw data (loadavg): 1.03 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 122987 0 0 0 68735 285 0 0 25 0 1 0 893908839 115113984 27260 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28104 27260 1111 63 0 28041 0
vsize: 112416
[startup+700 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 124663 0 0 0 69732 288 0 0 25 0 1 0 893908839 115380224 27325 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28169 27325 1111 63 0 28106 0
vsize: 112676
[startup+710.001 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 125469 0 0 0 70731 290 0 0 25 0 1 0 893908839 116301824 27537 4294967295 134512640 134716908 3221224576 3221223056 134524076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28394 27537 1111 63 0 28331 0
vsize: 113576
[startup+720.001 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 125663 0 0 0 71731 290 0 0 25 0 1 0 893908839 116715520 27643 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28495 27643 1111 63 0 28432 0
vsize: 113980
[startup+730 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 126556 0 0 0 72730 292 0 0 25 0 1 0 893908839 117252096 27750 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 27750 1111 63 0 28563 0
vsize: 114504
[startup+740 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 126721 0 0 0 73729 292 0 0 25 0 1 0 893908839 117481472 27838 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28682 27838 1111 63 0 28619 0
vsize: 114728
[startup+750 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 127099 0 0 0 74729 293 0 0 25 0 1 0 893908839 118099968 27959 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28833 27959 1111 63 0 28770 0
vsize: 115332
[startup+760 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 128401 0 0 0 75727 296 0 0 25 0 1 0 893908839 118579200 28074 4294967295 134512640 134716908 3221224576 3221223068 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28950 28074 1111 63 0 28887 0
vsize: 115800
[startup+769.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 129620 0 0 0 76725 298 0 0 25 0 1 0 893908839 119074816 28203 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29071 28203 1111 63 0 29008 0
vsize: 116284
[startup+780 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 129789 0 0 0 77725 298 0 0 25 0 1 0 893908839 118939648 28194 4294967295 134512640 134716908 3221224576 3221222908 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29038 28194 1111 63 0 28975 0
vsize: 116152
[startup+789.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 130847 0 0 0 78723 301 0 0 25 0 1 0 893908839 119414784 28310 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29154 28310 1111 63 0 29091 0
vsize: 116616
[startup+800 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 131471 0 0 0 79721 303 0 0 25 0 1 0 893908839 120020992 28439 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 28445 1111 63 0 29239 0
vsize: 117208
[startup+810 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 132027 0 0 0 80720 304 0 0 25 0 1 0 893908839 120532992 28576 4294967295 134512640 134716908 3221224576 3221223376 134617638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29427 28576 1111 63 0 29364 0
vsize: 117708
[startup+820.001 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 132598 0 0 0 81719 305 0 0 25 0 1 0 893908839 120848384 28630 4294967295 134512640 134716908 3221224576 3221223056 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29504 28630 1111 63 0 29441 0
vsize: 118016
[startup+830 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 134525 0 0 0 82716 309 0 0 25 0 1 0 893908839 121290752 28768 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29612 28768 1111 63 0 29549 0
vsize: 118448
[startup+840 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 144404 0 0 0 83697 329 0 0 25 0 1 0 893908839 122195968 28989 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29833 28989 1111 63 0 29770 0
vsize: 119332
[startup+850 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 144666 0 0 0 84696 329 0 0 25 0 1 0 893908839 122195968 28989 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29833 28989 1111 63 0 29770 0
vsize: 119332
[startup+860.001 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 145155 0 0 0 85696 330 0 0 25 0 1 0 893908839 122679296 29082 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29951 29082 1111 63 0 29888 0
vsize: 119804
[startup+870.001 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 145618 0 0 0 86695 331 0 0 25 0 1 0 893908839 122978304 29180 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30024 29180 1111 63 0 29961 0
vsize: 120096
[startup+880.001 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 146099 0 0 0 87695 332 0 0 25 0 1 0 893908839 123437056 29265 4294967295 134512640 134716908 3221224576 3221223044 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30136 29265 1111 63 0 30073 0
vsize: 120544
[startup+890.001 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 146586 0 0 0 88694 333 0 0 25 0 1 0 893908839 123805696 29356 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30226 29356 1111 63 0 30163 0
vsize: 120904
[startup+900.001 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 147071 0 0 0 89693 334 0 0 25 0 1 0 893908839 124170240 29445 4294967295 134512640 134716908 3221224576 3221223056 134524108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30315 29445 1111 63 0 30252 0
vsize: 121260
[startup+910.001 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 147554 0 0 0 90692 335 0 0 25 0 1 0 893908839 124534784 29533 4294967295 134512640 134716908 3221224576 3221223044 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30404 29533 1111 63 0 30341 0
vsize: 121616
[startup+920.002 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 148033 0 0 0 91692 336 0 0 25 0 1 0 893908839 124862464 29640 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30484 29640 1111 63 0 30421 0
vsize: 121936
[startup+930.002 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 148494 0 0 0 92691 337 0 0 25 0 1 0 893908839 125255680 29706 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30580 29706 1111 63 0 30517 0
vsize: 122320
[startup+940.002 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 148975 0 0 0 93690 339 0 0 25 0 1 0 893908839 125603840 29792 4294967295 134512640 134716908 3221224576 3221223008 134543719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30665 29792 1111 63 0 30602 0
vsize: 122660
[startup+950.002 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 149455 0 0 0 94690 340 0 0 25 0 1 0 893908839 125952000 29876 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30750 29876 1111 63 0 30687 0
vsize: 123000
[startup+960.002 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 149935 0 0 0 95689 341 0 0 25 0 1 0 893908839 126296064 29960 4294967295 134512640 134716908 3221224576 3221222992 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30834 29960 1111 63 0 30771 0
vsize: 123336
[startup+970.002 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 150411 0 0 0 96688 342 0 0 25 0 1 0 893908839 127037440 30139 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31015 30139 1111 63 0 30952 0
vsize: 124060
[startup+980.003 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 151683 0 0 0 97685 345 0 0 25 0 1 0 893908839 127381504 30223 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31099 30223 1111 63 0 31036 0
vsize: 124396
[startup+990.003 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 152018 0 0 0 98684 346 0 0 25 0 1 0 893908839 127660032 30304 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31167 30304 1111 63 0 31104 0
vsize: 124668
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 152422 0 0 0 99683 348 0 0 25 0 1 0 893908839 127913984 30383 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31229 30383 1111 63 0 31166 0
vsize: 124916
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 152898 0 0 0 100683 348 0 0 25 0 1 0 893908839 128364544 30463 4294967295 134512640 134716908 3221224576 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31339 30463 1111 63 0 31276 0
vsize: 125356
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 153270 0 0 0 101682 349 0 0 25 0 1 0 893908839 128135168 30439 4294967295 134512640 134716908 3221224576 3221223104 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31283 30439 1111 63 0 31220 0
vsize: 125132
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 153837 0 0 0 102681 351 0 0 25 0 1 0 893908839 128839680 30611 4294967295 134512640 134716908 3221224576 3221222956 134539270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31455 30611 1111 63 0 31392 0
vsize: 125820
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 154404 0 0 0 103680 352 0 0 25 0 1 0 893908839 130015232 30882 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31742 30882 1111 63 0 31679 0
vsize: 126968
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 154874 0 0 0 104680 353 0 0 25 0 1 0 893908839 130260992 30956 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31802 30956 1111 63 0 31739 0
vsize: 127208
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 155341 0 0 0 105679 354 0 0 25 0 1 0 893908839 130551808 31027 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31873 31027 1111 63 0 31810 0
vsize: 127492
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 155843 0 0 0 106678 355 0 0 25 0 1 0 893908839 130760704 31030 4294967295 134512640 134716908 3221224576 3221223056 134536683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31924 31030 1111 63 0 31861 0
vsize: 127696
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 156195 0 0 0 107678 356 0 0 25 0 1 0 893908839 130797568 31039 4294967295 134512640 134716908 3221224576 3221222956 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31933 31039 1111 63 0 31870 0
vsize: 127732
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 156661 0 0 0 108678 356 0 0 25 0 1 0 893908839 131624960 31209 4294967295 134512640 134716908 3221224576 3221223104 134523374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32135 31209 1111 63 0 32072 0
vsize: 128540
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 157126 0 0 0 109677 357 0 0 25 0 1 0 893908839 131903488 31278 4294967295 134512640 134716908 3221224576 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32203 31278 1111 63 0 32140 0
vsize: 128812
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 157480 0 0 0 110677 358 0 0 25 0 1 0 893908839 131633152 31244 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32137 31244 1111 63 0 32074 0
vsize: 128548
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 158736 0 0 0 111675 360 0 0 25 0 1 0 893908839 131911680 31312 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32205 31312 1111 63 0 32142 0
vsize: 128820
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 158967 0 0 0 112675 360 0 0 25 0 1 0 893908839 132603904 31476 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32374 31476 1111 63 0 32311 0
vsize: 129496
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 159355 0 0 0 113674 361 0 0 25 0 1 0 893908839 132878336 31540 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32441 31540 1111 63 0 32378 0
vsize: 129764
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 159686 0 0 0 114674 362 0 0 25 0 1 0 893908839 132583424 31476 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32369 31476 1111 63 0 32306 0
vsize: 129476
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 160146 0 0 0 115673 363 0 0 25 0 1 0 893908839 133255168 31639 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32533 31639 1111 63 0 32470 0
vsize: 130132
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 160284 0 0 0 116673 364 0 0 25 0 1 0 893908839 133595136 31702 4294967295 134512640 134716908 3221224576 3221223060 134539352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32616 31702 1111 63 0 32553 0
vsize: 130464
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 160490 0 0 0 117673 364 0 0 25 0 1 0 893908839 133423104 31681 4294967295 134512640 134716908 3221224576 3221222960 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32574 31681 1111 63 0 32511 0
vsize: 130296
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 161703 0 0 0 118671 367 0 0 25 0 1 0 893908839 134029312 31822 4294967295 134512640 134716908 3221224576 3221223056 134543113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32722 31822 1111 63 0 32659 0
vsize: 130888
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) R 15475 25568 25567 0 -1 0 161921 0 0 0 119671 367 0 0 25 0 1 0 893908839 134324224 31883 4294967295 134512640 134716908 3221224576 3221223056 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32794 31883 1111 63 0 32731 0
vsize: 131176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 15480
Raw data (stat): 15476 (bsolo_lpr-v2) Z 15475 25568 25567 0 -1 1036 161921 0 0 0 119671 373 0 0 25 0 1 0 893908839 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.45
CPU user time (s): 1196.72
CPU system time (s): 3.73343
CPU usage (%): 100.032
Max. virtual memory (Kb): 131176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####