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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-gen.opb
MD5SUM	56b5875081183b5ab8f7e29cbac05646
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.112982
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 40283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 05:48:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28342 boxname=wulflinc6 idbench=1298 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  56b5875081183b5ab8f7e29cbac05646  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 28342
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912140 kB
Buffers:         11244 kB
Cached:          89716 kB
SwapCached:        972 kB
Active:          25872 kB
Inactive:        77192 kB
HighTotal:      131008 kB
HighFree:        76440 kB
LowTotal:       903652 kB
LowFree:        835700 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13780 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:08:21 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28342 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12846 variables and 1008 constraints.
c After prepocess the problem consists of 8035 variables and 1863 constraints.
c preprocess terminated 631.512 s
c Initial Lower Bound: -3677
c Lower Bound Elapsed time: 1.00825
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 0.95 0.90 2/54 26315
Raw data (stat): 26315 (runsolver) R 26314 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899236103 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 3569 0 0 0 988 9 0 0 25 0 1 0 899236103 27459584 3489 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6704 3489 1111 63 0 6641 0
vsize: 26816
[startup+20.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 11607 0 0 0 1968 29 0 0 25 0 1 0 899236103 60379136 11527 4294967295 134512640 134716908 3221224576 3221222832 1077314177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14741 11527 1111 63 0 14678 0
vsize: 58964
[startup+30.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 2950 47 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 3950 48 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 4950 48 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 5949 48 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 6949 49 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+80.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 7949 49 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 8948 50 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+100.004 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 9948 50 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+110.005 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 10948 50 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+120.005 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 11947 51 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+130.006 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 12947 51 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223212 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+140.007 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 13947 51 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+150.006 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 14947 52 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+160.007 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 15946 52 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+170.008 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 16946 52 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+180.008 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 17946 53 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+190.009 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 18946 53 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+200.009 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 19946 53 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+210.009 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 20946 53 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+220.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 21946 53 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+230.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 22946 53 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+240.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 23945 54 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+250.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 24945 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+260.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 25945 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+270.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 26945 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+280.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 27945 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+290.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 28945 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+300.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 29945 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+310.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 30946 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+320.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 31946 55 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+330.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 32946 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+340.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 33947 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+350.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 34947 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+360.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 35947 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+370.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 36948 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+380.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 37948 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+390.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 38948 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+400.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 18136 0 0 0 39949 56 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+410.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 81354 0 0 0 40777 228 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+420.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 158970 0 0 0 41561 444 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+430.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 236541 0 0 0 42342 664 0 0 25 0 1 0 899236103 77176832 17920 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18842 17926 1111 63 0 18779 0
vsize: 75368
[startup+440.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 313931 0 0 0 43124 882 0 0 25 0 1 0 899236103 76251136 17694 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18616 17700 1111 63 0 18553 0
vsize: 74464
[startup+450.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 391524 0 0 0 43906 1100 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+460.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 469140 0 0 0 44685 1321 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+470.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 546726 0 0 0 45471 1536 0 0 25 0 1 0 899236103 77332480 17935 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18880 17941 1111 63 0 18817 0
vsize: 75520
[startup+480.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 624127 0 0 0 46253 1754 0 0 25 0 1 0 899236103 76406784 17720 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18654 17726 1111 63 0 18591 0
vsize: 74616
[startup+490.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 701694 0 0 0 47038 1970 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+500.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 779310 0 0 0 47825 2183 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+510.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 856926 0 0 0 48605 2404 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+520.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 935261 0 0 0 49389 2619 0 0 25 0 1 0 899236103 76713984 17802 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18729 17802 1111 63 0 18666 0
vsize: 74916
[startup+530.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1013040 0 0 0 50170 2839 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+540.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1090656 0 0 0 50953 3056 0 0 25 0 1 0 899236103 77332480 17965 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18880 17965 1111 63 0 18817 0
vsize: 75520
[startup+550.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1168213 0 0 0 51733 3277 0 0 25 0 1 0 899236103 77176832 17906 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18842 17912 1111 63 0 18779 0
vsize: 75368
[startup+560.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1245730 0 0 0 52516 3493 0 0 25 0 1 0 899236103 76713984 17807 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18729 17813 1111 63 0 18666 0
vsize: 74916
[startup+570.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1323281 0 0 0 53299 3711 0 0 25 0 1 0 899236103 76558336 17742 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18691 17748 1111 63 0 18628 0
vsize: 74764
[startup+580.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1336146 0 0 0 54262 3748 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+590.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1336146 0 0 0 55263 3748 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+600.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1336146 0 0 0 56263 3748 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+610.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1336146 0 0 0 57263 3748 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+620.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1336146 0 0 0 58264 3748 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+630.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1336146 0 0 0 59264 3748 0 0 25 0 1 0 899236103 76099584 17671 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17671 1111 63 0 18516 0
vsize: 74316
[startup+640.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1340006 0 0 0 60256 3757 0 0 25 0 1 0 899236103 76451840 17900 4294967295 134512640 134716908 3221224576 3221223436 134600261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18665 17900 1111 63 0 18602 0
vsize: 74660
[startup+650.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1340008 0 0 0 61256 3757 0 0 25 0 1 0 899236103 76451840 17902 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18665 17902 1111 63 0 18602 0
vsize: 74660
[startup+660.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1340012 0 0 0 62255 3758 0 0 25 0 1 0 899236103 76451840 17906 4294967295 134512640 134716908 3221224576 3221223436 134600261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18665 17906 1111 63 0 18602 0
vsize: 74660
[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 26315
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1340802 0 0 0 63251 3762 0 0 25 0 1 0 899236103 79695872 18696 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19457 18696 1111 63 0 19394 0
vsize: 77828
[startup+680.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 26316
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1342145 0 0 0 64247 3767 0 0 25 0 1 0 899236103 85237760 20039 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 20039 1111 63 0 20747 0
vsize: 83240
[startup+690.025 s]
Raw data (loadavg): 1.15 1.01 0.93 2/58 26358
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1343467 0 0 0 65242 3772 0 0 25 0 1 0 899236103 90644480 21361 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22130 21361 1111 63 0 22067 0
vsize: 88520
[startup+700.025 s]
Raw data (loadavg): 1.29 1.05 0.94 2/54 26368
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1344658 0 0 0 66237 3777 0 0 25 0 1 0 899236103 95526912 22550 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23322 22550 1111 63 0 23259 0
vsize: 93288
[startup+710.026 s]
Raw data (loadavg): 1.24 1.04 0.94 2/54 26368
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1345686 0 0 0 67235 3780 0 0 25 0 1 0 899236103 99852288 23577 4294967295 134512640 134716908 3221224576 3221223032 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24378 23577 1111 63 0 24315 0
vsize: 97512
[startup+720.026 s]
Raw data (loadavg): 1.21 1.04 0.94 2/54 26368
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1346668 0 0 0 68233 3782 0 0 25 0 1 0 899236103 103792640 24558 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25340 24558 1111 63 0 25277 0
vsize: 101360
[startup+730.027 s]
Raw data (loadavg): 1.17 1.04 0.94 2/54 26368
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1347682 0 0 0 69230 3785 0 0 25 0 1 0 899236103 107982848 25572 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26363 25572 1111 63 0 26300 0
vsize: 105452
[startup+740.027 s]
Raw data (loadavg): 1.15 1.04 0.94 2/54 26368
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1348620 0 0 0 70228 3788 0 0 25 0 1 0 899236103 111767552 26510 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27287 26510 1111 63 0 27224 0
vsize: 109148
[startup+750.027 s]
Raw data (loadavg): 1.12 1.04 0.94 2/54 26368
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1349646 0 0 0 71224 3792 0 0 25 0 1 0 899236103 115974144 27536 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28314 27536 1111 63 0 28251 0
vsize: 113256
[startup+760.028 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1350643 0 0 0 72221 3795 0 0 25 0 1 0 899236103 120168448 28532 4294967295 134512640 134716908 3221224576 3221223280 134528625 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29338 28532 1111 63 0 29275 0
vsize: 117352
[startup+770.028 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1351733 0 0 0 73218 3798 0 0 25 0 1 0 899236103 124628992 29622 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30427 29622 1111 63 0 30364 0
vsize: 121708
[startup+780.028 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1352589 0 0 0 74215 3802 0 0 25 0 1 0 899236103 128204800 30475 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31300 30475 1111 63 0 31237 0
vsize: 125200
[startup+790.028 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1353545 0 0 0 75212 3805 0 0 25 0 1 0 899236103 132145152 31429 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32262 31429 1111 63 0 32199 0
vsize: 129048
[startup+800.029 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1354600 0 0 0 76210 3808 0 0 25 0 1 0 899236103 136343552 32484 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33287 32484 1111 63 0 33224 0
vsize: 133148
[startup+810.029 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1355608 0 0 0 77208 3810 0 0 25 0 1 0 899236103 140533760 33492 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34310 33492 1111 63 0 34247 0
vsize: 137240
[startup+820.029 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1356692 0 0 0 78205 3813 0 0 25 0 1 0 899236103 144994304 34576 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35399 34576 1111 63 0 35336 0
vsize: 141596
[startup+830.03 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1357695 0 0 0 79202 3816 0 0 25 0 1 0 899236103 149073920 35578 4294967295 134512640 134716908 3221224576 3221222684 134699452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36395 35578 1111 63 0 36332 0
vsize: 145580
[startup+840.03 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1358797 0 0 0 80199 3820 0 0 25 0 1 0 899236103 153587712 36676 4294967295 134512640 134716908 3221224576 3221223336 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37497 36676 1111 63 0 37434 0
vsize: 149988
[startup+850.03 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1359691 0 0 0 81197 3822 0 0 25 0 1 0 899236103 157302784 37567 4294967295 134512640 134716908 3221224576 3221223032 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38404 37567 1111 63 0 38341 0
vsize: 153616
[startup+860.03 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1360594 0 0 0 82195 3825 0 0 25 0 1 0 899236103 161120256 38464 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39336 38464 1111 63 0 39273 0
vsize: 157344
[startup+870.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1361448 0 0 0 83192 3828 0 0 25 0 1 0 899236103 164634624 39318 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40194 39318 1111 63 0 40131 0
vsize: 160776
[startup+880.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1362189 0 0 0 84190 3831 0 0 25 0 1 0 899236103 167649280 40055 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40930 40055 1111 63 0 40867 0
vsize: 163720
[startup+890.032 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1362872 0 0 0 85188 3833 0 0 25 0 1 0 899236103 170487808 40738 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41623 40738 1111 63 0 41560 0
vsize: 166492
[startup+900.032 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1363581 0 0 0 86186 3835 0 0 25 0 1 0 899236103 173326336 41447 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42316 41447 1111 63 0 42253 0
vsize: 169264
[startup+910.032 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1364157 0 0 0 87184 3837 0 0 25 0 1 0 899236103 175767552 42023 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42912 42023 1111 63 0 42849 0
vsize: 171648
[startup+920.032 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1364816 0 0 0 88183 3839 0 0 25 0 1 0 899236103 178475008 42682 4294967295 134512640 134716908 3221224576 3221223320 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43573 42682 1111 63 0 43510 0
vsize: 174292
[startup+930.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1365552 0 0 0 89182 3841 0 0 25 0 1 0 899236103 181497856 43415 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44311 43415 1111 63 0 44248 0
vsize: 177244
[startup+940.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1366343 0 0 0 90180 3842 0 0 25 0 1 0 899236103 184741888 44206 4294967295 134512640 134716908 3221224576 3221223036 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45103 44206 1111 63 0 45040 0
vsize: 180412
[startup+950.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1367326 0 0 0 91178 3845 0 0 25 0 1 0 899236103 188796928 45188 4294967295 134512640 134716908 3221224576 3221223400 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46093 45188 1111 63 0 46030 0
vsize: 184372
[startup+960.033 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1368378 0 0 0 92175 3848 0 0 25 0 1 0 899236103 192987136 46240 4294967295 134512640 134716908 3221224576 3221223136 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47116 46240 1111 63 0 47053 0
vsize: 188464
[startup+970.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1368826 0 0 0 93173 3850 0 0 25 0 1 0 899236103 194813952 46682 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47562 46682 1111 63 0 47499 0
vsize: 190248
[startup+980.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1369521 0 0 0 94171 3853 0 0 25 0 1 0 899236103 197718016 47367 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48271 47367 1111 63 0 48208 0
vsize: 193084
[startup+990.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1370245 0 0 0 95169 3856 0 0 25 0 1 0 899236103 200736768 48091 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49008 48091 1111 63 0 48945 0
vsize: 196032
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26370
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1371138 0 0 0 96166 3859 0 0 25 0 1 0 899236103 204386304 48984 4294967295 134512640 134716908 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49899 48984 1111 63 0 49836 0
vsize: 199596
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1372004 0 0 0 97165 3861 0 0 25 0 1 0 899236103 207966208 49846 4294967295 134512640 134716908 3221224576 3221223336 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50773 49846 1111 63 0 50710 0
vsize: 203092
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1372845 0 0 0 98162 3863 0 0 25 0 1 0 899236103 211480576 50687 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51631 50687 1111 63 0 51568 0
vsize: 206524
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1373796 0 0 0 99159 3867 0 0 25 0 1 0 899236103 215400448 51638 4294967295 134512640 134716908 3221224576 3221223412 134600243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52588 51638 1111 63 0 52525 0
vsize: 210352
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1374644 0 0 0 100157 3869 0 0 25 0 1 0 899236103 218779648 52486 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53413 52486 1111 63 0 53350 0
vsize: 213652
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1375405 0 0 0 101155 3872 0 0 25 0 1 0 899236103 221917184 53243 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54179 53243 1111 63 0 54116 0
vsize: 216716
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1376183 0 0 0 102153 3874 0 0 25 0 1 0 899236103 225169408 54021 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54973 54021 1111 63 0 54910 0
vsize: 219892
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1377097 0 0 0 103150 3878 0 0 25 0 1 0 899236103 228954112 54935 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55897 54935 1111 63 0 55834 0
vsize: 223588
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1377917 0 0 0 104148 3880 0 0 25 0 1 0 899236103 232398848 55746 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56738 55746 1111 63 0 56675 0
vsize: 226952
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1378719 0 0 0 105146 3882 0 0 25 0 1 0 899236103 235642880 56548 4294967295 134512640 134716908 3221224576 3221223232 134523862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57530 56548 1111 63 0 57467 0
vsize: 230120
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1379544 0 0 0 106143 3885 0 0 25 0 1 0 899236103 239022080 57373 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58355 57373 1111 63 0 58292 0
vsize: 233420
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1380432 0 0 0 107141 3888 0 0 25 0 1 0 899236103 242671616 58261 4294967295 134512640 134716908 3221224576 3221223456 134577104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59246 58261 1111 63 0 59183 0
vsize: 236984
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1381440 0 0 0 108138 3892 0 0 25 0 1 0 899236103 246726656 59269 4294967295 134512640 134716908 3221224576 3221223376 134597645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60236 59269 1111 63 0 60173 0
vsize: 240944
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1382066 0 0 0 109136 3894 0 0 25 0 1 0 899236103 249438208 59881 4294967295 134512640 134716908 3221224576 3221223188 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60898 59881 1111 63 0 60835 0
vsize: 243592
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1382676 0 0 0 110134 3896 0 0 25 0 1 0 899236103 251875328 60491 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61493 60491 1111 63 0 61430 0
vsize: 245972
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1383402 0 0 0 111132 3898 0 0 25 0 1 0 899236103 254885888 61216 4294967295 134512640 134716908 3221224576 3221223032 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62228 61216 1111 63 0 62165 0
vsize: 248912
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1384288 0 0 0 112130 3901 0 0 25 0 1 0 899236103 258535424 62101 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63119 62101 1111 63 0 63056 0
vsize: 252476
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1385088 0 0 0 113127 3904 0 0 25 0 1 0 899236103 261804032 62897 4294967295 134512640 134716908 3221224576 3221223404 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63917 62897 1111 63 0 63854 0
vsize: 255668
[startup+1174.85 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 26372
Raw data (stat): 26315 (bsolo_lpr-v2) R 26314 25568 25567 0 -1 0 1385088 0 0 0 113127 3904 0 0 25 0 1 0 899236103 261804032 62897 4294967295 134512640 134716908 3221224576 3221223404 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63917 62897 1111 63 0 63854 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.13
CPU user time (s): 1135.97
CPU system time (s): 39.164
CPU usage (%): 100.024
Max. virtual memory (Kb): 255668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####