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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-degen3.opb
MD5SUM	7312c1a4c94073cc51821da54f781db8
Bench Category	optimization, big integers (OPTBIGINT)
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	47190
Biggest coefficient in the objective function	1001264250880
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	339379725479256
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1001264250880
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	339379725479256
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.474927
Number of variables	54540
Total number of constraints	1503
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1503
Minimum length of a constraint	60
Maximum length of a constraint	6090

Trace number 28993

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 04:26:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10700 boxname=wulflinc29 idbench=824 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  7312c1a4c94073cc51821da54f781db8  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-degen3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-degen3.opb
IDLAUNCH: 10700
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        752076 kB
Buffers:         23392 kB
Cached:         233280 kB
SwapCached:        572 kB
Active:          43808 kB
Inactive:       218376 kB
HighTotal:      131008 kB
HighFree:        21672 kB
LowTotal:       903652 kB
LowFree:        730404 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            14640 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:37:56 (client local time) WITH STATUS 20 IN 691.201 SECONDS
stats: 10700 7 691.201 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 54540 variables and 1356 constraints.
s UNSATISFIABLE
c Exit Code: 20
c Total time: 691.121 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.96 0.95 0.91 2/54 28851
Raw data (stat): 28851 (runsolver) R 28850 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835983453 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1003 0 0 0 988 2 0 0 25 0 1 0 835983453 16236544 927 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 927 1111 63 0 3901 0
vsize: 15856
[startup+20.0019 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1299 0 0 0 1987 2 0 0 25 0 1 0 835983453 17420288 1223 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 1223 1111 63 0 4190 0
vsize: 17012
[startup+30.0071 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1587 0 0 0 2988 3 0 0 25 0 1 0 835983453 18591744 1511 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 1511 1111 63 0 4476 0
vsize: 18156
[startup+40.0151 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 1886 0 0 0 3988 3 0 0 25 0 1 0 835983453 19795968 1810 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 1810 1111 63 0 4770 0
vsize: 19332
[startup+50.0242 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 2180 0 0 0 4988 4 0 0 25 0 1 0 835983453 20996096 2104 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 2104 1111 63 0 5063 0
vsize: 20504
[startup+60.0244 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 2475 0 0 0 5988 4 0 0 25 0 1 0 835983453 22200320 2399 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 2399 1111 63 0 5357 0
vsize: 21680
[startup+70.0243 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 2783 0 0 0 6988 5 0 0 25 0 1 0 835983453 23543808 2707 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 2707 1111 63 0 5685 0
vsize: 22992
[startup+80.0288 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 3090 0 0 0 7988 5 0 0 25 0 1 0 835983453 24743936 3014 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 3014 1111 63 0 5978 0
vsize: 24164
[startup+90.0303 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 3395 0 0 0 8988 6 0 0 25 0 1 0 835983453 26103808 3319 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3319 1111 63 0 6310 0
vsize: 25492
[startup+100.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 3705 0 0 0 9987 7 0 0 25 0 1 0 835983453 27275264 3629 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6659 3629 1111 63 0 6596 0
vsize: 26636
[startup+110.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4022 0 0 0 10987 8 0 0 25 0 1 0 835983453 28626944 3946 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6989 3946 1111 63 0 6926 0
vsize: 27956
[startup+120.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4338 0 0 0 11987 8 0 0 25 0 1 0 835983453 29835264 4262 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7284 4262 1111 63 0 7221 0
vsize: 29136
[startup+130.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4654 0 0 0 12987 9 0 0 25 0 1 0 835983453 31186944 4578 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7614 4578 1111 63 0 7551 0
vsize: 30456
[startup+140.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 4989 0 0 0 13986 9 0 0 25 0 1 0 835983453 32583680 4913 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 4913 1111 63 0 7892 0
vsize: 31820
[startup+150.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 5314 0 0 0 14986 10 0 0 25 0 1 0 835983453 33931264 5238 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8284 5238 1111 63 0 8221 0
vsize: 33136
[startup+160.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 5646 0 0 0 15986 11 0 0 25 0 1 0 835983453 35291136 5570 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8616 5570 1111 63 0 8553 0
vsize: 34464
[startup+170.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 5977 0 0 0 16985 11 0 0 25 0 1 0 835983453 36642816 5901 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 5901 1111 63 0 8883 0
vsize: 35784
[startup+180.044 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 6318 0 0 0 17985 12 0 0 25 0 1 0 835983453 37998592 6242 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9277 6242 1111 63 0 9214 0
vsize: 37108
[startup+190.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 6657 0 0 0 18984 13 0 0 25 0 1 0 835983453 39350272 6581 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9607 6581 1111 63 0 9544 0
vsize: 38428
[startup+200.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 7003 0 0 0 19983 14 0 0 25 0 1 0 835983453 40857600 6927 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9975 6927 1111 63 0 9912 0
vsize: 39900
[startup+210.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 7357 0 0 0 20983 15 0 0 25 0 1 0 835983453 42209280 7281 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10305 7281 1111 63 0 10242 0
vsize: 41220
[startup+220.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 7712 0 0 0 21982 15 0 0 25 0 1 0 835983453 43683840 7636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10665 7636 1111 63 0 10602 0
vsize: 42660
[startup+230.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 8072 0 0 0 22982 16 0 0 25 0 1 0 835983453 45191168 7996 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 7996 1111 63 0 10970 0
vsize: 44132
[startup+240.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 8432 0 0 0 23981 17 0 0 25 0 1 0 835983453 46694400 8356 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11400 8356 1111 63 0 11337 0
vsize: 45600
[startup+250.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 8819 0 0 0 24981 17 0 0 25 0 1 0 835983453 48304128 8743 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11793 8743 1111 63 0 11730 0
vsize: 47172
[startup+260.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 9196 0 0 0 25981 18 0 0 25 0 1 0 835983453 49930240 9120 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12190 9120 1111 63 0 12127 0
vsize: 48760
[startup+270.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 9564 0 0 0 26980 19 0 0 25 0 1 0 835983453 51400704 9488 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 9488 1111 63 0 12486 0
vsize: 50196
[startup+280.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 9961 0 0 0 27979 19 0 0 25 0 1 0 835983453 53059584 9885 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12954 9885 1111 63 0 12891 0
vsize: 51816
[startup+290.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 10361 0 0 0 28978 20 0 0 25 0 1 0 835983453 54714368 10285 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13358 10285 1111 63 0 13295 0
vsize: 53432
[startup+300.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 10790 0 0 0 29978 21 0 0 25 0 1 0 835983453 56373248 10714 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13763 10714 1111 63 0 13700 0
vsize: 55052
[startup+310.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 11233 0 0 0 30977 22 0 0 25 0 1 0 835983453 58179584 11157 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14204 11157 1111 63 0 14141 0
vsize: 56816
[startup+320.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 11704 0 0 0 31977 23 0 0 25 0 1 0 835983453 60133376 11628 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14681 11628 1111 63 0 14618 0
vsize: 58724
[startup+330.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 12205 0 0 0 32976 24 0 0 25 0 1 0 835983453 62238720 12129 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15195 12129 1111 63 0 15132 0
vsize: 60780
[startup+340.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 12730 0 0 0 33977 25 0 0 25 0 1 0 835983453 64348160 12654 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15710 12654 1111 63 0 15647 0
vsize: 62840
[startup+350.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 13269 0 0 0 34975 26 0 0 25 0 1 0 835983453 66453504 13193 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16224 13193 1111 63 0 16161 0
vsize: 64896
[startup+360.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 13830 0 0 0 35975 26 0 0 25 0 1 0 835983453 68861952 13754 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16812 13754 1111 63 0 16749 0
vsize: 67248
[startup+370.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 14404 0 0 0 36974 27 0 0 25 0 1 0 835983453 71118848 14328 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17363 14328 1111 63 0 17300 0
vsize: 69452
[startup+380.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 14994 0 0 0 37975 29 0 0 25 0 1 0 835983453 73506816 14918 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17946 14918 1111 63 0 17883 0
vsize: 71784
[startup+390.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 15599 0 0 0 38975 29 0 0 25 0 1 0 835983453 76054528 15523 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18568 15523 1111 63 0 18505 0
vsize: 74272
[startup+400.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 16203 0 0 0 39975 30 0 0 25 0 1 0 835983453 78462976 16127 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19156 16127 1111 63 0 19093 0
vsize: 76624
[startup+410.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 16868 0 0 0 40974 31 0 0 25 0 1 0 835983453 81502208 16792 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19898 16792 1111 63 0 19835 0
vsize: 79592
[startup+420.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 17511 0 0 0 41973 32 0 0 25 0 1 0 835983453 84058112 17435 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20522 17435 1111 63 0 20459 0
vsize: 82088
[startup+430.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 18168 0 0 0 42972 34 0 0 25 0 1 0 835983453 86769664 18092 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21184 18092 1111 63 0 21121 0
vsize: 84736
[startup+440.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 18831 0 0 0 43971 35 0 0 25 0 1 0 835983453 89477120 18755 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21845 18755 1111 63 0 21782 0
vsize: 87380
[startup+450.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 19512 0 0 0 44971 36 0 0 25 0 1 0 835983453 92307456 19436 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22536 19436 1111 63 0 22473 0
vsize: 90144
[startup+460.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 20205 0 0 0 45969 37 0 0 25 0 1 0 835983453 95014912 20129 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23197 20129 1111 63 0 23134 0
vsize: 92788
[startup+470.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 20919 0 0 0 46969 38 0 0 25 0 1 0 835983453 98021376 20843 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23931 20843 1111 63 0 23868 0
vsize: 95724
[startup+480.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 21643 0 0 0 47968 39 0 0 25 0 1 0 835983453 100884480 21567 4294967295 134512640 134714508 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24630 21567 1111 63 0 24567 0
vsize: 98520
[startup+490.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 22386 0 0 0 48967 41 0 0 25 0 1 0 835983453 104046592 22310 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25402 22310 1111 63 0 25339 0
vsize: 101608
[startup+500.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 23147 0 0 0 49966 42 0 0 25 0 1 0 835983453 107053056 23071 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26136 23071 1111 63 0 26073 0
vsize: 104544
[startup+510.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 23936 0 0 0 50965 44 0 0 25 0 1 0 835983453 110366720 23860 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26945 23860 1111 63 0 26882 0
vsize: 107780
[startup+520.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 27252 0 0 0 51958 50 0 0 25 0 1 0 835983453 123527168 27078 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30158 27078 1111 63 0 30095 0
vsize: 120632
[startup+530.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 28018 0 0 0 52957 52 0 0 25 0 1 0 835983453 126705664 27842 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30934 27842 1111 63 0 30871 0
vsize: 123736
[startup+540.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 29157 0 0 0 53953 55 0 0 25 0 1 0 835983453 131395584 28979 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32079 28979 1111 63 0 32016 0
vsize: 128316
[startup+550.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 29459 0 0 0 54952 56 0 0 25 0 1 0 835983453 132632576 29281 4294967295 134512640 134714508 3221224592 3221222868 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32381 29281 1111 63 0 32318 0
vsize: 129524
[startup+560.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 29680 0 0 0 55951 57 0 0 25 0 1 0 835983453 133750784 29499 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32654 29499 1111 63 0 32591 0
vsize: 130616
[startup+570.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 30030 0 0 0 56951 58 0 0 25 0 1 0 835983453 135294976 29843 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33031 29843 1111 63 0 32968 0
vsize: 132124
[startup+580.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 30855 0 0 0 57948 60 0 0 25 0 1 0 835983453 138641408 30662 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33848 30662 1111 63 0 33785 0
vsize: 135392
[startup+590.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 31863 0 0 0 58945 64 0 0 25 0 1 0 835983453 142835712 31670 4294967295 134512640 134714508 3221224592 3221222868 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34872 31670 1111 63 0 34809 0
vsize: 139488
[startup+600.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 32367 0 0 0 59942 66 0 0 25 0 1 0 835983453 144896000 32174 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35375 32174 1111 63 0 35312 0
vsize: 141500
[startup+610.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 32702 0 0 0 60941 67 0 0 25 0 1 0 835983453 146427904 32509 4294967295 134512640 134714508 3221224592 3221222868 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35749 32509 1111 63 0 35686 0
vsize: 142996
[startup+620.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33010 0 0 0 61940 68 0 0 25 0 1 0 835983453 147660800 32817 4294967295 134512640 134714508 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36050 32817 1111 63 0 35987 0
vsize: 144200
[startup+630.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33386 0 0 0 62938 69 0 0 25 0 1 0 835983453 149303296 33193 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36451 33193 1111 63 0 36388 0
vsize: 145804
[startup+640.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33567 0 0 0 63938 70 0 0 25 0 1 0 835983453 149983232 33374 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36617 33374 1111 63 0 36554 0
vsize: 146468
[startup+650.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 33877 0 0 0 64935 71 0 0 25 0 1 0 835983453 151396352 33680 4294967295 134512640 134714508 3221224592 3221222868 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36962 33680 1111 63 0 36899 0
vsize: 147848
[startup+660.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 34051 0 0 0 65933 72 0 0 25 0 1 0 835983453 152252416 33850 4294967295 134512640 134714508 3221224592 3221222868 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37171 33850 1111 63 0 37108 0
vsize: 148684
[startup+670.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 34367 0 0 0 66932 73 0 0 25 0 1 0 835983453 153690112 34158 4294967295 134512640 134714508 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37522 34158 1111 63 0 37459 0
vsize: 150088
[startup+680.112 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 34478 0 0 0 67931 74 0 0 25 0 1 0 835983453 154116096 34267 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37626 34267 1111 63 0 37563 0
vsize: 150504
[startup+690.113 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 35956 0 0 0 68927 78 0 0 25 0 1 0 835983453 160284672 35741 4294967295 134512640 134714508 3221224592 3221221068 1077193061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39132 35741 1111 63 0 39069 0
vsize: 156528
[startup+691.254 s]
Raw data (loadavg): 1.06 0.99 0.91 1/53 28851
Raw data (stat): 28851 (bsolo_lpr) R 28850 20001 20000 0 -1 0 35956 0 0 0 68927 78 0 0 25 0 1 0 835983453 160284672 35741 4294967295 134512640 134714508 3221224592 3221221068 1077193061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39132 35741 1111 63 0 39069 0
vsize: 0

Child status: 20
Real time (s): 691.253
CPU time (s): 691.201
CPU user time (s): 690.235
CPU system time (s): 0.965853
CPU usage (%): 99.9924
Max. virtual memory (Kb): 156528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####