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-sctap3.opb
MD5SUM	b5066922b496d65f6fab47243caf450a
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	55800
Biggest coefficient in the objective function	42949672960
Number of bits for the biggest coefficient in the objective function	36
Sum of the numbers in the objective function	31374736068060
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	42949672960
Number of bits of the biggest number in a constraint	36
Biggest sum of numbers in a constraint	31374736068060
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.674897
Number of variables	74400
Total number of constraints	1480
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	1480
Minimum length of a constraint	90
Maximum length of a constraint	930
Trace number 39854

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 21:22:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27917 boxname=wulflinc2 idbench=873 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b5066922b496d65f6fab47243caf450a  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sctap3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sctap3.opb
IDLAUNCH: 27917
/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:        825908 kB
Buffers:         34172 kB
Cached:         150996 kB
SwapCached:       1492 kB
Active:          42112 kB
Inactive:       145240 kB
HighTotal:      131008 kB
HighFree:        10416 kB
LowTotal:       903652 kB
LowFree:        815492 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            15596 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:34:09 (client local time) WITH STATUS 0 IN 699.804 SECONDS
stats: 27917 7 699.804 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: -5*Z3Z10ZZ9_bit_10 -10*Z3Z10ZZ9_bit_9 -20*Z3Z10ZZ9_bit_8 -40*Z3Z10ZZ9_bit_7 -80*Z3Z10ZZ9_bit_6 -160*Z3Z10ZZ9_bit_5 -320*Z3Z10ZZ9_bit_4 -640*Z3Z10ZZ9_bit_3 -1280*Z3Z10ZZ9_bit_2 -2560*Z3Z10ZZ9_bit_1 -5120*Z3Z10ZZ9_bit0 -10240*Z3Z10ZZ9_bit1 -20480*Z3Z10ZZ9_bit2 -40960*Z3Z10ZZ9_bit3 -81920*Z3Z10ZZ9_bit4 -163840*Z3Z10ZZ9_bit5 -327680*Z3Z10ZZ9_bit6 -655360*Z3Z10ZZ9_bit7 -1310720*Z3Z10ZZ9_bit8 -2621440*Z3Z10ZZ9_bit9 -5242880*Z3Z10ZZ9_bit10 -10485760*Z3Z10ZZ9_bit11 -20971520*Z3Z10ZZ9_bit12 -41943040*Z3Z10ZZ9_bit13 -83886080*Z3Z10ZZ9_bit14 -167772160*Z3Z10ZZ9_bit15 -335544320*Z3Z10ZZ9_bit16 -671088640*Z3Z10ZZ9_bit17 -1342177280*Z3Z10ZZ9_bit18 -2684354560*Z3Z10ZZ9_bit19 -1*Z4Z10ZZ9_bit_10 -2*Z4Z10ZZ9_bit_9 -4*Z4Z10ZZ9_bit_8 -8*Z4Z10ZZ9_bit_7 -16*Z4Z10ZZ9_bit_6 -32*Z4Z10ZZ9_bit_5 -64*Z4Z10ZZ9_bit_4 -128*Z4Z10ZZ9_bit_3 -256*Z4Z10ZZ9_bit_2 -512*Z4Z10ZZ9_bit_1 -1024*Z4Z10ZZ9_bit0 -2048*Z4Z10ZZ9_bit1 -4096*Z4Z10ZZ9_bit2 -8192*Z4Z10ZZ9_bit3 -16384*Z4Z10ZZ9_bit4 -32768*Z4Z10ZZ9_bit5 -65536*Z4Z10ZZ9_bit6 -131072*Z4Z10ZZ9_bit7 -262144*Z4Z10ZZ9_bit8 -524288*Z4Z10ZZ9_bit9 -1048576*Z4Z10ZZ9_bit10 -2097152*Z4Z10ZZ9_bit11 -4194304*Z4Z10ZZ9_bit12 -8388608*Z4Z10ZZ9_bit13 -16777216*Z4Z10ZZ9_bit14 -33554432*Z4Z10ZZ9_bit15 -67108864*Z4Z10ZZ9_bit16 -134217728*Z4Z10ZZ9_bit17 -268435456*Z4Z10ZZ9_bit18 -536870912*Z4Z10ZZ9_bit19 +10*Z2Z10Z10_bit_10 +20*Z2Z10Z10_bit_9 +40*Z2Z10Z10_bit_8 +80*Z2Z10Z10_bit_7 +160*Z2Z10Z10_bit_6 +320*Z2Z10Z10_bit_5 +640*Z2Z10Z10_bit_4 +1280*Z2Z10Z10_bit_3 +2560*Z2Z10Z10_bit_2 +5120*Z2Z10Z10_bit_1 +10240*Z2Z10Z10_bit0 +20480*Z2Z10Z10_bit1 +40960*Z2Z10Z10_bit2 +81920*Z2Z10Z10_bit3 +163840*Z2Z10Z10_bit4 +327680*Z2Z10Z10_bit5 +655360*Z2Z10Z10_bit6 +1310720*Z2Z10Z10_bit7 +2621440*Z2Z10Z10_bit8 +5242880*Z2Z10Z10_bit9 +10485760*Z2Z10Z10_bit10 +20971520*Z2Z10Z10_bit11 +41943040*Z2Z10Z10_bit12 +83886080*Z2Z10Z10_bit13 +167772160*Z2Z10Z10_bit14 +335544320*Z2Z10Z10_bit15 +671088640*Z2Z10Z10_bit16 +1342177280*Z2Z10Z10_bit17 +2684354560*Z2Z10Z10_bit18 +5368709120*Z2Z10Z10_bit19 +20*Z3Z10Z10_bit_10 +40*Z3Z10Z10_bit_9 +80*Z3Z10Z10_bit_8 +160*Z3Z10Z10_bit_7 +320*Z3Z10Z10_bit_6 +640*Z3Z10Z10_bit_5 +1280*Z3Z10Z10_bit_4 +2560*Z3Z10Z10_bit_3 +5120*Z3Z10Z10_bit_2 +10240*Z3Z10Z10_bit_1 +20480*Z3Z10Z10_bit0 +40960*Z3Z10Z10_bit1 +81920*Z3Z10Z10_bit2 +163840*Z3Z10Z10_bit3 +327680*Z3Z10Z10_bit4 +655360*Z3Z10Z10_bit5 +1310720*Z3Z10Z10_bit6 +2621440*Z3Z10Z10_bit7 +5242880*Z3Z10Z10_bit8 +10485760*Z3Z10Z10_bit9 +20971520*Z3Z10Z10_bit10 +41943040*Z3Z10Z10_bit11 +83886080*Z3Z10Z10_bit12 +167772160*Z3Z10Z10_bit13 +335544320*Z3Z10Z10_bit14 +671088640*Z3Z10Z10_bit15 +1342177280*Z3Z10Z10_bit16 +2684354560*Z3Z10Z10_bit17 +5368709120*Z3Z10Z10_bit18 +10737418240*Z3Z10Z10_bit19 +1*Z4Z10Z10_bit_10 +2*Z4Z10Z10_bit_9 +4*Z4Z10Z10_bit_8 +8*Z4Z10Z10_bit_7 +16*Z4Z10Z10_bit_6 +32*Z4Z10Z10_bit_5 +64*Z4Z10Z10_bit_4 +128*Z4Z10Z10_bit_3 +256*Z4Z10Z10_bit_2 +512*Z4Z10Z10_bit_1 +1024*Z4Z10Z10_bit0 +2048*Z4Z10Z10_bit1 +4096*Z4Z10Z10_bit2 +8192*Z4Z10Z10_bit3 +16384*Z4Z10Z10_bit4 +32768*Z4Z10Z10_bit5 +65536*Z4Z10Z10_bit6 +131072*Z4Z10Z10_bit7 +262144*Z4Z10Z10_bit8 +524288*Z4Z10Z10_bit9 +1048576*Z4Z10Z10_bit10 +2097152*Z4Z10Z10_bit11 +4194304*Z4Z10Z10_bit12 +8388608*Z4Z10Z10_bit13 +16777216*Z4Z10Z10_bit14 +33554432*Z4Z10Z10_bit15 +67108864*Z4Z10Z10_bit16 +134217728*Z4Z10Z10_bit17 +268435456*Z4Z10Z10_bit18 +536870912*Z4Z10Z10_bit19 >= +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-sctap3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 699.742 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.84 0.95 0.90 2/54 30290
Raw data (stat): 30290 (runsolver) R 30289 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896202635 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.001 s]
Raw data (loadavg): 0.87 0.95 0.90 3/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 1027 0 0 0 995 3 0 0 25 0 1 0 896202635 16089088 947 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 947 1111 63 0 3865 0
vsize: 15712
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 1287 0 0 0 1995 3 0 0 25 0 1 0 896202635 17272832 1207 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1207 1111 63 0 4154 0
vsize: 16868
[startup+30.0016 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 1544 0 0 0 2994 4 0 0 25 0 1 0 896202635 18292736 1464 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 1464 1111 63 0 4403 0
vsize: 17864
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 1813 0 0 0 3994 4 0 0 25 0 1 0 896202635 19341312 1733 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 1733 1111 63 0 4659 0
vsize: 18888
[startup+50.002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 2073 0 0 0 4993 5 0 0 25 0 1 0 896202635 20393984 1993 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 1993 1111 63 0 4916 0
vsize: 19916
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 2337 0 0 0 5993 6 0 0 25 0 1 0 896202635 21450752 2257 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 2257 1111 63 0 5174 0
vsize: 20948
[startup+70.0051 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 2601 0 0 0 6993 7 0 0 25 0 1 0 896202635 22650880 2521 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 2521 1111 63 0 5467 0
vsize: 22120
[startup+80.0131 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 2872 0 0 0 7993 7 0 0 25 0 1 0 896202635 23695360 2792 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5785 2792 1111 63 0 5722 0
vsize: 23140
[startup+90.0128 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 3136 0 0 0 8992 8 0 0 25 0 1 0 896202635 24743936 3056 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 3056 1111 63 0 5978 0
vsize: 24164
[startup+100.012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 3405 0 0 0 9992 8 0 0 25 0 1 0 896202635 25952256 3325 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 3325 1111 63 0 6273 0
vsize: 25344
[startup+110.013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 3684 0 0 0 10991 10 0 0 25 0 1 0 896202635 26984448 3604 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6588 3604 1111 63 0 6525 0
vsize: 26352
[startup+120.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 3957 0 0 0 11989 10 0 0 25 0 1 0 896202635 28180480 3877 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6880 3877 1111 63 0 6817 0
vsize: 27520
[startup+130.015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 4236 0 0 0 12988 11 0 0 25 0 1 0 896202635 29233152 4156 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7137 4156 1111 63 0 7074 0
vsize: 28548
[startup+140.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 4510 0 0 0 13988 12 0 0 25 0 1 0 896202635 30433280 4430 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4430 1111 63 0 7367 0
vsize: 29720
[startup+150.014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 4799 0 0 0 14987 13 0 0 25 0 1 0 896202635 31678464 4719 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 4719 1111 63 0 7671 0
vsize: 30936
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 5078 0 0 0 15987 13 0 0 25 0 1 0 896202635 32731136 4998 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 4998 1111 63 0 7928 0
vsize: 31964
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 5359 0 0 0 16986 14 0 0 25 0 1 0 896202635 33931264 5279 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8284 5279 1111 63 0 8221 0
vsize: 33136
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 5641 0 0 0 17986 14 0 0 25 0 1 0 896202635 35139584 5561 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 5561 1111 63 0 8516 0
vsize: 34316
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 5934 0 0 0 18986 15 0 0 25 0 1 0 896202635 36343808 5854 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 5854 1111 63 0 8810 0
vsize: 35492
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 6223 0 0 0 19985 16 0 0 25 0 1 0 896202635 37396480 6143 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9130 6143 1111 63 0 9067 0
vsize: 36520
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 6516 0 0 0 20985 16 0 0 25 0 1 0 896202635 38596608 6436 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6436 1111 63 0 9360 0
vsize: 37692
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 6813 0 0 0 21985 16 0 0 25 0 1 0 896202635 39804928 6733 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6733 1111 63 0 9655 0
vsize: 38872
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 7113 0 0 0 22984 17 0 0 25 0 1 0 896202635 41156608 7033 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7033 1111 63 0 9985 0
vsize: 40192
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 7411 0 0 0 23983 18 0 0 25 0 1 0 896202635 42356736 7331 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10341 7331 1111 63 0 10278 0
vsize: 41364
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 7713 0 0 0 24982 19 0 0 25 0 1 0 896202635 43536384 7633 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 7633 1111 63 0 10566 0
vsize: 42516
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 8014 0 0 0 25982 20 0 0 25 0 1 0 896202635 44740608 7934 4294967295 134512640 134716908 3221224576 3221222908 1077049379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10923 7934 1111 63 0 10860 0
vsize: 43692
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 8318 0 0 0 26981 21 0 0 25 0 1 0 896202635 45940736 8238 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8238 1111 63 0 11153 0
vsize: 44864
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 8632 0 0 0 27981 21 0 0 25 0 1 0 896202635 47296512 8552 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11547 8552 1111 63 0 11484 0
vsize: 46188
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 8960 0 0 0 28981 22 0 0 25 0 1 0 896202635 48750592 8880 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11902 8880 1111 63 0 11839 0
vsize: 47608
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 9279 0 0 0 29981 22 0 0 25 0 1 0 896202635 50077696 9199 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 9199 1111 63 0 12163 0
vsize: 48904
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 9595 0 0 0 30980 23 0 0 25 0 1 0 896202635 51400704 9515 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 9515 1111 63 0 12486 0
vsize: 50196
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 9920 0 0 0 31980 24 0 0 25 0 1 0 896202635 52609024 9840 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12844 9840 1111 63 0 12781 0
vsize: 51376
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 10245 0 0 0 32979 25 0 0 25 0 1 0 896202635 53960704 10165 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13174 10165 1111 63 0 13111 0
vsize: 52696
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 10570 0 0 0 33978 25 0 0 25 0 1 0 896202635 55316480 10490 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13505 10490 1111 63 0 13442 0
vsize: 54020
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 10907 0 0 0 34978 26 0 0 25 0 1 0 896202635 56672256 10827 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13836 10827 1111 63 0 13773 0
vsize: 55344
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 11235 0 0 0 35978 26 0 0 25 0 1 0 896202635 58028032 11155 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14167 11155 1111 63 0 14104 0
vsize: 56668
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 11572 0 0 0 36977 27 0 0 25 0 1 0 896202635 59379712 11492 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14497 11492 1111 63 0 14434 0
vsize: 57988
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 11920 0 0 0 37977 28 0 0 25 0 1 0 896202635 60887040 11840 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14865 11840 1111 63 0 14802 0
vsize: 59460
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 12267 0 0 0 38976 28 0 0 25 0 1 0 896202635 62238720 12187 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15195 12187 1111 63 0 15132 0
vsize: 60780
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 12622 0 0 0 39975 29 0 0 25 0 1 0 896202635 63746048 12542 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15563 12542 1111 63 0 15500 0
vsize: 62252
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 12974 0 0 0 40975 30 0 0 25 0 1 0 896202635 65097728 12894 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15893 12894 1111 63 0 15830 0
vsize: 63572
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 13329 0 0 0 41975 31 0 0 25 0 1 0 896202635 66605056 13249 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16261 13249 1111 63 0 16198 0
vsize: 65044
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 13698 0 0 0 42974 32 0 0 25 0 1 0 896202635 68112384 13618 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16629 13618 1111 63 0 16566 0
vsize: 66516
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 14064 0 0 0 43974 32 0 0 25 0 1 0 896202635 69611520 13984 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16995 13984 1111 63 0 16932 0
vsize: 67980
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 14443 0 0 0 44973 33 0 0 25 0 1 0 896202635 71118848 14363 4294967295 134512640 134716908 3221224576 3221222808 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17363 14363 1111 63 0 17300 0
vsize: 69452
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 14841 0 0 0 45972 34 0 0 25 0 1 0 896202635 72773632 14761 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14761 1111 63 0 17704 0
vsize: 71068
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 15248 0 0 0 46971 35 0 0 25 0 1 0 896202635 74399744 15168 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18164 15168 1111 63 0 18101 0
vsize: 72656
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 15676 0 0 0 47971 36 0 0 25 0 1 0 896202635 76206080 15596 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18605 15596 1111 63 0 18542 0
vsize: 74420
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 16117 0 0 0 48971 36 0 0 25 0 1 0 896202635 78012416 16037 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19046 16037 1111 63 0 18983 0
vsize: 76184
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 16608 0 0 0 49969 37 0 0 25 0 1 0 896202635 80183296 16528 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19576 16528 1111 63 0 19513 0
vsize: 78304
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 17094 0 0 0 50969 38 0 0 25 0 1 0 896202635 82251776 17014 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20081 17014 1111 63 0 20018 0
vsize: 80324
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 17594 0 0 0 51968 39 0 0 25 0 1 0 896202635 84209664 17514 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20559 17514 1111 63 0 20496 0
vsize: 82236
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 18096 0 0 0 52967 41 0 0 25 0 1 0 896202635 86315008 18016 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21073 18016 1111 63 0 21010 0
vsize: 84292
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 18613 0 0 0 53966 42 0 0 25 0 1 0 896202635 88428544 18533 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 18533 1111 63 0 21526 0
vsize: 86356
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 19130 0 0 0 54965 43 0 0 25 0 1 0 896202635 90501120 19050 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22095 19050 1111 63 0 22032 0
vsize: 88380
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 19674 0 0 0 55964 44 0 0 25 0 1 0 896202635 92758016 19594 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22646 19594 1111 63 0 22583 0
vsize: 90584
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 20221 0 0 0 56964 44 0 0 25 0 1 0 896202635 95014912 20141 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23197 20141 1111 63 0 23134 0
vsize: 92788
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 20781 0 0 0 57963 45 0 0 25 0 1 0 896202635 97271808 20701 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23748 20701 1111 63 0 23685 0
vsize: 94992
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 21342 0 0 0 58962 46 0 0 25 0 1 0 896202635 99528704 21262 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24299 21262 1111 63 0 24236 0
vsize: 97196
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 21917 0 0 0 59961 47 0 0 25 0 1 0 896202635 101941248 21837 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24888 21837 1111 63 0 24825 0
vsize: 99552
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 22508 0 0 0 60960 49 0 0 25 0 1 0 896202635 104345600 22428 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25475 22428 1111 63 0 25412 0
vsize: 101900
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 23113 0 0 0 61959 50 0 0 25 0 1 0 896202635 106754048 23033 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26063 23033 1111 63 0 26000 0
vsize: 104252
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 23718 0 0 0 62957 52 0 0 25 0 1 0 896202635 109166592 23638 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26652 23638 1111 63 0 26589 0
vsize: 106608
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 24335 0 0 0 63956 54 0 0 25 0 1 0 896202635 111718400 24255 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27275 24255 1111 63 0 27212 0
vsize: 109100
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 24957 0 0 0 64955 55 0 0 25 0 1 0 896202635 114278400 24877 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27900 24877 1111 63 0 27837 0
vsize: 111600
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 25606 0 0 0 65954 56 0 0 25 0 1 0 896202635 116985856 25526 4294967295 134512640 134716908 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28561 25526 1111 63 0 28498 0
vsize: 114244
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 26269 0 0 0 66953 58 0 0 25 0 1 0 896202635 119697408 26189 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29223 26189 1111 63 0 29160 0
vsize: 116892
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 26926 0 0 0 67952 59 0 0 25 0 1 0 896202635 122376192 26846 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29877 26846 1111 63 0 29814 0
vsize: 119508
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 27612 0 0 0 68951 60 0 0 25 0 1 0 896202635 125087744 27532 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30539 27532 1111 63 0 30476 0
vsize: 122156
[startup+699.715 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 30290
Raw data (stat): 30290 (bsolo_lpr-v2) R 30289 31399 31398 0 -1 0 27612 0 0 0 68951 60 0 0 25 0 1 0 896202635 125087744 27532 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30539 27532 1111 63 0 30476 0
vsize: 0

Child status: 0
Real time (s): 699.715
CPU time (s): 699.804
CPU user time (s): 699.132
CPU system time (s): 0.671897
CPU usage (%): 100.013
Max. virtual memory (Kb): 122156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####