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-3.opb
MD5SUM	b3a3f977e810fc2043ea057a8d94a7d8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-34
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.07
Number of variables	945
Total number of constraints	58245
Number of constraints which are clauses	58245
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 39707

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 17:12:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27773 boxname=wulflinc5 idbench=331 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb45-21-3.opb
IDLAUNCH: 27773
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        895000 kB
Buffers:         33688 kB
Cached:          81444 kB
SwapCached:        604 kB
Active:          27032 kB
Inactive:        90192 kB
HighTotal:      131008 kB
HighFree:       104160 kB
LowTotal:       903652 kB
LowFree:        790840 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16892 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:32:45 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27773 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58245 constraints.
c After prepocess the problem consists of 945 variables and 38487 constraints.
c preprocess terminated 373.911 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.92 0.98 0.94 1/54 6804
Raw data (stat): 6804 (runsolver) R 6803 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894700132 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 17666 0 0 0 948 48 0 0 25 0 1 0 894700132 75493376 17583 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18431 17583 1111 63 0 18368 0
vsize: 73724
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 20777 0 0 0 1941 56 0 0 25 0 1 0 894700132 83685376 19585 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20431 19585 1111 63 0 20368 0
vsize: 81724
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 2940 57 0 0 25 0 1 0 894700132 84971520 19888 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20745 19888 1111 63 0 20682 0
vsize: 82980
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 3940 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 4940 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 5940 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 6941 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 7941 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 8941 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223096 134542961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 9941 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 10941 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222956 134539208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 11941 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 12942 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 13942 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222984 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 14942 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 15942 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 16942 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 17942 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222940 134539270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 18943 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 19943 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 20943 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 21943 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 22943 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21283 0 0 0 23943 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 24944 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 25944 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 26944 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 27944 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 28944 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 29945 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 30945 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223232 134627219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 31945 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 32945 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 33945 57 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21411 0 0 0 34945 58 0 0 25 0 1 0 894700132 84668416 19837 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20671 19837 1111 63 0 20608 0
vsize: 82684
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21528 0 0 0 35945 58 0 0 25 0 1 0 894700132 85143552 19954 4294967295 134512640 134716908 3221224576 3221223352 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20787 19954 1111 63 0 20724 0
vsize: 83148
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21528 0 0 0 36945 58 0 0 25 0 1 0 894700132 85143552 19954 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20787 19954 1111 63 0 20724 0
vsize: 83148
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 21977 0 0 0 37942 61 0 0 25 0 1 0 894700132 87470080 20403 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21355 20403 1111 63 0 21292 0
vsize: 85420
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22025 0 0 0 38940 63 0 0 25 0 1 0 894700132 87642112 20451 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21397 20451 1111 63 0 21334 0
vsize: 85588
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22062 0 0 0 39939 64 0 0 25 0 1 0 894700132 87769088 20488 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21428 20488 1111 63 0 21365 0
vsize: 85712
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22161 0 0 0 40938 66 0 0 25 0 1 0 894700132 88145920 20587 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21520 20587 1111 63 0 21457 0
vsize: 86080
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22183 0 0 0 41937 66 0 0 25 0 1 0 894700132 88231936 20609 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21541 20609 1111 63 0 21478 0
vsize: 86164
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22225 0 0 0 42937 67 0 0 25 0 1 0 894700132 88375296 20651 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21576 20651 1111 63 0 21513 0
vsize: 86304
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22248 0 0 0 43936 67 0 0 25 0 1 0 894700132 88461312 20674 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21597 20674 1111 63 0 21534 0
vsize: 86388
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22267 0 0 0 44936 68 0 0 25 0 1 0 894700132 88535040 20693 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21615 20693 1111 63 0 21552 0
vsize: 86460
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22356 0 0 0 45936 69 0 0 25 0 1 0 894700132 88862720 20782 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21695 20782 1111 63 0 21632 0
vsize: 86780
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22374 0 0 0 46935 69 0 0 25 0 1 0 894700132 88932352 20800 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21712 20800 1111 63 0 21649 0
vsize: 86848
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22392 0 0 0 47935 70 0 0 25 0 1 0 894700132 89006080 20818 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21730 20818 1111 63 0 21667 0
vsize: 86920
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22409 0 0 0 48935 70 0 0 25 0 1 0 894700132 89071616 20835 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21746 20835 1111 63 0 21683 0
vsize: 86984
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22451 0 0 0 49934 71 0 0 25 0 1 0 894700132 89055232 20837 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21742 20837 1111 63 0 21679 0
vsize: 86968
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22465 0 0 0 50934 72 0 0 25 0 1 0 894700132 89108480 20851 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21755 20851 1111 63 0 21692 0
vsize: 87020
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22480 0 0 0 51933 72 0 0 25 0 1 0 894700132 89165824 20866 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21769 20866 1111 63 0 21706 0
vsize: 87076
[startup+530.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22492 0 0 0 52932 73 0 0 25 0 1 0 894700132 89214976 20878 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21781 20878 1111 63 0 21718 0
vsize: 87124
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22506 0 0 0 53932 74 0 0 25 0 1 0 894700132 89268224 20892 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21794 20892 1111 63 0 21731 0
vsize: 87176
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22519 0 0 0 54932 74 0 0 25 0 1 0 894700132 89317376 20905 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21806 20905 1111 63 0 21743 0
vsize: 87224
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22633 0 0 0 55931 75 0 0 25 0 1 0 894700132 89784320 21019 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21920 21019 1111 63 0 21857 0
vsize: 87680
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22644 0 0 0 56931 75 0 0 25 0 1 0 894700132 89825280 21030 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21930 21030 1111 63 0 21867 0
vsize: 87720
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22657 0 0 0 57931 75 0 0 25 0 1 0 894700132 89874432 21043 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21942 21043 1111 63 0 21879 0
vsize: 87768
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22668 0 0 0 58931 76 0 0 25 0 1 0 894700132 89919488 21054 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21953 21054 1111 63 0 21890 0
vsize: 87812
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22681 0 0 0 59931 76 0 0 25 0 1 0 894700132 89968640 21067 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21965 21067 1111 63 0 21902 0
vsize: 87860
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22692 0 0 0 60930 77 0 0 25 0 1 0 894700132 90013696 21078 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21976 21078 1111 63 0 21913 0
vsize: 87904
[startup+620.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22704 0 0 0 61930 77 0 0 25 0 1 0 894700132 90058752 21090 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21987 21090 1111 63 0 21924 0
vsize: 87948
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22717 0 0 0 62930 77 0 0 25 0 1 0 894700132 90107904 21103 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21999 21103 1111 63 0 21936 0
vsize: 87996
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22728 0 0 0 63929 78 0 0 25 0 1 0 894700132 90152960 21114 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22010 21114 1111 63 0 21947 0
vsize: 88040
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22871 0 0 0 64929 79 0 0 25 0 1 0 894700132 90734592 21257 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22152 21257 1111 63 0 22089 0
vsize: 88608
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22882 0 0 0 65929 80 0 0 25 0 1 0 894700132 90779648 21268 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22163 21268 1111 63 0 22100 0
vsize: 88652
[startup+670.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22893 0 0 0 66928 80 0 0 25 0 1 0 894700132 90820608 21279 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22173 21279 1111 63 0 22110 0
vsize: 88692
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22904 0 0 0 67928 80 0 0 25 0 1 0 894700132 90865664 21290 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22184 21290 1111 63 0 22121 0
vsize: 88736
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22914 0 0 0 68928 81 0 0 25 0 1 0 894700132 90902528 21300 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22193 21300 1111 63 0 22130 0
vsize: 88772
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22926 0 0 0 69928 81 0 0 25 0 1 0 894700132 90951680 21312 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22205 21312 1111 63 0 22142 0
vsize: 88820
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22937 0 0 0 70928 81 0 0 25 0 1 0 894700132 90992640 21323 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22215 21323 1111 63 0 22152 0
vsize: 88860
[startup+720.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22946 0 0 0 71928 82 0 0 25 0 1 0 894700132 91029504 21332 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22224 21332 1111 63 0 22161 0
vsize: 88896
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22959 0 0 0 72927 82 0 0 25 0 1 0 894700132 91078656 21345 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22236 21345 1111 63 0 22173 0
vsize: 88944
[startup+740.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22970 0 0 0 73927 83 0 0 25 0 1 0 894700132 91123712 21356 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22247 21356 1111 63 0 22184 0
vsize: 88988
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 22981 0 0 0 74927 83 0 0 25 0 1 0 894700132 91164672 21367 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22257 21367 1111 63 0 22194 0
vsize: 89028
[startup+760.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 30192 0 0 0 75910 100 0 0 25 0 1 0 894700132 119513088 25672 4294967295 134512640 134716908 3221224576 3221220624 1074950918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29178 25672 1111 63 0 29115 0
vsize: 116712
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 30345 0 0 0 76910 100 0 0 25 0 1 0 894700132 119513088 25825 4294967295 134512640 134716908 3221224576 3221220428 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29178 25825 1111 63 0 29115 0
vsize: 116712
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 31752 0 0 0 77907 103 0 0 25 0 1 0 894700132 122331136 27230 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29866 27230 1111 63 0 29803 0
vsize: 119464
[startup+790.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32030 0 0 0 78907 104 0 0 25 0 1 0 894700132 117252096 26246 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26246 1111 63 0 28563 0
vsize: 114504
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32059 0 0 0 79907 104 0 0 25 0 1 0 894700132 117252096 26273 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26273 1111 63 0 28563 0
vsize: 114504
[startup+810.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32079 0 0 0 80907 105 0 0 25 0 1 0 894700132 117252096 26291 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26291 1111 63 0 28563 0
vsize: 114504
[startup+820.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32092 0 0 0 81907 105 0 0 25 0 1 0 894700132 117252096 26304 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26304 1111 63 0 28563 0
vsize: 114504
[startup+830.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32115 0 0 0 82907 105 0 0 25 0 1 0 894700132 117252096 26325 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26325 1111 63 0 28563 0
vsize: 114504
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32139 0 0 0 83907 105 0 0 25 0 1 0 894700132 117252096 26347 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26347 1111 63 0 28563 0
vsize: 114504
[startup+850.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32149 0 0 0 84907 105 0 0 25 0 1 0 894700132 117252096 26355 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26355 1111 63 0 28563 0
vsize: 114504
[startup+860.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32170 0 0 0 85907 105 0 0 25 0 1 0 894700132 117252096 26374 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26374 1111 63 0 28563 0
vsize: 114504
[startup+870.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32173 0 0 0 86907 105 0 0 25 0 1 0 894700132 117252096 26377 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28626 26377 1111 63 0 28563 0
vsize: 114504
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32192 0 0 0 87906 105 0 0 25 0 1 0 894700132 117252096 26394 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26394 1111 63 0 28563 0
vsize: 114504
[startup+890.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32198 0 0 0 88906 105 0 0 25 0 1 0 894700132 117252096 26398 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26398 1111 63 0 28563 0
vsize: 114504
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32206 0 0 0 89907 105 0 0 25 0 1 0 894700132 117252096 26404 4294967295 134512640 134716908 3221224576 3221220492 1074788915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26404 1111 63 0 28563 0
vsize: 114504
[startup+910.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32211 0 0 0 90907 105 0 0 25 0 1 0 894700132 117252096 26407 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26407 1111 63 0 28563 0
vsize: 114504
[startup+920.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32230 0 0 0 91907 105 0 0 25 0 1 0 894700132 117252096 26424 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26424 1111 63 0 28563 0
vsize: 114504
[startup+930.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32234 0 0 0 92907 105 0 0 25 0 1 0 894700132 117252096 26426 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26426 1111 63 0 28563 0
vsize: 114504
[startup+940.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32238 0 0 0 93907 105 0 0 25 0 1 0 894700132 117252096 26428 4294967295 134512640 134716908 3221224576 3221220704 1075895677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26428 1111 63 0 28563 0
vsize: 114504
[startup+950.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32242 0 0 0 94907 106 0 0 25 0 1 0 894700132 117252096 26430 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26430 1111 63 0 28563 0
vsize: 114504
[startup+960.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32262 0 0 0 95907 106 0 0 25 0 1 0 894700132 117563392 26450 4294967295 134512640 134716908 3221224576 3221220944 1075603049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28702 26450 1111 63 0 28639 0
vsize: 114808
[startup+970.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32270 0 0 0 96907 106 0 0 25 0 1 0 894700132 117252096 26456 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 26456 1111 63 0 28563 0
vsize: 114504
[startup+980.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32320 0 0 0 97907 106 0 0 25 0 1 0 894700132 117841920 26504 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26504 1111 63 0 28707 0
vsize: 115080
[startup+990.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32360 0 0 0 98907 107 0 0 25 0 1 0 894700132 117841920 26542 4294967295 134512640 134716908 3221224576 3221220720 1075115704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26542 1111 63 0 28707 0
vsize: 115080
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32361 0 0 0 99907 107 0 0 25 0 1 0 894700132 117841920 26543 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26543 1111 63 0 28707 0
vsize: 115080
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32382 0 0 0 100907 107 0 0 25 0 1 0 894700132 117841920 26562 4294967295 134512640 134716908 3221224576 3221220580 1075964218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26562 1111 63 0 28707 0
vsize: 115080
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32412 0 0 0 101907 107 0 0 25 0 1 0 894700132 117841920 26590 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26590 1111 63 0 28707 0
vsize: 115080
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32420 0 0 0 102907 107 0 0 25 0 1 0 894700132 117841920 26596 4294967295 134512640 134716908 3221224576 3221220704 1075895652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26596 1111 63 0 28707 0
vsize: 115080
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32422 0 0 0 103907 107 0 0 25 0 1 0 894700132 117841920 26596 4294967295 134512640 134716908 3221224576 3221220624 1074969685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26596 1111 63 0 28707 0
vsize: 115080
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32426 0 0 0 104908 107 0 0 25 0 1 0 894700132 117841920 26598 4294967295 134512640 134716908 3221224576 3221220580 1075964282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 26598 1111 63 0 28707 0
vsize: 115080
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32537 0 0 0 105907 108 0 0 25 0 1 0 894700132 118464512 26707 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28922 26707 1111 63 0 28859 0
vsize: 115688
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32572 0 0 0 106907 108 0 0 25 0 1 0 894700132 118464512 26742 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28922 26742 1111 63 0 28859 0
vsize: 115688
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32584 0 0 0 107908 108 0 0 25 0 1 0 894700132 118464512 26752 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28922 26752 1111 63 0 28859 0
vsize: 115688
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32587 0 0 0 108908 108 0 0 25 0 1 0 894700132 118464512 26753 4294967295 134512640 134716908 3221224576 3221220580 1075964244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28922 26753 1111 63 0 28859 0
vsize: 115688
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32594 0 0 0 109908 108 0 0 25 0 1 0 894700132 118464512 26758 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28922 26758 1111 63 0 28859 0
vsize: 115688
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32671 0 0 0 110908 108 0 0 25 0 1 0 894700132 119119872 26833 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26833 1111 63 0 29019 0
vsize: 116328
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32713 0 0 0 111907 109 0 0 25 0 1 0 894700132 119119872 26875 4294967295 134512640 134716908 3221224576 3221220704 1075895670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26875 1111 63 0 29019 0
vsize: 116328
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32720 0 0 0 112908 109 0 0 25 0 1 0 894700132 119119872 26878 4294967295 134512640 134716908 3221224576 3221220688 1074815247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26878 1111 63 0 29019 0
vsize: 116328
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32736 0 0 0 113908 109 0 0 25 0 1 0 894700132 119119872 26892 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26892 1111 63 0 29019 0
vsize: 116328
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32743 0 0 0 114908 109 0 0 25 0 1 0 894700132 119119872 26899 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26899 1111 63 0 29019 0
vsize: 116328
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32752 0 0 0 115908 109 0 0 25 0 1 0 894700132 119119872 26906 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26906 1111 63 0 29019 0
vsize: 116328
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32756 0 0 0 116908 109 0 0 25 0 1 0 894700132 119431168 26908 4294967295 134512640 134716908 3221224576 3221221012 1075863666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29158 26908 1111 63 0 29095 0
vsize: 116632
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32760 0 0 0 117908 109 0 0 25 0 1 0 894700132 119119872 26910 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26910 1111 63 0 29019 0
vsize: 116328
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32767 0 0 0 118909 109 0 0 25 0 1 0 894700132 119119872 26915 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26915 1111 63 0 29019 0
vsize: 116328
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) R 6803 7266 7265 0 -1 0 32781 0 0 0 119909 109 0 0 25 0 1 0 894700132 119119872 26927 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29082 26927 1111 63 0 29019 0
vsize: 116328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.94 1/54 6804
Raw data (stat): 6804 (bsolo_lpr-v2) Z 6803 7266 7265 0 -1 1036 32781 0 0 0 119909 114 0 0 25 0 1 0 894700132 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.24
CPU user time (s): 1199.09
CPU system time (s): 1.14582
CPU usage (%): 100.013
Max. virtual memory (Kb): 119464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####