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/miplib3/normalized-mps-v2-13-7-gen.opb
MD5SUM	650632b92fbb7592f9a040d6375b78e9
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.116981
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 27122

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 19:20:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18370 boxname=wulflinc12 idbench=1414 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  650632b92fbb7592f9a040d6375b78e9  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 18370
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        770104 kB
Buffers:         36712 kB
Cached:         206840 kB
SwapCached:        568 kB
Active:          67844 kB
Inactive:       178100 kB
HighTotal:      131008 kB
HighFree:         3164 kB
LowTotal:       903652 kB
LowFree:        766940 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12996 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:39:40 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 18370 7 1175.11 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 1894 constraints.
c preprocess terminated 608.92 s
c Initial Lower Bound: -3677
c Lower Bound Elapsed time: 1.79125
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
Raw data (loadavg): 0.84 0.93 0.91 2/54 3186
Raw data (stat): 3186 (runsolver) R 3185 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774481540 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.93 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 3940 0 0 0 988 9 0 0 25 0 1 0 774481540 29016064 3864 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7084 3864 1111 63 0 7021 0
vsize: 28336
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 11862 0 0 0 1970 27 0 0 25 0 1 0 774481540 61460480 11786 4294967295 134512640 134714508 3221224592 3221221068 1077198804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15005 11786 1111 63 0 14942 0
vsize: 60020
[startup+30.0018 s]
Raw data (loadavg): 0.90 0.93 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 2955 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+40.002 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 3954 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 4955 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+60.003 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 5955 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 6955 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223076 1077374057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 7955 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223144 1077377712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 8955 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 9955 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+110.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 10956 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 11956 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 12956 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 13956 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 14956 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 15956 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+170.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 16957 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 17957 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 18957 41 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 19957 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 20957 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 21957 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 22958 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 23958 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 24958 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 25958 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 26958 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 27959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 28959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 29959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 30959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+320.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 31959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 32959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 33959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 34959 42 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 35959 43 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 36959 43 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 18133 0 0 0 37959 43 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 34719 0 0 0 38919 83 0 0 25 0 1 0 774481540 77795328 18056 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18993 18063 1111 63 0 18930 0
vsize: 75972
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 114291 0 0 0 39725 277 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 196317 0 0 0 40527 475 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223392 134617611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 278343 0 0 0 41322 681 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 360369 0 0 0 42120 882 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 442395 0 0 0 42919 1084 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 524421 0 0 0 43718 1285 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 606447 0 0 0 44516 1488 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 688473 0 0 0 45316 1688 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223028 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 770499 0 0 0 46114 1890 0 0 25 0 1 0 774481540 77332480 17966 4294967295 134512640 134714508 3221224592 3221223320 134672921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18880 17966 1111 63 0 18817 0
vsize: 75520
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 852495 0 0 0 46911 2093 0 0 25 0 1 0 774481540 77332480 17936 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18880 17942 1111 63 0 18817 0
vsize: 75520
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 934494 0 0 0 47709 2295 0 0 25 0 1 0 774481540 77176832 17909 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18842 17915 1111 63 0 18779 0
vsize: 75368
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1016503 0 0 0 48510 2495 0 0 25 0 1 0 774481540 77176832 17892 4294967295 134512640 134714508 3221224592 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18842 17898 1111 63 0 18779 0
vsize: 75368
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1098527 0 0 0 49310 2695 0 0 25 0 1 0 774481540 77021184 17890 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18842 17896 1111 63 0 18779 0
vsize: 75216
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1180588 0 0 0 50106 2898 0 0 25 0 1 0 774481540 77176832 17925 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18880 17929 1111 63 0 18817 0
vsize: 75368
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1262561 0 0 0 50908 3097 0 0 25 0 1 0 774481540 77021184 17872 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18804 17878 1111 63 0 18741 0
vsize: 75216
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1336155 0 0 0 51727 3279 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1336155 0 0 0 52727 3279 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1336155 0 0 0 53727 3279 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1336155 0 0 0 54727 3279 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1336155 0 0 0 55727 3279 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1336155 0 0 0 56727 3279 0 0 25 0 1 0 774481540 76099584 17672 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 17672 1111 63 0 18516 0
vsize: 74316
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1336178 0 0 0 57728 3279 0 0 25 0 1 0 774481540 76099584 17695 4294967295 134512640 134714508 3221224592 3221222800 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17695 1111 63 0 18516 0
vsize: 74316
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341246 0 0 0 58716 3290 0 0 25 0 1 0 774481540 77324288 18121 4294967295 134512640 134714508 3221224592 3221223360 134597631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18121 1111 63 0 18815 0
vsize: 75512
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341248 0 0 0 59715 3291 0 0 25 0 1 0 774481540 77324288 18123 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18123 1111 63 0 18815 0
vsize: 75512
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 60715 3292 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 61715 3292 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 62715 3292 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 63715 3292 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 64714 3293 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223472 134577104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 65714 3293 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 66714 3294 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 67714 3294 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 68713 3295 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341249 0 0 0 69713 3295 0 0 25 0 1 0 774481540 77324288 18124 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18124 1111 63 0 18815 0
vsize: 75512
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341251 0 0 0 70713 3295 0 0 25 0 1 0 774481540 77324288 18126 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18126 1111 63 0 18815 0
vsize: 75512
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341255 0 0 0 71712 3296 0 0 25 0 1 0 774481540 77324288 18130 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18878 18130 1111 63 0 18815 0
vsize: 75512
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1341905 0 0 0 72709 3299 0 0 25 0 1 0 774481540 80027648 18780 4294967295 134512640 134714508 3221224592 3221223416 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19538 18780 1111 63 0 19475 0
vsize: 78152
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1343143 0 0 0 73706 3302 0 0 25 0 1 0 774481540 85164032 20018 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20792 20018 1111 63 0 20729 0
vsize: 83168
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1344134 0 0 0 74703 3305 0 0 25 0 1 0 774481540 89219072 21009 4294967295 134512640 134714508 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21782 21009 1111 63 0 21719 0
vsize: 87128
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1345167 0 0 0 75700 3308 0 0 25 0 1 0 774481540 93409280 22041 4294967295 134512640 134714508 3221224592 3221223428 134600243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22805 22041 1111 63 0 22742 0
vsize: 91220
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1346076 0 0 0 76697 3312 0 0 25 0 1 0 774481540 97198080 22950 4294967295 134512640 134714508 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23730 22950 1111 63 0 23667 0
vsize: 94920
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1346851 0 0 0 77695 3314 0 0 25 0 1 0 774481540 100319232 23724 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24492 23724 1111 63 0 24429 0
vsize: 97968
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1347857 0 0 0 78692 3317 0 0 25 0 1 0 774481540 104509440 24730 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25515 24730 1111 63 0 25452 0
vsize: 102060
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1348828 0 0 0 79689 3321 0 0 25 0 1 0 774481540 108429312 25700 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26472 25700 1111 63 0 26409 0
vsize: 105888
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1349538 0 0 0 80687 3323 0 0 25 0 1 0 774481540 111403008 26409 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27198 26409 1111 63 0 27135 0
vsize: 108792
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1350328 0 0 0 81684 3325 0 0 25 0 1 0 774481540 114651136 27199 4294967295 134512640 134714508 3221224592 3221223416 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27991 27199 1111 63 0 27928 0
vsize: 111964
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1351207 0 0 0 82682 3328 0 0 25 0 1 0 774481540 118337536 28077 4294967295 134512640 134714508 3221224592 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28891 28077 1111 63 0 28828 0
vsize: 115564
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1352169 0 0 0 83678 3331 0 0 25 0 1 0 774481540 122261504 29039 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29849 29039 1111 63 0 29786 0
vsize: 119396
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1353053 0 0 0 84675 3336 0 0 25 0 1 0 774481540 125775872 29923 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30707 29923 1111 63 0 30644 0
vsize: 122828
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1354086 0 0 0 85672 3339 0 0 25 0 1 0 774481540 130154496 30950 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31776 30950 1111 63 0 31713 0
vsize: 127104
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1354791 0 0 0 86670 3341 0 0 25 0 1 0 774481540 132993024 31655 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32469 31655 1111 63 0 32406 0
vsize: 129876
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1355499 0 0 0 87666 3344 0 0 25 0 1 0 774481540 135868416 32361 4294967295 134512640 134714508 3221224592 3221223472 134577058 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33171 32361 1111 63 0 33108 0
vsize: 132684
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1356260 0 0 0 88663 3348 0 0 25 0 1 0 774481540 138977280 33122 4294967295 134512640 134714508 3221224592 3221223368 134613526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33930 33122 1111 63 0 33867 0
vsize: 135720
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1357232 0 0 0 89660 3351 0 0 25 0 1 0 774481540 143060992 34090 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34927 34090 1111 63 0 34864 0
vsize: 139708
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1358005 0 0 0 90658 3353 0 0 25 0 1 0 774481540 146169856 34863 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35686 34863 1111 63 0 35623 0
vsize: 142744
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1359022 0 0 0 91656 3356 0 0 25 0 1 0 774481540 150364160 35880 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36710 35880 1111 63 0 36647 0
vsize: 146840
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1359615 0 0 0 92653 3359 0 0 25 0 1 0 774481540 152797184 36472 4294967295 134512640 134714508 3221224592 3221223372 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 36472 1111 63 0 37241 0
vsize: 149216
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1360251 0 0 0 93651 3361 0 0 25 0 1 0 774481540 155365376 37108 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37931 37108 1111 63 0 37868 0
vsize: 151724
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1360996 0 0 0 94648 3364 0 0 25 0 1 0 774481540 158474240 37853 4294967295 134512640 134714508 3221224592 3221223416 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38690 37853 1111 63 0 38627 0
vsize: 154760
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1361990 0 0 0 95644 3368 0 0 25 0 1 0 774481540 162529280 38847 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39680 38847 1111 63 0 39617 0
vsize: 158720
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1362554 0 0 0 96643 3369 0 0 25 0 1 0 774481540 164827136 39411 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40241 39411 1111 63 0 40178 0
vsize: 160964
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1362956 0 0 0 97641 3371 0 0 25 0 1 0 774481540 166449152 39813 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40637 39813 1111 63 0 40574 0
vsize: 162548
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1363529 0 0 0 98640 3373 0 0 25 0 1 0 774481540 168882176 40385 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41231 40385 1111 63 0 41168 0
vsize: 164924
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1363937 0 0 0 99638 3375 0 0 25 0 1 0 774481540 170504192 40793 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41627 40793 1111 63 0 41564 0
vsize: 166508
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1364068 0 0 0 100638 3376 0 0 25 0 1 0 774481540 171044864 40924 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41759 40924 1111 63 0 41696 0
vsize: 167036
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1364337 0 0 0 101637 3377 0 0 25 0 1 0 774481540 172158976 41190 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42031 41190 1111 63 0 41968 0
vsize: 168124
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1364863 0 0 0 102635 3379 0 0 25 0 1 0 774481540 174321664 41716 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42559 41716 1111 63 0 42496 0
vsize: 170236
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1365303 0 0 0 103634 3380 0 0 25 0 1 0 774481540 176111616 42154 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42996 42154 1111 63 0 42933 0
vsize: 171984
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1365690 0 0 0 104633 3381 0 0 25 0 1 0 774481540 177733632 42541 4294967295 134512640 134714508 3221224592 3221222928 134697382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43392 42541 1111 63 0 43329 0
vsize: 173568
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1366045 0 0 0 105632 3383 0 0 25 0 1 0 774481540 179085312 42896 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43722 42896 1111 63 0 43659 0
vsize: 174888
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1366478 0 0 0 106630 3385 0 0 25 0 1 0 774481540 180908032 43328 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44167 43328 1111 63 0 44104 0
vsize: 176668
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1367172 0 0 0 107627 3387 0 0 25 0 1 0 774481540 183820288 44018 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44878 44018 1111 63 0 44815 0
vsize: 179512
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1367755 0 0 0 108626 3389 0 0 25 0 1 0 774481540 186306560 44596 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45485 44596 1111 63 0 45422 0
vsize: 181940
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1368760 0 0 0 109624 3391 0 0 25 0 1 0 774481540 190373888 45599 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46478 45599 1111 63 0 46415 0
vsize: 185912
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1369253 0 0 0 110622 3393 0 0 25 0 1 0 774481540 192405504 46092 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46974 46092 1111 63 0 46911 0
vsize: 187896
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1370181 0 0 0 111619 3397 0 0 25 0 1 0 774481540 196190208 47020 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47898 47020 1111 63 0 47835 0
vsize: 191592
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1370812 0 0 0 112617 3399 0 0 25 0 1 0 774481540 198758400 47651 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48525 47651 1111 63 0 48462 0
vsize: 194100
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1371857 0 0 0 113614 3402 0 0 25 0 1 0 774481540 203083776 48696 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49581 48696 1111 63 0 49518 0
vsize: 198324
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3186
Raw data (stat): 3186 (bsolo_lpr) R 3185 32284 32283 0 -1 0 1371857 0 0 0 113614 3402 0 0 25 0 1 0 774481540 203083776 48696 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49581 48696 1111 63 0 49518 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.11
CPU user time (s): 1140.98
CPU system time (s): 34.1288
CPU usage (%): 100.012
Max. virtual memory (Kb): 198324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####