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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 28545

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 02:58:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12403 boxname=wulflinc6 idbench=955 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  7fcbcb2a8848112bb780308c9eb60989  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-aflow30a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-aflow30a.opb
IDLAUNCH: 12403
/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:        538480 kB
Buffers:          5704 kB
Cached:         461684 kB
SwapCached:        384 kB
Active:          20732 kB
Inactive:       448992 kB
HighTotal:      131008 kB
HighFree:        12880 kB
LowTotal:       903652 kB
LowFree:        525600 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5688 kB
Slab:            20888 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:18:22 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 12403 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 7195 variables and 958 constraints.
c After prepocess the problem consists of 7170 variables and 994 constraints.
c preprocess terminated 133.389 s
c Initial Lower Bound: 986
c Lower Bound Elapsed time: 3.012
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.85 0.94 0.99 2/54 1911
Raw data (stat): 1911 (runsolver) R 1910 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777240019 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.0008 s]
Raw data (loadavg): 0.87 0.94 0.99 2/54 1911
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 31984 0 0 0 920 76 0 0 25 0 1 0 777240019 62439424 14355 4294967295 134512640 134714508 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15244 14355 1111 63 0 15181 0
vsize: 60976
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.94 0.99 2/54 1911
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 39284 0 0 0 1904 93 0 0 25 0 1 0 777240019 87941120 20571 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21470 20571 1111 63 0 21407 0
vsize: 85880
[startup+30.003 s]
Raw data (loadavg): 0.91 0.94 0.99 2/54 1911
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 44371 0 0 0 2894 103 0 0 25 0 1 0 777240019 107704320 25395 4294967295 134512640 134714508 3221224592 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26295 25395 1111 63 0 26232 0
vsize: 105180
[startup+40.0032 s]
Raw data (loadavg): 0.92 0.94 0.99 2/54 1911
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46205 0 0 0 3891 106 0 0 25 0 1 0 777240019 114573312 27078 4294967295 134512640 134714508 3221224592 3221223240 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+50.005 s]
Raw data (loadavg): 0.93 0.95 0.99 2/54 1911
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46205 0 0 0 4891 106 0 0 25 0 1 0 777240019 114573312 27078 4294967295 134512640 134714508 3221224592 3221223264 134627217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+60.0055 s]
Raw data (loadavg): 0.94 0.95 0.99 2/54 1911
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46205 0 0 0 5892 106 0 0 25 0 1 0 777240019 114573312 27078 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+70.0066 s]
Raw data (loadavg): 0.95 0.95 0.99 2/54 1911
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46205 0 0 0 6892 106 0 0 25 0 1 0 777240019 114573312 27078 4294967295 134512640 134714508 3221224592 3221223248 134627198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+80.0086 s]
Raw data (loadavg): 1.20 1.00 1.01 3/57 1947
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46205 0 0 0 7892 107 0 0 25 0 1 0 777240019 114573312 27078 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+90.0093 s]
Raw data (loadavg): 1.17 1.00 1.00 2/54 1964
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46205 0 0 0 8892 107 0 0 25 0 1 0 777240019 114573312 27078 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27078 1111 63 0 27909 0
vsize: 111888
[startup+100.01 s]
Raw data (loadavg): 1.14 1.00 1.00 2/54 1964
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46207 0 0 0 9892 107 0 0 25 0 1 0 777240019 114573312 27080 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27080 1111 63 0 27909 0
vsize: 111888
[startup+110.012 s]
Raw data (loadavg): 1.12 1.00 1.00 2/54 1964
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46211 0 0 0 10892 108 0 0 25 0 1 0 777240019 114573312 27084 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27084 1111 63 0 27909 0
vsize: 111888
[startup+120.013 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 1964
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46215 0 0 0 11892 108 0 0 25 0 1 0 777240019 114573312 27088 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27088 1111 63 0 27909 0
vsize: 111888
[startup+130.014 s]
Raw data (loadavg): 1.08 1.00 1.00 2/54 1964
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 46217 0 0 0 12892 108 0 0 25 0 1 0 777240019 114573312 27090 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27090 1111 63 0 27909 0
vsize: 111888
[startup+140.014 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 1964
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 51117 0 2 0 13869 119 0 0 25 0 1 0 777240019 120582144 28698 4294967295 134512640 134714508 3221224592 3221222960 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29439 28698 1111 63 0 29376 0
vsize: 117756
[startup+150.015 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 1964
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55709 0 2 0 14859 129 0 0 25 0 1 0 777240019 121466880 28930 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29655 28930 1111 63 0 29592 0
vsize: 118620
[startup+160.016 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55715 0 2 0 15859 130 0 0 25 0 1 0 777240019 121466880 28936 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29655 28936 1111 63 0 29592 0
vsize: 118620
[startup+170.017 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 16858 131 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+180.018 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 17858 131 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+190.018 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 18858 132 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+200.019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 19857 133 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223332 134591990 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+210.02 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 20858 133 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+220.021 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 21858 133 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+230.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 22858 133 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+240.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 23858 134 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223320 134558807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+250.022 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 24858 134 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+260.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 25858 135 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+270.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 26858 135 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+280.024 s]
Raw data (loadavg): 1.08 1.02 1.01 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 27858 135 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+290.038 s]
Raw data (loadavg): 1.07 1.01 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 28859 136 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+300.048 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 29859 136 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+310.048 s]
Raw data (loadavg): 1.13 1.03 1.01 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 30859 137 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+320.059 s]
Raw data (loadavg): 1.11 1.03 1.01 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 31860 137 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223220 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+330.072 s]
Raw data (loadavg): 1.17 1.04 1.01 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 32861 138 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+340.072 s]
Raw data (loadavg): 1.15 1.04 1.01 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 33861 138 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+350.076 s]
Raw data (loadavg): 1.28 1.07 1.02 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 34861 139 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+360.104 s]
Raw data (loadavg): 1.23 1.07 1.02 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 35864 139 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+370.104 s]
Raw data (loadavg): 1.20 1.07 1.02 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 36864 139 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+380.104 s]
Raw data (loadavg): 1.17 1.06 1.02 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 37864 140 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223268 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+390.105 s]
Raw data (loadavg): 1.14 1.06 1.02 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 38863 141 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+400.105 s]
Raw data (loadavg): 1.12 1.06 1.02 2/54 1966
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 39863 142 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+410.105 s]
Raw data (loadavg): 1.10 1.06 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 40863 142 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223208 134613965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+420.105 s]
Raw data (loadavg): 1.08 1.05 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 41863 142 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+430.105 s]
Raw data (loadavg): 1.07 1.05 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 42863 143 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+440.104 s]
Raw data (loadavg): 1.06 1.05 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 43863 143 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+450.104 s]
Raw data (loadavg): 1.05 1.05 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 44863 143 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+460.103 s]
Raw data (loadavg): 1.04 1.05 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 45863 144 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+470.104 s]
Raw data (loadavg): 1.04 1.04 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 46862 144 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+480.104 s]
Raw data (loadavg): 1.03 1.04 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 47862 144 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+490.103 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 48862 145 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+500.103 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 49862 145 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+510.103 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 50862 146 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223328 134594999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+520.103 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 51862 147 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223264 134543719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+530.103 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 52861 147 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+540.103 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 53860 148 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+550.103 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 54860 149 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223164 134539208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+560.102 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 55860 150 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+570.102 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 56859 150 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+580.102 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 57859 151 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223176 134551981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+590.102 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 58859 152 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+600.102 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 59859 152 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223184 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+610.102 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 60858 153 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223296 134524477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+620.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 61858 154 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+630.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 62857 154 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+640.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 63857 155 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+650.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 64857 155 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+660.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 65857 156 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+670.1 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 66856 157 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223328 134594999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+680.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 67856 158 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223232 134539356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+690.101 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 68855 158 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223188 134542821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+700.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 69855 159 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223264 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+710.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 70855 159 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+720.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 71855 160 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223216 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+730.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 72855 160 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+740.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 73854 161 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223184 134542674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+750.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 74854 162 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+760.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 75854 162 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+770.101 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 76854 163 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+780.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 77853 163 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+790.1 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 78853 164 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+800.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 79853 164 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223316 134652855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+810.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 80853 165 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223320 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+820.101 s]
Raw data (loadavg): 1.00 1.00 1.00 3/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 81853 165 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+830.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 82853 166 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223184 134695945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+840.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 83852 166 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+850.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 84852 167 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223372 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+860.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 85852 167 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223328 134528768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+870.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 86851 168 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+880.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 87851 169 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+890.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 88850 170 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223108 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+900.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 89850 171 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+910.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 90849 171 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223156 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+920.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 91849 172 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+930.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 92848 173 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223360 134528789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+940.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 93849 173 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223332 134594993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+950.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 94848 174 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223176 134696017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+960.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 95848 175 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223368 134613528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+970.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 96847 175 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223232 134542340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+980.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 97847 176 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223268 134613700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+990.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 98846 177 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 99846 177 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223160 134613965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 100846 178 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223264 134535793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 101845 179 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 102844 180 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 103844 181 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 104844 182 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 105843 182 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 106843 183 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 107843 184 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 108842 185 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 109842 185 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223392 134597708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 110841 186 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223200 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 111841 187 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 112840 188 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223192 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 113840 188 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 114840 189 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 115839 190 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221222988 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 116838 191 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223192 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 118608
[startup+1174.86 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 1968
Raw data (stat): 1911 (bsolo_lpr) R 1910 25568 25567 0 -1 0 55720 0 2 0 116838 191 0 0 25 0 1 0 777240019 121454592 28938 4294967295 134512640 134714508 3221224592 3221223192 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29652 28938 1111 63 0 29589 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.06
CPU user time (s): 1173.09
CPU system time (s): 1.9677
CPU usage (%): 100.017
Max. virtual memory (Kb): 118620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####