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/submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb
MD5SUM	a49c7da557148a2c89bd88c6a2106d94
Bench Category	optimization, small integers (OPTSMALLINT)
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	4360
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4360
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4360
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.262959
Number of variables	4360
Total number of constraints	8958
Number of constraints which are clauses	8958
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	6
Trace number 40674

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 17:49:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28738 boxname=wulflinc2 idbench=124 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a49c7da557148a2c89bd88c6a2106d94  /oldhome/oroussel/tmp/wulflinc2/normalized-bf1355-075.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-bf1355-075.opb
IDLAUNCH: 28738
/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:        769608 kB
Buffers:         30196 kB
Cached:         212716 kB
SwapCached:       1344 kB
Active:          43244 kB
Inactive:       201688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        769356 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14536 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:03:45 (client local time) WITH STATUS 20 IN 842.737 SECONDS
stats: 28738 7 842.737 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4360 variables and 8958 constraints.
c After prepocess the problem consists of 1188 variables and 3477 constraints.
c preprocess terminated 802.995 s
c Initial Lower Bound: 2062
c Lower Bound Elapsed time: 4.884
c Not use computed LB before first solution.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 842.658 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.55 0.74 0.81 2/54 14600
Raw data (stat): 14600 (runsolver) R 14599 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903566911 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99997 s]
Raw data (loadavg): 0.62 0.75 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 10717 0 0 0 970 26 0 0 25 0 1 0 903566911 47079424 10626 4294967295 134512640 134716908 3221224576 3221223000 1077377316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11494 10626 1111 63 0 11431 0
vsize: 45976
[startup+19.9996 s]
Raw data (loadavg): 0.67 0.76 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 11807 0 0 0 1968 28 0 0 25 0 1 0 903566911 47116288 10645 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11503 10645 1111 63 0 11440 0
vsize: 46012
[startup+30.0006 s]
Raw data (loadavg): 0.72 0.77 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 17773 0 0 0 2954 42 0 0 25 0 1 0 903566911 47505408 10740 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11598 10740 1111 63 0 11535 0
vsize: 46392
[startup+40 s]
Raw data (loadavg): 0.77 0.77 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 26558 0 0 0 3932 64 0 0 25 0 1 0 903566911 47505408 10740 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11598 10740 1111 63 0 11535 0
vsize: 46392
[startup+49.9998 s]
Raw data (loadavg): 0.80 0.78 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 38228 0 0 0 4906 91 0 0 25 0 1 0 903566911 48103424 10886 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11744 10886 1111 63 0 11681 0
vsize: 46976
[startup+59.9997 s]
Raw data (loadavg): 0.83 0.79 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 49993 0 0 0 5879 118 0 0 25 0 1 0 903566911 89513984 20985 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21854 20985 1111 63 0 21791 0
vsize: 87416
[startup+70.0001 s]
Raw data (loadavg): 0.86 0.79 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 50599 0 0 0 6878 119 0 0 25 0 1 0 903566911 92028928 21591 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22468 21591 1111 63 0 22405 0
vsize: 89872
[startup+80.0008 s]
Raw data (loadavg): 0.88 0.80 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 50599 0 0 0 7878 119 0 0 25 0 1 0 903566911 92028928 21591 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22468 21591 1111 63 0 22405 0
vsize: 89872
[startup+90.001 s]
Raw data (loadavg): 0.90 0.80 0.82 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 50599 0 0 0 8878 119 0 0 25 0 1 0 903566911 92028928 21591 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22468 21591 1111 63 0 22405 0
vsize: 89872
[startup+100 s]
Raw data (loadavg): 0.91 0.81 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 51476 0 0 0 9876 122 0 0 25 0 1 0 903566911 92028928 21610 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22468 21610 1111 63 0 22405 0
vsize: 89872
[startup+110.001 s]
Raw data (loadavg): 0.92 0.82 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 53165 0 0 0 10872 126 0 0 25 0 1 0 903566911 92028928 21610 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22468 21610 1111 63 0 22405 0
vsize: 89872
[startup+120.001 s]
Raw data (loadavg): 0.94 0.82 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 53165 0 0 0 11872 126 0 0 25 0 1 0 903566911 92028928 21610 4294967295 134512640 134716908 3221224576 3221223000 1077377241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22468 21610 1111 63 0 22405 0
vsize: 89872
[startup+130.001 s]
Raw data (loadavg): 0.95 0.83 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 55061 0 0 0 12868 130 0 0 25 0 1 0 903566911 92028928 21610 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22468 21610 1111 63 0 22405 0
vsize: 89872
[startup+140.002 s]
Raw data (loadavg): 0.95 0.83 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 58299 0 0 0 13860 138 0 0 25 0 1 0 903566911 105299968 24848 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25708 24848 1111 63 0 25645 0
vsize: 102832
[startup+150.002 s]
Raw data (loadavg): 0.96 0.84 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 58299 0 0 0 14860 138 0 0 25 0 1 0 903566911 105299968 24848 4294967295 134512640 134716908 3221224576 3221223164 1076647540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25708 24848 1111 63 0 25645 0
vsize: 102832
[startup+160.002 s]
Raw data (loadavg): 0.97 0.84 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 58299 0 0 0 15861 138 0 0 25 0 1 0 903566911 105299968 24848 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25708 24848 1111 63 0 25645 0
vsize: 102832
[startup+170.002 s]
Raw data (loadavg): 0.97 0.85 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 58299 0 0 0 16861 138 0 0 25 0 1 0 903566911 105299968 24848 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25708 24848 1111 63 0 25645 0
vsize: 102832
[startup+180.002 s]
Raw data (loadavg): 0.97 0.85 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 59091 0 0 0 17860 140 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+190.001 s]
Raw data (loadavg): 0.98 0.86 0.83 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 59091 0 0 0 18860 140 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+200.002 s]
Raw data (loadavg): 0.98 0.86 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 59091 0 0 0 19860 140 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+210.002 s]
Raw data (loadavg): 0.98 0.86 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 59091 0 0 0 20860 140 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+220.002 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 60507 0 0 0 21857 143 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+230.002 s]
Raw data (loadavg): 0.99 0.87 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 60507 0 0 0 22857 143 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+240.002 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 60507 0 0 0 23857 143 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+250.002 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 60507 0 0 0 24857 143 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+260.003 s]
Raw data (loadavg): 0.99 0.88 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 60507 0 0 0 25857 143 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+270.003 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 63623 0 0 0 26851 150 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+280.003 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 64024 0 0 0 27850 151 0 0 25 0 1 0 903566911 105369600 24867 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25725 24867 1111 63 0 25662 0
vsize: 102900
[startup+290.004 s]
Raw data (loadavg): 0.99 0.89 0.84 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 68407 0 0 0 28841 160 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+300.003 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 68407 0 0 0 29841 161 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+310.004 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 68407 0 0 0 30841 161 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+320.004 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 68407 0 0 0 31841 161 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223176 134557227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+330.005 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 68407 0 0 0 32842 161 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+340.004 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 68997 0 0 0 33840 162 0 0 25 0 1 0 903566911 125444096 29744 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30626 29744 1111 63 0 30563 0
vsize: 122504
[startup+350.004 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 68997 0 0 0 34840 162 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+360.005 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 70120 0 0 0 35838 165 0 0 25 0 1 0 903566911 122933248 29155 4294967295 134512640 134716908 3221224576 3221223056 134539371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 29155 1111 63 0 29950 0
vsize: 120052
[startup+370.004 s]
Raw data (loadavg): 0.99 0.91 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 70120 0 0 0 36838 165 0 0 25 0 1 0 903566911 122933248 29155 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 29155 1111 63 0 29950 0
vsize: 120052
[startup+380.004 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 70120 0 0 0 37838 165 0 0 25 0 1 0 903566911 122933248 29155 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 29155 1111 63 0 29950 0
vsize: 120052
[startup+390.004 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 70120 0 0 0 38838 165 0 0 25 0 1 0 903566911 122933248 29155 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 29155 1111 63 0 29950 0
vsize: 120052
[startup+400.003 s]
Raw data (loadavg): 0.99 0.92 0.85 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 70120 0 0 0 39838 165 0 0 25 0 1 0 903566911 122933248 29155 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 29155 1111 63 0 29950 0
vsize: 120052
[startup+410.003 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 70120 0 0 0 40838 165 0 0 25 0 1 0 903566911 122933248 29155 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 29155 1111 63 0 29950 0
vsize: 120052
[startup+420.003 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 70120 0 0 0 41839 165 0 0 25 0 1 0 903566911 122933248 29155 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30013 29155 1111 63 0 29950 0
vsize: 120052
[startup+430.003 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 71844 0 0 0 42835 169 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+440.003 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 71844 0 0 0 43835 169 0 0 25 0 1 0 903566911 122929152 29154 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30012 29154 1111 63 0 29949 0
vsize: 120048
[startup+450.003 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74059 0 0 0 44831 174 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223088 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+460.003 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74059 0 0 0 45831 174 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+470.003 s]
Raw data (loadavg): 0.99 0.93 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74059 0 0 0 46831 174 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+480.004 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74059 0 0 0 47831 174 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+490.005 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74059 0 0 0 48831 174 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+500.005 s]
Raw data (loadavg): 0.99 0.94 0.86 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74059 0 0 0 49831 174 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+510.005 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74641 0 0 0 50830 175 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+520.005 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74641 0 0 0 51830 175 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223304 134675279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+530.005 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74856 0 0 0 52830 176 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+540.006 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 74856 0 0 0 53830 176 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+550.006 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 76498 0 0 0 54827 179 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+560.006 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 76498 0 0 0 55827 179 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+570.006 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 76498 0 0 0 56827 179 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223300 134625469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+580.007 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 76498 0 0 0 57828 179 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+590.006 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 76498 0 0 0 58828 179 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+600.007 s]
Raw data (loadavg): 0.99 0.95 0.87 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 76498 0 0 0 59828 179 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+610.007 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 76498 0 0 0 60828 179 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+620.024 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 14600
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 79788 0 0 0 61823 187 0 0 25 0 1 0 903566911 131346432 31209 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 31209 1111 63 0 32004 0
vsize: 128268
[startup+630.023 s]
Raw data (loadavg): 1.07 0.97 0.88 2/54 14653
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 87858 0 0 0 62802 207 0 0 25 0 1 0 903566911 133550080 31747 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32605 31747 1111 63 0 32542 0
vsize: 130420
[startup+640.024 s]
Raw data (loadavg): 1.06 0.97 0.88 2/54 14653
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 90360 0 0 0 63797 213 0 0 25 0 1 0 903566911 133550080 31747 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32605 31747 1111 63 0 32542 0
vsize: 130420
[startup+650.024 s]
Raw data (loadavg): 1.05 0.97 0.88 2/54 14653
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 93653 0 0 0 64790 219 0 0 25 0 1 0 903566911 133550080 31747 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32605 31747 1111 63 0 32542 0
vsize: 130420
[startup+660.024 s]
Raw data (loadavg): 1.04 0.97 0.89 2/54 14653
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 93653 0 0 0 65789 220 0 0 25 0 1 0 903566911 133550080 31747 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32605 31747 1111 63 0 32542 0
vsize: 130420
[startup+670.024 s]
Raw data (loadavg): 1.03 0.97 0.89 2/54 14653
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 93653 0 0 0 66789 221 0 0 25 0 1 0 903566911 133550080 31747 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32605 31747 1111 63 0 32542 0
vsize: 130420
[startup+680.026 s]
Raw data (loadavg): 1.03 0.97 0.89 2/54 14653
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 93653 0 0 0 67789 221 0 0 25 0 1 0 903566911 133550080 31747 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32605 31747 1111 63 0 32542 0
vsize: 130420
[startup+690.025 s]
Raw data (loadavg): 1.02 0.97 0.89 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 100080 0 0 0 68773 237 0 0 25 0 1 0 903566911 136065024 32359 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33219 32359 1111 63 0 33156 0
vsize: 132876
[startup+700.025 s]
Raw data (loadavg): 1.02 0.97 0.89 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 111225 0 0 0 69747 263 0 0 25 0 1 0 903566911 134184960 31902 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32760 31902 1111 63 0 32697 0
vsize: 131040
[startup+710.026 s]
Raw data (loadavg): 1.02 0.97 0.89 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 70732 278 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+720.026 s]
Raw data (loadavg): 1.01 0.97 0.89 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 71732 279 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+730.026 s]
Raw data (loadavg): 1.01 0.97 0.89 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 72732 279 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+740.027 s]
Raw data (loadavg): 1.01 0.97 0.89 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 73732 279 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+750.027 s]
Raw data (loadavg): 1.01 0.97 0.89 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 74732 280 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+760.026 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 75732 280 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+770.027 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 76732 280 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+780.027 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 77732 280 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+790.026 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 78732 280 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+800.027 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 117760 0 0 0 79733 280 0 0 25 0 1 0 903566911 134770688 32045 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32903 32045 1111 63 0 32840 0
vsize: 131612
[startup+810.027 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 125540 0 0 0 80714 298 0 0 25 0 1 0 903566911 166584320 39636 4294967295 134512640 134716908 3221224576 3221220800 1075171263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40670 39636 1111 63 0 40607 0
vsize: 162680
[startup+820.028 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 126668 0 0 0 81710 301 0 0 25 0 1 0 903566911 164917248 39292 4294967295 134512640 134716908 3221224576 3221222304 1075823641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40263 39292 1111 63 0 40200 0
vsize: 161052
[startup+830.029 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 129433 0 0 0 82704 308 0 0 25 0 1 0 903566911 167264256 39760 4294967295 134512640 134716908 3221224576 3221220684 1075564292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40836 39760 1111 63 0 40773 0
vsize: 163344
[startup+840.029 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 131387 0 0 0 83699 313 0 0 25 0 1 0 903566911 165146624 39404 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40319 39404 1111 63 0 40256 0
vsize: 161276
[startup+842.64 s]
Raw data (loadavg): 1.00 0.97 0.90 1/53 14655
Raw data (stat): 14600 (bsolo_lpr_cuts-) R 14599 31399 31398 0 -1 0 131387 0 0 0 83699 313 0 0 25 0 1 0 903566911 165146624 39404 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40319 39404 1111 63 0 40256 0
vsize: 0

Child status: 20
Real time (s): 842.64
CPU time (s): 842.737
CPU user time (s): 839.524
CPU system time (s): 3.21251
CPU usage (%): 100.012
Max. virtual memory (Kb): 163344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####