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/submitted/manquinho/primes-dimacs-cnf/normalized-jnh220.opb
MD5SUM	98f8a95595a145a754e30c7b5811afa6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	94
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.160974
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	11
Trace number 39567

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 13:38:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27632 boxname=wulflinc2 idbench=190 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  98f8a95595a145a754e30c7b5811afa6  /oldhome/oroussel/tmp/wulflinc2/normalized-jnh220.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-jnh220.opb
IDLAUNCH: 27632
/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:        263564 kB
Buffers:         34544 kB
Cached:         712700 kB
SwapCached:       1164 kB
Active:          60460 kB
Inactive:       689296 kB
HighTotal:      131008 kB
HighFree:        10304 kB
LowTotal:       903652 kB
LowFree:        253260 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15660 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 13:51:12 (client local time) WITH STATUS 30 IN 747.227 SECONDS
stats: 27632 0 747.227 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 900 constraints.
c After prepocess the problem consists of 200 variables and 892 constraints.
c preprocess terminated 0.409 s
c Initial Lower Bound: 70
c Lower Bound Elapsed time: 0.25025
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.903
c NEW SOLUTION FOUND: 99 @ 2.903
c NEW SOLUTION FOUND: 98 @ 2.907
c NEW SOLUTION FOUND: 97 @ 2.911
c NEW SOLUTION FOUND: 96 @ 2.915
c NEW SOLUTION FOUND: 95 @ 255.255
c NEW SOLUTION FOUND: 94 @ 637.124
s OPTIMUM FOUND
v x1 -x2 x3 -x4 x5 -x6 x7 -x8 -x9 x10 x11 -x12 x13 -x14 -x15 x16 -x17 x18 x19 -x20 x21 -x22 x23 -x24 -x25 x26 -x27 -x28 x29 -x30 x31 -x32 -x33 x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 x48 x49 -x50 x51 -x52 -x53 x54 x55 -x56 x57 -x58 -x59 x60 x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 x70 x71 -x72 -x73 x74 x75 -x76 -x77 x78 -x79 x80 x81 -x82 -x83 x84 x85 -x86 -x87 x88 x89 -x90 -x91 x92 -x93 -x94 -x95 x96 -x97 x98 -x99 x100 x101 -x102 -x103 x104 x105 -x106 -x107 x108 x109 -x110 x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 x120 -x121 x122 -x123 x124 -x125 x126 -x127 x128 x129 -x130 x131 -x132 -x133 x134 -x135 x136 -x137 -x138 x139 -x140 -x141 x142 x143 -x144 -x145 x146 -x147 x148 -x149 x150 -x151 x152 x153 -x154 x155 -x156 -x157 x158 -x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 -x175 x176 -x177 x178 x179 -x180 -x181 x182 -x183 x184 x185 -x186 x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 x199 -x200 
c Exit Code: 30
c Total time: 747.215 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.79 0.92 0.90 1/54 25468
Raw data (stat): 25468 (runsolver) R 25467 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893419795 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.0013 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 3902 0 0 0 987 10 0 0 25 0 1 0 893419795 6963200 984 4294967295 134512640 134716908 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 985 1111 63 0 1637 0
vsize: 6800
[startup+20.0017 s]
Raw data (loadavg): 0.85 0.93 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 7645 0 0 0 1977 20 0 0 25 0 1 0 893419795 7442432 1033 4294967295 134512640 134716908 3221224592 3221220752 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1817 1044 1111 63 0 1754 0
vsize: 7268
[startup+30.0019 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 11448 0 0 0 2966 31 0 0 25 0 1 0 893419795 7344128 1042 4294967295 134512640 134716908 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1793 1042 1111 63 0 1730 0
vsize: 7172
[startup+40.002 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 15135 0 0 0 3957 40 0 0 25 0 1 0 893419795 7565312 1050 4294967295 134512640 134716908 3221224592 3221220752 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1847 1050 1111 63 0 1784 0
vsize: 7388
[startup+50.0017 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 18965 0 0 0 4947 51 0 0 25 0 1 0 893419795 7479296 1053 4294967295 134512640 134716908 3221224592 3221220864 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1826 1053 1111 63 0 1763 0
vsize: 7304
[startup+60.002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 22817 0 0 0 5936 62 0 0 25 0 1 0 893419795 7032832 1029 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1717 1029 1111 63 0 1654 0
vsize: 6868
[startup+70.0024 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 26564 0 0 0 6926 72 0 0 25 0 1 0 893419795 7532544 1094 4294967295 134512640 134716908 3221224592 3221220556 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1839 1094 1111 63 0 1776 0
vsize: 7356
[startup+80.0027 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 30323 0 0 0 7918 81 0 0 25 0 1 0 893419795 7135232 1055 4294967295 134512640 134716908 3221224592 3221222320 1075828765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1742 1055 1111 63 0 1679 0
vsize: 6968
[startup+90.0021 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 33925 0 0 0 8909 90 0 0 25 0 1 0 893419795 7200768 1069 4294967295 134512640 134716908 3221224592 3221219340 1075363871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 1069 1111 63 0 1695 0
vsize: 7032
[startup+100.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 37382 0 0 0 9900 99 0 0 25 0 1 0 893419795 7884800 1172 4294967295 134512640 134716908 3221224592 3221220752 1075091436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1925 1172 1111 63 0 1862 0
vsize: 7700
[startup+110.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 40800 0 0 0 10891 108 0 0 25 0 1 0 893419795 8019968 1142 4294967295 134512640 134716908 3221224592 3221220740 1075964433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1958 1142 1111 63 0 1895 0
vsize: 7832
[startup+120.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 44586 0 0 0 11881 118 0 0 25 0 1 0 893419795 7294976 1094 4294967295 134512640 134716908 3221224592 3221222872 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1781 1094 1111 63 0 1718 0
vsize: 7124
[startup+130.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 48147 0 0 0 12873 127 0 0 25 0 1 0 893419795 7790592 1146 4294967295 134512640 134716908 3221224592 3221220864 1074804626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1902 1146 1111 63 0 1839 0
vsize: 7608
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 51481 0 0 0 13864 136 0 0 25 0 1 0 893419795 7774208 1151 4294967295 134512640 134716908 3221224592 3221220908 1074960596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1898 1151 1111 63 0 1835 0
vsize: 7592
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 54889 0 0 0 14856 144 0 0 25 0 1 0 893419795 7397376 1120 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1806 1120 1111 63 0 1743 0
vsize: 7224
[startup+160.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 58531 0 0 0 15846 154 0 0 25 0 1 0 893419795 8007680 1206 4294967295 134512640 134716908 3221224592 3221220636 1074788236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1955 1206 1111 63 0 1892 0
vsize: 7820
[startup+170.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 62091 0 0 0 16837 164 0 0 25 0 1 0 893419795 7999488 1184 4294967295 134512640 134716908 3221224592 3221220752 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1953 1184 1111 63 0 1890 0
vsize: 7812
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 65833 0 0 0 17828 173 0 0 25 0 1 0 893419795 7782400 1141 4294967295 134512640 134716908 3221224592 3221220592 1075088640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 1141 1111 63 0 1837 0
vsize: 7600
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 69625 0 0 0 18819 182 0 0 25 0 1 0 893419795 7438336 1130 4294967295 134512640 134716908 3221224592 3221222976 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1816 1130 1111 63 0 1753 0
vsize: 7264
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 73574 0 0 0 19808 192 0 0 25 0 1 0 893419795 7852032 1168 4294967295 134512640 134716908 3221224592 3221220752 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1168 1111 63 0 1854 0
vsize: 7668
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 77508 0 0 0 20798 203 0 0 25 0 1 0 893419795 7921664 1185 4294967295 134512640 134716908 3221224592 3221220736 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1934 1185 1111 63 0 1871 0
vsize: 7736
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 81423 0 0 0 21789 212 0 0 25 0 1 0 893419795 8163328 1252 4294967295 134512640 134716908 3221224592 3221220736 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1993 1252 1111 63 0 1930 0
vsize: 7972
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 85088 0 0 0 22779 222 0 0 25 0 1 0 893419795 8343552 1234 4294967295 134512640 134716908 3221224592 3221220864 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2037 1234 1111 63 0 1974 0
vsize: 8148
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 88621 0 0 0 23771 231 0 0 25 0 1 0 893419795 8200192 1210 4294967295 134512640 134716908 3221224592 3221220476 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2002 1210 1111 63 0 1939 0
vsize: 8008
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 91940 0 0 0 24762 239 0 0 25 0 1 0 893419795 8151040 1235 4294967295 134512640 134716908 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1990 1235 1111 63 0 1927 0
vsize: 7960
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 95277 0 0 0 25756 246 0 0 25 0 1 0 893419795 8167424 1271 4294967295 134512640 134716908 3221224592 3221220864 1074961372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1994 1271 1111 63 0 1931 0
vsize: 7976
[startup+270.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 98834 0 0 0 26745 256 0 0 25 0 1 0 893419795 7622656 1185 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 1185 1111 63 0 1798 0
vsize: 7444
[startup+280.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 102687 0 0 0 27736 265 0 0 25 0 1 0 893419795 7622656 1185 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 1185 1111 63 0 1798 0
vsize: 7444
[startup+290.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 106437 0 0 0 28726 276 0 0 25 0 1 0 893419795 8224768 1252 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2008 1252 1111 63 0 1945 0
vsize: 8032
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 109865 0 0 0 29717 284 0 0 25 0 1 0 893419795 8253440 1274 4294967295 134512640 134716908 3221224592 3221221536 1074620063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2015 1274 1111 63 0 1952 0
vsize: 8060
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 113297 0 0 0 30709 293 0 0 25 0 1 0 893419795 8310784 1277 4294967295 134512640 134716908 3221224592 3221220800 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2029 1277 1111 63 0 1966 0
vsize: 8116
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 116974 0 0 0 31699 302 0 0 25 0 1 0 893419795 8122368 1249 4294967295 134512640 134716908 3221224592 3221220556 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1983 1249 1111 63 0 1920 0
vsize: 7932
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 120483 0 0 0 32691 311 0 0 25 0 1 0 893419795 8294400 1269 4294967295 134512640 134716908 3221224592 3221220692 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2025 1269 1111 63 0 1962 0
vsize: 8100
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 124023 0 0 0 33682 320 0 0 25 0 1 0 893419795 8146944 1265 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1989 1265 1111 63 0 1926 0
vsize: 7956
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 127816 0 0 0 34672 330 0 0 25 0 1 0 893419795 8642560 1315 4294967295 134512640 134716908 3221224592 3221221124 1075863600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2110 1315 1111 63 0 2047 0
vsize: 8440
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 131453 0 0 0 35664 339 0 0 25 0 1 0 893419795 8581120 1284 4294967295 134512640 134716908 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2095 1284 1111 63 0 2032 0
vsize: 8380
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 134423 0 0 0 36656 347 0 0 25 0 1 0 893419795 8167424 1274 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1994 1274 1111 63 0 1931 0
vsize: 7976
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 137705 0 0 0 37646 357 0 0 25 0 1 0 893419795 8429568 1249 4294967295 134512640 134716908 3221224592 3221221248 1075966759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2058 1249 1111 63 0 1995 0
vsize: 8232
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 140700 0 0 0 38639 364 0 0 25 0 1 0 893419795 7843840 1239 4294967295 134512640 134716908 3221224592 3221222552 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1915 1239 1111 63 0 1852 0
vsize: 7660
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 143993 0 0 0 39631 373 0 0 25 0 1 0 893419795 8237056 1264 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2011 1264 1111 63 0 1948 0
vsize: 8044
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 147419 0 0 0 40620 383 0 0 25 0 1 0 893419795 8437760 1332 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2060 1332 1111 63 0 1997 0
vsize: 8240
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 150917 0 0 0 41612 392 0 0 25 0 1 0 893419795 7864320 1244 4294967295 134512640 134716908 3221224592 3221222728 1074867169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1920 1244 1111 63 0 1857 0
vsize: 7680
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 154256 0 0 0 42604 400 0 0 25 0 1 0 893419795 7860224 1243 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1919 1243 1111 63 0 1856 0
vsize: 7676
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 158090 0 0 0 43594 410 0 0 25 0 1 0 893419795 8650752 1355 4294967295 134512640 134716908 3221224592 3221220768 1074882537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2112 1355 1111 63 0 2049 0
vsize: 8448
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 162050 0 0 0 44584 421 0 0 25 0 1 0 893419795 8601600 1316 4294967295 134512640 134716908 3221224592 3221221184 1074884548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2100 1316 1111 63 0 2037 0
vsize: 8400
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 165621 0 0 0 45575 429 0 0 25 0 1 0 893419795 8585216 1340 4294967295 134512640 134716908 3221224592 3221221248 1075967953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2096 1340 1111 63 0 2033 0
vsize: 8384
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 169504 0 0 0 46566 438 0 0 25 0 1 0 893419795 8040448 1287 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1963 1287 1111 63 0 1900 0
vsize: 7852
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 172873 0 0 0 47556 449 0 0 25 0 1 0 893419795 8798208 1331 4294967295 134512640 134716908 3221224592 3221220436 1074786479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2148 1331 1111 63 0 2085 0
vsize: 8592
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 176640 0 0 0 48546 459 0 0 25 0 1 0 893419795 8884224 1371 4294967295 134512640 134716908 3221224592 3221220540 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2169 1371 1111 63 0 2106 0
vsize: 8676
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 180079 0 0 0 49539 466 0 0 25 0 1 0 893419795 8122368 1307 4294967295 134512640 134716908 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1983 1307 1111 63 0 1920 0
vsize: 7932
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 183454 0 0 0 50530 476 0 0 25 0 1 0 893419795 8122368 1307 4294967295 134512640 134716908 3221224592 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1983 1307 1111 63 0 1920 0
vsize: 7932
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 186910 0 0 0 51520 486 0 0 25 0 1 0 893419795 8122368 1307 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1983 1307 1111 63 0 1920 0
vsize: 7932
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 190728 0 0 0 52510 496 0 0 25 0 1 0 893419795 8667136 1357 4294967295 134512640 134716908 3221224592 3221220752 1074794531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 1357 1111 63 0 2053 0
vsize: 8464
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 194321 0 0 0 53500 506 0 0 25 0 1 0 893419795 8916992 1370 4294967295 134512640 134716908 3221224592 3221220864 1074961177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2177 1370 1111 63 0 2114 0
vsize: 8708
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 197787 0 0 0 54491 515 0 0 25 0 1 0 893419795 8810496 1396 4294967295 134512640 134716908 3221224592 3221220604 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2151 1396 1111 63 0 2088 0
vsize: 8604
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 201572 0 0 0 55483 523 0 0 25 0 1 0 893419795 9031680 1388 4294967295 134512640 134716908 3221224592 3221220808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2205 1388 1111 63 0 2142 0
vsize: 8820
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 205109 0 0 0 56473 534 0 0 25 0 1 0 893419795 8806400 1390 4294967295 134512640 134716908 3221224592 3221221712 1074834297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2150 1390 1111 63 0 2087 0
vsize: 8600
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 208595 0 0 0 57464 543 0 0 25 0 1 0 893419795 9056256 1399 4294967295 134512640 134716908 3221224592 3221220976 1075966026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2211 1399 1111 63 0 2148 0
vsize: 8844
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 212199 0 0 0 58455 552 0 0 25 0 1 0 893419795 8302592 1351 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2027 1351 1111 63 0 1964 0
vsize: 8108
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 215912 0 0 0 59444 564 0 0 25 0 1 0 893419795 8933376 1430 4294967295 134512640 134716908 3221224592 3221221120 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 1430 1111 63 0 2118 0
vsize: 8724
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 219447 0 0 0 60432 575 0 0 25 0 1 0 893419795 8929280 1458 4294967295 134512640 134716908 3221224592 3221221248 1075967945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2180 1458 1111 63 0 2117 0
vsize: 8720
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 222482 0 0 0 61425 583 0 0 25 0 1 0 893419795 8704000 1400 4294967295 134512640 134716908 3221224592 3221220528 1075965263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2125 1400 1111 63 0 2062 0
vsize: 8500
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 225661 0 0 0 62416 592 0 0 25 0 1 0 893419795 8728576 1404 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2131 1404 1111 63 0 2068 0
vsize: 8524
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 229167 0 0 0 63407 601 0 0 25 0 1 0 893419795 8937472 1425 4294967295 134512640 134716908 3221224592 3221220864 1074960837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2182 1425 1111 63 0 2119 0
vsize: 8728
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 233001 0 0 0 64397 610 0 0 25 0 1 0 893419795 8761344 1398 4294967295 134512640 134716908 3221224592 3221220928 1075114259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2139 1398 1111 63 0 2076 0
vsize: 8556
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 236505 0 0 0 65389 618 0 0 25 0 1 0 893419795 8814592 1416 4294967295 134512640 134716908 3221224592 3221220476 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1416 1111 63 0 2089 0
vsize: 8608
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 239770 0 0 0 66381 627 0 0 25 0 1 0 893419795 9224192 1441 4294967295 134512640 134716908 3221224592 3221220864 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2252 1441 1111 63 0 2189 0
vsize: 9008
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 243323 0 0 0 67373 634 0 0 25 0 1 0 893419795 9281536 1459 4294967295 134512640 134716908 3221224592 3221220624 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2266 1459 1111 63 0 2203 0
vsize: 9064
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 246746 0 0 0 68366 642 0 0 25 0 1 0 893419795 8990720 1459 4294967295 134512640 134716908 3221224592 3221220528 1075965265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2195 1459 1111 63 0 2132 0
vsize: 8780
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 249863 0 0 0 69358 650 0 0 25 0 1 0 893419795 8994816 1451 4294967295 134512640 134716908 3221224592 3221220752 1075095115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2196 1451 1111 63 0 2133 0
vsize: 8784
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 252915 0 0 0 70351 658 0 0 25 0 1 0 893419795 8667136 1440 4294967295 134512640 134716908 3221224592 3221221696 1074138642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 1440 1111 63 0 2053 0
vsize: 8464
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 255891 0 0 0 71342 666 0 0 25 0 1 0 893419795 9453568 1508 4294967295 134512640 134716908 3221224592 3221221184 1074886934 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2308 1508 1111 63 0 2245 0
vsize: 9232
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 259503 0 0 0 72332 677 0 0 25 0 1 0 893419795 8667136 1440 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2116 1440 1111 63 0 2053 0
vsize: 8464
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 263075 0 0 0 73324 685 0 0 25 0 1 0 893419795 8773632 1450 4294967295 134512640 134716908 3221224592 3221222928 1075552832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2142 1450 1111 63 0 2079 0
vsize: 8568
[startup+747.142 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25468
Raw data (stat): 25468 (bsolo_lpr-v2) R 25467 31399 31398 0 -1 0 263075 0 0 0 73324 685 0 0 25 0 1 0 893419795 8773632 1450 4294967295 134512640 134716908 3221224592 3221222928 1075552832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2142 1450 1111 63 0 2079 0
vsize: 0

Child status: 30
Real time (s): 747.142
CPU time (s): 747.227
CPU user time (s): 740.301
CPU system time (s): 6.92595
CPU usage (%): 100.011
Max. virtual memory (Kb): 9232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	94
#### END VERIFIER DATA ####