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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5.opb
MD5SUM9b244c88702eddacf15d45f12fda5eb0
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 6352
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 6352
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6352
Number of bits of the biggest sum of numbers13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables6352
Total number of constraints13501
Number of constraints which are clauses13501
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3

Trace number 39600

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 14:40:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27654 boxname=wulflinc6 idbench=212 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9b244c88702eddacf15d45f12fda5eb0  /oldhome/oroussel/tmp/wulflinc6/normalized-par32-5.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-par32-5.opb
IDLAUNCH: 27654
/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:        836668 kB
Buffers:         33800 kB
Cached:         141980 kB
SwapCached:       1020 kB
Active:          43944 kB
Inactive:       134020 kB
HighTotal:      131008 kB
HighFree:        95312 kB
LowTotal:       903652 kB
LowFree:        741356 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            14344 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:00:53 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 27654 7 1200.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13501 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 2/54 15331
Raw data (stat): 15331 (runsolver) R 15330 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893787846 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.0015 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 25064 0 0 0 931 66 0 0 25 0 1 0 893787846 105848832 24969 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25842 24969 1111 63 0 25779 0
vsize: 103368
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 25064 0 0 0 1931 66 0 0 25 0 1 0 893787846 105848832 24969 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25842 24969 1111 63 0 25779 0
vsize: 103368
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 25064 0 0 0 2931 67 0 0 25 0 1 0 893787846 105848832 24969 4294967295 134512640 134716908 3221224576 3221223212 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25842 24969 1111 63 0 25779 0
vsize: 103368
[startup+40.0037 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26090 0 0 0 3928 70 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26090 0 0 0 4929 70 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+60.005 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26090 0 0 0 5929 70 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+70.0061 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26090 0 0 0 6929 70 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+80.0069 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26090 0 0 0 7930 70 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+90.0077 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26090 0 0 0 8930 70 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26632 0 0 0 9929 72 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26632 0 0 0 10929 72 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 26632 0 0 0 11929 72 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27510 0 0 0 12928 74 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27510 0 0 0 13928 74 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27510 0 0 0 14928 74 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27510 0 0 0 15928 74 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27510 0 0 0 16929 74 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27510 0 0 0 17929 74 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27930 0 0 0 18928 75 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27930 0 0 0 19929 75 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 27930 0 0 0 20929 75 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 31444 0 0 0 21922 83 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 47087 0 0 0 22883 122 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 56803 0 0 0 23860 145 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 66871 0 0 0 24837 169 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 80524 0 0 0 25804 202 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 93028 0 0 0 26773 233 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 105820 0 0 0 27742 265 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 130112 0 0 0 28684 324 0 0 25 0 1 0 893787846 109735936 25925 4294967295 134512640 134716908 3221224576 3221223308 134543553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26791 25925 1111 63 0 26728 0
vsize: 107164
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 29673 335 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 30673 335 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 31673 335 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 32674 335 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 33674 335 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 34674 336 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 35675 336 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 36675 336 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 37675 336 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 38676 336 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 134834 0 0 0 39676 336 0 0 25 0 1 0 893787846 114704384 27131 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27131 1111 63 0 27941 0
vsize: 112016
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 135577 0 0 0 40674 338 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 135577 0 0 0 41675 338 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 135577 0 0 0 42675 338 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 135577 0 0 0 43675 338 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 135577 0 0 0 44676 338 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 135577 0 0 0 45676 338 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223124 1077374563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 138251 0 0 0 46669 345 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223304 134675304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 138251 0 0 0 47670 345 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 138251 0 0 0 48670 345 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 139985 0 0 0 49666 349 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 139985 0 0 0 50667 350 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 139985 0 0 0 51667 350 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 140643 0 0 0 52666 351 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 140643 0 0 0 53666 351 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 140643 0 0 0 54666 351 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 147320 0 0 0 55650 369 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 154420 0 0 0 56631 388 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 160827 0 0 0 57616 403 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 167978 0 0 0 58600 420 0 0 25 0 1 0 893787846 116994048 27668 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28563 27673 1111 63 0 28500 0
vsize: 114252
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 177992 0 0 0 59576 444 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 187081 0 0 0 60555 465 0 0 25 0 1 0 893787846 114704384 27138 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28004 27138 1111 63 0 27941 0
vsize: 112016
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 190849 0 0 0 61546 474 0 0 25 0 1 0 893787846 115773440 27381 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28265 27381 1111 63 0 28202 0
vsize: 113060
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 193749 0 0 0 62539 482 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 194980 0 0 0 63536 485 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 196701 0 0 0 64532 489 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 200004 0 0 0 65524 498 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 202922 0 0 0 66517 506 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 206244 0 0 0 67508 515 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+690.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 212630 0 0 0 68493 531 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 218400 0 0 0 69480 544 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+710.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 224627 0 0 0 70465 559 0 0 25 0 1 0 893787846 115802112 27406 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 27406 1111 63 0 28209 0
vsize: 113088
[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 232629 0 0 0 71447 577 0 0 25 0 1 0 893787846 116113408 27482 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28348 27482 1111 63 0 28285 0
vsize: 113392
[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 234215 0 0 0 72444 581 0 0 25 0 1 0 893787846 117264384 27762 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27762 1111 63 0 28566 0
vsize: 114516
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 234215 0 0 0 73444 581 0 0 25 0 1 0 893787846 117264384 27762 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27762 1111 63 0 28566 0
vsize: 114516
[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 236238 0 0 0 74439 587 0 0 25 0 1 0 893787846 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+760.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 236238 0 0 0 75439 587 0 0 25 0 1 0 893787846 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 236406 0 0 0 76439 588 0 0 25 0 1 0 893787846 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+780.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 237906 0 0 0 77436 592 0 0 25 0 1 0 893787846 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 241232 0 0 0 78427 600 0 0 25 0 1 0 893787846 117264384 27763 4294967295 134512640 134716908 3221224576 3221223248 134606864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 244354 0 0 0 79420 608 0 0 25 0 1 0 893787846 117264384 27763 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28629 27763 1111 63 0 28566 0
vsize: 114516
[startup+810.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 247661 0 0 0 80412 616 0 0 25 0 1 0 893787846 117678080 27864 4294967295 134512640 134716908 3221224576 3221223100 1076647536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+820.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 253805 0 0 0 81398 631 0 0 25 0 1 0 893787846 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+830.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 256845 0 0 0 82390 639 0 0 25 0 1 0 893787846 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+840.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 260441 0 0 0 83382 648 0 0 25 0 1 0 893787846 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+850.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 267113 0 0 0 84364 666 0 0 25 0 1 0 893787846 117678080 27864 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28730 27864 1111 63 0 28667 0
vsize: 114920
[startup+860.056 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 270624 0 0 0 85356 675 0 0 25 0 1 0 893787846 118288384 27995 4294967295 134512640 134716908 3221224576 3221223000 1077377891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28879 27995 1111 63 0 28816 0
vsize: 115516
[startup+870.057 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 270630 0 0 0 86356 675 0 0 25 0 1 0 893787846 118288384 28001 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28879 28001 1111 63 0 28816 0
vsize: 115516
[startup+880.057 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 271112 0 0 0 87355 676 0 0 25 0 1 0 893787846 118345728 28027 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28893 28027 1111 63 0 28830 0
vsize: 115572
[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 271122 0 0 0 88355 677 0 0 25 0 1 0 893787846 118345728 28027 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28893 28027 1111 63 0 28830 0
vsize: 115572
[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 271291 0 0 0 89355 677 0 0 25 0 1 0 893787846 118497280 28046 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28930 28046 1111 63 0 28867 0
vsize: 115720
[startup+910.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 276995 0 0 0 90342 690 0 0 25 0 1 0 893787846 118505472 28066 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28932 28066 1111 63 0 28869 0
vsize: 115728
[startup+920.061 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 279949 0 0 0 91335 697 0 0 25 0 1 0 893787846 118505472 28066 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28932 28066 1111 63 0 28869 0
vsize: 115728
[startup+930.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 283403 0 0 0 92327 707 0 0 25 0 1 0 893787846 118505472 28066 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28932 28066 1111 63 0 28869 0
vsize: 115728
[startup+940.062 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 288945 0 0 0 93313 720 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+950.063 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 288945 0 0 0 94314 720 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223376 134617627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+960.065 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 288945 0 0 0 95314 720 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+970.066 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 289025 0 0 0 96314 721 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+980.067 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 289115 0 0 0 97314 721 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+990.068 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 289115 0 0 0 98315 721 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 289115 0 0 0 99315 721 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 289115 0 0 0 100315 722 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 289115 0 0 0 101315 722 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 290859 0 0 0 102312 725 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 290859 0 0 0 103312 726 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 290859 0 0 0 104313 726 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 290859 0 0 0 105313 726 0 0 25 0 1 0 893787846 120291328 28502 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29368 28502 1111 63 0 29305 0
vsize: 117472
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 297394 0 0 0 106297 742 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 297394 0 0 0 107297 742 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 297394 0 0 0 108298 742 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 299030 0 0 0 109295 746 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 299030 0 0 0 110295 746 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 299030 0 0 0 111295 746 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 300938 0 0 0 112291 751 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 300938 0 0 0 113291 751 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15331
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 300938 0 0 0 114291 751 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15384
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 301294 0 0 0 115282 760 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15384
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 301294 0 0 0 116282 760 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15384
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 301294 0 0 0 117283 761 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15384
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 302526 0 0 0 118280 764 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 15384
Raw data (stat): 15331 (bsolo_lpr-v2) R 15330 25568 25567 0 -1 0 303612 0 0 0 119277 767 0 0 25 0 1 0 893787846 121184256 28720 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29586 28720 1111 63 0 29523 0
vsize: 118344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 15384
Raw data (stat): 15331 (bsolo_lpr-v2) Z 15330 25568 25567 0 -1 1036 303612 0 0 0 119277 772 0 0 25 0 1 0 893787846 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.14
CPU time (s): 1200.5
CPU user time (s): 1192.78
CPU system time (s): 7.72583
CPU usage (%): 100.03
Max. virtual memory (Kb): 118344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####