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 28224

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 01:21:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13679 boxname=wulflinc2 idbench=1053 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 13679
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        444496 kB
Buffers:         27484 kB
Cached:         541148 kB
SwapCached:        868 kB
Active:          85252 kB
Inactive:       485968 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        444244 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            13084 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:35:54 (client local time) WITH STATUS 0 IN 874.962 SECONDS
stats: 13679 7 874.962 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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): 1.01 0.97 0.93 2/54 6800
Raw data (stat): 6800 (runsolver) R 6799 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776659037 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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 s]
Raw data (loadavg): 1.01 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 3180 0 0 0 991 8 0 0 25 0 1 0 776659037 25214976 3158 4294967295 134512640 134714540 3221224592 3221222860 1077244113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 3158 1111 63 0 6093 0
vsize: 24624
[startup+20.0011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 5727 0 0 0 1985 14 0 0 25 0 1 0 776659037 35672064 5705 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8709 5705 1111 63 0 8646 0
vsize: 34836
[startup+30.0004 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 8274 0 0 0 2982 17 0 0 25 0 1 0 776659037 46104576 8252 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11256 8252 1111 63 0 11193 0
vsize: 45024
[startup+40.0011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 10813 0 0 0 3978 22 0 0 25 0 1 0 776659037 56553472 10791 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13807 10791 1111 63 0 13744 0
vsize: 55228
[startup+50.0025 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 13389 0 0 0 4973 26 0 0 25 0 1 0 776659037 67006464 13367 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 13367 1111 63 0 16296 0
vsize: 65436
[startup+60.0015 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 15959 0 0 0 5969 31 0 0 25 0 1 0 776659037 77606912 15937 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18947 15937 1111 63 0 18884 0
vsize: 75788
[startup+70.0012 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 18535 0 0 0 6964 35 0 0 25 0 1 0 776659037 88059904 18513 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21499 18513 1111 63 0 21436 0
vsize: 85996
[startup+80.0014 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 21117 0 0 0 7959 41 0 0 25 0 1 0 776659037 98656256 21095 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24086 21095 1111 63 0 24023 0
vsize: 96344
[startup+90.0016 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 23699 0 0 0 8954 46 0 0 25 0 1 0 776659037 109260800 23677 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26675 23677 1111 63 0 26612 0
vsize: 106700
[startup+100.001 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 26293 0 0 0 9950 50 0 0 25 0 1 0 776659037 119857152 26271 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29262 26271 1111 63 0 29199 0
vsize: 117048
[startup+110.002 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 28865 0 0 0 10945 55 0 0 25 0 1 0 776659037 130461696 28843 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31851 28843 1111 63 0 31788 0
vsize: 127404
[startup+120.003 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 31441 0 0 0 11941 59 0 0 25 0 1 0 776659037 141058048 31419 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34438 31419 1111 63 0 34375 0
vsize: 137752
[startup+130.002 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 33994 0 0 0 12937 63 0 0 25 0 1 0 776659037 151515136 33972 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36991 33972 1111 63 0 36928 0
vsize: 147964
[startup+140.004 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 36545 0 0 0 13933 67 0 0 25 0 1 0 776659037 161959936 36523 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39541 36523 1111 63 0 39478 0
vsize: 158164
[startup+150.004 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 39087 0 0 0 14930 71 0 0 25 0 1 0 776659037 172265472 39065 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42057 39065 1111 63 0 41994 0
vsize: 168228
[startup+160.004 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 41657 0 0 0 15924 77 0 0 25 0 1 0 776659037 182865920 41635 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44645 41635 1111 63 0 44582 0
vsize: 178580
[startup+170.004 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 44246 0 0 0 16920 82 0 0 25 0 1 0 776659037 193466368 44224 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47233 44224 1111 63 0 47170 0
vsize: 188932
[startup+180.004 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 46821 0 0 0 17915 86 0 0 25 0 1 0 776659037 203915264 46799 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49784 46799 1111 63 0 49721 0
vsize: 199136
[startup+190.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 49499 0 0 0 18911 90 0 0 25 0 1 0 776659037 214990848 49477 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52488 49477 1111 63 0 52425 0
vsize: 209952
[startup+200.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 52136 0 0 0 19907 94 0 0 25 0 1 0 776659037 225734656 52114 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55111 52114 1111 63 0 55048 0
vsize: 220444
[startup+210.004 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 54724 0 0 0 20902 100 0 0 25 0 1 0 776659037 236339200 54702 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57700 54702 1111 63 0 57637 0
vsize: 230800
[startup+220.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 57276 0 0 0 21897 105 0 0 25 0 1 0 776659037 246788096 57254 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60251 57254 1111 63 0 60188 0
vsize: 241004
[startup+230.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 59860 0 0 0 22893 110 0 0 25 0 1 0 776659037 257392640 59838 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62840 59838 1111 63 0 62777 0
vsize: 251360
[startup+240.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 62406 0 0 0 23888 115 0 0 25 0 1 0 776659037 267841536 62384 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65391 62384 1111 63 0 65328 0
vsize: 261564
[startup+250.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 65032 0 0 0 24882 120 0 0 25 0 1 0 776659037 278593536 65010 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68016 65010 1111 63 0 67953 0
vsize: 272064
[startup+260.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 67657 0 0 0 25877 125 0 0 25 0 1 0 776659037 289341440 67635 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70640 67635 1111 63 0 70577 0
vsize: 282560
[startup+270.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 70253 0 0 0 26873 130 0 0 25 0 1 0 776659037 299941888 70231 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73228 70231 1111 63 0 73165 0
vsize: 292912
[startup+280.005 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 72779 0 0 0 27869 134 0 0 25 0 1 0 776659037 310390784 72757 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75779 72757 1111 63 0 75716 0
vsize: 303116
[startup+290.006 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 75381 0 0 0 28865 138 0 0 25 0 1 0 776659037 320995328 75359 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78368 75359 1111 63 0 78305 0
vsize: 313472
[startup+300.006 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 77939 0 0 0 29862 142 0 0 25 0 1 0 776659037 331444224 77917 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80919 77917 1111 63 0 80856 0
vsize: 323676
[startup+310.006 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 80450 0 0 0 30857 146 0 0 25 0 1 0 776659037 341749760 80428 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83435 80428 1111 63 0 83372 0
vsize: 333740
[startup+320.006 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 83069 0 0 0 31852 151 0 0 25 0 1 0 776659037 352497664 83047 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86059 83047 1111 63 0 85996 0
vsize: 344236
[startup+330.006 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 85682 0 0 0 32848 156 0 0 25 0 1 0 776659037 363098112 85660 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88647 85660 1111 63 0 88584 0
vsize: 354588
[startup+340.007 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 88246 0 0 0 33845 159 0 0 25 0 1 0 776659037 373698560 88224 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91235 88224 1111 63 0 91172 0
vsize: 364940
[startup+350.008 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 90751 0 0 0 34841 163 0 0 25 0 1 0 776659037 383852544 90729 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93714 90729 1111 63 0 93651 0
vsize: 374856
[startup+360.008 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 93356 0 0 0 35836 169 0 0 25 0 1 0 776659037 394600448 93334 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96338 93334 1111 63 0 96275 0
vsize: 385352
[startup+370.007 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 95865 0 0 0 36831 174 0 0 25 0 1 0 776659037 404901888 95843 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98853 95843 1111 63 0 98790 0
vsize: 395412
[startup+380.007 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 98375 0 0 0 37827 178 0 0 25 0 1 0 776659037 415272960 98353 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101385 98353 1111 63 0 101322 0
vsize: 405540
[startup+390.008 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 100902 0 0 0 38822 183 0 0 25 0 1 0 776659037 425574400 100880 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103900 100880 1111 63 0 103837 0
vsize: 415600
[startup+400.008 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 103443 0 0 0 39817 188 0 0 25 0 1 0 776659037 436027392 103421 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106452 103421 1111 63 0 106389 0
vsize: 425808
[startup+410.008 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 105922 0 0 0 40813 193 0 0 25 0 1 0 776659037 446177280 105900 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108930 105900 1111 63 0 108867 0
vsize: 435720
[startup+420.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 108615 0 0 0 41808 197 0 0 25 0 1 0 776659037 457228288 108593 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111628 108593 1111 63 0 111565 0
vsize: 446512
[startup+430.008 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 111179 0 0 0 42803 202 0 0 25 0 1 0 776659037 467677184 111157 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114179 111157 1111 63 0 114116 0
vsize: 456716
[startup+440.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 113780 0 0 0 43800 206 0 0 25 0 1 0 776659037 478281728 113758 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116768 113758 1111 63 0 116705 0
vsize: 467072
[startup+450.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 116400 0 0 0 44794 211 0 0 25 0 1 0 776659037 489025536 116378 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119391 116378 1111 63 0 119328 0
vsize: 477564
[startup+460.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 118940 0 0 0 45790 216 0 0 25 0 1 0 776659037 499482624 118918 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121944 118918 1111 63 0 121881 0
vsize: 487776
[startup+470.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 121474 0 0 0 46786 220 0 0 25 0 1 0 776659037 509779968 121452 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124458 121452 1111 63 0 124395 0
vsize: 497832
[startup+480.008 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 124063 0 0 0 47780 226 0 0 25 0 1 0 776659037 520384512 124041 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127047 124041 1111 63 0 126984 0
vsize: 508188
[startup+490.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 126620 0 0 0 48775 231 0 0 25 0 1 0 776659037 530980864 126598 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129634 126598 1111 63 0 129571 0
vsize: 518536
[startup+500.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 129169 0 0 0 49771 235 0 0 25 0 1 0 776659037 541286400 129147 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132150 129147 1111 63 0 132087 0
vsize: 528600
[startup+510.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 132047 0 0 0 50765 241 0 0 25 0 1 0 776659037 553078784 132025 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135029 132025 1111 63 0 134966 0
vsize: 540116
[startup+520.009 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 134905 0 0 0 51760 247 0 0 25 0 1 0 776659037 564875264 134883 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137909 134883 1111 63 0 137846 0
vsize: 551636
[startup+530.01 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 137742 0 0 0 52755 252 0 0 25 0 1 0 776659037 576520192 137720 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140752 137720 1111 63 0 140689 0
vsize: 563008
[startup+540.01 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 140776 0 0 0 53749 259 0 0 25 0 1 0 776659037 588914688 140754 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143778 140754 1111 63 0 143715 0
vsize: 575112
[startup+550.01 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 143479 0 0 0 54744 264 0 0 25 0 1 0 776659037 599961600 143457 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146475 143457 1111 63 0 146412 0
vsize: 585900
[startup+560.01 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 146202 0 0 0 55739 269 0 0 25 0 1 0 776659037 611160064 146180 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149209 146180 1111 63 0 149146 0
vsize: 596836
[startup+570.011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 148711 0 0 0 56735 273 0 0 25 0 1 0 776659037 621309952 148689 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151687 148689 1111 63 0 151624 0
vsize: 606748
[startup+580.01 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 151258 0 0 0 57729 279 0 0 25 0 1 0 776659037 631762944 151236 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154239 151236 1111 63 0 154176 0
vsize: 616956
[startup+590.011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 153944 0 0 0 58726 283 0 0 25 0 1 0 776659037 642809856 153922 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156936 153922 1111 63 0 156873 0
vsize: 627744
[startup+600.011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 156678 0 0 0 59720 288 0 0 25 0 1 0 776659037 654008320 156656 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159670 156656 1111 63 0 159607 0
vsize: 638680
[startup+610.011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 159615 0 0 0 60715 293 0 0 25 0 1 0 776659037 665956352 159593 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162587 159593 1111 63 0 162524 0
vsize: 650348
[startup+620.012 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 162422 0 0 0 61709 300 0 0 25 0 1 0 776659037 677453824 162400 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165394 162400 1111 63 0 165331 0
vsize: 661576
[startup+630.011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 164945 0 0 0 62703 305 0 0 25 0 1 0 776659037 687902720 164923 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167945 164923 1111 63 0 167882 0
vsize: 671780
[startup+640.012 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 167606 0 0 0 63700 309 0 0 25 0 1 0 776659037 698802176 167584 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170606 167584 1111 63 0 170543 0
vsize: 682424
[startup+650.012 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 170303 0 0 0 64696 313 0 0 25 0 1 0 776659037 709849088 170281 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173303 170281 1111 63 0 173240 0
vsize: 693212
[startup+660.011 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 172857 0 0 0 65691 318 0 0 25 0 1 0 776659037 720302080 172835 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175855 172835 1111 63 0 175792 0
vsize: 703420
[startup+670.012 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 175402 0 0 0 66687 323 0 0 25 0 1 0 776659037 730603520 175380 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178370 175380 1111 63 0 178307 0
vsize: 713480
[startup+680.012 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 177914 0 0 0 67681 328 0 0 25 0 1 0 776659037 740909056 177892 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180886 177892 1111 63 0 180823 0
vsize: 723544
[startup+690.013 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 180301 0 0 0 68676 334 0 0 25 0 1 0 776659037 750759936 180279 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183291 180279 1111 63 0 183228 0
vsize: 733164
[startup+700.013 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 182694 0 0 0 69671 339 0 0 25 0 1 0 776659037 760463360 182672 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185660 182672 1111 63 0 185597 0
vsize: 742640
[startup+710.013 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 185083 0 0 0 70667 343 0 0 25 0 1 0 776659037 770314240 185061 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188065 185061 1111 63 0 188002 0
vsize: 752260
[startup+720.014 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 187484 0 0 0 71662 348 0 0 25 0 1 0 776659037 780173312 187462 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190472 187462 1111 63 0 190409 0
vsize: 761888
[startup+730.013 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 189847 0 0 0 72658 352 0 0 25 0 1 0 776659037 789876736 189825 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192841 189825 1111 63 0 192778 0
vsize: 771364
[startup+740.014 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 192593 0 0 0 73654 357 0 0 25 0 1 0 776659037 801075200 192571 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195575 192571 1111 63 0 195512 0
vsize: 782300
[startup+750.014 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 195108 0 0 0 74650 361 0 0 25 0 1 0 776659037 811376640 195086 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198090 195086 1111 63 0 198027 0
vsize: 792360
[startup+760.014 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 197767 0 0 0 75644 367 0 0 25 0 1 0 776659037 822493184 197745 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200804 197745 1111 63 0 200741 0
vsize: 803216
[startup+770.015 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 200313 0 0 0 76639 373 0 0 25 0 1 0 776659037 832942080 200291 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203355 200291 1111 63 0 203292 0
vsize: 813420
[startup+780.014 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 202903 0 0 0 77633 378 0 0 25 0 1 0 776659037 843542528 202881 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205943 202881 1111 63 0 205880 0
vsize: 823772
[startup+790.015 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 205399 0 0 0 78628 383 0 0 25 0 1 0 776659037 853692416 205377 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208421 205377 1111 63 0 208358 0
vsize: 833684
[startup+800.015 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 208190 0 0 0 79623 389 0 0 25 0 1 0 776659037 865193984 208168 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211229 208168 1111 63 0 211166 0
vsize: 844916
[startup+810.015 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 210880 0 0 0 80618 394 0 0 25 0 1 0 776659037 876236800 210858 4294967295 134512640 134714540 3221224592 3221222900 1077374210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213925 210858 1111 63 0 213862 0
vsize: 855700
[startup+820.015 s]
Raw data (loadavg): 1.00 0.97 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 213507 0 0 0 81612 400 0 0 25 0 1 0 776659037 886988800 213422 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216550 213422 1111 63 0 216487 0
vsize: 866200
[startup+830.016 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 216186 0 0 0 82606 406 0 0 25 0 1 0 776659037 897884160 216004 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219210 216004 1111 63 0 219147 0
vsize: 876840
[startup+840.016 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 218933 0 0 0 83600 413 0 0 25 0 1 0 776659037 909234176 218560 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221981 218560 1111 63 0 221918 0
vsize: 887924
[startup+850.016 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 221656 0 0 0 84593 420 0 0 25 0 1 0 776659037 920285184 221027 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224679 221027 1111 63 0 224616 0
vsize: 898716
[startup+860.015 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 224098 0 0 0 85588 424 0 0 25 0 1 0 776659037 930287616 223276 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227121 223276 1111 63 0 227058 0
vsize: 908484
[startup+870.015 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 226367 0 0 0 86581 432 0 0 25 0 1 0 776659037 939692032 225290 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229417 225290 1111 63 0 229354 0
vsize: 917668
[startup+874.841 s]
Raw data (loadavg): 1.03 0.99 0.93 1/53 6800
Raw data (stat): 6800 (bsolo_mis) R 6799 31399 31398 0 -1 0 226367 0 0 0 86581 432 0 0 25 0 1 0 776659037 939692032 225290 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229417 225290 1111 63 0 229354 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 874.84
CPU time (s): 874.962
CPU user time (s): 870.184
CPU system time (s): 4.77827
CPU usage (%): 100.014
Max. virtual memory (Kb): 917668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####