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-stocfor2.opb
MD5SUM	8756a41134c52dcbfa591c90bdd1a8a3
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	31770
Biggest coefficient in the objective function	1855425871872000000
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	393343428838367821824
Number of bits of the sum of numbers in the objective function	69
Biggest number in a constraint	1855425871872000000
Number of bits of the biggest number in a constraint	61
Biggest sum of numbers in a constraint	393343428838367821824
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.532918
Number of variables	60930
Total number of constraints	2157
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	2157
Minimum length of a constraint	30
Maximum length of a constraint	450

Trace number 28724

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 03:58:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11545 boxname=wulflinc4 idbench=889 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8756a41134c52dcbfa591c90bdd1a8a3  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stocfor2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stocfor2.opb
IDLAUNCH: 11545
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        805916 kB
Buffers:         33688 kB
Cached:         174024 kB
SwapCached:        572 kB
Active:          29548 kB
Inactive:       180600 kB
HighTotal:      131008 kB
HighFree:         2352 kB
LowTotal:       903652 kB
LowFree:        803564 kB
SwapTotal:     2097136 kB
SwapFree:      2096004 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            12968 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:04:40 (client local time) WITH STATUS 0 IN 364.109 SECONDS
stats: 11545 7 364.109 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +125*STATE101_bit_10 +250*STATE101_bit_9 +500*STATE101_bit_8 +1000*STATE101_bit_7 +2000*STATE101_bit_6 +4000*STATE101_bit_5 +8000*STATE101_bit_4 +16000*STATE101_bit_3 +32000*STATE101_bit_2 +64000*STATE101_bit_1 +128000*STATE101_bit0 +256000*STATE101_bit1 +512000*STATE101_bit2 +1024000*STATE101_bit3 +2048000*STATE101_bit4 +4096000*STATE101_bit5 +8192000*STATE101_bit6 +16384000*STATE101_bit7 +32768000*STATE101_bit8 +65536000*STATE101_bit9 +131072000*STATE101_bit10 +262144000*STATE101_bit11 +524288000*STATE101_bit12 +1048576000*STATE101_bit13 +2097152000*STATE101_bit14 +4194304000*STATE101_bit15 +8388608000*STATE101_bit16 +16777216000*STATE101_bit17 +33554432000*STATE101_bit18 +67108864000*STATE101_bit19 = +30848;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-stocfor2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 364.045 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.78 0.91 0.93 2/54 27094
Raw data (stat): 27094 (runsolver) R 27093 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777591398 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.0016 s]
Raw data (loadavg): 0.81 0.91 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 885 0 0 0 995 3 0 0 25 0 1 0 777591398 15810560 809 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 809 1111 63 0 3797 0
vsize: 15440
[startup+20.0024 s]
Raw data (loadavg): 0.84 0.92 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 1105 0 0 0 1994 4 0 0 25 0 1 0 777591398 16838656 1029 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1029 1111 63 0 4048 0
vsize: 16444
[startup+30.0023 s]
Raw data (loadavg): 0.87 0.92 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 1336 0 0 0 2994 4 0 0 25 0 1 0 777591398 17702912 1260 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 1260 1111 63 0 4259 0
vsize: 17288
[startup+40.0031 s]
Raw data (loadavg): 0.89 0.92 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 1542 0 0 0 3993 5 0 0 25 0 1 0 777591398 18591744 1466 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 1466 1111 63 0 4476 0
vsize: 18156
[startup+50.004 s]
Raw data (loadavg): 0.90 0.92 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 1774 0 0 0 4993 6 0 0 25 0 1 0 777591398 19488768 1698 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 1698 1111 63 0 4695 0
vsize: 19032
[startup+60.0044 s]
Raw data (loadavg): 0.92 0.92 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 1972 0 0 0 5992 6 0 0 25 0 1 0 777591398 20393984 1896 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 1896 1111 63 0 4916 0
vsize: 19916
[startup+70.0047 s]
Raw data (loadavg): 0.93 0.93 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 2179 0 0 0 6992 7 0 0 25 0 1 0 777591398 21143552 2103 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 2103 1111 63 0 5099 0
vsize: 20648
[startup+80.0055 s]
Raw data (loadavg): 0.94 0.93 0.93 2/54 27094
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 2391 0 0 0 7991 8 0 0 25 0 1 0 777591398 22048768 2315 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 2315 1111 63 0 5320 0
vsize: 21532
[startup+90.0077 s]
Raw data (loadavg): 1.03 0.95 0.94 3/57 27134
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 2611 0 0 0 8991 8 0 0 25 0 1 0 777591398 22949888 2535 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 2535 1111 63 0 5540 0
vsize: 22412
[startup+100.008 s]
Raw data (loadavg): 1.02 0.95 0.94 2/54 27147
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 2839 0 0 0 9990 9 0 0 25 0 1 0 777591398 23842816 2763 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 2763 1111 63 0 5758 0
vsize: 23284
[startup+110.009 s]
Raw data (loadavg): 1.02 0.95 0.94 2/54 27147
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 3067 0 0 0 10990 9 0 0 25 0 1 0 777591398 24895488 2991 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 2991 1111 63 0 6015 0
vsize: 24312
[startup+120.01 s]
Raw data (loadavg): 1.02 0.95 0.94 2/54 27147
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 3304 0 0 0 11990 10 0 0 25 0 1 0 777591398 25800704 3228 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 3228 1111 63 0 6236 0
vsize: 25196
[startup+130.01 s]
Raw data (loadavg): 1.01 0.95 0.94 2/54 27147
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 3555 0 0 0 12989 10 0 0 25 0 1 0 777591398 26849280 3479 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 3479 1111 63 0 6492 0
vsize: 26220
[startup+140.01 s]
Raw data (loadavg): 1.01 0.95 0.94 2/54 27147
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 3800 0 0 0 13989 11 0 0 25 0 1 0 777591398 27881472 3724 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 3724 1111 63 0 6744 0
vsize: 27228
[startup+150.011 s]
Raw data (loadavg): 1.01 0.95 0.94 2/54 27147
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 4048 0 0 0 14988 12 0 0 25 0 1 0 777591398 28782592 3972 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 3972 1111 63 0 6964 0
vsize: 28108
[startup+160.011 s]
Raw data (loadavg): 1.01 0.95 0.94 2/54 27147
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 4300 0 0 0 15988 12 0 0 25 0 1 0 777591398 29835264 4224 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 4224 1111 63 0 7221 0
vsize: 29136
[startup+170.011 s]
Raw data (loadavg): 1.01 0.95 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 4578 0 0 0 16988 13 0 0 25 0 1 0 777591398 31039488 4502 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4502 1111 63 0 7515 0
vsize: 30312
[startup+180.011 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 4868 0 0 0 17987 13 0 0 25 0 1 0 777591398 32276480 4792 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 4792 1111 63 0 7817 0
vsize: 31520
[startup+190.012 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 5166 0 0 0 18987 13 0 0 25 0 1 0 777591398 33484800 5090 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5090 1111 63 0 8112 0
vsize: 32700
[startup+200.011 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 5474 0 0 0 19987 14 0 0 25 0 1 0 777591398 34689024 5398 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8469 5398 1111 63 0 8406 0
vsize: 33876
[startup+210.012 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 5762 0 0 0 20987 14 0 0 25 0 1 0 777591398 35889152 5686 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 5686 1111 63 0 8699 0
vsize: 35048
[startup+220.012 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 6073 0 0 0 21986 15 0 0 25 0 1 0 777591398 37097472 5997 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9057 5997 1111 63 0 8994 0
vsize: 36228
[startup+230.012 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 6419 0 0 0 22986 16 0 0 25 0 1 0 777591398 38596608 6343 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6343 1111 63 0 9360 0
vsize: 37692
[startup+240.012 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 6802 0 0 0 23985 17 0 0 25 0 1 0 777591398 40103936 6726 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9791 6726 1111 63 0 9728 0
vsize: 39164
[startup+250.012 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 7245 0 0 0 24984 17 0 0 25 0 1 0 777591398 41910272 7169 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 7169 1111 63 0 10169 0
vsize: 40928
[startup+260.013 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 7740 0 0 0 25984 18 0 0 25 0 1 0 777591398 43982848 7664 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 7664 1111 63 0 10675 0
vsize: 42952
[startup+270.013 s]
Raw data (loadavg): 1.00 0.96 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 8292 0 0 0 26983 19 0 0 25 0 1 0 777591398 46247936 8216 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 8216 1111 63 0 11228 0
vsize: 45164
[startup+280.012 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 8900 0 0 0 27983 20 0 0 25 0 1 0 777591398 48885760 8824 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11935 8824 1111 63 0 11872 0
vsize: 47740
[startup+290.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 9518 0 0 0 28982 21 0 0 25 0 1 0 777591398 51400704 9442 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 9442 1111 63 0 12486 0
vsize: 50196
[startup+300.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 10182 0 0 0 29981 22 0 0 25 0 1 0 777591398 54108160 10106 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10106 1111 63 0 13147 0
vsize: 52840
[startup+310.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 10920 0 0 0 30979 24 0 0 25 0 1 0 777591398 57122816 10844 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13946 10844 1111 63 0 13883 0
vsize: 55784
[startup+320.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 11710 0 0 0 31978 25 0 0 25 0 1 0 777591398 60284928 11634 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14718 11634 1111 63 0 14655 0
vsize: 58872
[startup+330.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 12603 0 0 0 32977 26 0 0 25 0 1 0 777591398 63897600 12527 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15600 12527 1111 63 0 15537 0
vsize: 62400
[startup+340.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 13592 0 0 0 33975 28 0 0 25 0 1 0 777591398 67960832 13516 4294967295 134512640 134714508 3221224592 3221221420 1077253362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16592 13516 1111 63 0 16529 0
vsize: 66368
[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 14757 0 0 0 34972 31 0 0 25 0 1 0 777591398 72773632 14681 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14681 1111 63 0 17704 0
vsize: 71068
[startup+360.014 s]
Raw data (loadavg): 1.00 0.97 0.94 2/54 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 16194 0 0 0 35970 33 0 0 25 0 1 0 777591398 78610432 16118 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19192 16118 1111 63 0 19129 0
vsize: 76768
[startup+364.168 s]
Raw data (loadavg): 1.00 0.97 0.94 1/53 27149
Raw data (stat): 27094 (bsolo_lpr) R 27093 21152 21151 0 -1 0 16194 0 0 0 35970 33 0 0 25 0 1 0 777591398 78610432 16118 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19192 16118 1111 63 0 19129 0
vsize: 0

Child status: 0
Real time (s): 364.167
CPU time (s): 364.109
CPU user time (s): 363.443
CPU system time (s): 0.665898
CPU usage (%): 99.9839
Max. virtual memory (Kb): 76768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####