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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap1.opb
MD5SUM	6d2898572483dddc248ecc48cac97a0c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5657891
Optimality of the best value was proved	NO
Number of terms in the objective function	7200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	6207564000
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	6207564000
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	390.25
Number of variables	9600
Total number of constraints	300
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	300
Minimum length of a constraint	60
Maximum length of a constraint	440
Trace number 27702

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 22:54:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16303 boxname=wulflinc31 idbench=1255 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6d2898572483dddc248ecc48cac97a0c  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sctap1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sctap1.opb
IDLAUNCH: 16303
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847108 kB
Buffers:         25956 kB
Cached:         140564 kB
SwapCached:       1236 kB
Active:          59484 kB
Inactive:       109576 kB
HighTotal:      131008 kB
HighFree:        56588 kB
LowTotal:       903652 kB
LowFree:        790520 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            12988 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:13:38 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 16303 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9600 variables and 404 constraints.
c After prepocess the problem consists of 5280 variables and 524 constraints.
c preprocess terminated 17.764 s
c Initial Lower Bound: 180769
c Lower Bound Elapsed time: 1.70929
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.91 0.95 0.90 2/55 3718
Raw data (stat): 3718 (runsolver) R 3717 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833973961 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 3718
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 8923 0 0 0 973 24 0 0 25 0 1 0 833973961 39833600 8809 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9725 8809 1111 63 0 9662 0
vsize: 38900
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 3718
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 11393 0 0 0 1967 29 0 0 25 0 1 0 833973961 46837760 10558 4294967295 134512640 134714508 3221224592 3221220476 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11435 10558 1111 63 0 11372 0
vsize: 45740
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3718
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20412 0 0 0 2946 50 0 0 25 0 1 0 833973961 48627712 11098 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11098 1111 63 0 11809 0
vsize: 47488
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3718
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 3944 51 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 3720
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 4943 53 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3720
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 5942 54 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+70.0085 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3720
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 6942 55 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+80.0092 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3720
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 7942 55 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+90.0091 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3720
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 8941 57 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3720
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 9940 58 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3722
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 10939 59 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3722
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 11937 60 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3722
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 12937 61 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3722
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 13936 62 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3722
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20417 0 0 0 14935 63 0 0 25 0 1 0 833973961 48627712 11103 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11103 1111 63 0 11809 0
vsize: 47488
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3722
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20418 0 0 0 15934 64 0 0 25 0 1 0 833973961 48627712 11104 4294967295 134512640 134714508 3221224592 3221223372 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11104 1111 63 0 11809 0
vsize: 47488
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3724
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20418 0 0 0 16933 65 0 0 25 0 1 0 833973961 48627712 11104 4294967295 134512640 134714508 3221224592 3221223372 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11104 1111 63 0 11809 0
vsize: 47488
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3724
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20418 0 0 0 17932 66 0 0 25 0 1 0 833973961 48627712 11104 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11104 1111 63 0 11809 0
vsize: 47488
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3724
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20418 0 0 0 18931 68 0 0 25 0 1 0 833973961 48627712 11104 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11104 1111 63 0 11809 0
vsize: 47488
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3724
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 19930 69 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3724
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 20929 70 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3724
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 21929 70 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3726
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 22928 71 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3726
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 23927 73 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3726
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 24926 74 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3726
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 25925 76 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3726
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 26924 77 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3726
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 27923 78 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3728
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 28922 79 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3728
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 29921 80 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3728
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 30920 81 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3728
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 31919 82 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3728
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 32919 83 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3728
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 33918 83 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3730
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 34917 85 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 3731
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 35917 86 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+370.022 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 3783
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 36915 88 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134600361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+380.022 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 3783
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 37914 89 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223376 134597580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+390.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 3783
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 38913 90 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+400.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3783
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 39913 91 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+410.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3785
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 40912 92 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+420.031 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3785
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 41911 93 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+430.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3785
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 42910 94 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+440.032 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3787
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 43910 95 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+450.033 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3787
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 44909 96 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+460.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3787
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 45907 98 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+470.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3789
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 46906 99 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+480.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3789
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 47906 100 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+490.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3789
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 48905 100 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223372 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+500.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3789
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 49905 101 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+510.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3789
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 50904 102 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+520.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3789
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 51903 104 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+530.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3791
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 52902 105 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+540.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3791
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 53901 106 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+550.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3791
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 54901 106 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+560.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3791
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 55900 107 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+570.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3791
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 56899 108 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+580.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3791
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 57898 109 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+590.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3793
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 58897 111 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+600.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3793
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 59896 112 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+610.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3793
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 60895 114 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+620.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3793
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 61893 115 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+630.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3793
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 62892 117 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+640.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3793
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 63891 118 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+650.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3795
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 64890 119 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+660.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3795
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 65889 120 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+670.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3795
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 66887 122 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+680.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3795
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 67887 123 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+690.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3797
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 68886 123 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+700.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3797
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 69885 125 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+710.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3799
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 70884 126 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+720.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3799
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 71883 127 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+730.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3799
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 72882 128 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+740.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3799
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 73881 130 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+750.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3799
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 74880 131 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+760.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3799
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 75879 133 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+770.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3801
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 76878 134 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+780.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3801
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 77877 135 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+790.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3801
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 78875 137 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+800.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3801
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 79874 138 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+810.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3801
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 80873 139 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+820.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3801
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 81872 141 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+830.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3803
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 82871 142 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+840.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3803
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 83869 144 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+850.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3803
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 84868 145 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+860.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3803
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 85867 147 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+870.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3803
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 86866 148 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+880.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3803
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 87865 149 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+890.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3805
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 88865 150 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+900.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3805
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 89864 151 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+910.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3805
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 90862 153 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+920.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3805
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 91861 155 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+930.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3805
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 92860 156 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+940.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3805
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 93858 157 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+950.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3807
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 94857 159 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+960.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3807
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 95856 160 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223376 134597614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+970.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3807
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 96855 162 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+980.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3807
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 97854 163 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223376 134597580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+990.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3807
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 98852 164 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3807
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 99852 165 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3809
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 100851 167 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3809
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 101849 168 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3809
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 102848 170 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3809
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 103846 172 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1050.07 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 3809
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 104845 173 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1060.07 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 3809
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 105844 174 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1070.07 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 3811
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 106843 175 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1080.07 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 3811
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 107842 177 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1090.07 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 3811
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 108841 178 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1100.07 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 3811
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 109840 180 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1110.08 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 3811
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 110838 181 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1120.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 3811
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 111837 183 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1130.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 3813
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 112835 185 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1140.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 3813
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 113834 186 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1150.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 3813
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 114834 188 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1160.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 3813
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 115833 189 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1170.1 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 3813
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 116833 190 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 47488
[startup+1174.9 s]
Raw data (loadavg): 1.08 1.02 0.93 1/54 3813
Raw data (stat): 3718 (bsolo_lpr) R 3717 29618 29617 0 -1 0 20419 0 0 0 116833 190 0 0 25 0 1 0 833973961 48627712 11105 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 11105 1111 63 0 11809 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.1
CPU system time (s): 1.93271
CPU usage (%): 100.012
Max. virtual memory (Kb): 47488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####