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 40253

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 05:04:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28311 boxname=wulflinc2 idbench=1267 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c82c0bebea8b0ce184f21387d9520ae2  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ship12s.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ship12s.opb
IDLAUNCH: 28311
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        777656 kB
Buffers:          9540 kB
Cached:         224536 kB
SwapCached:       1340 kB
Active:          29792 kB
Inactive:       206328 kB
HighTotal:      131008 kB
HighFree:        51436 kB
LowTotal:       903652 kB
LowFree:        726220 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            15344 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 05:17:35 (client local time) WITH STATUS 0 IN 792.08 SECONDS
stats: 28311 7 792.08 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/wulflinc2/normalized-mps-v2-13-7-ship12s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 791.998 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.92 0.98 0.92 2/54 5635
Raw data (stat): 5635 (runsolver) R 5634 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898974321 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 1072 0 0 0 993 4 0 0 25 0 1 0 898974321 16203776 992 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 992 1111 63 0 3893 0
vsize: 15824
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 1369 0 0 0 1992 5 0 0 25 0 1 0 898974321 17473536 1289 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 1289 1111 63 0 4203 0
vsize: 17064
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 1696 0 0 0 2992 5 0 0 25 0 1 0 898974321 18755584 1616 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4579 1616 1111 63 0 4516 0
vsize: 18316
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 2020 0 0 0 3991 6 0 0 25 0 1 0 898974321 20164608 1940 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 1940 1111 63 0 4860 0
vsize: 19692
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 2349 0 0 0 4991 6 0 0 25 0 1 0 898974321 21434368 2269 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2269 1111 63 0 5170 0
vsize: 20932
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 2681 0 0 0 5990 7 0 0 25 0 1 0 898974321 22843392 2601 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5577 2601 1111 63 0 5514 0
vsize: 22308
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 3011 0 0 0 6989 8 0 0 25 0 1 0 898974321 24113152 2931 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 2931 1111 63 0 5824 0
vsize: 23548
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 3342 0 0 0 7989 9 0 0 25 0 1 0 898974321 25522176 3262 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6231 3262 1111 63 0 6168 0
vsize: 24924
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 3686 0 0 0 8989 9 0 0 25 0 1 0 898974321 26955776 3606 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6581 3606 1111 63 0 6518 0
vsize: 26324
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 4026 0 0 0 9988 10 0 0 25 0 1 0 898974321 28372992 3946 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6927 3946 1111 63 0 6864 0
vsize: 27708
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 4358 0 0 0 10988 10 0 0 25 0 1 0 898974321 29642752 4278 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7237 4278 1111 63 0 7174 0
vsize: 28948
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5635
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 4697 0 0 0 11987 11 0 0 25 0 1 0 898974321 31051776 4617 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7581 4617 1111 63 0 7518 0
vsize: 30324
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 5048 0 0 0 12987 12 0 0 25 0 1 0 898974321 32464896 4968 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7926 4968 1111 63 0 7863 0
vsize: 31704
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 5388 0 0 0 13986 13 0 0 25 0 1 0 898974321 33873920 5308 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 5308 1111 63 0 8207 0
vsize: 33080
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 5739 0 0 0 14986 13 0 0 25 0 1 0 898974321 35287040 5659 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8615 5659 1111 63 0 8552 0
vsize: 34460
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 6092 0 0 0 15985 14 0 0 25 0 1 0 898974321 36843520 6012 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8995 6012 1111 63 0 8932 0
vsize: 35980
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 6454 0 0 0 16985 14 0 0 25 0 1 0 898974321 38264832 6374 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9342 6374 1111 63 0 9279 0
vsize: 37368
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 6807 0 0 0 17984 15 0 0 25 0 1 0 898974321 39817216 6727 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 6727 1111 63 0 9658 0
vsize: 38884
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 7159 0 0 0 18984 16 0 0 25 0 1 0 898974321 41230336 7079 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10066 7079 1111 63 0 10003 0
vsize: 40264
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 7519 0 0 0 19982 17 0 0 25 0 1 0 898974321 42639360 7439 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10410 7439 1111 63 0 10347 0
vsize: 41640
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 7886 0 0 0 20982 18 0 0 25 0 1 0 898974321 44195840 7806 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10790 7806 1111 63 0 10727 0
vsize: 43160
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 8252 0 0 0 21981 19 0 0 25 0 1 0 898974321 45608960 8172 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11135 8172 1111 63 0 11072 0
vsize: 44540
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 8624 0 0 0 22981 19 0 0 25 0 1 0 898974321 47161344 8544 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11514 8544 1111 63 0 11451 0
vsize: 46056
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 8997 0 0 0 23981 20 0 0 25 0 1 0 898974321 48709632 8917 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11892 8917 1111 63 0 11829 0
vsize: 47568
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 9372 0 0 0 24980 21 0 0 25 0 1 0 898974321 50270208 9292 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12273 9292 1111 63 0 12210 0
vsize: 49092
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 9745 0 0 0 25979 22 0 0 25 0 1 0 898974321 51818496 9665 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12651 9665 1111 63 0 12588 0
vsize: 50604
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 10117 0 0 0 26978 23 0 0 25 0 1 0 898974321 53231616 10037 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12996 10037 1111 63 0 12933 0
vsize: 51984
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 10506 0 0 0 27978 23 0 0 25 0 1 0 898974321 54927360 10426 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13410 10426 1111 63 0 13347 0
vsize: 53640
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 10891 0 0 0 28978 24 0 0 25 0 1 0 898974321 56479744 10811 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13789 10811 1111 63 0 13726 0
vsize: 55156
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 11278 0 0 0 29977 25 0 0 25 0 1 0 898974321 58032128 11198 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14168 11198 1111 63 0 14105 0
vsize: 56672
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 11666 0 0 0 30976 26 0 0 25 0 1 0 898974321 59584512 11586 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14547 11586 1111 63 0 14484 0
vsize: 58188
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 12085 0 0 0 31975 27 0 0 25 0 1 0 898974321 61501440 12005 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15015 12005 1111 63 0 14952 0
vsize: 60060
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 12484 0 0 0 32974 28 0 0 25 0 1 0 898974321 63053824 12404 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15394 12404 1111 63 0 15331 0
vsize: 61576
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 12886 0 0 0 33974 29 0 0 25 0 1 0 898974321 64753664 12806 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15809 12806 1111 63 0 15746 0
vsize: 63236
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 13286 0 0 0 34973 30 0 0 25 0 1 0 898974321 66301952 13206 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16187 13206 1111 63 0 16124 0
vsize: 64748
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 13687 0 0 0 35973 30 0 0 25 0 1 0 898974321 67993600 13607 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16600 13607 1111 63 0 16537 0
vsize: 66400
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 14102 0 0 0 36971 31 0 0 25 0 1 0 898974321 69693440 14022 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17015 14022 1111 63 0 16952 0
vsize: 68060
[startup+380.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 14517 0 0 0 37971 33 0 0 25 0 1 0 898974321 71385088 14437 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14437 1111 63 0 17365 0
vsize: 69712
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 14946 0 0 0 38970 33 0 0 25 0 1 0 898974321 73076736 14866 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17841 14866 1111 63 0 17778 0
vsize: 71364
[startup+400.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 15367 0 0 0 39969 35 0 0 25 0 1 0 898974321 74915840 15287 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18290 15287 1111 63 0 18227 0
vsize: 73160
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 15795 0 0 0 40968 36 0 0 25 0 1 0 898974321 76607488 15715 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18703 15715 1111 63 0 18640 0
vsize: 74812
[startup+420.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 16224 0 0 0 41968 36 0 0 25 0 1 0 898974321 78307328 16144 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19118 16144 1111 63 0 19055 0
vsize: 76472
[startup+430.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 16659 0 0 0 42967 37 0 0 25 0 1 0 898974321 80138240 16579 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19565 16579 1111 63 0 19502 0
vsize: 78260
[startup+440.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 17096 0 0 0 43965 39 0 0 25 0 1 0 898974321 81977344 17016 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20014 17016 1111 63 0 19951 0
vsize: 80056
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 17544 0 0 0 44964 40 0 0 25 0 1 0 898974321 83808256 17464 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20461 17464 1111 63 0 20398 0
vsize: 81844
[startup+460.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 17988 0 0 0 45964 41 0 0 25 0 1 0 898974321 85508096 17908 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20876 17908 1111 63 0 20813 0
vsize: 83504
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 18444 0 0 0 46963 42 0 0 25 0 1 0 898974321 87478272 18364 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21357 18364 1111 63 0 21294 0
vsize: 85428
[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 18901 0 0 0 47963 42 0 0 25 0 1 0 898974321 89317376 18821 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21806 18821 1111 63 0 21743 0
vsize: 87224
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 19358 0 0 0 48962 43 0 0 25 0 1 0 898974321 91148288 19278 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22253 19278 1111 63 0 22190 0
vsize: 89012
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 19827 0 0 0 49962 44 0 0 25 0 1 0 898974321 93130752 19747 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22737 19747 1111 63 0 22674 0
vsize: 90948
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 20298 0 0 0 50961 44 0 0 25 0 1 0 898974321 94969856 20218 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23186 20218 1111 63 0 23123 0
vsize: 92744
[startup+520.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 20780 0 0 0 51961 45 0 0 25 0 1 0 898974321 96940032 20700 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23667 20700 1111 63 0 23604 0
vsize: 94668
[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 21266 0 0 0 52960 46 0 0 25 0 1 0 898974321 98922496 21186 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24151 21186 1111 63 0 24088 0
vsize: 96604
[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 21777 0 0 0 53959 47 0 0 25 0 1 0 898974321 101040128 21697 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24668 21697 1111 63 0 24605 0
vsize: 98672
[startup+550.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 22294 0 0 0 54959 48 0 0 25 0 1 0 898974321 103153664 22214 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25184 22214 1111 63 0 25121 0
vsize: 100736
[startup+560.035 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 22832 0 0 0 55960 49 0 0 25 0 1 0 898974321 105414656 22752 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25736 22752 1111 63 0 25673 0
vsize: 102944
[startup+570.035 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 23431 0 0 0 56959 50 0 0 25 0 1 0 898974321 108060672 23351 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26382 23351 1111 63 0 26319 0
vsize: 105528
[startup+580.042 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 24026 0 0 0 57960 51 0 0 25 0 1 0 898974321 110460928 23946 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26968 23946 1111 63 0 26905 0
vsize: 107872
[startup+590.043 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 24642 0 0 0 58958 52 0 0 25 0 1 0 898974321 113000448 24562 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27588 24562 1111 63 0 27525 0
vsize: 110352
[startup+600.043 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 25278 0 0 0 59958 53 0 0 25 0 1 0 898974321 115544064 25198 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28209 25198 1111 63 0 28146 0
vsize: 112836
[startup+610.043 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 25916 0 0 0 60958 54 0 0 25 0 1 0 898974321 118231040 25836 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28865 25836 1111 63 0 28802 0
vsize: 115460
[startup+620.044 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 26565 0 0 0 61957 55 0 0 25 0 1 0 898974321 120913920 26485 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29520 26485 1111 63 0 29457 0
vsize: 118080
[startup+630.043 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 27229 0 0 0 62956 56 0 0 25 0 1 0 898974321 123592704 27149 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30174 27149 1111 63 0 30111 0
vsize: 120696
[startup+640.044 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 27899 0 0 0 63955 56 0 0 25 0 1 0 898974321 126275584 27819 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30829 27819 1111 63 0 30766 0
vsize: 123316
[startup+650.045 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 28578 0 0 0 64954 58 0 0 25 0 1 0 898974321 129101824 28498 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31519 28498 1111 63 0 31456 0
vsize: 126076
[startup+660.045 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 29262 0 0 0 65953 59 0 0 25 0 1 0 898974321 131923968 29182 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32208 29182 1111 63 0 32145 0
vsize: 128832
[startup+670.044 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 29959 0 0 0 66952 61 0 0 25 0 1 0 898974321 134746112 29879 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32897 29879 1111 63 0 32834 0
vsize: 131588
[startup+680.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 30665 0 0 0 67951 62 0 0 25 0 1 0 898974321 137576448 30585 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33588 30585 1111 63 0 33525 0
vsize: 134352
[startup+690.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 31376 0 0 0 68949 63 0 0 25 0 1 0 898974321 140537856 31296 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34311 31296 1111 63 0 34248 0
vsize: 137244
[startup+700.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 32096 0 0 0 69948 65 0 0 25 0 1 0 898974321 143507456 32016 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35036 32016 1111 63 0 34973 0
vsize: 140144
[startup+710.044 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 32828 0 0 0 70947 66 0 0 25 0 1 0 898974321 146468864 32748 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35759 32748 1111 63 0 35696 0
vsize: 143036
[startup+720.045 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 33562 0 0 0 71945 68 0 0 25 0 1 0 898974321 149438464 33482 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36484 33482 1111 63 0 36421 0
vsize: 145936
[startup+730.044 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 34308 0 0 0 72943 70 0 0 25 0 1 0 898974321 152539136 34228 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37241 34228 1111 63 0 37178 0
vsize: 148964
[startup+740.046 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 35062 0 0 0 73942 71 0 0 25 0 1 0 898974321 155508736 34982 4294967295 134512640 134716908 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37966 34982 1111 63 0 37903 0
vsize: 151864
[startup+750.046 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 35828 0 0 0 74941 73 0 0 25 0 1 0 898974321 158752768 35748 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38758 35748 1111 63 0 38695 0
vsize: 155032
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 36596 0 0 0 75940 74 0 0 25 0 1 0 898974321 161861632 36516 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39517 36516 1111 63 0 39454 0
vsize: 158068
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 37378 0 0 0 76939 75 0 0 25 0 1 0 898974321 164962304 37298 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40274 37298 1111 63 0 40211 0
vsize: 161096
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 38165 0 0 0 77937 77 0 0 25 0 1 0 898974321 168214528 38085 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41068 38085 1111 63 0 41005 0
vsize: 164272
[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 38968 0 0 0 78936 79 0 0 25 0 1 0 898974321 171462656 38888 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41861 38888 1111 63 0 41798 0
vsize: 167444
[startup+791.973 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 5637
Raw data (stat): 5635 (bsolo_lpr-v2) R 5634 31399 31398 0 -1 0 38968 0 0 0 78936 79 0 0 25 0 1 0 898974321 171462656 38888 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41861 38888 1111 63 0 41798 0
vsize: 0

Child status: 0
Real time (s): 791.972
CPU time (s): 792.08
CPU user time (s): 791.207
CPU system time (s): 0.872867
CPU usage (%): 100.014
Max. virtual memory (Kb): 167444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####