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 39870

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 21:45:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27933 boxname=wulflinc3 idbench=889 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8756a41134c52dcbfa591c90bdd1a8a3  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-stocfor2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-stocfor2.opb
IDLAUNCH: 27933
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        805692 kB
Buffers:         34212 kB
Cached:         166084 kB
SwapCached:       6016 kB
Active:          59900 kB
Inactive:       147772 kB
HighTotal:      131008 kB
HighFree:         6384 kB
LowTotal:       903652 kB
LowFree:        799308 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            15536 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:51:30 (client local time) WITH STATUS 0 IN 364.814 SECONDS
stats: 27933 7 364.814 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/wulflinc3/normalized-mps-v2-20-10-stocfor2.opb
s UNKNOWN
c Exit Code: 0
c Total time: 364.753 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.63 0.88 0.88 1/54 16841
Raw data (stat): 16841 (runsolver) R 16840 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896328057 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.68 0.88 0.88 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 894 0 0 0 995 2 0 0 25 0 1 0 896328057 15945728 814 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 814 1111 63 0 3830 0
vsize: 15572
[startup+20 s]
Raw data (loadavg): 0.73 0.89 0.88 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 1115 0 0 0 1994 3 0 0 25 0 1 0 896328057 16838656 1035 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1035 1111 63 0 4048 0
vsize: 16444
[startup+29.9998 s]
Raw data (loadavg): 0.77 0.89 0.88 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 1345 0 0 0 2994 3 0 0 25 0 1 0 896328057 17702912 1265 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 1265 1111 63 0 4259 0
vsize: 17288
[startup+39.9996 s]
Raw data (loadavg): 0.81 0.89 0.88 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 1551 0 0 0 3994 3 0 0 25 0 1 0 896328057 18591744 1471 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1471 1111 63 0 4476 0
vsize: 18156
[startup+50.0005 s]
Raw data (loadavg): 0.84 0.89 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 1791 0 0 0 4994 4 0 0 25 0 1 0 896328057 19644416 1711 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 1711 1111 63 0 4733 0
vsize: 19184
[startup+60.0003 s]
Raw data (loadavg): 0.86 0.90 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 1990 0 0 0 5993 4 0 0 25 0 1 0 896328057 20393984 1910 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 1910 1111 63 0 4916 0
vsize: 19916
[startup+70.0002 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 2202 0 0 0 6993 5 0 0 25 0 1 0 896328057 21295104 2122 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5199 2122 1111 63 0 5136 0
vsize: 20796
[startup+80.001 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 2409 0 0 0 7993 5 0 0 25 0 1 0 896328057 22048768 2329 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 2329 1111 63 0 5320 0
vsize: 21532
[startup+90.0008 s]
Raw data (loadavg): 0.91 0.91 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 2629 0 0 0 8992 6 0 0 25 0 1 0 896328057 22949888 2549 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 2549 1111 63 0 5540 0
vsize: 22412
[startup+100.002 s]
Raw data (loadavg): 0.93 0.91 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 2863 0 0 0 9992 6 0 0 25 0 1 0 896328057 23994368 2783 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 2783 1111 63 0 5795 0
vsize: 23432
[startup+110.003 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 3091 0 0 0 10992 7 0 0 25 0 1 0 896328057 24895488 3011 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 3011 1111 63 0 6015 0
vsize: 24312
[startup+120.003 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 3329 0 0 0 11990 8 0 0 25 0 1 0 896328057 25952256 3249 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3249 1111 63 0 6273 0
vsize: 25344
[startup+130.003 s]
Raw data (loadavg): 0.95 0.92 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 3579 0 0 0 12990 8 0 0 25 0 1 0 896328057 26849280 3499 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 3499 1111 63 0 6492 0
vsize: 26220
[startup+140.003 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 3823 0 0 0 13990 8 0 0 25 0 1 0 896328057 27881472 3743 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6807 3743 1111 63 0 6744 0
vsize: 27228
[startup+150.004 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 4066 0 0 0 14990 9 0 0 25 0 1 0 896328057 28934144 3986 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7064 3986 1111 63 0 7001 0
vsize: 28256
[startup+160.004 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 4330 0 0 0 15990 9 0 0 25 0 1 0 896328057 29982720 4250 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 4250 1111 63 0 7257 0
vsize: 29280
[startup+170.004 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 4595 0 0 0 16990 9 0 0 25 0 1 0 896328057 31039488 4515 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4515 1111 63 0 7515 0
vsize: 30312
[startup+180.004 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 4877 0 0 0 17989 10 0 0 25 0 1 0 896328057 32276480 4797 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 4797 1111 63 0 7817 0
vsize: 31520
[startup+190.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 5166 0 0 0 18989 10 0 0 25 0 1 0 896328057 33484800 5086 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5086 1111 63 0 8112 0
vsize: 32700
[startup+200.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 5460 0 0 0 19988 11 0 0 25 0 1 0 896328057 34689024 5380 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8469 5380 1111 63 0 8406 0
vsize: 33876
[startup+210.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 5734 0 0 0 20988 11 0 0 25 0 1 0 896328057 35737600 5654 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 5654 1111 63 0 8662 0
vsize: 34900
[startup+220.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 6043 0 0 0 21988 12 0 0 25 0 1 0 896328057 37097472 5963 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9057 5963 1111 63 0 8994 0
vsize: 36228
[startup+230.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 6389 0 0 0 22987 13 0 0 25 0 1 0 896328057 38445056 6309 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9386 6309 1111 63 0 9323 0
vsize: 37544
[startup+240.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 6760 0 0 0 23987 14 0 0 25 0 1 0 896328057 39952384 6680 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9754 6680 1111 63 0 9691 0
vsize: 39016
[startup+250.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 7195 0 0 0 24986 14 0 0 25 0 1 0 896328057 41758720 7115 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7115 1111 63 0 10132 0
vsize: 40780
[startup+260.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 7689 0 0 0 25986 15 0 0 25 0 1 0 896328057 43683840 7609 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 7609 1111 63 0 10602 0
vsize: 42660
[startup+270.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 8242 0 0 0 26985 16 0 0 25 0 1 0 896328057 45940736 8162 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8162 1111 63 0 11153 0
vsize: 44864
[startup+280.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 8849 0 0 0 27984 17 0 0 25 0 1 0 896328057 48603136 8769 4294967295 134512640 134716908 3221224576 3221222696 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 8775 1111 63 0 11803 0
vsize: 47464
[startup+290.046 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 9476 0 0 0 28987 18 0 0 25 0 1 0 896328057 51101696 9396 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12476 9396 1111 63 0 12413 0
vsize: 49904
[startup+300.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 10148 0 0 0 29985 20 0 0 25 0 1 0 896328057 53960704 10068 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13174 10068 1111 63 0 13111 0
vsize: 52696
[startup+310.047 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 10877 0 0 0 30984 21 0 0 25 0 1 0 896328057 56819712 10797 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13872 10797 1111 63 0 13809 0
vsize: 55488
[startup+320.046 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 11661 0 0 0 31984 22 0 0 25 0 1 0 896328057 60133376 11581 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14681 11581 1111 63 0 14618 0
vsize: 58724
[startup+330.047 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 12547 0 0 0 32982 23 0 0 25 0 1 0 896328057 63746048 12467 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15563 12467 1111 63 0 15500 0
vsize: 62252
[startup+340.047 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 13526 0 0 0 33982 24 0 0 25 0 1 0 896328057 67653632 13446 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16517 13446 1111 63 0 16454 0
vsize: 66068
[startup+350.048 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 14677 0 0 0 34979 27 0 0 25 0 1 0 896328057 72323072 14597 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17657 14597 1111 63 0 17594 0
vsize: 70628
[startup+360.048 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 16093 0 0 0 35976 30 0 0 25 0 1 0 896328057 78163968 16013 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19083 16013 1111 63 0 19020 0
vsize: 76332
[startup+364.794 s]
Raw data (loadavg): 0.99 0.95 0.91 1/53 16841
Raw data (stat): 16841 (bsolo_lpr-v2) R 16840 20224 20223 0 -1 0 16093 0 0 0 35976 30 0 0 25 0 1 0 896328057 78163968 16013 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19083 16013 1111 63 0 19020 0
vsize: 0

Child status: 0
Real time (s): 364.793
CPU time (s): 364.814
CPU user time (s): 364.18
CPU system time (s): 0.633903
CPU usage (%): 100.006
Max. virtual memory (Kb): 76332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####