PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58579
Number of constraints which are clauses	58579
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	2
Maximum length of a constraint	2
Trace number 39709

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 17:18:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27775 boxname=wulflinc2 idbench=333 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-5.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb45-21-5.opb
IDLAUNCH: 27775
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        919464 kB
Buffers:         33932 kB
Cached:          58084 kB
SwapCached:       1484 kB
Active:          25500 kB
Inactive:        68672 kB
HighTotal:      131008 kB
HighFree:        94892 kB
LowTotal:       903652 kB
LowFree:        824572 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            15336 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:38:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 27775 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58579 constraints.
c After prepocess the problem consists of 945 variables and 40840 constraints.
c preprocess terminated 386.147 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.95 0.90 1/54 28580
Raw data (stat): 28580 (runsolver) D 28579 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 894737991 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 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.88 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 19954 0 0 0 940 56 0 0 25 0 1 0 894737991 84000768 19674 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20508 19674 1111 63 0 20445 0
vsize: 82032
[startup+20.0012 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 22123 0 0 0 1934 61 0 0 25 0 1 0 894737991 85749760 20101 4294967295 134512640 134716908 3221224576 3221223080 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20935 20101 1111 63 0 20872 0
vsize: 83740
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27008 0 0 0 2922 73 0 0 25 0 1 0 894737991 105877504 24986 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25849 24986 1111 63 0 25786 0
vsize: 103396
[startup+40.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 3922 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+50.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 4922 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 5922 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 6922 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 7923 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223064 134543628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+90.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 8923 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 9923 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 10923 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 11923 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 12924 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 13924 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 14924 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 15924 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 16924 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 17924 74 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 18923 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 19923 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 20923 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 21923 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223064 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 22923 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 23923 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 24924 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 25924 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223064 134543647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 26924 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 27924 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 28925 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 29925 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 30925 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223224 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 31925 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 32925 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 33926 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 34926 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223236 134627360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27398 0 0 0 35926 75 0 0 25 0 1 0 894737991 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27399 0 0 0 36926 75 0 0 25 0 1 0 894737991 107143168 25325 4294967295 134512640 134716908 3221224576 3221223352 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25325 1111 63 0 26095 0
vsize: 104632
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27399 0 0 0 37926 75 0 0 25 0 1 0 894737991 107143168 25325 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25325 1111 63 0 26095 0
vsize: 104632
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 38926 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222864 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 39926 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 40926 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 41926 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 42927 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 43927 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 44927 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 45927 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 46927 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 47928 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 48928 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 49928 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 50928 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 51928 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 52928 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 53929 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 54929 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 55929 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 56929 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 57929 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 58929 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 59930 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 60930 75 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 61930 76 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 62930 76 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 63930 76 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27420 0 0 0 64930 76 0 0 25 0 1 0 894737991 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27829 0 0 0 65929 77 0 0 25 0 1 0 894737991 108814336 25755 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26566 25755 1111 63 0 26503 0
vsize: 106264
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27840 0 0 0 66929 77 0 0 25 0 1 0 894737991 108859392 25766 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26577 25766 1111 63 0 26514 0
vsize: 106308
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27848 0 0 0 67929 78 0 0 25 0 1 0 894737991 108892160 25774 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26585 25774 1111 63 0 26522 0
vsize: 106340
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27858 0 0 0 68928 78 0 0 25 0 1 0 894737991 108933120 25784 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26595 25784 1111 63 0 26532 0
vsize: 106380
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27866 0 0 0 69928 78 0 0 25 0 1 0 894737991 108965888 25792 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26603 25792 1111 63 0 26540 0
vsize: 106412
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27874 0 0 0 70928 79 0 0 25 0 1 0 894737991 108998656 25800 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26611 25800 1111 63 0 26548 0
vsize: 106444
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27882 0 0 0 71928 79 0 0 25 0 1 0 894737991 109031424 25808 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26619 25808 1111 63 0 26556 0
vsize: 106476
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 27892 0 0 0 72928 80 0 0 25 0 1 0 894737991 109072384 25818 4294967295 134512640 134716908 3221224576 3221222768 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26629 25818 1111 63 0 26566 0
vsize: 106516
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 34212 0 0 0 73913 94 0 0 25 0 1 0 894737991 135958528 29538 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33193 29538 1111 63 0 33130 0
vsize: 132772
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 34385 0 0 0 74913 95 0 0 25 0 1 0 894737991 135958528 29711 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33193 29711 1111 63 0 33130 0
vsize: 132772
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 34986 0 0 0 75911 97 0 0 25 0 1 0 894737991 138940416 30312 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33921 30312 1111 63 0 33858 0
vsize: 135684
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 35850 0 0 0 76910 98 0 0 25 0 1 0 894737991 138940416 31176 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33921 31176 1111 63 0 33858 0
vsize: 135684
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36091 0 0 0 77909 99 0 0 25 0 1 0 894737991 132960256 30084 4294967295 134512640 134716908 3221224576 3221220752 1074961132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32461 30084 1111 63 0 32398 0
vsize: 129844
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36106 0 0 0 78909 100 0 0 25 0 1 0 894737991 132960256 30099 4294967295 134512640 134716908 3221224576 3221220688 1074815259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32461 30099 1111 63 0 32398 0
vsize: 129844
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36121 0 0 0 79909 100 0 0 25 0 1 0 894737991 132960256 30114 4294967295 134512640 134716908 3221224576 3221220640 1075093371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32461 30114 1111 63 0 32398 0
vsize: 129844
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36133 0 0 0 80909 100 0 0 25 0 1 0 894737991 132960256 30126 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32461 30126 1111 63 0 32398 0
vsize: 129844
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36145 0 0 0 81909 100 0 0 25 0 1 0 894737991 132960256 30138 4294967295 134512640 134716908 3221224576 3221220640 1074883504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32461 30138 1111 63 0 32398 0
vsize: 129844
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36231 0 0 0 82909 100 0 0 25 0 1 0 894737991 133562368 30224 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32608 30224 1111 63 0 32545 0
vsize: 130432
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36259 0 0 0 83909 100 0 0 25 0 1 0 894737991 133562368 30252 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32608 30252 1111 63 0 32545 0
vsize: 130432
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36261 0 0 0 84910 100 0 0 25 0 1 0 894737991 133562368 30254 4294967295 134512640 134716908 3221224576 3221220492 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32608 30254 1111 63 0 32545 0
vsize: 130432
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36270 0 0 0 85910 100 0 0 25 0 1 0 894737991 133562368 30263 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32608 30263 1111 63 0 32545 0
vsize: 130432
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36273 0 0 0 86910 100 0 0 25 0 1 0 894737991 133562368 30266 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32608 30266 1111 63 0 32545 0
vsize: 130432
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36316 0 0 0 87910 100 0 0 25 0 1 0 894737991 134184960 30309 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30309 1111 63 0 32697 0
vsize: 131040
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36346 0 0 0 88910 100 0 0 25 0 1 0 894737991 134184960 30339 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30339 1111 63 0 32697 0
vsize: 131040
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36346 0 0 0 89910 100 0 0 25 0 1 0 894737991 134184960 30339 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30339 1111 63 0 32697 0
vsize: 131040
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36353 0 0 0 90910 100 0 0 25 0 1 0 894737991 134184960 30346 4294967295 134512640 134716908 3221224576 3221220704 1075895670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30346 1111 63 0 32697 0
vsize: 131040
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36360 0 0 0 91911 100 0 0 25 0 1 0 894737991 134184960 30353 4294967295 134512640 134716908 3221224576 3221220356 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30353 1111 63 0 32697 0
vsize: 131040
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36371 0 0 0 92911 100 0 0 25 0 1 0 894737991 134184960 30364 4294967295 134512640 134716908 3221224576 3221220440 1075964740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30364 1111 63 0 32697 0
vsize: 131040
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36395 0 0 0 93911 100 0 0 25 0 1 0 894737991 134184960 30388 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30388 1111 63 0 32697 0
vsize: 131040
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36397 0 0 0 94911 100 0 0 25 0 1 0 894737991 134184960 30390 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30390 1111 63 0 32697 0
vsize: 131040
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36408 0 0 0 95911 100 0 0 25 0 1 0 894737991 134184960 30401 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30401 1111 63 0 32697 0
vsize: 131040
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36408 0 0 0 96911 100 0 0 25 0 1 0 894737991 134184960 30401 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30401 1111 63 0 32697 0
vsize: 131040
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36408 0 0 0 97912 100 0 0 25 0 1 0 894737991 134184960 30401 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30401 1111 63 0 32697 0
vsize: 131040
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36426 0 0 0 98912 100 0 0 25 0 1 0 894737991 134184960 30419 4294967295 134512640 134716908 3221224576 3221220608 1075112086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30419 1111 63 0 32697 0
vsize: 131040
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36427 0 0 0 99912 100 0 0 25 0 1 0 894737991 134184960 30420 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30420 1111 63 0 32697 0
vsize: 131040
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36432 0 0 0 100912 100 0 0 25 0 1 0 894737991 134184960 30425 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30425 1111 63 0 32697 0
vsize: 131040
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36440 0 0 0 101912 100 0 0 25 0 1 0 894737991 134184960 30433 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30433 1111 63 0 32697 0
vsize: 131040
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36452 0 0 0 102912 100 0 0 25 0 1 0 894737991 134184960 30445 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30445 1111 63 0 32697 0
vsize: 131040
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36481 0 0 0 103912 101 0 0 25 0 1 0 894737991 134184960 30474 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30474 1111 63 0 32697 0
vsize: 131040
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36487 0 0 0 104912 101 0 0 25 0 1 0 894737991 134184960 30480 4294967295 134512640 134716908 3221224576 3221221408 1075960291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30480 1111 63 0 32697 0
vsize: 131040
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36492 0 0 0 105912 101 0 0 25 0 1 0 894737991 134184960 30485 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30485 1111 63 0 32697 0
vsize: 131040
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36492 0 0 0 106912 101 0 0 25 0 1 0 894737991 134184960 30485 4294967295 134512640 134716908 3221224576 3221220752 1074961246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30485 1111 63 0 32697 0
vsize: 131040
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36532 0 0 0 107913 101 0 0 25 0 1 0 894737991 134184960 30525 4294967295 134512640 134716908 3221224576 3221220752 1074961487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30525 1111 63 0 32697 0
vsize: 131040
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36547 0 0 0 108913 101 0 0 25 0 1 0 894737991 134184960 30540 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 30540 1111 63 0 32697 0
vsize: 131040
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36652 0 0 0 109913 101 0 0 25 0 1 0 894737991 134844416 30645 4294967295 134512640 134716908 3221224576 3221220816 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30645 1111 63 0 32858 0
vsize: 131684
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36678 0 0 0 110913 101 0 0 25 0 1 0 894737991 134844416 30671 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30671 1111 63 0 32858 0
vsize: 131684
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36678 0 0 0 111913 101 0 0 25 0 1 0 894737991 134844416 30671 4294967295 134512640 134716908 3221224576 3221220480 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30671 1111 63 0 32858 0
vsize: 131684
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36679 0 0 0 112913 101 0 0 25 0 1 0 894737991 134844416 30672 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30672 1111 63 0 32858 0
vsize: 131684
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36689 0 0 0 113913 101 0 0 25 0 1 0 894737991 134844416 30682 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30682 1111 63 0 32858 0
vsize: 131684
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36698 0 0 0 114913 101 0 0 25 0 1 0 894737991 134844416 30691 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30691 1111 63 0 32858 0
vsize: 131684
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36698 0 0 0 115914 101 0 0 25 0 1 0 894737991 134844416 30691 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30691 1111 63 0 32858 0
vsize: 131684
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36698 0 0 0 116914 101 0 0 25 0 1 0 894737991 134844416 30691 4294967295 134512640 134716908 3221224576 3221220752 1074961157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30691 1111 63 0 32858 0
vsize: 131684
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36698 0 0 0 117914 101 0 0 25 0 1 0 894737991 134844416 30691 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30691 1111 63 0 32858 0
vsize: 131684
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36704 0 0 0 118914 101 0 0 25 0 1 0 894737991 134844416 30697 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32921 30697 1111 63 0 32858 0
vsize: 131684
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) R 28579 31399 31398 0 -1 0 36739 0 0 0 119914 102 0 0 25 0 1 0 894737991 135532544 30732 4294967295 134512640 134716908 3221224576 3221221136 1075967765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33089 30732 1111 63 0 33026 0
vsize: 132356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28580
Raw data (stat): 28580 (bsolo_lpr-v2) Z 28579 31399 31398 0 -1 1036 36739 0 0 0 119914 107 0 0 25 0 1 0 894737991 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.08
CPU time (s): 1200.23
CPU user time (s): 1199.15
CPU system time (s): 1.07784
CPU usage (%): 100.012
Max. virtual memory (Kb): 135684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####