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/miplib3/normalized-mps-v2-20-10-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.13683
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 26361

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 15:23:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13678 boxname=wulflinc21 idbench=1053 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 13678
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        864116 kB
Buffers:         35688 kB
Cached:         112900 kB
SwapCached:       1216 kB
Active:          92432 kB
Inactive:        58888 kB
HighTotal:      131008 kB
HighFree:        33908 kB
LowTotal:       903652 kB
LowFree:        830208 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13540 kB
Committed_AS:    63916 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:37:41 (client local time) WITH STATUS 0 IN 868.689 SECONDS
stats: 13678 7 868.689 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.81 0.95 0.98 2/55 566
Raw data (stat): 566 (runsolver) R 565 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 708553247 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.84 0.95 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 3355 0 0 0 988 10 0 0 25 0 1 0 708553247 25382912 3279 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 3279 1111 63 0 6134 0
vsize: 24788
[startup+20.0016 s]
Raw data (loadavg): 0.86 0.95 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 5919 0 0 0 1982 16 0 0 25 0 1 0 708553247 35840000 5843 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8750 5843 1111 63 0 8687 0
vsize: 35000
[startup+30.0013 s]
Raw data (loadavg): 0.88 0.95 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 8491 0 0 0 2978 21 0 0 25 0 1 0 708553247 46424064 8415 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11334 8415 1111 63 0 11271 0
vsize: 45336
[startup+40.002 s]
Raw data (loadavg): 0.90 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 11062 0 0 0 3973 25 0 0 25 0 1 0 708553247 57028608 10986 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13923 10986 1111 63 0 13860 0
vsize: 55692
[startup+50.0027 s]
Raw data (loadavg): 0.92 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 13660 0 0 0 4969 30 0 0 25 0 1 0 708553247 67600384 13584 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13584 1111 63 0 16441 0
vsize: 66016
[startup+60.0034 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 16268 0 0 0 5965 34 0 0 25 0 1 0 708553247 78352384 16192 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19129 16192 1111 63 0 19066 0
vsize: 76516
[startup+70.0031 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 18874 0 0 0 6961 38 0 0 25 0 1 0 708553247 88948736 18798 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21716 18798 1111 63 0 21653 0
vsize: 86864
[startup+80.0028 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 21487 0 0 0 7957 43 0 0 25 0 1 0 708553247 99700736 21411 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24341 21411 1111 63 0 24278 0
vsize: 97364
[startup+90.0024 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 24098 0 0 0 8953 46 0 0 25 0 1 0 708553247 110301184 24022 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26929 24022 1111 63 0 26866 0
vsize: 107716
[startup+100.002 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 26718 0 0 0 9947 52 0 0 25 0 1 0 708553247 121176064 26642 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29584 26642 1111 63 0 29521 0
vsize: 118336
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 29318 0 0 0 10942 58 0 0 25 0 1 0 708553247 131772416 29242 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32171 29242 1111 63 0 32108 0
vsize: 128684
[startup+120.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 31926 0 0 0 11938 62 0 0 25 0 1 0 708553247 142376960 31850 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34760 31850 1111 63 0 34697 0
vsize: 139040
[startup+130.002 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 34515 0 0 0 12934 66 0 0 25 0 1 0 708553247 152973312 34439 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37347 34439 1111 63 0 37284 0
vsize: 149388
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 37085 0 0 0 13930 70 0 0 25 0 1 0 708553247 163577856 37009 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39936 37009 1111 63 0 39873 0
vsize: 159744
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 39661 0 0 0 14926 74 0 0 25 0 1 0 708553247 174174208 39585 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42523 39585 1111 63 0 42460 0
vsize: 170092
[startup+160.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 42269 0 0 0 15922 78 0 0 25 0 1 0 708553247 184778752 42193 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45112 42193 1111 63 0 45049 0
vsize: 180448
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 44893 0 0 0 16917 84 0 0 25 0 1 0 708553247 195526656 44817 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47736 44817 1111 63 0 47673 0
vsize: 190944
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 47503 0 0 0 17912 88 0 0 25 0 1 0 708553247 206278656 47427 4294967295 134512640 134714508 3221224592 3221222944 134567417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50361 47427 1111 63 0 50298 0
vsize: 201444
[startup+190.003 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 50207 0 0 0 18908 93 0 0 25 0 1 0 708553247 217321472 50131 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53057 50131 1111 63 0 52994 0
vsize: 212228
[startup+200.003 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 52870 0 0 0 19904 98 0 0 25 0 1 0 708553247 228220928 52794 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55718 52794 1111 63 0 55655 0
vsize: 222872
[startup+210.004 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 55487 0 0 0 20901 101 0 0 25 0 1 0 708553247 238968832 55411 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58342 55411 1111 63 0 58279 0
vsize: 233368
[startup+220.004 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 58078 0 0 0 21895 106 0 0 25 0 1 0 708553247 249573376 58002 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60931 58002 1111 63 0 60868 0
vsize: 243724
[startup+230.004 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 60683 0 0 0 22892 110 0 0 25 0 1 0 708553247 260317184 60607 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63554 60607 1111 63 0 63491 0
vsize: 254216
[startup+240.004 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 63280 0 0 0 23886 116 0 0 25 0 1 0 708553247 270921728 63204 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66143 63204 1111 63 0 66080 0
vsize: 264572
[startup+250.004 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 65934 0 0 0 24881 121 0 0 25 0 1 0 708553247 281817088 65858 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68803 65858 1111 63 0 68740 0
vsize: 275212
[startup+260.005 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 68591 0 0 0 25877 125 0 0 25 0 1 0 708553247 292573184 68515 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71429 68515 1111 63 0 71366 0
vsize: 285716
[startup+270.005 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 71193 0 0 0 26873 130 0 0 25 0 1 0 708553247 303325184 71117 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71117 1111 63 0 73991 0
vsize: 296216
[startup+280.005 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 73768 0 0 0 27868 135 0 0 25 0 1 0 708553247 313774080 73692 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76605 73692 1111 63 0 76542 0
vsize: 306420
[startup+290.005 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 76389 0 0 0 28864 139 0 0 25 0 1 0 708553247 324526080 76313 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79230 76313 1111 63 0 79167 0
vsize: 316920
[startup+300.005 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 78952 0 0 0 29859 144 0 0 25 0 1 0 708553247 335122432 78876 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81817 78876 1111 63 0 81754 0
vsize: 327268
[startup+310.005 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 81590 0 0 0 30852 151 0 0 25 0 1 0 708553247 345874432 81514 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84442 81514 1111 63 0 84379 0
vsize: 337768
[startup+320.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 84154 0 0 0 31849 155 0 0 25 0 1 0 708553247 356323328 84078 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86993 84078 1111 63 0 86930 0
vsize: 347972
[startup+330.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 86823 0 0 0 32842 161 0 0 25 0 1 0 708553247 367226880 86747 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89655 86747 1111 63 0 89592 0
vsize: 358620
[startup+340.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 89363 0 0 0 33837 166 0 0 25 0 1 0 708553247 377675776 89287 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92206 89287 1111 63 0 92143 0
vsize: 368824
[startup+350.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 91982 0 0 0 34833 171 0 0 25 0 1 0 708553247 388427776 91906 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94831 91906 1111 63 0 94768 0
vsize: 379324
[startup+360.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 94539 0 0 0 35828 176 0 0 25 0 1 0 708553247 398876672 94463 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97382 94463 1111 63 0 97319 0
vsize: 389528
[startup+370.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 97085 0 0 0 36823 181 0 0 25 0 1 0 708553247 409325568 97009 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99933 97009 1111 63 0 99870 0
vsize: 399732
[startup+380.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 99642 0 0 0 37819 185 0 0 25 0 1 0 708553247 419848192 99566 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102502 99566 1111 63 0 102439 0
vsize: 410008
[startup+390.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 102194 0 0 0 38816 189 0 0 25 0 1 0 708553247 430292992 102118 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105052 102118 1111 63 0 104989 0
vsize: 420208
[startup+400.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 104747 0 0 0 39811 193 0 0 25 0 1 0 708553247 440750080 104671 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107605 104671 1111 63 0 107542 0
vsize: 430420
[startup+410.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 107347 0 0 0 40805 199 0 0 25 0 1 0 708553247 451497984 107271 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110229 107271 1111 63 0 110166 0
vsize: 440916
[startup+420.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 110046 0 0 0 41800 205 0 0 25 0 1 0 708553247 462548992 109970 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112927 109970 1111 63 0 112864 0
vsize: 451708
[startup+430.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 112561 0 0 0 42795 210 0 0 25 0 1 0 708553247 472846336 112485 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115441 112485 1111 63 0 115378 0
vsize: 461764
[startup+440.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 115290 0 0 0 43790 215 0 0 25 0 1 0 708553247 484044800 115214 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118175 115214 1111 63 0 118112 0
vsize: 472700
[startup+450.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 117874 0 0 0 44786 220 0 0 25 0 1 0 708553247 494493696 117798 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120726 117798 1111 63 0 120663 0
vsize: 482904
[startup+460.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 120419 0 0 0 45782 224 0 0 25 0 1 0 708553247 504950784 120343 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123279 120343 1111 63 0 123216 0
vsize: 493116
[startup+470.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 123052 0 0 0 46777 229 0 0 25 0 1 0 708553247 515694592 122976 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125902 122976 1111 63 0 125839 0
vsize: 503608
[startup+480.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 125670 0 0 0 47772 234 0 0 25 0 1 0 708553247 526450688 125594 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128528 125594 1111 63 0 128465 0
vsize: 514112
[startup+490.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 128204 0 0 0 48768 238 0 0 25 0 1 0 708553247 536899584 128128 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131079 128128 1111 63 0 131016 0
vsize: 524316
[startup+500.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 131012 0 0 0 49764 242 0 0 25 0 1 0 708553247 548397056 130936 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133886 130936 1111 63 0 133823 0
vsize: 535544
[startup+510.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 133887 0 0 0 50761 245 0 0 25 0 1 0 708553247 560193536 133811 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136766 133811 1111 63 0 136703 0
vsize: 547064
[startup+520.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 136725 0 0 0 51757 250 0 0 25 0 1 0 708553247 571691008 136649 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139573 136649 1111 63 0 139510 0
vsize: 558292
[startup+530.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 139703 0 0 0 52753 254 0 0 25 0 1 0 708553247 583933952 139627 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142562 139627 1111 63 0 142499 0
vsize: 570248
[startup+540.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 142613 0 0 0 53748 259 0 0 25 0 1 0 708553247 595873792 142537 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145477 142537 1111 63 0 145414 0
vsize: 581908
[startup+550.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 145166 0 0 0 54744 263 0 0 25 0 1 0 708553247 606326784 145090 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148029 145090 1111 63 0 147966 0
vsize: 592116
[startup+560.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 147906 0 0 0 55740 268 0 0 25 0 1 0 708553247 617521152 147830 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150762 147830 1111 63 0 150699 0
vsize: 603048
[startup+570.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 150386 0 0 0 56736 272 0 0 25 0 1 0 708553247 627679232 150310 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153242 150310 1111 63 0 153179 0
vsize: 612968
[startup+580.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 153018 0 0 0 57731 276 0 0 25 0 1 0 708553247 638427136 152942 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155866 152942 1111 63 0 155803 0
vsize: 623464
[startup+590.006 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 155679 0 0 0 58727 281 0 0 25 0 1 0 708553247 649326592 155603 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158527 155603 1111 63 0 158464 0
vsize: 634108
[startup+600.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 158560 0 0 0 59722 286 0 0 25 0 1 0 708553247 661123072 158484 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161407 158484 1111 63 0 161344 0
vsize: 645628
[startup+610.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 161435 0 0 0 60718 290 0 0 25 0 1 0 708553247 672919552 161359 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164287 161359 1111 63 0 164224 0
vsize: 657148
[startup+620.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 164139 0 0 0 61712 296 0 0 25 0 1 0 708553247 683966464 164063 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166984 164063 1111 63 0 166921 0
vsize: 667936
[startup+630.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 166644 0 0 0 62708 300 0 0 25 0 1 0 708553247 694272000 166568 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169500 166568 1111 63 0 169437 0
vsize: 678000
[startup+640.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 169431 0 0 0 63703 305 0 0 25 0 1 0 708553247 705613824 169355 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172269 169355 1111 63 0 172206 0
vsize: 689076
[startup+650.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 172071 0 0 0 64699 310 0 0 25 0 1 0 708553247 716513280 171995 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174930 171995 1111 63 0 174867 0
vsize: 699720
[startup+660.005 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 174543 0 0 0 65695 314 0 0 25 0 1 0 708553247 726667264 174467 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177409 174467 1111 63 0 177346 0
vsize: 709636
[startup+670.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 177121 0 0 0 66691 318 0 0 25 0 1 0 708553247 737120256 177045 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179961 177045 1111 63 0 179898 0
vsize: 719844
[startup+680.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 179520 0 0 0 67687 322 0 0 25 0 1 0 708553247 746971136 179444 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182366 179444 1111 63 0 182303 0
vsize: 729464
[startup+690.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 181914 0 0 0 68683 326 0 0 25 0 1 0 708553247 756826112 181838 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184772 181838 1111 63 0 184709 0
vsize: 739088
[startup+700.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 184359 0 0 0 69680 329 0 0 25 0 1 0 708553247 766832640 184283 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187215 184283 1111 63 0 187152 0
vsize: 748860
[startup+710.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 186788 0 0 0 70676 334 0 0 25 0 1 0 708553247 776683520 186712 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189620 186712 1111 63 0 189557 0
vsize: 758480
[startup+720.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 189122 0 0 0 71671 338 0 0 25 0 1 0 708553247 786239488 189046 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191953 189046 1111 63 0 191890 0
vsize: 767812
[startup+730.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 191747 0 0 0 72666 344 0 0 25 0 1 0 708553247 796991488 191671 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194578 191671 1111 63 0 194515 0
vsize: 778312
[startup+740.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 194292 0 0 0 73662 348 0 0 25 0 1 0 708553247 807440384 194216 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197129 194216 1111 63 0 197066 0
vsize: 788516
[startup+750.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 196969 0 0 0 74659 351 0 0 25 0 1 0 708553247 818704384 196893 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199879 196893 1111 63 0 199816 0
vsize: 799516
[startup+760.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 199411 0 0 0 75655 355 0 0 25 0 1 0 708553247 828706816 199335 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202321 199335 1111 63 0 202258 0
vsize: 809284
[startup+770.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 202159 0 0 0 76650 360 0 0 25 0 1 0 708553247 839905280 202083 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205055 202083 1111 63 0 204992 0
vsize: 820220
[startup+780.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 204674 0 0 0 77645 366 0 0 25 0 1 0 708553247 850202624 204598 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207569 204598 1111 63 0 207506 0
vsize: 830276
[startup+790.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 207349 0 0 0 78640 371 0 0 25 0 1 0 708553247 861253632 207273 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210267 207273 1111 63 0 210204 0
vsize: 841068
[startup+800.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 209931 0 0 0 79636 375 0 0 25 0 1 0 708553247 871702528 209855 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212818 209855 1111 63 0 212755 0
vsize: 851272
[startup+810.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 212575 0 0 0 80632 379 0 0 25 0 1 0 708553247 882606080 212499 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215480 212499 1111 63 0 215417 0
vsize: 861920
[startup+820.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 215389 0 0 0 81626 385 0 0 25 0 1 0 708553247 894103552 215313 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218287 215313 1111 63 0 218224 0
vsize: 873148
[startup+830.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 217916 0 0 0 82620 392 0 0 25 0 1 0 708553247 904404992 217744 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220802 217744 1111 63 0 220739 0
vsize: 883208
[startup+840.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 220762 0 0 0 83612 400 0 0 25 0 1 0 708553247 916049920 220238 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223645 220238 1111 63 0 223582 0
vsize: 894580
[startup+850.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 223337 0 0 0 84607 405 0 0 25 0 1 0 708553247 926650368 222269 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226233 222269 1111 63 0 226170 0
vsize: 904932
[startup+860.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 225670 0 0 0 85601 411 0 0 25 0 1 0 708553247 936202240 224123 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228565 224123 1111 63 0 228502 0
vsize: 914260
[startup+868.565 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 566
Raw data (stat): 566 (bsolo_lpr_cuts) R 565 32363 32362 0 -1 0 225670 0 0 0 85601 411 0 0 25 0 1 0 708553247 936202240 224123 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228565 224123 1111 63 0 228502 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 868.564
CPU time (s): 868.689
CPU user time (s): 864.112
CPU system time (s): 4.5773
CPU usage (%): 100.014
Max. virtual memory (Kb): 914260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####