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-jnh204.opb
MD5SUM	a868f0757b1a6fa4984216c84ba8594b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	93
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.142977
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 39563

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 13:28:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27623 boxname=wulflinc3 idbench=181 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  a868f0757b1a6fa4984216c84ba8594b  /oldhome/oroussel/tmp/wulflinc3/normalized-jnh204.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-jnh204.opb
IDLAUNCH: 27623
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        275584 kB
Buffers:         34404 kB
Cached:         701252 kB
SwapCached:        240 kB
Active:          64300 kB
Inactive:       673856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        275332 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15144 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 13:41:24 (client local time) WITH STATUS 30 IN 752.525 SECONDS
stats: 27623 0 752.525 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 882 constraints.
c preprocess terminated 0.381 s
c Initial Lower Bound: 70
c Lower Bound Elapsed time: 0.24475
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 3.611
c NEW SOLUTION FOUND: 99 @ 3.612
c NEW SOLUTION FOUND: 98 @ 3.616
c NEW SOLUTION FOUND: 97 @ 3.623
c NEW SOLUTION FOUND: 96 @ 3.627
c NEW SOLUTION FOUND: 93 @ 369.139
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: 752.512 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.77 0.93 0.90 1/54 11651
Raw data (stat): 11651 (runsolver) R 11650 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893348307 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.0002 s]
Raw data (loadavg): 0.80 0.93 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 3911 0 0 0 988 9 0 0 25 0 1 0 893348307 7417856 1058 4294967295 134512640 134716908 3221224592 3221220704 1074790055 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1811 1058 1111 63 0 1748 0
vsize: 7244
[startup+20.0007 s]
Raw data (loadavg): 0.83 0.93 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 7668 0 0 0 1979 18 0 0 25 0 1 0 893348307 7647232 1095 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1867 1095 1111 63 0 1804 0
vsize: 7468
[startup+30.0005 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 11129 0 0 0 2970 28 0 0 25 0 1 0 893348307 7553024 1095 4294967295 134512640 134716908 3221224592 3221220556 1074788236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 1095 1111 63 0 1781 0
vsize: 7376
[startup+40.0017 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 14400 0 0 0 3962 35 0 0 25 0 1 0 893348307 7725056 1134 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1886 1134 1111 63 0 1823 0
vsize: 7544
[startup+50.0022 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 18085 0 0 0 4953 45 0 0 25 0 1 0 893348307 7720960 1121 4294967295 134512640 134716908 3221224592 3221221712 1074835540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1109 1111 63 0 1737 0
vsize: 7540
[startup+60.002 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 21477 0 0 0 5946 52 0 0 25 0 1 0 893348307 8093696 1179 4294967295 134512640 134716908 3221224592 3221220820 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1976 1179 1111 63 0 1913 0
vsize: 7904
[startup+70.0032 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 25188 0 0 0 6936 62 0 0 25 0 1 0 893348307 8224768 1195 4294967295 134512640 134716908 3221224592 3221220540 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2008 1195 1111 63 0 1945 0
vsize: 8032
[startup+80.0037 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 29110 0 0 0 7926 72 0 0 25 0 1 0 893348307 7921664 1194 4294967295 134512640 134716908 3221224592 3221221632 1075971283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1934 1194 1111 63 0 1871 0
vsize: 7736
[startup+90.0045 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 32982 0 0 0 8918 81 0 0 25 0 1 0 893348307 7606272 1145 4294967295 134512640 134716908 3221224592 3221222240 1075818290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1857 1145 1111 63 0 1794 0
vsize: 7428
[startup+100.005 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 36766 0 0 0 9907 92 0 0 25 0 1 0 893348307 7888896 1184 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1926 1184 1111 63 0 1863 0
vsize: 7704
[startup+110.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 40545 0 0 0 10898 101 0 0 25 0 1 0 893348307 8298496 1193 4294967295 134512640 134716908 3221224592 3221220864 1074961253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 1194 1111 63 0 1963 0
vsize: 8104
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 44369 0 0 0 11888 111 0 0 25 0 1 0 893348307 7499776 1153 4294967295 134512640 134716908 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1831 1153 1111 63 0 1768 0
vsize: 7324
[startup+130.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 48268 0 0 0 12879 120 0 0 25 0 1 0 893348307 7929856 1193 4294967295 134512640 134716908 3221224592 3221221168 1076047496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 1193 1111 63 0 1873 0
vsize: 7744
[startup+140.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 52029 0 0 0 13870 129 0 0 25 0 1 0 893348307 8306688 1214 4294967295 134512640 134716908 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2028 1214 1111 63 0 1965 0
vsize: 8112
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 55545 0 0 0 14863 137 0 0 25 0 1 0 893348307 7602176 1178 4294967295 134512640 134716908 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1856 1178 1111 63 0 1793 0
vsize: 7424
[startup+160.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 58873 0 0 0 15856 144 0 0 25 0 1 0 893348307 8024064 1219 4294967295 134512640 134716908 3221224592 3221220752 1075093377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1959 1219 1111 63 0 1896 0
vsize: 7836
[startup+170.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 62598 0 0 0 16847 154 0 0 25 0 1 0 893348307 8118272 1243 4294967295 134512640 134716908 3221224592 3221221664 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1982 1243 1111 63 0 1919 0
vsize: 7928
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 66383 0 0 0 17837 163 0 0 25 0 1 0 893348307 8499200 1253 4294967295 134512640 134716908 3221224592 3221220800 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2075 1253 1111 63 0 2012 0
vsize: 8300
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 70228 0 0 0 18827 174 0 0 25 0 1 0 893348307 8282112 1261 4294967295 134512640 134716908 3221224592 3221220476 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2022 1261 1111 63 0 1959 0
vsize: 8088
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 73584 0 0 0 19819 182 0 0 25 0 1 0 893348307 8454144 1269 4294967295 134512640 134716908 3221224592 3221220752 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2064 1279 1111 63 0 2001 0
vsize: 8256
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 77089 0 0 0 20811 191 0 0 25 0 1 0 893348307 8372224 1288 4294967295 134512640 134716908 3221224592 3221220476 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2044 1288 1111 63 0 1981 0
vsize: 8176
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 80786 0 0 0 21801 200 0 0 25 0 1 0 893348307 8634368 1273 4294967295 134512640 134716908 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2108 1274 1111 63 0 2045 0
vsize: 8432
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 84828 0 0 0 22792 210 0 0 25 0 1 0 893348307 8220672 1270 4294967295 134512640 134716908 3221224592 3221221192 1075850733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2007 1270 1111 63 0 1944 0
vsize: 8028
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 88380 0 0 0 23782 220 0 0 25 0 1 0 893348307 7852032 1239 4294967295 134512640 134716908 3221224592 3221222852 1077374446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1917 1239 1111 63 0 1854 0
vsize: 7668
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 92160 0 0 0 24772 230 0 0 25 0 1 0 893348307 8290304 1274 4294967295 134512640 134716908 3221224592 3221221424 1075115368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2024 1274 1111 63 0 1961 0
vsize: 8096
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 95877 0 0 0 25763 239 0 0 25 0 1 0 893348307 8593408 1308 4294967295 134512640 134716908 3221224592 3221221120 1075890968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2098 1308 1111 63 0 2035 0
vsize: 8392
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 99736 0 0 0 26753 250 0 0 25 0 1 0 893348307 8257536 1282 4294967295 134512640 134716908 3221224592 3221221120 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2016 1282 1111 63 0 1953 0
vsize: 8064
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 103300 0 0 0 27743 259 0 0 25 0 1 0 893348307 8560640 1332 4294967295 134512640 134716908 3221224592 3221220864 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2090 1332 1111 63 0 2027 0
vsize: 8360
[startup+290.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 106776 0 0 0 28736 267 0 0 25 0 1 0 893348307 8568832 1355 4294967295 134512640 134716908 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2092 1355 1111 63 0 2029 0
vsize: 8368
[startup+300.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 109984 0 0 0 29728 275 0 0 25 0 1 0 893348307 7999488 1275 4294967295 134512640 134716908 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1953 1275 1111 63 0 1890 0
vsize: 7812
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 113201 0 0 0 30721 282 0 0 25 0 1 0 893348307 8810496 1339 4294967295 134512640 134716908 3221224592 3221220624 1074790243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2151 1339 1111 63 0 2088 0
vsize: 8604
[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 116805 0 0 0 31711 292 0 0 25 0 1 0 893348307 8036352 1284 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1962 1284 1111 63 0 1899 0
vsize: 7848
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 120335 0 0 0 32703 300 0 0 25 0 1 0 893348307 8052736 1288 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 1288 1111 63 0 1903 0
vsize: 7864
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 123612 0 0 0 33695 309 0 0 25 0 1 0 893348307 8130560 1307 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1985 1307 1111 63 0 1922 0
vsize: 7940
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 127474 0 0 0 34685 319 0 0 25 0 1 0 893348307 8155136 1313 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1991 1313 1111 63 0 1928 0
vsize: 7964
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 131240 0 0 0 35677 327 0 0 25 0 1 0 893348307 8851456 1414 4294967295 134512640 134716908 3221224592 3221220648 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2161 1414 1111 63 0 2098 0
vsize: 8644
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 135189 0 0 0 36666 338 0 0 25 0 1 0 893348307 8200192 1326 4294967295 134512640 134716908 3221224592 3221222912 1074057869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2002 1326 1111 63 0 1939 0
vsize: 8008
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 139197 0 0 0 37656 347 0 0 25 0 1 0 893348307 8675328 1379 4294967295 134512640 134716908 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2118 1379 1111 63 0 2055 0
vsize: 8472
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 142867 0 0 0 38646 358 0 0 25 0 1 0 893348307 8773632 1403 4294967295 134512640 134716908 3221224592 3221220864 1075895158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2142 1403 1111 63 0 2079 0
vsize: 8568
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 146538 0 0 0 39639 365 0 0 25 0 1 0 893348307 8990720 1401 4294967295 134512640 134716908 3221224592 3221220676 1075964393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2195 1401 1111 63 0 2132 0
vsize: 8780
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 149973 0 0 0 40630 374 0 0 25 0 1 0 893348307 8474624 1360 4294967295 134512640 134716908 3221224592 3221222320 1075828503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2069 1360 1111 63 0 2006 0
vsize: 8276
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 153587 0 0 0 41621 383 0 0 25 0 1 0 893348307 8990720 1436 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2195 1436 1111 63 0 2132 0
vsize: 8780
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 157590 0 0 0 42612 392 0 0 25 0 1 0 893348307 8785920 1404 4294967295 134512640 134716908 3221224592 3221220560 1074872658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2145 1404 1111 63 0 2082 0
vsize: 8580
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 161451 0 0 0 43603 401 0 0 25 0 1 0 893348307 8392704 1373 4294967295 134512640 134716908 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2049 1373 1111 63 0 1986 0
vsize: 8196
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 165093 0 0 0 44595 410 0 0 25 0 1 0 893348307 8814592 1410 4294967295 134512640 134716908 3221224592 3221220556 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2152 1410 1111 63 0 2089 0
vsize: 8608
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 168801 0 0 0 45587 418 0 0 25 0 1 0 893348307 9113600 1424 4294967295 134512640 134716908 3221224592 3221220820 1075114991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2225 1424 1111 63 0 2162 0
vsize: 8900
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 172412 0 0 0 46578 427 0 0 25 0 1 0 893348307 8933376 1441 4294967295 134512640 134716908 3221224592 3221220552 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 1441 1111 63 0 2118 0
vsize: 8724
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 175934 0 0 0 47569 436 0 0 25 0 1 0 893348307 8466432 1391 4294967295 134512640 134716908 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2067 1391 1111 63 0 2004 0
vsize: 8268
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 179411 0 0 0 48561 444 0 0 25 0 1 0 893348307 9027584 1439 4294967295 134512640 134716908 3221224592 3221221512 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2204 1439 1111 63 0 2141 0
vsize: 8816
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 182925 0 0 0 49553 452 0 0 25 0 1 0 893348307 9338880 1473 4294967295 134512640 134716908 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2280 1473 1111 63 0 2217 0
vsize: 9120
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 186570 0 0 0 50546 460 0 0 25 0 1 0 893348307 9383936 1535 4294967295 134512640 134716908 3221224592 3221220752 1074794508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2291 1535 1111 63 0 2228 0
vsize: 9164
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 189837 0 0 0 51538 468 0 0 25 0 1 0 893348307 8933376 1461 4294967295 134512640 134716908 3221224592 3221221088 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2181 1461 1111 63 0 2118 0
vsize: 8724
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 193215 0 0 0 52530 476 0 0 25 0 1 0 893348307 9285632 1517 4294967295 134512640 134716908 3221224592 3221220864 1074960872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2267 1517 1111 63 0 2204 0
vsize: 9068
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 196638 0 0 0 53521 485 0 0 25 0 1 0 893348307 9101312 1459 4294967295 134512640 134716908 3221224592 3221222016 1076062757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2222 1459 1111 63 0 2159 0
vsize: 8888
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 200211 0 0 0 54512 494 0 0 25 0 1 0 893348307 9285632 1503 4294967295 134512640 134716908 3221224592 3221220556 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2267 1503 1111 63 0 2204 0
vsize: 9068
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 203528 0 0 0 55503 503 0 0 25 0 1 0 893348307 9469952 1520 4294967295 134512640 134716908 3221224592 3221220408 1074788452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2312 1520 1111 63 0 2249 0
vsize: 9248
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 207093 0 0 0 56495 512 0 0 25 0 1 0 893348307 9383936 1534 4294967295 134512640 134716908 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2291 1534 1111 63 0 2228 0
vsize: 9164
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 210347 0 0 0 57487 520 0 0 25 0 1 0 893348307 9613312 1543 4294967295 134512640 134716908 3221224592 3221220500 1074786596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2347 1543 1111 63 0 2284 0
vsize: 9388
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 213703 0 0 0 58480 527 0 0 25 0 1 0 893348307 9195520 1520 4294967295 134512640 134716908 3221224592 3221220560 1075965284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2245 1520 1111 63 0 2182 0
vsize: 8980
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 216989 0 0 0 59471 536 0 0 25 0 1 0 893348307 9674752 1553 4294967295 134512640 134716908 3221224592 3221221032 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2362 1553 1111 63 0 2299 0
vsize: 9448
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 220484 0 0 0 60463 544 0 0 25 0 1 0 893348307 9232384 1521 4294967295 134512640 134716908 3221224592 3221220560 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2254 1521 1111 63 0 2191 0
vsize: 9016
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 223718 0 0 0 61457 551 0 0 25 0 1 0 893348307 9732096 1578 4294967295 134512640 134716908 3221224592 3221220580 1074786501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2376 1578 1111 63 0 2313 0
vsize: 9504
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 227060 0 0 0 62448 560 0 0 25 0 1 0 893348307 9359360 1547 4294967295 134512640 134716908 3221224592 3221220604 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2285 1547 1111 63 0 2222 0
vsize: 9140
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 231035 0 0 0 63439 569 0 0 25 0 1 0 893348307 9359360 1550 4294967295 134512640 134716908 3221224592 3221220528 1075965232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2285 1550 1111 63 0 2222 0
vsize: 9140
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 234321 0 0 0 64430 579 0 0 25 0 1 0 893348307 8916992 1501 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2177 1501 1111 63 0 2114 0
vsize: 8708
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 237944 0 0 0 65419 589 0 0 25 0 1 0 893348307 9445376 1542 4294967295 134512640 134716908 3221224592 3221220704 1075895809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2306 1542 1111 63 0 2243 0
vsize: 9224
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 241771 0 0 0 66409 599 0 0 25 0 1 0 893348307 9289728 1538 4294967295 134512640 134716908 3221224592 3221220692 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2268 1538 1111 63 0 2205 0
vsize: 9072
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 245189 0 0 0 67399 610 0 0 25 0 1 0 893348307 9351168 1548 4294967295 134512640 134716908 3221224592 3221220744 1074883062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2283 1548 1111 63 0 2220 0
vsize: 9132
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 248875 0 0 0 68389 620 0 0 25 0 1 0 893348307 9388032 1532 4294967295 134512640 134716908 3221224592 3221220664 1074950192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2292 1539 1111 63 0 2229 0
vsize: 9168
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 252394 0 0 0 69380 629 0 0 25 0 1 0 893348307 9039872 1531 4294967295 134512640 134716908 3221224592 3221222952 1077410285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2207 1531 1111 63 0 2144 0
vsize: 8828
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 255870 0 0 0 70371 639 0 0 25 0 1 0 893348307 9449472 1570 4294967295 134512640 134716908 3221224592 3221220692 1075964290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2307 1570 1111 63 0 2244 0
vsize: 9228
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 259381 0 0 0 71362 647 0 0 25 0 1 0 893348307 9502720 1586 4294967295 134512640 134716908 3221224592 3221220820 1075115026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2320 1586 1111 63 0 2257 0
vsize: 9280
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 262889 0 0 0 72353 656 0 0 25 0 1 0 893348307 9834496 1644 4294967295 134512640 134716908 3221224592 3221221520 1075960460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2401 1644 1111 63 0 2338 0
vsize: 9604
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 266340 0 0 0 73344 665 0 0 25 0 1 0 893348307 9707520 1631 4294967295 134512640 134716908 3221224592 3221220864 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2370 1631 1111 63 0 2307 0
vsize: 9480
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 269832 0 0 0 74336 674 0 0 25 0 1 0 893348307 9228288 1577 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2253 1577 1111 63 0 2190 0
vsize: 9012
[startup+752.44 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11651
Raw data (stat): 11651 (bsolo_lpr-v2) R 11650 20224 20223 0 -1 0 269832 0 0 0 74336 674 0 0 25 0 1 0 893348307 9228288 1577 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2253 1577 1111 63 0 2190 0
vsize: 0

Child status: 30
Real time (s): 752.44
CPU time (s): 752.525
CPU user time (s): 745.754
CPU system time (s): 6.77097
CPU usage (%): 100.011
Max. virtual memory (Kb): 9604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	93
#### END VERIFIER DATA ####