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-markshare1.opb
MD5SUM	10386fd19d9976c249ce2be861b38a70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
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.12
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 39960

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 23:21:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28017 boxname=wulflinc5 idbench=973 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  10386fd19d9976c249ce2be861b38a70  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 28017
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        914192 kB
Buffers:           116 kB
Cached:          97724 kB
SwapCached:        624 kB
Active:          17884 kB
Inactive:        81916 kB
HighTotal:      131008 kB
HighFree:        32004 kB
LowTotal:       903652 kB
LowFree:        882188 kB
SwapTotal:     2097136 kB
SwapFree:      2095452 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            14916 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:40:38 (client local time) WITH STATUS 10 IN 1175.28 SECONDS
stats: 28017 0 1175.28 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 230 variables and 12 constraints.
c After prepocess the problem consists of 176 variables and 12 constraints.
c preprocess terminated 0.095 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.009
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2054144 @ 0.324
c NEW SOLUTION FOUND: 1867776 @ 0.332
c NEW SOLUTION FOUND: 1681408 @ 0.334
c NEW SOLUTION FOUND: 1679360 @ 0.443
c NEW SOLUTION FOUND: 1628160 @ 0.467
c NEW SOLUTION FOUND: 1533952 @ 0.529
c NEW SOLUTION FOUND: 1495040 @ 0.55
c NEW SOLUTION FOUND: 1441792 @ 0.638
c NEW SOLUTION FOUND: 1328128 @ 0.726
c NEW SOLUTION FOUND: 1139712 @ 1.522
s SATISFIABLE
v -x1_bit_10 -x1_bit_9 -x1_bit_8 -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 x1_bit0 x1_bit1 x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 -x1_bit13 -x1_bit14 -x1_bit15 -x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 -x3_bit_10 -x3_bit_9 -x3_bit_8 -x3_bit_7 -x3_bit_6 -x3_bit_5 -x3_bit_4 -x3_bit_3 -x3_bit_2 -x3_bit_1 x3_bit0 x3_bit1 -x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 x3_bit6 x3_bit7 -x3_bit8 -x3_bit9 -x3_bit10 -x3_bit11 -x3_bit12 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 -x5_bit_10 -x5_bit_9 -x5_bit_8 -x5_bit_7 -x5_bit_6 -x5_bit_5 -x5_bit_4 -x5_bit_3 -x5_bit_2 -x5_bit_1 -x5_bit0 -x5_bit1 -x5_bit2 -x5_bit3 -x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 x5_bit9 -x5_bit10 -x5_bit11 -x5_bit12 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 -x7_bit_10 -x7_bit_9 -x7_bit_8 -x7_bit_7 -x7_bit_6 -x7_bit_5 -x7_bit_4 -x7_bit_3 -x7_bit_2 -x7_bit_1 x7_bit0 x7_bit1 x7_bit2 -x7_bit3 -x7_bit4 x7_bit5 x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit13 -x7_bit14 -x7_bit15 -x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 -x9_bit_10 -x9_bit_9 -x9_bit_8 -x9_bit_7 -x9_bit_6 -x9_bit_5 -x9_bit_4 -x9_bit_3 -x9_bit_2 -x9_bit_1 -x9_bit0 -x9_bit1 x9_bit2 x9_bit3 x9_bit4 -x9_bit5 x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit13 -x9_bit14 -x9_bit15 -x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 -x11_bit_10 -x11_bit_9 -x11_bit_8 -x11_bit_7 -x11_bit_6 -x11_bit_5 -x11_bit_4 -x11_bit_3 -x11_bit_2 -x11_bit_1 -x11_bit0 -x11_bit1 x11_bit2 x11_bit3 -x11_bit4 -x11_bit5 -x11_bit6 x11_bit7 -x11_bit8 -x11_bit9 -x11_bit10 -x11_bit11 -x11_bit12 -x11_bit13 -x11_bit14 -x11_bit15 -x11_bit16 -x11_bit17 -x11_bit18 -x11_bit19 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 x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 x52_bit0 -x53_bit0 x54_bit0 -x55_bit0 x56_bit0 -x57_bit0 x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 
c Exit Code: 10
c Total time: 1175.25 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 9837
Raw data (stat): 9837 (runsolver) R 9836 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896910420 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 4548 0 9 0 942 24 0 0 25 0 1 0 896910420 8892416 1477 4294967295 134512640 134716908 3221224560 3221222288 1075829539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2171 1477 1111 63 0 2108 0
vsize: 8684
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 7706 0 9 0 1920 46 0 0 25 0 1 0 896910420 10158080 1785 4294967295 134512640 134716908 3221224560 3221222164 1077374568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2480 1785 1111 63 0 2417 0
vsize: 9920
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 11665 0 9 0 2900 65 0 0 25 0 1 0 896910420 11153408 2034 4294967295 134512640 134716908 3221224560 3221223008 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2723 2034 1111 63 0 2660 0
vsize: 10892
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 15789 0 9 0 3881 85 0 0 25 0 1 0 896910420 12054528 2249 4294967295 134512640 134716908 3221224560 3221222288 1075828939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2249 1111 63 0 2880 0
vsize: 11772
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 20802 0 9 0 4867 99 0 0 25 0 1 0 896910420 12599296 2350 4294967295 134512640 134716908 3221224560 3221221712 1075969830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 2350 1111 63 0 3013 0
vsize: 12304
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 24914 0 9 0 5848 118 0 0 25 0 1 0 896910420 13676544 2606 4294967295 134512640 134716908 3221224560 3221220704 1074970432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3339 2606 1111 63 0 3276 0
vsize: 13356
[startup+70.0148 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 27637 0 9 0 6832 135 0 0 25 0 1 0 896910420 14970880 2964 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2964 1111 63 0 3592 0
vsize: 14620
[startup+80.0265 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 30406 0 9 0 7815 154 0 0 25 0 1 0 896910420 16437248 3269 4294967295 134512640 134716908 3221224560 3221220604 1074873483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3269 1111 63 0 3950 0
vsize: 16052
[startup+90.0268 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 36905 0 9 0 8794 174 0 0 25 0 1 0 896910420 17108992 3487 4294967295 134512640 134716908 3221224560 3221223364 134622173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 3487 1111 63 0 4114 0
vsize: 16708
[startup+100.027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 43980 0 9 0 9771 198 0 0 25 0 1 0 896910420 18391040 3771 4294967295 134512640 134716908 3221224560 3221220992 1075896008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4490 3771 1111 63 0 4427 0
vsize: 17960
[startup+110.027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 50603 0 9 0 10747 222 0 0 25 0 1 0 896910420 19836928 4124 4294967295 134512640 134716908 3221224560 3221221136 1076044018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 4124 1111 63 0 4780 0
vsize: 19372
[startup+120.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 57374 0 9 0 11725 245 0 0 25 0 1 0 896910420 20926464 4408 4294967295 134512640 134716908 3221224560 3221222220 1077377712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5109 4408 1111 63 0 5046 0
vsize: 20436
[startup+130.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 63693 0 9 0 12704 265 0 0 25 0 1 0 896910420 22298624 4743 4294967295 134512640 134716908 3221224560 3221221680 1074864964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4743 1111 63 0 5381 0
vsize: 21776
[startup+140.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 70381 0 9 0 13681 289 0 0 25 0 1 0 896910420 23871488 5128 4294967295 134512640 134716908 3221224560 3221222608 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5828 5128 1111 63 0 5765 0
vsize: 23312
[startup+150.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 72516 0 9 0 14677 293 0 0 25 0 1 0 896910420 24047616 5174 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5871 5174 1111 63 0 5808 0
vsize: 23484
[startup+160.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 74005 0 9 0 15673 297 0 0 25 0 1 0 896910420 24207360 5212 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5910 5212 1111 63 0 5847 0
vsize: 23640
[startup+170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 77737 0 9 0 16664 306 0 0 25 0 1 0 896910420 25395200 5400 4294967295 134512640 134716908 3221224560 3221220688 1075112368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6200 5400 1111 63 0 6137 0
vsize: 24800
[startup+180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 83140 0 9 0 17650 320 0 0 25 0 1 0 896910420 24530944 5080 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 5080 1111 63 0 5926 0
vsize: 23956
[startup+190.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 88339 0 9 0 18637 333 0 0 25 0 1 0 896910420 26062848 5495 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6363 5495 1111 63 0 6300 0
vsize: 25452
[startup+200.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 93755 0 9 0 19623 347 0 0 25 0 1 0 896910420 23732224 5100 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 5100 1111 63 0 5731 0
vsize: 23176
[startup+210.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 98176 0 9 0 20612 358 0 0 25 0 1 0 896910420 23969792 5126 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5852 5126 1111 63 0 5789 0
vsize: 23408
[startup+220.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 104548 0 9 0 21597 373 0 0 25 0 1 0 896910420 24367104 5245 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 5245 1111 63 0 5886 0
vsize: 23796
[startup+230.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 110715 0 9 0 22583 388 0 0 25 0 1 0 896910420 24367104 5240 4294967295 134512640 134716908 3221224560 3221221752 1074138282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 5240 1111 63 0 5886 0
vsize: 23796
[startup+240.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 117657 0 9 0 23565 406 0 0 25 0 1 0 896910420 24723456 5260 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6036 5260 1111 63 0 5973 0
vsize: 24144
[startup+250.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 124155 0 9 0 24550 421 0 0 25 0 1 0 896910420 24416256 5235 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5961 5235 1111 63 0 5898 0
vsize: 23844
[startup+260.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 130313 0 9 0 25535 437 0 0 25 0 1 0 896910420 24199168 5214 4294967295 134512640 134716908 3221224560 3221223360 134622679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5908 5214 1111 63 0 5845 0
vsize: 23632
[startup+270.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 134861 0 9 0 26524 448 0 0 25 0 1 0 896910420 24391680 5259 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5955 5259 1111 63 0 5892 0
vsize: 23820
[startup+280.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 140376 0 9 0 27508 464 0 0 25 0 1 0 896910420 24551424 5300 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5994 5300 1111 63 0 5931 0
vsize: 23976
[startup+290.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 149020 0 9 0 28489 483 0 0 25 0 1 0 896910420 24420352 5268 4294967295 134512640 134716908 3221224560 3221222208 1075818357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 5268 1111 63 0 5899 0
vsize: 23848
[startup+300.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 155171 0 9 0 29474 498 0 0 25 0 1 0 896910420 26173440 5517 4294967295 134512640 134716908 3221224560 3221221632 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6390 5517 1111 63 0 6327 0
vsize: 25560
[startup+310.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 160939 0 9 0 30460 512 0 0 25 0 1 0 896910420 27115520 5728 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6620 5728 1111 63 0 6557 0
vsize: 26480
[startup+320.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 166495 0 9 0 31446 526 0 0 25 0 1 0 896910420 25272320 5444 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6170 5444 1111 63 0 6107 0
vsize: 24680
[startup+330.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 172155 0 9 0 32431 541 0 0 25 0 1 0 896910420 25047040 5421 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6115 5421 1111 63 0 6052 0
vsize: 24460
[startup+340.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 178646 0 9 0 33415 557 0 0 25 0 1 0 896910420 27377664 5767 4294967295 134512640 134716908 3221224560 3221220784 1075112225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6684 5767 1111 63 0 6621 0
vsize: 26736
[startup+350.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 184161 0 9 0 34402 570 0 0 25 0 1 0 896910420 26595328 5604 4294967295 134512640 134716908 3221224560 3221220508 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6493 5604 1111 63 0 6430 0
vsize: 25972
[startup+360.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 190442 0 9 0 35388 585 0 0 25 0 1 0 896910420 25333760 5496 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5496 1111 63 0 6122 0
vsize: 24740
[startup+370.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 197187 0 9 0 36371 602 0 0 25 0 1 0 896910420 25468928 5529 4294967295 134512640 134716908 3221224560 3221223280 134622905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6218 5529 1111 63 0 6155 0
vsize: 24872
[startup+380.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 202782 0 9 0 37357 616 0 0 25 0 1 0 896910420 25640960 5571 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6260 5571 1111 63 0 6197 0
vsize: 25040
[startup+390.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 209222 0 9 0 38342 632 0 0 25 0 1 0 896910420 25911296 5637 4294967295 134512640 134716908 3221224560 3221223356 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 5637 1111 63 0 6263 0
vsize: 25304
[startup+400.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 214632 0 9 0 39328 645 0 0 25 0 1 0 896910420 25948160 5646 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6335 5646 1111 63 0 6272 0
vsize: 25340
[startup+410.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 219985 0 9 0 40317 657 0 0 25 0 1 0 896910420 27013120 5900 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6595 5900 1111 63 0 6532 0
vsize: 26380
[startup+420.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 224773 0 9 0 41305 669 0 0 25 0 1 0 896910420 26112000 5686 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6375 5686 1111 63 0 6312 0
vsize: 25500
[startup+430.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 233564 0 9 0 42285 689 0 0 25 0 1 0 896910420 26189824 5705 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6394 5705 1111 63 0 6331 0
vsize: 25576
[startup+440.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 240984 0 9 0 43268 706 0 0 25 0 1 0 896910420 26820608 5827 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6548 5827 1111 63 0 6485 0
vsize: 26192
[startup+450.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 249755 0 9 0 44248 726 0 0 25 0 1 0 896910420 26439680 5766 4294967295 134512640 134716908 3221224560 3221222872 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6455 5766 1111 63 0 6392 0
vsize: 25820
[startup+460.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 257365 0 9 0 45228 746 0 0 25 0 1 0 896910420 27955200 5921 4294967295 134512640 134716908 3221224560 3221220528 1075965272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6825 5921 1111 63 0 6762 0
vsize: 27300
[startup+470.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 265253 0 9 0 46211 764 0 0 25 0 1 0 896910420 27877376 6087 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6806 6087 1111 63 0 6743 0
vsize: 27224
[startup+480.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 271367 0 9 0 47196 779 0 0 25 0 1 0 896910420 28069888 5972 4294967295 134512640 134716908 3221224560 3221220572 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6853 5972 1111 63 0 6790 0
vsize: 27412
[startup+490.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 276956 0 9 0 48182 793 0 0 25 0 1 0 896910420 27029504 5910 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6599 5910 1111 63 0 6536 0
vsize: 26396
[startup+500.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 281730 0 9 0 49169 806 0 0 25 0 1 0 896910420 28639232 6126 4294967295 134512640 134716908 3221224560 3221220720 1075094877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6992 6126 1111 63 0 6929 0
vsize: 27968
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 286729 0 9 0 50158 818 0 0 25 0 1 0 896910420 29302784 6333 4294967295 134512640 134716908 3221224560 3221220736 1074882592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7154 6333 1111 63 0 7091 0
vsize: 28616
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 293998 0 9 0 51141 836 0 0 25 0 1 0 896910420 28721152 6106 4294967295 134512640 134716908 3221224560 3221221024 1075602757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7012 6106 1111 63 0 6949 0
vsize: 28048
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 300232 0 9 0 52126 850 0 0 25 0 1 0 896910420 28860416 6142 4294967295 134512640 134716908 3221224560 3221220832 1074960781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7046 6142 1111 63 0 6983 0
vsize: 28184
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 309745 0 9 0 53101 876 0 0 25 0 1 0 896910420 30679040 6620 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6620 1111 63 0 7427 0
vsize: 29960
[startup+550.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 318633 0 9 0 54078 898 0 0 25 0 1 0 896910420 28389376 6230 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6931 6230 1111 63 0 6868 0
vsize: 27724
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 330721 0 9 0 55050 927 0 0 25 0 1 0 896910420 29188096 6420 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7126 6420 1111 63 0 7063 0
vsize: 28504
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 337071 0 9 0 56034 943 0 0 25 0 1 0 896910420 29396992 6467 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7177 6467 1111 63 0 7114 0
vsize: 28708
[startup+580.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 344222 0 9 0 57016 962 0 0 25 0 1 0 896910420 28942336 6366 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7066 6366 1111 63 0 7003 0
vsize: 28264
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 352873 0 9 0 57994 984 0 0 25 0 1 0 896910420 29003776 6381 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7081 6381 1111 63 0 7018 0
vsize: 28324
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 358018 0 9 0 58979 999 0 0 25 0 1 0 896910420 30109696 6649 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7351 6649 1111 63 0 7288 0
vsize: 29404
[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 363262 0 9 0 59967 1012 0 0 25 0 1 0 896910420 30998528 6720 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7568 6720 1111 63 0 7505 0
vsize: 30272
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 368270 0 9 0 60955 1023 0 0 25 0 1 0 896910420 29757440 6552 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7265 6552 1111 63 0 7202 0
vsize: 29060
[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 373605 0 9 0 61942 1036 0 0 25 0 1 0 896910420 30253056 6676 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7386 6676 1111 63 0 7323 0
vsize: 29544
[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 378542 0 9 0 62931 1048 0 0 25 0 1 0 896910420 31367168 6812 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7658 6812 1111 63 0 7595 0
vsize: 30632
[startup+650.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 383415 0 9 0 63919 1060 0 0 25 0 1 0 896910420 29540352 6512 4294967295 134512640 134716908 3221224560 3221223272 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6512 1111 63 0 7149 0
vsize: 28848
[startup+660.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 388327 0 9 0 64909 1071 0 0 25 0 1 0 896910420 30486528 6735 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7443 6735 1111 63 0 7380 0
vsize: 29772
[startup+670.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 395108 0 9 0 65893 1087 0 0 25 0 1 0 896910420 29724672 6557 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7257 6557 1111 63 0 7194 0
vsize: 29028
[startup+680.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 400704 0 9 0 66880 1100 0 0 25 0 1 0 896910420 30093312 6642 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6642 1111 63 0 7284 0
vsize: 29388
[startup+690.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 406191 0 9 0 67867 1114 0 0 25 0 1 0 896910420 30044160 6635 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7335 6635 1111 63 0 7272 0
vsize: 29340
[startup+700.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 412196 0 9 0 68852 1130 0 0 25 0 1 0 896910420 31571968 6811 4294967295 134512640 134716908 3221224560 3221220720 1075095091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7708 6811 1111 63 0 7645 0
vsize: 30832
[startup+710.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 416323 0 9 0 69841 1141 0 0 25 0 1 0 896910420 30871552 6837 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7537 6837 1111 63 0 7474 0
vsize: 30148
[startup+720.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 422284 0 9 0 70829 1153 0 0 25 0 1 0 896910420 31936512 6908 4294967295 134512640 134716908 3221224560 3221220672 1075895800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7797 6908 1111 63 0 7734 0
vsize: 31188
[startup+730.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 426938 0 9 0 71817 1165 0 0 25 0 1 0 896910420 31522816 6990 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7696 6990 1111 63 0 7633 0
vsize: 30784
[startup+740.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 433013 0 9 0 72803 1181 0 0 25 0 1 0 896910420 32227328 6994 4294967295 134512640 134716908 3221224560 3221221600 1075971417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7868 6994 1111 63 0 7805 0
vsize: 31472
[startup+750.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 438925 0 9 0 73787 1196 0 0 25 0 1 0 896910420 32358400 6935 4294967295 134512640 134716908 3221224560 3221221824 1075278635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7900 6935 1111 63 0 7837 0
vsize: 31600
[startup+760.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 447412 0 9 0 74766 1218 0 0 25 0 1 0 896910420 32174080 6931 4294967295 134512640 134716908 3221224560 3221221680 1074834233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 6931 1111 63 0 7792 0
vsize: 31420
[startup+770.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 455468 0 9 0 75746 1238 0 0 25 0 1 0 896910420 31338496 6951 4294967295 134512640 134716908 3221224560 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7651 6951 1111 63 0 7588 0
vsize: 30604
[startup+780.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 460732 0 9 0 76734 1250 0 0 25 0 1 0 896910420 32579584 7046 4294967295 134512640 134716908 3221224560 3221220736 1074882592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7046 1111 63 0 7891 0
vsize: 31816
[startup+790.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 466180 0 9 0 77722 1262 0 0 25 0 1 0 896910420 31338496 6951 4294967295 134512640 134716908 3221224560 3221223364 134622532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7651 6951 1111 63 0 7588 0
vsize: 30604
[startup+800.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 470818 0 9 0 78710 1274 0 0 25 0 1 0 896910420 33173504 7213 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8099 7213 1111 63 0 8036 0
vsize: 32396
[startup+810.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 478386 0 9 0 79691 1294 0 0 25 0 1 0 896910420 31907840 7058 4294967295 134512640 134716908 3221224560 3221222560 1074916735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7790 7058 1111 63 0 7727 0
vsize: 31160
[startup+820.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 484204 0 9 0 80676 1309 0 0 25 0 1 0 896910420 33718272 7393 4294967295 134512640 134716908 3221224560 3221220768 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8232 7393 1111 63 0 8169 0
vsize: 32928
[startup+830.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 489057 0 9 0 81666 1319 0 0 25 0 1 0 896910420 31604736 7016 4294967295 134512640 134716908 3221224560 3221222560 1074918544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7716 7016 1111 63 0 7653 0
vsize: 30864
[startup+840.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 500273 0 9 0 82640 1345 0 0 25 0 1 0 896910420 33280000 7233 4294967295 134512640 134716908 3221224560 3221220800 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8125 7233 1111 63 0 8062 0
vsize: 32500
[startup+850.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 509969 0 9 0 83617 1368 0 0 25 0 1 0 896910420 32264192 7174 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7877 7174 1111 63 0 7814 0
vsize: 31508
[startup+860.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 515882 0 9 0 84602 1383 0 0 25 0 1 0 896910420 33476608 7286 4294967295 134512640 134716908 3221224560 3221220720 1075095106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8173 7286 1111 63 0 8110 0
vsize: 32692
[startup+870.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 525441 0 9 0 85579 1407 0 0 25 0 1 0 896910420 33443840 7280 4294967295 134512640 134716908 3221224560 3221220832 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8165 7280 1111 63 0 8102 0
vsize: 32660
[startup+880.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 532927 0 9 0 86560 1426 0 0 25 0 1 0 896910420 33599488 7291 4294967295 134512640 134716908 3221224560 3221220768 1074815208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8203 7291 1111 63 0 8140 0
vsize: 32812
[startup+890.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 543835 0 9 0 87533 1453 0 0 25 0 1 0 896910420 33624064 7313 4294967295 134512640 134716908 3221224560 3221221072 1075240464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8209 7313 1111 63 0 8146 0
vsize: 32836
[startup+900.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 550677 0 9 0 88516 1470 0 0 25 0 1 0 896910420 32776192 7294 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8002 7294 1111 63 0 7939 0
vsize: 32008
[startup+910.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 559100 0 9 0 89497 1489 0 0 25 0 1 0 896910420 34283520 7479 4294967295 134512640 134716908 3221224560 3221220944 1075133386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8370 7479 1111 63 0 8307 0
vsize: 33480
[startup+920.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 566754 0 9 0 90480 1507 0 0 25 0 1 0 896910420 34480128 7511 4294967295 134512640 134716908 3221224560 3221220704 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8418 7511 1111 63 0 8355 0
vsize: 33672
[startup+930.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 575104 0 9 0 91461 1526 0 0 25 0 1 0 896910420 33628160 7513 4294967295 134512640 134716908 3221224560 3221223356 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8210 7513 1111 63 0 8147 0
vsize: 32840
[startup+940.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 582192 0 9 0 92445 1543 0 0 25 0 1 0 896910420 34492416 7526 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8421 7526 1111 63 0 8358 0
vsize: 33684
[startup+950.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 592733 0 9 0 93419 1569 0 0 25 0 1 0 896910420 33595392 7487 4294967295 134512640 134716908 3221224560 3221222560 1074916549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8202 7487 1111 63 0 8139 0
vsize: 32808
[startup+960.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 605443 0 9 0 94390 1598 0 0 25 0 1 0 896910420 33648640 7518 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8215 7518 1111 63 0 8152 0
vsize: 32860
[startup+970.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 615953 0 9 0 95364 1624 0 0 25 0 1 0 896910420 33742848 7541 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8238 7541 1111 63 0 8175 0
vsize: 32952
[startup+980.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 625463 0 9 0 96342 1646 0 0 25 0 1 0 896910420 33820672 7560 4294967295 134512640 134716908 3221224560 3221223124 134652476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8257 7560 1111 63 0 8194 0
vsize: 33028
[startup+990.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 636451 0 9 0 97316 1673 0 0 25 0 1 0 896910420 34017280 7608 4294967295 134512640 134716908 3221224560 3221222720 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8305 7608 1111 63 0 8242 0
vsize: 33220
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 646188 0 9 0 98294 1695 0 0 25 0 1 0 896910420 34304000 7678 4294967295 134512640 134716908 3221224560 3221222560 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8375 7678 1111 63 0 8312 0
vsize: 33500
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 656486 0 9 0 99269 1720 0 0 25 0 1 0 896910420 35827712 7847 4294967295 134512640 134716908 3221224560 3221220928 1075894480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8747 7847 1111 63 0 8684 0
vsize: 34988
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 665543 0 9 0 100248 1741 0 0 25 0 1 0 896910420 35840000 7826 4294967295 134512640 134716908 3221224560 3221220768 1074815423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8750 7826 1111 63 0 8687 0
vsize: 35000
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 677676 0 9 0 101218 1771 0 0 25 0 1 0 896910420 34590720 7748 4294967295 134512640 134716908 3221224560 3221223224 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8445 7748 1111 63 0 8382 0
vsize: 33780
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 688854 0 9 0 102191 1799 0 0 25 0 1 0 896910420 35934208 7818 4294967295 134512640 134716908 3221224560 3221221328 1076083619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8773 7818 1111 63 0 8710 0
vsize: 35092
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 699379 0 9 0 103165 1825 0 0 25 0 1 0 896910420 36040704 7909 4294967295 134512640 134716908 3221224560 3221221328 1076083593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8799 7909 1111 63 0 8736 0
vsize: 35196
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 706350 0 9 0 104150 1840 0 0 25 0 1 0 896910420 36327424 7952 4294967295 134512640 134716908 3221224560 3221220768 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8869 7952 1111 63 0 8806 0
vsize: 35476
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 717218 0 9 0 105124 1866 0 0 25 0 1 0 896910420 36147200 7935 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8825 7935 1111 63 0 8762 0
vsize: 35300
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 728291 0 9 0 106098 1892 0 0 25 0 1 0 896910420 36978688 8095 4294967295 134512640 134716908 3221224560 3221220528 1075965187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9028 8095 1111 63 0 8965 0
vsize: 36112
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 743479 0 9 0 107065 1926 0 0 25 0 1 0 896910420 36003840 8046 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8790 8046 1111 63 0 8727 0
vsize: 35160
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 756068 0 9 0 108036 1955 0 0 25 0 1 0 896910420 36732928 8093 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9103 8099 1111 63 0 9040 0
vsize: 35872
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 768105 0 9 0 109010 1981 0 0 25 0 1 0 896910420 36622336 8194 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8941 8194 1111 63 0 8878 0
vsize: 35764
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 780355 0 9 0 109981 2009 0 0 25 0 1 0 896910420 38031360 8333 4294967295 134512640 134716908 3221224560 3221220768 1074815491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9285 8333 1111 63 0 9222 0
vsize: 37140
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 790114 0 9 0 110959 2032 0 0 25 0 1 0 896910420 37576704 8416 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9174 8416 1111 63 0 9111 0
vsize: 36696
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 793136 0 9 0 111951 2040 0 0 25 0 1 0 896910420 38383616 8437 4294967295 134512640 134716908 3221224560 3221220832 1074961290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8438 1111 63 0 9308 0
vsize: 37484
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 802038 0 9 0 112929 2063 0 0 25 0 1 0 896910420 36950016 8284 4294967295 134512640 134716908 3221224560 3221223180 1073988705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9021 8284 1111 63 0 8958 0
vsize: 36084
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 816631 0 9 0 113896 2096 0 0 25 0 1 0 896910420 38453248 8479 4294967295 134512640 134716908 3221224560 3221221328 1076083830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 8479 1111 63 0 9325 0
vsize: 37552
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 823725 0 9 0 114878 2114 0 0 25 0 1 0 896910420 37195776 8344 4294967295 134512640 134716908 3221224560 3221223284 134622776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8344 1111 63 0 9018 0
vsize: 36324
[startup+1175.45 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9837
Raw data (stat): 9837 (bsolo_lpr-v2) R 9836 7266 7265 0 -1 0 823725 0 9 0 114878 2114 0 0 25 0 1 0 896910420 37195776 8344 4294967295 134512640 134716908 3221224560 3221223284 134622776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8344 1111 63 0 9018 0
vsize: 0

Child status: 10
Real time (s): 1175.45
CPU time (s): 1175.28
CPU user time (s): 1154.06
CPU system time (s): 21.2138
CPU usage (%): 99.985
Max. virtual memory (Kb): 37552
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1139712
#### END VERIFIER DATA ####