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 23757

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 13:36:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1108 boxname=wulflinc31 idbench=124 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a49c7da557148a2c89bd88c6a2106d94  /oldhome/oroussel/tmp/wulflinc31/normalized-bf1355-075.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-bf1355-075.opb
IDLAUNCH: 1108
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        907888 kB
Buffers:         44208 kB
Cached:          60112 kB
SwapCached:        944 kB
Active:          85700 kB
Inactive:        21148 kB
HighTotal:      131008 kB
HighFree:        69860 kB
LowTotal:       903652 kB
LowFree:        838028 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14356 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 13:50:50 (client local time) WITH STATUS 20 IN 861.521 SECONDS
stats: 1108 7 861.521 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 826.404 s
c Initial Lower Bound: 2061
c Lower Bound Elapsed time: 3.4688
c Not use computed LB before first solution.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 861.427 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
Raw data (loadavg): 0.83 0.86 0.79 2/54 2745
Raw data (stat): 2745 (runsolver) R 2744 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 657808237 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0016 s]
Raw data (loadavg): 0.85 0.86 0.79 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 10716 0 0 0 969 26 0 0 25 0 1 0 657808237 47083520 10628 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11495 10628 1111 63 0 11432 0
vsize: 45980
[startup+20.0019 s]
Raw data (loadavg): 0.87 0.87 0.80 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 11806 0 0 0 1966 29 0 0 25 0 1 0 657808237 47120384 10647 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11504 10647 1111 63 0 11441 0
vsize: 46016
[startup+30.0018 s]
Raw data (loadavg): 0.89 0.87 0.80 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 16179 0 0 0 2954 42 0 0 25 0 1 0 657808237 47509504 10742 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11599 10742 1111 63 0 11536 0
vsize: 46396
[startup+40.0021 s]
Raw data (loadavg): 0.91 0.87 0.80 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 24630 0 0 0 3929 66 0 0 25 0 1 0 657808237 47509504 10742 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11599 10742 1111 63 0 11536 0
vsize: 46396
[startup+50.0031 s]
Raw data (loadavg): 0.92 0.88 0.80 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 36958 0 0 0 4896 100 0 0 25 0 1 0 657808237 47509504 10742 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11599 10742 1111 63 0 11536 0
vsize: 46396
[startup+60.0036 s]
Raw data (loadavg): 0.93 0.88 0.80 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 49992 0 0 0 5860 136 0 0 25 0 1 0 657808237 89518080 20987 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21855 20987 1111 63 0 21792 0
vsize: 87420
[startup+70.0049 s]
Raw data (loadavg): 0.94 0.89 0.81 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 49992 0 0 0 6861 136 0 0 25 0 1 0 657808237 89518080 20987 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21855 20987 1111 63 0 21792 0
vsize: 87420
[startup+80.0054 s]
Raw data (loadavg): 0.95 0.89 0.81 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 50598 0 0 0 7860 137 0 0 25 0 1 0 657808237 92033024 21593 4294967295 134512640 134714508 3221221792 3221220200 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22469 21593 1111 63 0 22406 0
vsize: 89876
[startup+90.0054 s]
Raw data (loadavg): 0.96 0.89 0.81 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 50598 0 0 0 8860 137 0 0 25 0 1 0 657808237 92033024 21593 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22469 21593 1111 63 0 22406 0
vsize: 89876
[startup+100.006 s]
Raw data (loadavg): 0.96 0.89 0.81 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 51475 0 0 0 9859 138 0 0 25 0 1 0 657808237 92033024 21612 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22469 21612 1111 63 0 22406 0
vsize: 89876
[startup+110.007 s]
Raw data (loadavg): 0.97 0.90 0.81 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 51475 0 0 0 10859 139 0 0 25 0 1 0 657808237 92033024 21612 4294967295 134512640 134714508 3221221792 3221220156 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22469 21612 1111 63 0 22406 0
vsize: 89876
[startup+120.007 s]
Raw data (loadavg): 0.97 0.90 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 53164 0 0 0 11855 142 0 0 25 0 1 0 657808237 92033024 21612 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22469 21612 1111 63 0 22406 0
vsize: 89876
[startup+130.007 s]
Raw data (loadavg): 0.98 0.90 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 55060 0 0 0 12850 147 0 0 25 0 1 0 657808237 92033024 21612 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22469 21612 1111 63 0 22406 0
vsize: 89876
[startup+140.008 s]
Raw data (loadavg): 0.98 0.91 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 58298 0 0 0 13843 155 0 0 25 0 1 0 657808237 105304064 24850 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25709 24850 1111 63 0 25646 0
vsize: 102836
[startup+150.009 s]
Raw data (loadavg): 0.98 0.91 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 58298 0 0 0 14843 155 0 0 25 0 1 0 657808237 105304064 24850 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25709 24850 1111 63 0 25646 0
vsize: 102836
[startup+160.01 s]
Raw data (loadavg): 0.98 0.91 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 58298 0 0 0 15844 155 0 0 25 0 1 0 657808237 105304064 24850 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25709 24850 1111 63 0 25646 0
vsize: 102836
[startup+170.011 s]
Raw data (loadavg): 0.99 0.91 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 58298 0 0 0 16844 155 0 0 25 0 1 0 657808237 105304064 24850 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25709 24850 1111 63 0 25646 0
vsize: 102836
[startup+180.011 s]
Raw data (loadavg): 0.99 0.92 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 58298 0 0 0 17844 155 0 0 25 0 1 0 657808237 105304064 24850 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25709 24850 1111 63 0 25646 0
vsize: 102836
[startup+190.012 s]
Raw data (loadavg): 0.99 0.92 0.82 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 59090 0 0 0 18842 157 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+200.012 s]
Raw data (loadavg): 0.99 0.92 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 59090 0 0 0 19842 157 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+210.012 s]
Raw data (loadavg): 0.99 0.92 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 59090 0 0 0 20843 157 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+220.014 s]
Raw data (loadavg): 0.99 0.92 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 59090 0 0 0 21843 157 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+230.014 s]
Raw data (loadavg): 0.99 0.93 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 60506 0 0 0 22838 161 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+240.014 s]
Raw data (loadavg): 0.99 0.93 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 60506 0 0 0 23839 161 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+250.015 s]
Raw data (loadavg): 0.99 0.93 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 60506 0 0 0 24839 162 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220584 134617118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+260.016 s]
Raw data (loadavg): 0.99 0.93 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 60506 0 0 0 25839 162 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+270.016 s]
Raw data (loadavg): 0.99 0.93 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 60506 0 0 0 26839 162 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+280.016 s]
Raw data (loadavg): 0.99 0.94 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 63481 0 0 0 27831 169 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+290.017 s]
Raw data (loadavg): 0.99 0.94 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 64023 0 0 0 28830 171 0 0 25 0 1 0 657808237 105373696 24869 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25726 24869 1111 63 0 25663 0
vsize: 102904
[startup+300.017 s]
Raw data (loadavg): 0.99 0.94 0.83 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68406 0 0 0 29821 180 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+310.018 s]
Raw data (loadavg): 0.99 0.94 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68406 0 0 0 30821 180 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+320.019 s]
Raw data (loadavg): 0.99 0.94 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68406 0 0 0 31822 180 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+330.019 s]
Raw data (loadavg): 0.99 0.94 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68406 0 0 0 32822 180 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+340.019 s]
Raw data (loadavg): 0.99 0.94 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68406 0 0 0 33822 180 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+350.02 s]
Raw data (loadavg): 0.99 0.95 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68406 0 0 0 34822 180 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+360.02 s]
Raw data (loadavg): 0.99 0.95 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68996 0 0 0 35821 182 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+370.021 s]
Raw data (loadavg): 0.99 0.95 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 68996 0 0 0 36821 182 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+380.02 s]
Raw data (loadavg): 0.99 0.95 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 70119 0 0 0 37818 184 0 0 25 0 1 0 657808237 122937344 29157 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30014 29157 1111 63 0 29951 0
vsize: 120056
[startup+390.021 s]
Raw data (loadavg): 0.99 0.95 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 70119 0 0 0 38819 184 0 0 25 0 1 0 657808237 122937344 29157 4294967295 134512640 134714508 3221221792 3221220504 134618237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30014 29157 1111 63 0 29951 0
vsize: 120056
[startup+400.021 s]
Raw data (loadavg): 0.99 0.95 0.84 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 70119 0 0 0 39819 184 0 0 25 0 1 0 657808237 122937344 29157 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30014 29157 1111 63 0 29951 0
vsize: 120056
[startup+410.022 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 70119 0 0 0 40819 185 0 0 25 0 1 0 657808237 122937344 29157 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30014 29157 1111 63 0 29951 0
vsize: 120056
[startup+420.023 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 70119 0 0 0 41819 185 0 0 25 0 1 0 657808237 122937344 29157 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30014 29157 1111 63 0 29951 0
vsize: 120056
[startup+430.023 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 70119 0 0 0 42819 185 0 0 25 0 1 0 657808237 122937344 29157 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30014 29157 1111 63 0 29951 0
vsize: 120056
[startup+440.024 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 71843 0 0 0 43816 188 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+450.024 s]
Raw data (loadavg): 0.99 0.95 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 71843 0 0 0 44816 188 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+460.025 s]
Raw data (loadavg): 0.99 0.96 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 71843 0 0 0 45816 188 0 0 25 0 1 0 657808237 122933248 29156 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30013 29156 1111 63 0 29950 0
vsize: 120052
[startup+470.026 s]
Raw data (loadavg): 0.99 0.96 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74058 0 0 0 46811 194 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+480.025 s]
Raw data (loadavg): 0.99 0.96 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74058 0 0 0 47811 194 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+490.027 s]
Raw data (loadavg): 0.99 0.96 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74058 0 0 0 48812 194 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+500.026 s]
Raw data (loadavg): 0.99 0.96 0.85 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74058 0 0 0 49812 194 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220532 134630830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+510.027 s]
Raw data (loadavg): 0.99 0.96 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74058 0 0 0 50812 194 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+520.027 s]
Raw data (loadavg): 0.99 0.96 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74058 0 0 0 51812 194 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+530.028 s]
Raw data (loadavg): 0.99 0.96 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74640 0 0 0 52811 195 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+540.029 s]
Raw data (loadavg): 0.99 0.96 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74640 0 0 0 53811 195 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+550.029 s]
Raw data (loadavg): 0.99 0.96 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74855 0 0 0 54811 196 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 74855 0 0 0 55811 196 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 76497 0 0 0 56807 200 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 76497 0 0 0 57807 200 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 76497 0 0 0 58807 200 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 76497 0 0 0 59808 200 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 76497 0 0 0 60808 200 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 76497 0 0 0 61808 200 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 76497 0 0 0 62808 200 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 81135 0 0 0 63796 212 0 0 25 0 1 0 657808237 131350528 31211 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32068 31211 1111 63 0 32005 0
vsize: 128272
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 87857 0 0 0 64779 228 0 0 25 0 1 0 657808237 133554176 31749 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32606 31749 1111 63 0 32543 0
vsize: 130424
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 90359 0 0 0 65775 233 0 0 25 0 1 0 657808237 133554176 31749 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32606 31749 1111 63 0 32543 0
vsize: 130424
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 93652 0 0 0 66768 240 0 0 25 0 1 0 657808237 133554176 31749 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32606 31749 1111 63 0 32543 0
vsize: 130424
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 93652 0 0 0 67768 240 0 0 25 0 1 0 657808237 133554176 31749 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32606 31749 1111 63 0 32543 0
vsize: 130424
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 93652 0 0 0 68768 240 0 0 25 0 1 0 657808237 133554176 31749 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32606 31749 1111 63 0 32543 0
vsize: 130424
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 93652 0 0 0 69768 240 0 0 25 0 1 0 657808237 133554176 31749 4294967295 134512640 134714508 3221221792 3221220432 134606249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32606 31749 1111 63 0 32543 0
vsize: 130424
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 100079 0 0 0 70754 255 0 0 25 0 1 0 657808237 133554176 31749 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32606 31749 1111 63 0 32543 0
vsize: 130424
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 111224 0 0 0 71727 283 0 0 25 0 1 0 657808237 136704000 32499 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33375 32499 1111 63 0 33312 0
vsize: 133500
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 72711 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 73711 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 74712 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 75712 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220464 134627215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 76712 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 77712 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 78712 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 79712 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 80713 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220464 134627231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 117759 0 0 0 81713 298 0 0 25 0 1 0 657808237 134774784 32047 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32904 32047 1111 63 0 32841 0
vsize: 131616
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 125279 0 0 0 82697 314 0 0 25 0 1 0 657808237 166514688 39500 4294967295 134512640 134714508 3221221792 3221217932 1075116501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40653 39500 1111 63 0 40590 0
vsize: 162612
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 126357 0 0 0 83694 317 0 0 25 0 1 0 657808237 166400000 39600 4294967295 134512640 134714508 3221221792 3221218240 1075397167 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40625 39600 1111 63 0 40562 0
vsize: 162500
[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 131667 0 0 0 84682 329 0 0 25 0 1 0 657808237 167940096 39896 4294967295 134512640 134714508 3221221792 3221217596 1074788937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41001 39896 1111 63 0 40938 0
vsize: 164004
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 135365 0 0 0 85673 338 0 0 25 0 1 0 657808237 168222720 39986 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41070 39986 1111 63 0 41007 0
vsize: 164280
[startup+861.441 s]
Raw data (loadavg): 0.99 0.97 0.89 1/53 2745
Raw data (stat): 2745 (bsolo_lpr) R 2744 7876 7672 0 -1 0 135365 0 0 0 85673 338 0 0 25 0 1 0 657808237 168222720 39986 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41070 39986 1111 63 0 41007 0
vsize: 0

Child status: 20
Real time (s): 861.441
CPU time (s): 861.521
CPU user time (s): 858.053
CPU system time (s): 3.46847
CPU usage (%): 100.009
Max. virtual memory (Kb): 164280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####