PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUM	f88781e3d6e9a5487d13eaa213c27b55
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4272
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	205
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	105
Trace number 40483

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 12:16:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28543 boxname=wulflinc3 idbench=1499 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f88781e3d6e9a5487d13eaa213c27b55  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-markshare1_1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-markshare1_1.opb
IDLAUNCH: 28543
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        840096 kB
Buffers:         11656 kB
Cached:         162908 kB
SwapCached:        808 kB
Active:          30016 kB
Inactive:       146656 kB
HighTotal:      131008 kB
HighFree:         1932 kB
LowTotal:       903652 kB
LowFree:        838164 kB
SwapTotal:     2097136 kB
SwapFree:      2095336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            12136 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:36:05 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 28543 0 1175.08 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 205 variables and 17 constraints.
c After prepocess the problem consists of 193 variables and 17 constraints.
c preprocess terminated 0.108 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.01025
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 392350 @ 1.917
c NEW SOLUTION FOUND: 392062 @ 2.856
c NEW SOLUTION FOUND: 387126 @ 2.985
c NEW SOLUTION FOUND: 386886 @ 3.141
c NEW SOLUTION FOUND: 386596 @ 3.15
c NEW SOLUTION FOUND: 386261 @ 3.189
c NEW SOLUTION FOUND: 385971 @ 3.193
c NEW SOLUTION FOUND: 385434 @ 3.256
c NEW SOLUTION FOUND: 385144 @ 3.258
c NEW SOLUTION FOUND: 384942 @ 3.346
c NEW SOLUTION FOUND: 384940 @ 3.413
c NEW SOLUTION FOUND: 384650 @ 3.44
c NEW SOLUTION FOUND: 384607 @ 3.455
c NEW SOLUTION FOUND: 383578 @ 3.61
c NEW SOLUTION FOUND: 383288 @ 3.618
c NEW SOLUTION FOUND: 382998 @ 3.643
c NEW SOLUTION FOUND: 382373 @ 3.714
c NEW SOLUTION FOUND: 382126 @ 3.794
c NEW SOLUTION FOUND: 381836 @ 3.812
c NEW SOLUTION FOUND: 381256 @ 3.833
c NEW SOLUTION FOUND: 380833 @ 4.093
c NEW SOLUTION FOUND: 380586 @ 4.117
c NEW SOLUTION FOUND: 380384 @ 4.224
c NEW SOLUTION FOUND: 380006 @ 4.26
c NEW SOLUTION FOUND: 379961 @ 4.296
c NEW SOLUTION FOUND: 379804 @ 4.352
c NEW SOLUTION FOUND: 379671 @ 4.443
c NEW SOLUTION FOUND: 379424 @ 4.755
c NEW SOLUTION FOUND: 379381 @ 4.757
c NEW SOLUTION FOUND: 379179 @ 4.841
c NEW SOLUTION FOUND: 379153 @ 7.838
c NEW SOLUTION FOUND: 376868 @ 8.683
c NEW SOLUTION FOUND: 376823 @ 8.685
c NEW SOLUTION FOUND: 376799 @ 8.997
c NEW SOLUTION FOUND: 376511 @ 9
c NEW SOLUTION FOUND: 376466 @ 9.202
c NEW SOLUTION FOUND: 376178 @ 9.321
c NEW SOLUTION FOUND: 375935 @ 9.752
c NEW SOLUTION FOUND: 375928 @ 10.119
c NEW SOLUTION FOUND: 375883 @ 10.286
c NEW SOLUTION FOUND: 373122 @ 10.628
c NEW SOLUTION FOUND: 372744 @ 10.665
c NEW SOLUTION FOUND: 372699 @ 10.674
c NEW SOLUTION FOUND: 372477 @ 11.012
c NEW SOLUTION FOUND: 372432 @ 11.03
c NEW SOLUTION FOUND: 372408 @ 11.167
c NEW SOLUTION FOUND: 372387 @ 11.212
c NEW SOLUTION FOUND: 372363 @ 11.234
c NEW SOLUTION FOUND: 372075 @ 11.275
c NEW SOLUTION FOUND: 371922 @ 11.412
c NEW SOLUTION FOUND: 371634 @ 11.414
c NEW SOLUTION FOUND: 371301 @ 11.542
c NEW SOLUTION FOUND: 371256 @ 11.628
c NEW SOLUTION FOUND: 371194 @ 20.626
c NEW SOLUTION FOUND: 371168 @ 21.484
c NEW SOLUTION FOUND: 370550 @ 39.622
c NEW SOLUTION FOUND: 370524 @ 40.065
c NEW SOLUTION FOUND: 370481 @ 40.067
c NEW SOLUTION FOUND: 370455 @ 40.498
c NEW SOLUTION FOUND: 367710 @ 40.727
c NEW SOLUTION FOUND: 367420 @ 40.883
c NEW SOLUTION FOUND: 367418 @ 40.935
c NEW SOLUTION FOUND: 367375 @ 41.019
c NEW SOLUTION FOUND: 366969 @ 41.128
c NEW SOLUTION FOUND: 366681 @ 41.163
s SATISFIABLE
v -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 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 -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 -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 -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 -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 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_7 x45_bit_6 x45_bit_5 -x45_bit_4 x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 -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_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 -x47_bit_1 -x47_bit0 -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.04 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): 1.07 1.02 0.94 1/54 25407
Raw data (stat): 25407 (runsolver) R 25406 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901555207 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 5538 0 0 0 968 29 0 0 25 0 1 0 901555207 9322496 1580 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2276 1580 1111 63 0 2213 0
vsize: 9104
[startup+20.0003 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 9908 0 0 0 1949 47 0 0 25 0 1 0 901555207 10940416 1973 4294967295 134512640 134716908 3221224560 3221222560 1074153742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2671 1973 1111 63 0 2608 0
vsize: 10684
[startup+30.0011 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 14182 0 0 0 2928 69 0 0 25 0 1 0 901555207 13996032 2727 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2728 1111 63 0 3396 0
vsize: 13668
[startup+40.0007 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 18761 0 0 0 3910 87 0 0 25 0 1 0 901555207 16019456 3224 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3911 3224 1111 63 0 3848 0
vsize: 15644
[startup+50.0008 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 25612 0 0 0 4886 111 0 0 25 0 1 0 901555207 18460672 3816 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3818 1111 63 0 4498 0
vsize: 18028
[startup+60.0016 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 32115 0 0 0 5857 141 0 0 25 0 1 0 901555207 19861504 4159 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4849 4159 1111 63 0 4786 0
vsize: 19396
[startup+70.0022 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 36978 0 0 0 6828 169 0 0 25 0 1 0 901555207 20869120 4405 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5095 4405 1111 63 0 5032 0
vsize: 20380
[startup+80.0033 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 41295 0 0 0 7804 193 0 0 25 0 1 0 901555207 21880832 4652 4294967295 134512640 134716908 3221224560 3221222472 1075802579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 4652 1111 63 0 5279 0
vsize: 21368
[startup+90.0031 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 45584 0 0 0 8780 218 0 0 25 0 1 0 901555207 23257088 4988 4294967295 134512640 134716908 3221224560 3221222560 1074916896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5678 4988 1111 63 0 5615 0
vsize: 22712
[startup+100.003 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 49417 0 0 0 9760 238 0 0 25 0 1 0 901555207 24281088 5207 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5928 5207 1111 63 0 5865 0
vsize: 23712
[startup+110.004 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 52413 0 0 0 10741 257 0 0 25 0 1 0 901555207 24715264 5344 4294967295 134512640 134716908 3221224560 3221222288 1075828246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6034 5344 1111 63 0 5971 0
vsize: 24136
[startup+120.005 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 56204 0 0 0 11721 278 0 0 25 0 1 0 901555207 25366528 5503 4294967295 134512640 134716908 3221224560 3221222288 1075828218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6193 5503 1111 63 0 6130 0
vsize: 24772
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 60130 0 0 0 12697 302 0 0 25 0 1 0 901555207 27340800 5898 4294967295 134512640 134716908 3221224560 3221221740 1077404734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6731 5899 1111 63 0 6668 0
vsize: 26700
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 67287 0 0 0 13668 331 0 0 25 0 1 0 901555207 28831744 6262 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7032 6255 1111 63 0 6969 0
vsize: 28156
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 72187 0 0 0 14647 352 0 0 25 0 1 0 901555207 29814784 6516 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7279 6516 1111 63 0 7216 0
vsize: 29116
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 75880 0 0 0 15626 373 0 0 25 0 1 0 901555207 30871552 6786 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7537 6786 1111 63 0 7474 0
vsize: 30148
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 79268 0 0 0 16605 395 0 0 25 0 1 0 901555207 31952896 6998 4294967295 134512640 134716908 3221224560 3221220652 1075663488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7748 6997 1111 63 0 7685 0
vsize: 31204
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 82649 0 0 0 17583 417 0 0 25 0 1 0 901555207 32174080 7104 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7855 7104 1111 63 0 7792 0
vsize: 31420
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 86127 0 0 0 18563 437 0 0 25 0 1 0 901555207 32935936 7286 4294967295 134512640 134716908 3221224560 3221223328 134592107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8041 7286 1111 63 0 7978 0
vsize: 32164
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 90104 0 0 0 19538 462 0 0 25 0 1 0 901555207 33787904 7498 4294967295 134512640 134716908 3221224560 3221222384 1075824351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8249 7498 1111 63 0 8186 0
vsize: 32996
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 93606 0 0 0 20519 481 0 0 25 0 1 0 901555207 34631680 7651 4294967295 134512640 134716908 3221224560 3221220704 1074970210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8455 7651 1111 63 0 8392 0
vsize: 33820
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 100063 0 0 0 21501 500 0 0 25 0 1 0 901555207 34508800 7674 4294967295 134512640 134716908 3221224560 3221222208 1075817775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8425 7674 1111 63 0 8362 0
vsize: 33700
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 109942 0 0 0 22471 529 0 0 25 0 1 0 901555207 34873344 7764 4294967295 134512640 134716908 3221224560 3221223372 134622166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8514 7764 1111 63 0 8451 0
vsize: 34056
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 120425 0 0 0 23443 558 0 0 25 0 1 0 901555207 35336192 7800 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8627 7800 1111 63 0 8564 0
vsize: 34508
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 133708 0 0 0 24407 594 0 0 25 0 1 0 901555207 35844096 7925 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8751 7925 1111 63 0 8688 0
vsize: 35004
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 150748 0 0 0 25366 635 0 0 25 0 1 0 901555207 35987456 8036 4294967295 134512640 134716908 3221224560 3221223008 1073990141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8786 8036 1111 63 0 8723 0
vsize: 35144
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 169066 0 0 0 26317 684 0 0 25 0 1 0 901555207 36765696 8238 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 8238 1111 63 0 8913 0
vsize: 35904
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 183908 0 0 0 27279 723 0 0 25 0 1 0 901555207 37494784 8424 4294967295 134512640 134716908 3221224560 3221223168 134558542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9154 8424 1111 63 0 9091 0
vsize: 36616
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 200147 0 0 0 28232 770 0 0 25 0 1 0 901555207 37961728 8535 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9265 8535 1111 63 0 9202 0
vsize: 37072
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 217069 0 0 0 29185 817 0 0 25 0 1 0 901555207 38559744 8636 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9414 8636 1111 63 0 9351 0
vsize: 37656
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 230881 0 0 0 30150 852 0 0 25 0 1 0 901555207 38608896 8696 4294967295 134512640 134716908 3221224560 3221222512 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9426 8696 1111 63 0 9363 0
vsize: 37704
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 244169 0 0 0 31119 883 0 0 25 0 1 0 901555207 38932480 8775 4294967295 134512640 134716908 3221224560 3221223072 134540030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9505 8775 1111 63 0 9442 0
vsize: 38020
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 257251 0 0 0 32084 919 0 0 25 0 1 0 901555207 39444480 8831 4294967295 134512640 134716908 3221224560 3221220652 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8831 1111 63 0 9567 0
vsize: 38520
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 270056 0 0 0 33050 953 0 0 25 0 1 0 901555207 39407616 8891 4294967295 134512640 134716908 3221224560 3221223008 1073990196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9621 8891 1111 63 0 9558 0
vsize: 38484
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 285109 0 0 0 34008 995 0 0 25 0 1 0 901555207 39759872 8977 4294967295 134512640 134716908 3221224560 3221222544 1074056269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9707 8977 1111 63 0 9644 0
vsize: 38828
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 300071 0 0 0 34967 1036 0 0 25 0 1 0 901555207 40439808 9074 4294967295 134512640 134716908 3221224560 3221220720 1075093271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9873 9074 1111 63 0 9810 0
vsize: 39492
[startup+370.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 314086 0 0 0 35925 1078 0 0 25 0 1 0 901555207 40824832 9160 4294967295 134512640 134716908 3221224560 3221221216 1075966546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9888 9157 1111 63 0 9825 0
vsize: 39868
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 321929 0 0 0 36902 1102 0 0 25 0 1 0 901555207 40804352 9232 4294967295 134512640 134716908 3221224560 3221222684 1077379973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9962 9232 1111 63 0 9899 0
vsize: 39848
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 339329 0 0 0 37860 1144 0 0 25 0 1 0 901555207 41213952 9332 4294967295 134512640 134716908 3221224560 3221223232 134652567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10062 9332 1111 63 0 9999 0
vsize: 40248
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 350879 0 0 0 38829 1175 0 0 25 0 1 0 901555207 41259008 9340 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10073 9340 1111 63 0 10010 0
vsize: 40292
[startup+410.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 364687 0 0 0 39796 1209 0 0 25 0 1 0 901555207 41492480 9399 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10130 9399 1111 63 0 10067 0
vsize: 40520
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 379873 0 0 0 40757 1248 0 0 25 0 1 0 901555207 41639936 9436 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10166 9436 1111 63 0 10103 0
vsize: 40664
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 391546 0 0 0 41725 1280 0 0 25 0 1 0 901555207 41783296 9471 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10201 9471 1111 63 0 10138 0
vsize: 40804
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 403171 0 0 0 42694 1311 0 0 25 0 1 0 901555207 41873408 9492 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10223 9492 1111 63 0 10160 0
vsize: 40892
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 414182 0 0 0 43666 1340 0 0 25 0 1 0 901555207 41902080 9500 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10230 9500 1111 63 0 10167 0
vsize: 40920
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 430063 0 0 0 44624 1382 0 0 25 0 1 0 901555207 42102784 9549 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 9549 1111 63 0 10216 0
vsize: 41116
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 446765 0 0 0 45584 1422 0 0 25 0 1 0 901555207 42311680 9600 4294967295 134512640 134716908 3221224560 3221223312 134604738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10329 9599 1111 63 0 10266 0
vsize: 41320
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 458127 0 0 0 46556 1450 0 0 25 0 1 0 901555207 42360832 9610 4294967295 134512640 134716908 3221224560 3221222560 1074913453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10342 9610 1111 63 0 10279 0
vsize: 41368
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 471322 0 0 0 47521 1486 0 0 25 0 1 0 901555207 43057152 9702 4294967295 134512640 134716908 3221224560 3221221600 1075971283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10417 9683 1111 63 0 10354 0
vsize: 42048
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 482187 0 0 0 48495 1512 0 0 25 0 1 0 901555207 42741760 9705 4294967295 134512640 134716908 3221224560 3221222800 1074143478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10435 9705 1111 63 0 10372 0
vsize: 41740
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 493569 0 0 0 49465 1541 0 0 25 0 1 0 901555207 43196416 9736 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10546 9736 1111 63 0 10483 0
vsize: 42184
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 512789 0 0 0 50421 1586 0 0 25 0 1 0 901555207 43155456 9805 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10536 9805 1111 63 0 10473 0
vsize: 42144
[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 519638 0 0 0 51400 1607 0 0 25 0 1 0 901555207 43974656 9960 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 9960 1111 63 0 10673 0
vsize: 42944
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 527348 0 0 0 52380 1628 0 0 25 0 1 0 901555207 43225088 9822 4294967295 134512640 134716908 3221224560 3221223276 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10553 9822 1111 63 0 10490 0
vsize: 42212
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 543068 0 0 0 53341 1666 0 0 25 0 1 0 901555207 43995136 9914 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10741 9914 1111 63 0 10678 0
vsize: 42964
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 563965 0 0 0 54293 1715 0 0 25 0 1 0 901555207 46239744 10321 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11289 10321 1111 63 0 11226 0
vsize: 45156
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 585709 0 0 0 55241 1767 0 0 25 0 1 0 901555207 46632960 10426 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11385 10426 1111 63 0 11322 0
vsize: 45540
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 609112 0 0 0 56184 1825 0 0 25 0 1 0 901555207 47304704 10580 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11549 10580 1111 63 0 11486 0
vsize: 46196
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 630197 0 0 0 57133 1876 0 0 25 0 1 0 901555207 47591424 10659 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11619 10659 1111 63 0 11556 0
vsize: 46476
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 652864 0 0 0 58080 1929 0 0 25 0 1 0 901555207 47910912 10709 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11697 10709 1111 63 0 11634 0
vsize: 46788
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 672180 0 0 0 59032 1977 0 0 25 0 1 0 901555207 48156672 10804 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11757 10804 1111 63 0 11694 0
vsize: 47028
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 692678 0 0 0 59979 2030 0 0 25 0 1 0 901555207 48390144 10871 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11861 10871 1111 63 0 11798 0
vsize: 47256
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 713643 0 0 0 60933 2076 0 0 25 0 1 0 901555207 48877568 10907 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11933 10912 1111 63 0 11870 0
vsize: 47732
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 736677 0 0 0 61874 2135 0 0 25 0 1 0 901555207 48709632 10948 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11892 10948 1111 63 0 11829 0
vsize: 47568
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 756008 0 0 0 62826 2184 0 0 25 0 1 0 901555207 48828416 10984 4294967295 134512640 134716908 3221224560 3221222480 1075799556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11921 10984 1111 63 0 11858 0
vsize: 47684
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 777366 0 0 0 63770 2240 0 0 25 0 1 0 901555207 49287168 11045 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 11047 1111 63 0 12018 0
vsize: 48132
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 798872 0 0 0 64720 2290 0 0 25 0 1 0 901555207 49860608 11147 4294967295 134512640 134716908 3221224560 3221221136 1076047796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12173 11147 1111 63 0 12110 0
vsize: 48692
[startup+680.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 818108 0 0 0 65675 2335 0 0 25 0 1 0 901555207 50270208 11261 4294967295 134512640 134716908 3221224560 3221221160 1075850755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12273 11261 1111 63 0 12210 0
vsize: 49092
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 839847 0 0 0 66626 2384 0 0 25 0 1 0 901555207 50491392 11294 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12327 11294 1111 63 0 12264 0
vsize: 49308
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 859246 0 0 0 67576 2435 0 0 25 0 1 0 901555207 50905088 11412 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12428 11414 1111 63 0 12365 0
vsize: 49712
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 877098 0 0 0 68528 2483 0 0 25 0 1 0 901555207 50515968 11397 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12428 11400 1111 63 0 12365 0
vsize: 49332
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 897065 0 0 0 69475 2536 0 0 25 0 1 0 901555207 50520064 11398 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12334 11398 1111 63 0 12271 0
vsize: 49336
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 920637 0 0 0 70418 2593 0 0 25 0 1 0 901555207 51003392 11514 4294967295 134512640 134716908 3221224560 3221222748 1073959864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12452 11514 1111 63 0 12389 0
vsize: 49808
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 942834 0 0 0 71363 2649 0 0 25 0 1 0 901555207 51482624 11633 4294967295 134512640 134716908 3221224560 3221222520 1077378266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12569 11633 1111 63 0 12506 0
vsize: 50276
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 965288 0 0 0 72308 2704 0 0 25 0 1 0 901555207 51953664 11748 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12684 11748 1111 63 0 12621 0
vsize: 50736
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 988701 0 0 0 73249 2763 0 0 25 0 1 0 901555207 52895744 11973 4294967295 134512640 134716908 3221224560 3221223256 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12914 11973 1111 63 0 12851 0
vsize: 51656
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1007352 0 0 0 74204 2808 0 0 25 0 1 0 901555207 52940800 11987 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12925 11987 1111 63 0 12862 0
vsize: 51700
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1027764 0 0 0 75156 2856 0 0 25 0 1 0 901555207 53657600 12083 4294967295 134512640 134716908 3221224560 3221220896 1075114249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 12083 1111 63 0 13037 0
vsize: 52400
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1049347 0 0 0 76100 2912 0 0 25 0 1 0 901555207 53571584 12133 4294967295 134512640 134716908 3221224560 3221223280 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13079 12133 1111 63 0 13016 0
vsize: 52316
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1071932 0 0 0 77042 2971 0 0 25 0 1 0 901555207 54018048 12167 4294967295 134512640 134716908 3221224560 3221220856 1075116294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13188 12167 1111 63 0 13125 0
vsize: 52752
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1092572 0 0 0 77986 3027 0 0 25 0 1 0 901555207 54001664 12166 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13184 12166 1111 63 0 13121 0
vsize: 52736
[startup+820.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1111560 0 0 0 78940 3074 0 0 25 0 1 0 901555207 53641216 12158 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13191 12161 1111 63 0 13128 0
vsize: 52384
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1121462 0 0 0 79914 3099 0 0 25 0 1 0 901555207 53788672 12194 4294967295 134512640 134716908 3221224560 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13132 12194 1111 63 0 13069 0
vsize: 52528
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1129068 0 0 0 80897 3116 0 0 25 0 1 0 901555207 53882880 12217 4294967295 134512640 134716908 3221224560 3221223136 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13155 12217 1111 63 0 13092 0
vsize: 52620
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1144796 0 0 0 81858 3156 0 0 25 0 1 0 901555207 54452224 12334 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13294 12334 1111 63 0 13231 0
vsize: 53176
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1168267 0 0 0 82806 3208 0 0 25 0 1 0 901555207 55160832 12522 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 12522 1111 63 0 13404 0
vsize: 53868
[startup+870.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1190583 0 0 0 83753 3261 0 0 25 0 1 0 901555207 56418304 12787 4294967295 134512640 134716908 3221224560 3221220720 1074794491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13774 12787 1111 63 0 13711 0
vsize: 55096
[startup+880.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1206686 0 0 0 84714 3300 0 0 25 0 1 0 901555207 56512512 12861 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13797 12861 1111 63 0 13734 0
vsize: 55188
[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1230189 0 0 0 85661 3353 0 0 25 0 1 0 901555207 57360384 12995 4294967295 134512640 134716908 3221224560 3221221096 1075132865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14004 12995 1111 63 0 13941 0
vsize: 56016
[startup+900.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1250615 0 0 0 86614 3400 0 0 25 0 1 0 901555207 57806848 13105 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14113 13105 1111 63 0 14050 0
vsize: 56452
[startup+910.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1267351 0 0 0 87574 3441 0 0 25 0 1 0 901555207 58122240 13204 4294967295 134512640 134716908 3221224560 3221220528 1074872873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14190 13204 1111 63 0 14127 0
vsize: 56760
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1280517 0 0 0 88540 3475 0 0 25 0 1 0 901555207 58015744 13238 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14164 13238 1111 63 0 14101 0
vsize: 56656
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1294503 0 0 0 89506 3509 0 0 25 0 1 0 901555207 58630144 13309 4294967295 134512640 134716908 3221224560 3221220768 1074815176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14314 13309 1111 63 0 14251 0
vsize: 57256
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1310103 0 0 0 90469 3546 0 0 25 0 1 0 901555207 59031552 13408 4294967295 134512640 134716908 3221224560 3221220896 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14412 13408 1111 63 0 14349 0
vsize: 57648
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1324464 0 0 0 91434 3582 0 0 25 0 1 0 901555207 59572224 13529 4294967295 134512640 134716908 3221224560 3221220768 1074815372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14544 13529 1111 63 0 14481 0
vsize: 58176
[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1340782 0 0 0 92398 3618 0 0 25 0 1 0 901555207 58916864 13465 4294967295 134512640 134716908 3221224560 3221222488 1077378283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14384 13465 1111 63 0 14321 0
vsize: 57536
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1353271 0 0 0 93369 3647 0 0 25 0 1 0 901555207 59551744 13489 4294967295 134512640 134716908 3221224560 3221221584 1074810492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14539 13492 1111 63 0 14476 0
vsize: 58156
[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1375004 0 0 0 94318 3698 0 0 25 0 1 0 901555207 60157952 13673 4294967295 134512640 134716908 3221224560 3221220704 1074970836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14687 13673 1111 63 0 14624 0
vsize: 58748
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1396690 0 0 0 95267 3749 0 0 25 0 1 0 901555207 60223488 13773 4294967295 134512640 134716908 3221224560 3221222976 1074116794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14703 13773 1111 63 0 14640 0
vsize: 58812
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1418041 0 0 0 96215 3801 0 0 25 0 1 0 901555207 61308928 13931 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14861 13928 1111 63 0 14798 0
vsize: 59872
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1442631 0 0 0 97160 3857 0 0 25 0 1 0 901555207 61480960 14073 4294967295 134512640 134716908 3221224560 3221222480 1075799603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15010 14073 1111 63 0 14947 0
vsize: 60040
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1466805 0 0 0 98103 3914 0 0 25 0 1 0 901555207 62222336 14266 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15191 14266 1111 63 0 15128 0
vsize: 60764
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1489364 0 0 0 99051 3966 0 0 25 0 1 0 901555207 62992384 14467 4294967295 134512640 134716908 3221224560 3221222960 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15379 14467 1111 63 0 15316 0
vsize: 61516
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1514848 0 0 0 99990 4028 0 0 25 0 1 0 901555207 63602688 14617 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15528 14617 1111 63 0 15465 0
vsize: 62112
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1535478 0 0 0 100943 4075 0 0 25 0 1 0 901555207 64696320 14804 4294967295 134512640 134716908 3221224560 3221220704 1074970413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15795 14804 1111 63 0 15732 0
vsize: 63180
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1559780 0 0 0 101889 4129 0 0 25 0 1 0 901555207 64729088 14888 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15803 14888 1111 63 0 15740 0
vsize: 63212
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1582427 0 0 0 102836 4182 0 0 25 0 1 0 901555207 65224704 15013 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15924 15013 1111 63 0 15861 0
vsize: 63696
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1598305 0 0 0 103802 4216 0 0 25 0 1 0 901555207 65630208 15113 4294967295 134512640 134716908 3221224560 3221222644 1077378632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16023 15113 1111 63 0 15960 0
vsize: 64092
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1612690 0 0 0 104768 4251 0 0 25 0 1 0 901555207 66375680 15211 4294967295 134512640 134716908 3221224560 3221220688 1075112066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16205 15211 1111 63 0 16142 0
vsize: 64820
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1629237 0 0 0 105730 4289 0 0 25 0 1 0 901555207 66461696 15311 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16226 15311 1111 63 0 16163 0
vsize: 64904
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1645525 0 0 0 106690 4329 0 0 25 0 1 0 901555207 66600960 15353 4294967295 134512640 134716908 3221224560 3221222520 1074138333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16260 15353 1111 63 0 16197 0
vsize: 65040
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1661023 0 0 0 107653 4367 0 0 25 0 1 0 901555207 66895872 15422 4294967295 134512640 134716908 3221224560 3221222288 1075829963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16332 15422 1111 63 0 16269 0
vsize: 65328
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 3/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1675955 0 0 0 108614 4405 0 0 25 0 1 0 901555207 67321856 15447 4294967295 134512640 134716908 3221224560 3221220704 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16436 15447 1111 63 0 16373 0
vsize: 65744
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1693280 0 0 0 109573 4447 0 0 25 0 1 0 901555207 67325952 15453 4294967295 134512640 134716908 3221224560 3221220524 1074788226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16437 15453 1111 63 0 16374 0
vsize: 65748
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1713283 0 0 0 110519 4500 0 0 25 0 1 0 901555207 67244032 15518 4294967295 134512640 134716908 3221224560 3221223296 134604712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16417 15518 1111 63 0 16354 0
vsize: 65668
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1730084 0 0 0 111479 4541 0 0 25 0 1 0 901555207 67698688 15629 4294967295 134512640 134716908 3221224560 3221221664 1074139102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16632 15632 1111 63 0 16569 0
vsize: 66112
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1748074 0 0 0 112436 4584 0 0 25 0 1 0 901555207 67887104 15665 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16574 15665 1111 63 0 16511 0
vsize: 66296
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 25407
Raw data (stat): 25407 (bsolo_lpr-v2) R 25406 20224 20223 0 -1 0 1748074 0 0 0 112436 4584 0 0 25 0 1 0 901555207 67887104 15665 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16574 15665 1111 63 0 16511 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.08
CPU user time (s): 1128.95
CPU system time (s): 46.123
CPU usage (%): 100.014
Max. virtual memory (Kb): 66296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	366681
#### END VERIFIER DATA ####