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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM	452acf9ed3adc2d2cfe293dad01c0934
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167110
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
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	1175.02
Number of variables	280
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	130
Trace number 26275

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 14:45:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14470 boxname=wulflinc23 idbench=1114 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  452acf9ed3adc2d2cfe293dad01c0934  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-markshare1_1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-markshare1_1.opb
IDLAUNCH: 14470
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        921748 kB
Buffers:         35000 kB
Cached:          56136 kB
SwapCached:        664 kB
Active:          60200 kB
Inactive:        33444 kB
HighTotal:      131008 kB
HighFree:        73696 kB
LowTotal:       903652 kB
LowFree:        848052 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13560 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:05:09 (client local time) WITH STATUS 10 IN 1175.02 SECONDS
stats: 14470 0 1175.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 280 variables and 17 constraints.
c After prepocess the problem consists of 226 variables and 17 constraints.
c preprocess terminated 0.131 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.027
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 521216 @ 0.631
c NEW SOLUTION FOUND: 517472 @ 0.868
c NEW SOLUTION FOUND: 516944 @ 0.87
c NEW SOLUTION FOUND: 512336 @ 0.894
c NEW SOLUTION FOUND: 508256 @ 0.897
c NEW SOLUTION FOUND: 507728 @ 0.907
c NEW SOLUTION FOUND: 499040 @ 0.938
c NEW SOLUTION FOUND: 498512 @ 0.94
c NEW SOLUTION FOUND: 498374 @ 1.029
c NEW SOLUTION FOUND: 497846 @ 1.032
c NEW SOLUTION FOUND: 497168 @ 1.35
c NEW SOLUTION FOUND: 496910 @ 1.779
c NEW SOLUTION FOUND: 496478 @ 2.321
c NEW SOLUTION FOUND: 496016 @ 2.958
c NEW SOLUTION FOUND: 495758 @ 3.084
c NEW SOLUTION FOUND: 495554 @ 6.112
c NEW SOLUTION FOUND: 495494 @ 6.254
c NEW SOLUTION FOUND: 495260 @ 76.164
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 s01_bit_8 -s01_bit_7 -s01_bit_6 s01_bit_5 s01_bit_4 s01_bit_3 -s01_bit_2 s01_bit_1 -s01_bit0 -s01_bit1 -s01_bit2 s01_bit3 s01_bit4 -s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 s11_bit_10 -s11_bit_9 s11_bit_8 -s11_bit_7 s11_bit_6 s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 -s11_bit1 s11_bit2 -s11_bit3 s11_bit4 -s11_bit5 s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -s21_bit_7 -s21_bit_6 -s21_bit_5 s21_bit_4 -s21_bit_3 s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 s21_bit4 -s21_bit5 -s21_bit6 s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -s31_bit_7 s31_bit_6 s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 -s31_bit3 s31_bit4 -s31_bit5 s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s41_bit_10 s41_bit_9 -s41_bit_8 -s41_bit_7 s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 s41_bit3 -s41_bit4 -s41_bit5 s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 s51_bit_10 -s51_bit_9 -s51_bit_8 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 s51_bit_1 -s51_bit0 s51_bit1 s51_bit2 s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -x0_bit_10 -x0_bit_9 -x0_bit_8 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 -x0_bit0 -x45_bit_10 -x45_bit_9 x45_bit_8 -x45_bit_7 -x45_bit_6 -x45_bit_5 x45_bit_4 -x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 x46_bit_10 -x46_bit_9 x46_bit_8 -x46_bit_7 x46_bit_6 -x46_bit_5 -x46_bit_4 -x46_bit_3 -x46_bit_2 -x46_bit_1 -x46_bit0 -x47_bit_10 x47_bit_9 -x47_bit_8 -x47_bit_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 -x47_bit_1 -x47_bit0 x49_bit_10 x49_bit_9 -x49_bit_8 -x49_bit_7 -x49_bit_6 -x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0 x1_bit0 -x2_bit0 x3_bit0 -x4_bit0 x5_bit0 -x6_bit0 x7_bit0 x8_bit0 x9_bit0 -x10_bit0 x11_bit0 x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 x16_bit0 x17_bit0 -x18_bit0 x19_bit0 x20_bit0 -x21_bit0 x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 x36_bit0 x37_bit0 x38_bit0 x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 x48_bit0 
c Exit Code: 10
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.79 0.97 1.42 2/54 6171
Raw data (stat): 6171 (runsolver) R 6170 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831064347 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 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.0006 s]
Raw data (loadavg): 0.83 0.97 1.42 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 3656 0 2 0 963 20 0 0 25 0 1 0 831064347 7983104 1215 4294967295 134512640 134714508 3221224592 3221220688 1074879820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1949 1215 1111 63 0 1886 0
vsize: 7796
[startup+20.0013 s]
Raw data (loadavg): 0.85 0.97 1.41 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 7111 0 2 0 1936 48 0 0 25 0 1 0 831064347 7831552 1223 4294967295 134512640 134714508 3221224592 3221223008 1074116200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 1223 1111 63 0 1849 0
vsize: 7648
[startup+30.0013 s]
Raw data (loadavg): 0.87 0.97 1.41 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 11379 0 2 0 2905 78 0 0 25 0 1 0 831064347 7876608 1235 4294967295 134512640 134714508 3221224592 3221223440 134556485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1235 1111 63 0 1860 0
vsize: 7692
[startup+40.0016 s]
Raw data (loadavg): 0.89 0.97 1.40 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 14308 0 2 0 3882 102 0 0 25 0 1 0 831064347 7876608 1235 4294967295 134512640 134714508 3221224592 3221222944 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1235 1111 63 0 1860 0
vsize: 7692
[startup+50.0012 s]
Raw data (loadavg): 0.91 0.97 1.40 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 17263 0 2 0 4855 129 0 0 25 0 1 0 831064347 7880704 1236 4294967295 134512640 134714508 3221224592 3221222416 1075147820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1924 1236 1111 63 0 1861 0
vsize: 7696
[startup+60.0023 s]
Raw data (loadavg): 0.92 0.97 1.39 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 20234 0 2 0 5828 156 0 0 25 0 1 0 831064347 8060928 1237 4294967295 134512640 134714508 3221224592 3221221856 1075278499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1968 1237 1111 63 0 1905 0
vsize: 7872
[startup+70.0025 s]
Raw data (loadavg): 0.93 0.97 1.39 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 23189 0 2 0 6805 180 0 0 25 0 1 0 831064347 7876608 1235 4294967295 134512640 134714508 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1235 1111 63 0 1860 0
vsize: 7692
[startup+80.0022 s]
Raw data (loadavg): 0.94 0.97 1.39 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 26152 0 2 0 7779 206 0 0 25 0 1 0 831064347 7901184 1242 4294967295 134512640 134714508 3221224592 3221222216 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1929 1242 1111 63 0 1866 0
vsize: 7716
[startup+90.0023 s]
Raw data (loadavg): 0.95 0.97 1.38 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 29154 0 2 0 8753 231 0 0 25 0 1 0 831064347 7901184 1242 4294967295 134512640 134714508 3221224592 3221222976 134650105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1929 1242 1111 63 0 1866 0
vsize: 7716
[startup+100.002 s]
Raw data (loadavg): 0.96 0.97 1.38 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 32584 0 2 0 9724 261 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222320 1075828615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+110.002 s]
Raw data (loadavg): 0.96 0.97 1.37 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 35509 0 2 0 10702 283 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+120.003 s]
Raw data (loadavg): 0.97 0.97 1.37 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 38441 0 2 0 11678 307 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222892 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+130.003 s]
Raw data (loadavg): 0.97 0.97 1.36 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 41437 0 2 0 12654 331 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222544 1075463490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 1.36 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 44463 0 2 0 13628 357 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221221872 1074139953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 1.35 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 47422 0 2 0 14605 380 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222592 1074921345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+160.004 s]
Raw data (loadavg): 0.98 0.97 1.35 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 50336 0 2 0 15582 404 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222592 1074919335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+170.004 s]
Raw data (loadavg): 0.98 0.97 1.35 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 53255 0 2 0 16562 424 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221221512 1077377443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 1.34 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 56085 0 2 0 17540 446 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222296 1077377437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 1.34 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 58939 0 2 0 18518 468 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222752 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 1.33 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 61779 0 2 0 19497 489 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222664 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 1.33 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 64577 0 2 0 20475 511 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222944 1074115509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 1.33 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 67376 0 2 0 21453 534 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222944 1074115507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 1.32 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 70236 0 2 0 22427 559 0 0 25 0 1 0 831064347 8097792 1251 4294967295 134512640 134714508 3221224592 3221220976 1076116715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1977 1251 1111 63 0 1914 0
vsize: 7908
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 1.32 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 73153 0 2 0 23406 581 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223264 134524436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 1.31 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 76094 0 2 0 24383 604 0 0 25 0 1 0 831064347 8097792 1251 4294967295 134512640 134714508 3221224592 3221221620 1075964126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7908
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 1.31 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 79072 0 2 0 25359 628 0 0 25 0 1 0 831064347 8097792 1251 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1977 1251 1111 63 0 1914 0
vsize: 7908
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 1.31 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 82018 0 2 0 26336 651 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 1.30 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 84991 0 2 0 27315 672 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223376 134542606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 1.30 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 87936 0 2 0 28296 691 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223336 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 1.29 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 90860 0 2 0 29275 713 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223272 134591837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 1.29 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 93761 0 2 0 30254 734 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 1.29 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 96636 0 2 0 31229 758 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 1.28 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 99522 0 2 0 32209 779 0 0 25 0 1 0 831064347 8097792 1251 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7908
[startup+340.008 s]
Raw data (loadavg): 1.07 0.99 1.28 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 102405 0 2 0 33185 803 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+350.008 s]
Raw data (loadavg): 1.06 0.99 1.28 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 105289 0 2 0 34160 828 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+360.009 s]
Raw data (loadavg): 1.05 0.99 1.28 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 108183 0 2 0 35137 852 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+370.009 s]
Raw data (loadavg): 1.04 0.99 1.27 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 111064 0 2 0 36114 875 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+380.009 s]
Raw data (loadavg): 1.03 0.99 1.27 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 113951 0 2 0 37091 898 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222708 1077378613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+390.014 s]
Raw data (loadavg): 1.03 0.99 1.27 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 116860 0 2 0 38069 921 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+400.013 s]
Raw data (loadavg): 1.02 0.99 1.26 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 119773 0 2 0 39047 943 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+410.013 s]
Raw data (loadavg): 1.02 0.99 1.26 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 122725 0 2 0 40025 965 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+420.013 s]
Raw data (loadavg): 1.02 0.99 1.26 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 125689 0 2 0 41001 989 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+430.023 s]
Raw data (loadavg): 1.01 0.99 1.25 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 128702 0 2 0 41978 1014 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1977 1251 1111 63 0 1914 0
vsize: 7748
[startup+440.024 s]
Raw data (loadavg): 1.01 0.99 1.25 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 131712 0 2 0 42955 1037 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+450.03 s]
Raw data (loadavg): 1.01 0.99 1.25 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 134721 0 2 0 43934 1058 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+460.031 s]
Raw data (loadavg): 1.01 0.99 1.25 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 137779 0 2 0 44910 1083 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223400 134622155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+470.031 s]
Raw data (loadavg): 1.00 0.99 1.24 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 140757 0 2 0 45887 1106 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+480.031 s]
Raw data (loadavg): 1.00 0.99 1.24 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 143750 0 2 0 46863 1130 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+490.031 s]
Raw data (loadavg): 1.00 0.99 1.24 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 146754 0 2 0 47838 1155 0 0 25 0 1 0 831064347 8015872 1251 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7828
[startup+500.032 s]
Raw data (loadavg): 1.00 0.99 1.23 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 149727 0 2 0 48814 1180 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223064 1077378266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+510.032 s]
Raw data (loadavg): 1.00 0.99 1.23 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 152747 0 2 0 49789 1205 0 0 25 0 1 0 831064347 8097792 1251 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7908
[startup+520.031 s]
Raw data (loadavg): 1.00 0.99 1.23 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 155785 0 2 0 50762 1232 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+530.031 s]
Raw data (loadavg): 1.00 0.99 1.23 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 158678 0 2 0 51740 1255 0 0 25 0 1 0 831064347 8097792 1251 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1977 1251 1111 63 0 1914 0
vsize: 7908
[startup+540.031 s]
Raw data (loadavg): 1.00 0.99 1.22 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 161559 0 2 0 52715 1279 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+550.03 s]
Raw data (loadavg): 1.00 0.99 1.22 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 164456 0 2 0 53695 1300 0 0 25 0 1 0 831064347 8097792 1251 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1977 1251 1111 63 0 1914 0
vsize: 7908
[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 1.22 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 167371 0 2 0 54670 1325 0 0 25 0 1 0 831064347 8105984 1251 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1979 1251 1111 63 0 1916 0
vsize: 7916
[startup+570.031 s]
Raw data (loadavg): 1.00 0.99 1.21 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 170337 0 2 0 55645 1350 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222820 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+580.03 s]
Raw data (loadavg): 1.00 0.99 1.21 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 173309 0 2 0 56624 1370 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+590.031 s]
Raw data (loadavg): 1.00 0.99 1.21 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 176287 0 2 0 57603 1392 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+600.031 s]
Raw data (loadavg): 1.00 0.99 1.20 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 179265 0 2 0 58579 1416 0 0 25 0 1 0 831064347 7933952 1250 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1937 1250 1111 63 0 1874 0
vsize: 7748
[startup+610.031 s]
Raw data (loadavg): 1.00 0.99 1.20 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 182204 0 2 0 59557 1438 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+620.031 s]
Raw data (loadavg): 1.00 0.99 1.20 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 185234 0 2 0 60535 1461 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+630.03 s]
Raw data (loadavg): 1.00 0.99 1.20 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 188229 0 2 0 61512 1484 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+640.031 s]
Raw data (loadavg): 1.00 0.99 1.19 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 191300 0 2 0 62488 1508 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223328 134535725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+650.03 s]
Raw data (loadavg): 1.00 0.99 1.19 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 194310 0 2 0 63467 1529 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222512 1075799727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+660.031 s]
Raw data (loadavg): 1.00 0.99 1.19 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 197273 0 2 0 64444 1553 0 0 25 0 1 0 831064347 8134656 1257 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 1257 1111 63 0 1923 0
vsize: 7944
[startup+670.031 s]
Raw data (loadavg): 1.00 0.99 1.18 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 200220 0 2 0 65420 1577 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+680.03 s]
Raw data (loadavg): 1.00 0.99 1.18 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 203130 0 2 0 66397 1600 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223268 1077374563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 1.18 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 205994 0 2 0 67375 1622 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222320 1075831097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 1.18 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 208864 0 2 0 68354 1643 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 1.18 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 211746 0 2 0 69333 1665 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222320 1075831094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 1.17 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 214643 0 2 0 70313 1685 0 0 25 0 1 0 831064347 8134656 1257 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 1257 1111 63 0 1923 0
vsize: 7944
[startup+730.036 s]
Raw data (loadavg): 1.00 0.99 1.17 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 217524 0 2 0 71290 1708 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+740.045 s]
Raw data (loadavg): 1.00 0.99 1.17 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 220418 0 2 0 72266 1732 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222992 134650080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+750.045 s]
Raw data (loadavg): 1.00 0.99 1.17 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 223360 0 2 0 73245 1753 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 1.17 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 226260 0 2 0 74224 1775 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+770.046 s]
Raw data (loadavg): 1.00 0.99 1.16 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 229108 0 2 0 75205 1794 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222536 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+780.052 s]
Raw data (loadavg): 1.00 0.99 1.16 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 231980 0 2 0 76183 1817 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+790.052 s]
Raw data (loadavg): 1.00 0.99 1.16 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 234849 0 2 0 77160 1839 0 0 25 0 1 0 831064347 8134656 1257 4294967295 134512640 134714508 3221224592 3221220860 1075894867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7944
[startup+800.051 s]
Raw data (loadavg): 1.00 0.99 1.16 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 237730 0 2 0 78140 1860 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223300 134592387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+810.061 s]
Raw data (loadavg): 1.00 0.99 1.16 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 240627 0 2 0 79119 1882 0 0 25 0 1 0 831064347 8134656 1257 4294967295 134512640 134714508 3221224592 3221220864 1074805811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1966 1257 1111 63 0 1903 0
vsize: 7944
[startup+820.061 s]
Raw data (loadavg): 1.00 0.99 1.15 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 243514 0 2 0 80095 1906 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+830.06 s]
Raw data (loadavg): 1.00 0.99 1.15 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 246405 0 2 0 81071 1930 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+840.062 s]
Raw data (loadavg): 1.00 0.99 1.15 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 249304 0 2 0 82049 1953 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223232 134696077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+850.062 s]
Raw data (loadavg): 1.00 0.99 1.15 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 252203 0 2 0 83026 1976 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222376 1077374049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+860.061 s]
Raw data (loadavg): 1.00 0.99 1.15 2/54 6171
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 255077 0 2 0 84005 1997 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+870.062 s]
Raw data (loadavg): 1.00 0.99 1.14 2/57 6174
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 257955 0 2 0 84986 2016 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222940 1074206256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+880.062 s]
Raw data (loadavg): 1.07 1.00 1.15 2/54 6224
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 260763 0 2 0 85965 2037 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+890.063 s]
Raw data (loadavg): 1.06 1.00 1.15 2/54 6224
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 263568 0 2 0 86943 2059 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+900.062 s]
Raw data (loadavg): 1.05 1.00 1.14 2/54 6224
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 266407 0 2 0 87920 2082 0 0 25 0 1 0 831064347 8134656 1257 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 1257 1111 63 0 1923 0
vsize: 7944
[startup+910.063 s]
Raw data (loadavg): 1.04 1.00 1.14 2/54 6224
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 269295 0 2 0 88900 2103 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+920.062 s]
Raw data (loadavg): 1.04 1.00 1.14 2/54 6224
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 272158 0 2 0 89879 2124 0 0 25 0 1 0 831064347 8134656 1257 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 1257 1111 63 0 1923 0
vsize: 7944
[startup+930.062 s]
Raw data (loadavg): 1.03 1.00 1.14 2/54 6224
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 275023 0 2 0 90857 2146 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+940.063 s]
Raw data (loadavg): 1.02 1.00 1.14 2/54 6224
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 277945 0 2 0 91837 2166 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+950.064 s]
Raw data (loadavg): 1.02 1.00 1.13 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 280850 0 2 0 92815 2188 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+960.064 s]
Raw data (loadavg): 1.02 1.00 1.13 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 283704 0 2 0 93793 2211 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+970.065 s]
Raw data (loadavg): 1.01 1.00 1.13 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 286525 0 2 0 94769 2234 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223208 134613753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+980.064 s]
Raw data (loadavg): 1.01 1.00 1.13 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 289380 0 2 0 95745 2259 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+990.167 s]
Raw data (loadavg): 1.01 1.00 1.13 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 292263 0 2 0 96735 2279 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222864 1074056195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1000.17 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 295115 0 2 0 97714 2301 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1010.17 s]
Raw data (loadavg): 1.01 1.00 1.12 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 298019 0 2 0 98694 2321 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222592 1074056630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 300863 0 2 0 99673 2342 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 1257 1111 63 0 1923 0
vsize: 7780
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 303720 0 2 0 100648 2367 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 306644 0 2 0 101626 2390 0 0 25 0 1 0 831064347 8134656 1257 4294967295 134512640 134714508 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7944
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 309497 0 2 0 102605 2411 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 312381 0 2 0 103584 2433 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222920 1077377750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 315221 0 2 0 104564 2452 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 318086 0 2 0 105543 2473 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 1257 1111 63 0 1923 0
vsize: 7780
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 320975 0 2 0 106524 2493 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 323870 0 2 0 107503 2514 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1986 1257 1111 63 0 1923 0
vsize: 7780
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 326774 0 2 0 108483 2534 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 329670 0 2 0 109461 2556 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 332561 0 2 0 110437 2581 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 335420 0 2 0 111416 2602 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 338282 0 2 0 112394 2624 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 341120 0 2 0 113373 2645 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222496 1074056010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 343994 0 2 0 114351 2668 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 7780
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 1.09 1/53 6226
Raw data (stat): 6171 (bsolo_lpr) R 6170 5562 5561 0 -1 0 343994 0 2 0 114351 2668 0 0 25 0 1 0 831064347 7966720 1256 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1945 1256 1111 63 0 1882 0
vsize: 0

Child status: 10
Real time (s): 1175
CPU time (s): 1175.02
CPU user time (s): 1148.22
CPU system time (s): 26.7949
CPU usage (%): 100.002
Max. virtual memory (Kb): 7944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	495260
#### END VERIFIER DATA ####