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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12s.opb
MD5SUM	c82c0bebea8b0ce184f21387d9520ae2
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	55260
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	200019082827300
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	200019082827300
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.482925
Number of variables	55260
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	980
Trace number 25951

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 14:47:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16459 boxname=wulflinc31 idbench=1267 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c82c0bebea8b0ce184f21387d9520ae2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12s.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12s.opb
IDLAUNCH: 16459
/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:        845916 kB
Buffers:         21676 kB
Cached:         143776 kB
SwapCached:        944 kB
Active:         111576 kB
Inactive:        55976 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        845664 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15400 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 15:00:58 (client local time) WITH STATUS 0 IN 796.332 SECONDS
stats: 16459 7 796.332 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH010108_bit_7 +156250*SH010108_bit_6 +312500*SH010108_bit_5 +625000*SH010108_bit_4 +1250000*SH010108_bit_3 +2500000*SH010108_bit_2 +5000000*SH010108_bit_1 +10000000*SH010108_bit0 +20000000*SH010108_bit1 +40000000*SH010108_bit2 +80000000*SH010108_bit3 +160000000*SH010108_bit4 +320000000*SH010108_bit5 +640000000*SH010108_bit6 +1280000000*SH010108_bit7 +2560000000*SH010108_bit8 +5120000000*SH010108_bit9 +10240000000*SH010108_bit10 +20480000000*SH010108_bit11 +40960000000*SH010108_bit12 = +237743;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 796.242 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): 1.06 0.99 0.91 2/55 9231
Raw data (stat): 9231 (runsolver) R 9230 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 822414470 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0059 s]
Raw data (loadavg): 1.05 0.99 0.91 3/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 1066 0 0 0 991 4 0 0 25 0 1 0 822414470 16207872 989 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3957 989 1111 63 0 3894 0
vsize: 15828
[startup+20.0064 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 1363 0 0 0 1991 5 0 0 25 0 1 0 822414470 17477632 1286 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4267 1286 1111 63 0 4204 0
vsize: 17068
[startup+30.0067 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 1696 0 0 0 2990 6 0 0 25 0 1 0 822414470 18759680 1619 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4580 1619 1111 63 0 4517 0
vsize: 18320
[startup+40.0073 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 2020 0 0 0 3990 7 0 0 25 0 1 0 822414470 20168704 1943 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4924 1943 1111 63 0 4861 0
vsize: 19696
[startup+50.0082 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 2355 0 0 0 4989 8 0 0 25 0 1 0 822414470 21438464 2278 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5234 2278 1111 63 0 5171 0
vsize: 20936
[startup+60.0085 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 2693 0 0 0 5988 8 0 0 25 0 1 0 822414470 22847488 2616 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5578 2616 1111 63 0 5515 0
vsize: 22312
[startup+70.0091 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 3024 0 0 0 6988 9 0 0 25 0 1 0 822414470 24260608 2947 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5923 2947 1111 63 0 5860 0
vsize: 23692
[startup+80.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 3355 0 0 0 7987 10 0 0 25 0 1 0 822414470 25526272 3278 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6232 3278 1111 63 0 6169 0
vsize: 24928
[startup+90.0103 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 3695 0 0 0 8986 11 0 0 25 0 1 0 822414470 26959872 3618 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6582 3618 1111 63 0 6519 0
vsize: 26328
[startup+100.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 4039 0 0 0 9985 12 0 0 25 0 1 0 822414470 28377088 3962 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6928 3962 1111 63 0 6865 0
vsize: 27712
[startup+110.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 4372 0 0 0 10985 13 0 0 25 0 1 0 822414470 29786112 4295 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7272 4295 1111 63 0 7209 0
vsize: 29088
[startup+120.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 4717 0 0 0 11984 13 0 0 25 0 1 0 822414470 31199232 4640 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7617 4640 1111 63 0 7554 0
vsize: 30468
[startup+130.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 5063 0 0 0 12984 14 0 0 25 0 1 0 822414470 32608256 4986 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7961 4986 1111 63 0 7898 0
vsize: 31844
[startup+140.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 5415 0 0 0 13984 15 0 0 25 0 1 0 822414470 34021376 5338 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8306 5338 1111 63 0 8243 0
vsize: 33224
[startup+150.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 5768 0 0 0 14984 15 0 0 25 0 1 0 822414470 35430400 5691 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8650 5691 1111 63 0 8587 0
vsize: 34600
[startup+160.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 6119 0 0 0 15983 15 0 0 25 0 1 0 822414470 36847616 6042 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8996 6042 1111 63 0 8933 0
vsize: 35984
[startup+170.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 6482 0 0 0 16983 16 0 0 25 0 1 0 822414470 38412288 6405 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9378 6405 1111 63 0 9315 0
vsize: 37512
[startup+180.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 6841 0 0 0 17982 17 0 0 25 0 1 0 822414470 39960576 6764 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9756 6764 1111 63 0 9693 0
vsize: 39024
[startup+190.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 7200 0 0 0 18982 17 0 0 25 0 1 0 822414470 41373696 7123 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10101 7123 1111 63 0 10038 0
vsize: 40404
[startup+200.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 7561 0 0 0 19982 17 0 0 25 0 1 0 822414470 42782720 7484 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10445 7484 1111 63 0 10382 0
vsize: 41780
[startup+210.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 7927 0 0 0 20982 18 0 0 25 0 1 0 822414470 44343296 7850 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10826 7850 1111 63 0 10763 0
vsize: 43304
[startup+220.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 8293 0 0 0 21981 19 0 0 25 0 1 0 822414470 45891584 8216 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11204 8216 1111 63 0 11141 0
vsize: 44816
[startup+230.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 8666 0 0 0 22980 20 0 0 25 0 1 0 822414470 47304704 8589 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11549 8589 1111 63 0 11486 0
vsize: 46196
[startup+240.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 9041 0 0 0 23980 21 0 0 25 0 1 0 822414470 48861184 8964 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11929 8964 1111 63 0 11866 0
vsize: 47716
[startup+250.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 9420 0 0 0 24979 21 0 0 25 0 1 0 822414470 50413568 9343 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12308 9343 1111 63 0 12245 0
vsize: 49232
[startup+260.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 9800 0 0 0 25978 22 0 0 25 0 1 0 822414470 51965952 9723 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12687 9723 1111 63 0 12624 0
vsize: 50748
[startup+270.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 10179 0 0 0 26978 23 0 0 25 0 1 0 822414470 53514240 10102 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13065 10102 1111 63 0 13002 0
vsize: 52260
[startup+280.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 10567 0 0 0 27977 24 0 0 25 0 1 0 822414470 55074816 10490 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13446 10490 1111 63 0 13383 0
vsize: 53784
[startup+290.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 10955 0 0 0 28977 24 0 0 25 0 1 0 822414470 56766464 10878 4294967295 134512640 134714508 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13859 10878 1111 63 0 13796 0
vsize: 55436
[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 11347 0 0 0 29977 24 0 0 25 0 1 0 822414470 58318848 11270 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14238 11270 1111 63 0 14175 0
vsize: 56952
[startup+310.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 11747 0 0 0 30976 25 0 0 25 0 1 0 822414470 60014592 11670 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14652 11670 1111 63 0 14589 0
vsize: 58608
[startup+320.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 12166 0 0 0 31976 26 0 0 25 0 1 0 822414470 61788160 12089 4294967295 134512640 134714508 3221221776 3221220128 134567424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15085 12089 1111 63 0 15022 0
vsize: 60340
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 12560 0 0 0 32975 26 0 0 25 0 1 0 822414470 63340544 12483 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15464 12483 1111 63 0 15401 0
vsize: 61856
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 12969 0 0 0 33975 27 0 0 25 0 1 0 822414470 65036288 12892 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15878 12892 1111 63 0 15815 0
vsize: 63512
[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 13375 0 0 0 34974 28 0 0 25 0 1 0 822414470 66727936 13298 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16291 13298 1111 63 0 16228 0
vsize: 65164
[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 13784 0 0 0 35973 29 0 0 25 0 1 0 822414470 68427776 13707 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16706 13707 1111 63 0 16643 0
vsize: 66824
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 14213 0 0 0 36973 30 0 0 25 0 1 0 822414470 70119424 14136 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17119 14136 1111 63 0 17056 0
vsize: 68476
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 14634 0 0 0 37972 31 0 0 25 0 1 0 822414470 71811072 14557 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17532 14557 1111 63 0 17469 0
vsize: 70128
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 15063 0 0 0 38972 31 0 0 25 0 1 0 822414470 73650176 14986 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17981 14986 1111 63 0 17918 0
vsize: 71924
[startup+400.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 15497 0 0 0 39971 32 0 0 25 0 1 0 822414470 75341824 15420 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18394 15420 1111 63 0 18331 0
vsize: 73576
[startup+410.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 15927 0 0 0 40971 32 0 0 25 0 1 0 822414470 77180928 15850 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18843 15850 1111 63 0 18780 0
vsize: 75372
[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 16370 0 0 0 41970 33 0 0 25 0 1 0 822414470 79011840 16293 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19290 16293 1111 63 0 19227 0
vsize: 77160
[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 16819 0 0 0 42969 35 0 0 25 0 1 0 822414470 80850944 16742 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19739 16742 1111 63 0 19676 0
vsize: 78956
[startup+440.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 17275 0 0 0 43968 36 0 0 25 0 1 0 822414470 82681856 17198 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20186 17198 1111 63 0 20123 0
vsize: 80744
[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 17739 0 0 0 44968 36 0 0 25 0 1 0 822414470 84520960 17662 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20635 17662 1111 63 0 20572 0
vsize: 82540
[startup+460.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 18209 0 0 0 45967 37 0 0 25 0 1 0 822414470 86499328 18132 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21118 18132 1111 63 0 21055 0
vsize: 84472
[startup+470.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 18679 0 0 0 46966 39 0 0 25 0 1 0 822414470 88334336 18602 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21566 18602 1111 63 0 21503 0
vsize: 86264
[startup+480.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 19157 0 0 0 47965 39 0 0 25 0 1 0 822414470 90312704 19080 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22049 19080 1111 63 0 21986 0
vsize: 88196
[startup+490.023 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 19646 0 0 0 48965 40 0 0 25 0 1 0 822414470 92282880 19569 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22530 19569 1111 63 0 22467 0
vsize: 90120
[startup+500.024 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 20138 0 0 0 49965 40 0 0 25 0 1 0 822414470 94404608 20061 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23048 20061 1111 63 0 22985 0
vsize: 92192
[startup+510.024 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 20643 0 0 0 50964 41 0 0 25 0 1 0 822414470 96382976 20566 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23531 20566 1111 63 0 23468 0
vsize: 94124
[startup+520.025 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 21155 0 0 0 51964 42 0 0 25 0 1 0 822414470 98500608 21078 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24048 21078 1111 63 0 23985 0
vsize: 96192
[startup+530.025 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 21672 0 0 0 52963 43 0 0 25 0 1 0 822414470 100618240 21595 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24565 21595 1111 63 0 24502 0
vsize: 98260
[startup+540.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 22204 0 0 0 53962 44 0 0 25 0 1 0 822414470 102735872 22127 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25082 22127 1111 63 0 25019 0
vsize: 100328
[startup+550.027 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 22736 0 0 0 54962 44 0 0 25 0 1 0 822414470 104996864 22659 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25634 22659 1111 63 0 25571 0
vsize: 102536
[startup+560.027 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 23314 0 0 0 55961 46 0 0 25 0 1 0 822414470 107642880 23237 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26280 23237 1111 63 0 26217 0
vsize: 105120
[startup+570.028 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 23868 0 0 0 56960 46 0 0 25 0 1 0 822414470 109903872 23791 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26832 23791 1111 63 0 26769 0
vsize: 107328
[startup+580.028 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 24429 0 0 0 57959 47 0 0 25 0 1 0 822414470 112164864 24352 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27384 24352 1111 63 0 27321 0
vsize: 109536
[startup+590.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 24996 0 0 0 58958 49 0 0 25 0 1 0 822414470 114417664 24919 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27934 24919 1111 63 0 27871 0
vsize: 111736
[startup+600.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 25574 0 0 0 59958 49 0 0 25 0 1 0 822414470 116817920 25497 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28520 25497 1111 63 0 28457 0
vsize: 114080
[startup+610.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 26162 0 0 0 60957 50 0 0 25 0 1 0 822414470 119218176 26085 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29106 26085 1111 63 0 29043 0
vsize: 116424
[startup+620.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 26772 0 0 0 61956 51 0 0 25 0 1 0 822414470 121765888 26695 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29728 26695 1111 63 0 29665 0
vsize: 118912
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 27381 0 0 0 62955 53 0 0 25 0 1 0 822414470 124166144 27304 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30314 27304 1111 63 0 30251 0
vsize: 121256
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 28017 0 0 0 63953 54 0 0 25 0 1 0 822414470 126844928 27940 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30968 27940 1111 63 0 30905 0
vsize: 123872
[startup+650.029 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 28653 0 0 0 64952 55 0 0 25 0 1 0 822414470 129388544 28576 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31589 28576 1111 63 0 31526 0
vsize: 126356
[startup+660.029 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 29302 0 0 0 65951 57 0 0 25 0 1 0 822414470 132071424 29225 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32244 29225 1111 63 0 32181 0
vsize: 128976
[startup+670.03 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 29952 0 0 0 66950 58 0 0 25 0 1 0 822414470 134750208 29875 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32898 29875 1111 63 0 32835 0
vsize: 131592
[startup+680.03 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 30624 0 0 0 67949 60 0 0 25 0 1 0 822414470 137441280 30547 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33555 30547 1111 63 0 33492 0
vsize: 134220
[startup+690.031 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 31308 0 0 0 68948 60 0 0 25 0 1 0 822414470 140259328 31231 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34243 31231 1111 63 0 34180 0
vsize: 136972
[startup+700.032 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 31998 0 0 0 69947 62 0 0 25 0 1 0 822414470 143081472 31921 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34932 31921 1111 63 0 34869 0
vsize: 139728
[startup+710.032 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 32704 0 0 0 70946 63 0 0 25 0 1 0 822414470 145911808 32627 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35623 32627 1111 63 0 35560 0
vsize: 142492
[startup+720.032 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 33422 0 0 0 71945 64 0 0 25 0 1 0 822414470 148873216 33345 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36346 33345 1111 63 0 36283 0
vsize: 145384
[startup+730.032 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 34150 0 0 0 72943 66 0 0 25 0 1 0 822414470 151842816 34073 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37071 34073 1111 63 0 37008 0
vsize: 148284
[startup+740.061 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 9231
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 34882 0 0 0 73945 68 0 0 25 0 1 0 822414470 154804224 34805 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37794 34805 1111 63 0 37731 0
vsize: 151176
[startup+750.062 s]
Raw data (loadavg): 1.09 1.02 0.93 2/55 9284
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 35622 0 0 0 74944 69 0 0 25 0 1 0 822414470 157913088 35545 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38553 35545 1111 63 0 38490 0
vsize: 154212
[startup+760.061 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 9284
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 36361 0 0 0 75942 70 0 0 25 0 1 0 822414470 160874496 36284 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39276 36284 1111 63 0 39213 0
vsize: 157104
[startup+770.061 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 9284
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 37116 0 0 0 76941 72 0 0 25 0 1 0 822414470 163983360 37039 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40035 37039 1111 63 0 39972 0
vsize: 160140
[startup+780.062 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 9284
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 37868 0 0 0 77940 73 0 0 25 0 1 0 822414470 167088128 37791 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40793 37791 1111 63 0 40730 0
vsize: 163172
[startup+790.062 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 9284
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 38637 0 0 0 78939 74 0 0 25 0 1 0 822414470 170196992 38560 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41552 38560 1111 63 0 41489 0
vsize: 166208
[startup+796.254 s]
Raw data (loadavg): 1.04 1.02 0.93 1/54 9284
Raw data (stat): 9231 (bsolo_lpr) R 9230 7876 7672 0 -1 0 38637 0 0 0 78939 74 0 0 25 0 1 0 822414470 170196992 38560 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41552 38560 1111 63 0 41489 0
vsize: 0

Child status: 0
Real time (s): 796.253
CPU time (s): 796.332
CPU user time (s): 795.497
CPU system time (s): 0.834873
CPU usage (%): 100.01
Max. virtual memory (Kb): 166208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####