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-aim-200-3_4-yes1-2.opb
MD5SUM	ec31f30f5dfe39eed850903a7b367b6c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	200
Optimality of the best value was proved	NO
Number of terms in the objective function	400
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	400
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	400
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.075987
Number of variables	400
Total number of constraints	880
Number of constraints which are clauses	880
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	3

Trace number 39478

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 10:36:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27542 boxname=wulflinc2 idbench=100 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ec31f30f5dfe39eed850903a7b367b6c  /oldhome/oroussel/tmp/wulflinc2/normalized-aim-200-3_4-yes1-2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-aim-200-3_4-yes1-2.opb
IDLAUNCH: 27542
/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:        268832 kB
Buffers:         34304 kB
Cached:         707704 kB
SwapCached:       1164 kB
Active:          50824 kB
Inactive:       693672 kB
HighTotal:      131008 kB
HighFree:        15372 kB
LowTotal:       903652 kB
LowFree:        253460 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15636 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:44:17 (client local time) WITH STATUS 30 IN 460.139 SECONDS
stats: 27542 0 460.139 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 400 variables and 880 constraints.
c After prepocess the problem consists of 400 variables and 880 constraints.
c preprocess terminated 0.186 s
c Initial Lower Bound: 134
c Lower Bound Elapsed time: 0.4185
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 200 @ 460.126
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 -x201 x202 -x203 x204 -x205 x206 -x207 x208 x209 -x210 x211 -x212 x213 -x214 -x215 x216 x217 -x218 x219 -x220 -x221 x222 x223 -x224 x225 -x226 x227 -x228 -x229 x230 -x231 x232 x233 -x234 -x235 x236 x237 -x238 -x239 x240 -x241 x242 x243 -x244 x245 -x246 -x247 x248 -x249 x250 x251 -x252 x253 -x254 -x255 x256 x257 -x258 -x259 x260 x261 -x262 -x263 x264 -x265 x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 -x275 x276 x277 -x278 -x279 x280 -x281 x282 -x283 x284 x285 -x286 x287 -x288 -x289 x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 -x299 x300 -x301 x302 x303 -x304 x305 -x306 x307 -x308 x309 -x310 x311 -x312 -x313 x314 x315 -x316 x317 -x318 -x319 x320 x321 -x322 x323 -x324 -x325 x326 -x327 x328 x329 -x330 -x331 x332 x333 -x334 -x335 x336 -x337 x338 -x339 x340 x341 -x342 -x343 x344 x345 -x346 x347 -x348 -x349 x350 x351 -x352 x353 -x354 x355 -x356 x357 -x358 -x359 x360 -x361 x362 x363 -x364 -x365 x366 x367 -x368 -x369 x370 -x371 x372 -x373 x374 x375 -x376 x377 -x378 -x379 x380 x381 -x382 x383 -x384 -x385 x386 -x387 x388 -x389 x390 x391 -x392 x393 -x394 x395 -x396 -x397 x398 x399 -x400 
c Exit Code: 30
c Total time: 460.129 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.88 0.90 0.90 2/54 23532
Raw data (stat): 23532 (runsolver) R 23531 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892326823 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.0005 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 2222 0 0 0 991 7 0 0 25 0 1 0 892326823 6782976 893 4294967295 134512640 134716908 3221224576 3221220540 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1656 893 1111 63 0 1593 0
vsize: 6624
[startup+20.0012 s]
Raw data (loadavg): 0.91 0.91 0.90 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 3302 0 0 0 1988 9 0 0 25 0 1 0 892326823 6799360 901 4294967295 134512640 134716908 3221224576 3221220688 1074791805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1660 901 1111 63 0 1597 0
vsize: 6640
[startup+30.0023 s]
Raw data (loadavg): 0.92 0.91 0.90 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 4471 0 0 0 2984 13 0 0 25 0 1 0 892326823 6647808 885 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1623 885 1111 63 0 1560 0
vsize: 6492
[startup+40.0026 s]
Raw data (loadavg): 0.93 0.91 0.90 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 6038 0 0 0 3980 18 0 0 25 0 1 0 892326823 6782976 894 4294967295 134512640 134716908 3221224576 3221221104 1075119996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1656 894 1111 63 0 1593 0
vsize: 6624
[startup+50.0123 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 7368 0 0 0 4977 21 0 0 25 0 1 0 892326823 6819840 859 4294967295 134512640 134716908 3221224576 3221221648 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1665 859 1111 63 0 1602 0
vsize: 6660
[startup+60.013 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 8940 0 0 0 5973 26 0 0 25 0 1 0 892326823 6643712 887 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 887 1111 63 0 1559 0
vsize: 6488
[startup+70.0137 s]
Raw data (loadavg): 0.96 0.92 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 11143 0 0 0 6967 32 0 0 25 0 1 0 892326823 6582272 880 4294967295 134512640 134716908 3221224576 3221221520 1074620392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1607 880 1111 63 0 1544 0
vsize: 6428
[startup+80.0144 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 12498 0 0 0 7964 35 0 0 25 0 1 0 892326823 6914048 947 4294967295 134512640 134716908 3221224576 3221220796 1076121318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1688 947 1111 63 0 1625 0
vsize: 6752
[startup+90.0151 s]
Raw data (loadavg): 0.97 0.92 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 13782 0 0 0 8960 39 0 0 25 0 1 0 892326823 6660096 886 4294967295 134512640 134716908 3221224576 3221221568 1075338873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1626 886 1111 63 0 1563 0
vsize: 6504
[startup+100.015 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 15261 0 0 0 9957 43 0 0 25 0 1 0 892326823 6803456 900 4294967295 134512640 134716908 3221224576 3221220912 1075114163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1661 900 1111 63 0 1598 0
vsize: 6644
[startup+110.015 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 17118 0 0 0 10951 49 0 0 25 0 1 0 892326823 6258688 846 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1528 846 1111 63 0 1465 0
vsize: 6112
[startup+120.017 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 18700 0 0 0 11947 54 0 0 25 0 1 0 892326823 6258688 846 4294967295 134512640 134716908 3221224576 3221223228 134675442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1528 846 1111 63 0 1465 0
vsize: 6112
[startup+130.016 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 20385 0 0 0 12942 58 0 0 25 0 1 0 892326823 6258688 846 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1528 846 1111 63 0 1465 0
vsize: 6112
[startup+140.017 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 22050 0 0 0 13938 63 0 0 25 0 1 0 892326823 6729728 902 4294967295 134512640 134716908 3221224576 3221220460 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1643 902 1111 63 0 1580 0
vsize: 6572
[startup+150.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 23891 0 0 0 14933 68 0 0 25 0 1 0 892326823 6778880 895 4294967295 134512640 134716908 3221224576 3221220512 1075965263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1655 895 1111 63 0 1592 0
vsize: 6620
[startup+160.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 25941 0 0 0 15927 74 0 0 25 0 1 0 892326823 6860800 862 4294967295 134512640 134716908 3221224576 3221220648 1074950223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1675 862 1111 63 0 1612 0
vsize: 6700
[startup+170.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 27887 0 0 0 16921 80 0 0 25 0 1 0 892326823 6848512 873 4294967295 134512640 134716908 3221224576 3221220848 1074961244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1672 873 1111 63 0 1609 0
vsize: 6688
[startup+180.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 29792 0 0 0 17916 85 0 0 25 0 1 0 892326823 6811648 901 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1663 901 1111 63 0 1600 0
vsize: 6652
[startup+190.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 31710 0 0 0 18911 90 0 0 25 0 1 0 892326823 7016448 949 4294967295 134512640 134716908 3221224576 3221220804 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1713 949 1111 63 0 1650 0
vsize: 6852
[startup+200.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 33510 0 0 0 19907 94 0 0 25 0 1 0 892326823 6311936 859 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1541 859 1111 63 0 1478 0
vsize: 6164
[startup+210.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 35087 0 0 0 20903 98 0 0 25 0 1 0 892326823 7069696 900 4294967295 134512640 134716908 3221224576 3221220620 1074873727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 900 1111 63 0 1663 0
vsize: 6904
[startup+220.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 36813 0 0 0 21900 102 0 0 25 0 1 0 892326823 7094272 971 4294967295 134512640 134716908 3221224576 3221220804 1075115037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1732 971 1111 63 0 1669 0
vsize: 6928
[startup+230.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 38543 0 0 0 22896 106 0 0 25 0 1 0 892326823 6725632 904 4294967295 134512640 134716908 3221224576 3221220544 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1642 904 1111 63 0 1579 0
vsize: 6568
[startup+240.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 40075 0 0 0 23892 110 0 0 25 0 1 0 892326823 7102464 903 4294967295 134512640 134716908 3221224576 3221221080 1076046663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1734 903 1111 63 0 1671 0
vsize: 6936
[startup+250.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 41459 0 0 0 24888 114 0 0 25 0 1 0 892326823 6914048 929 4294967295 134512640 134716908 3221224576 3221220848 1074960765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1688 929 1111 63 0 1625 0
vsize: 6752
[startup+260.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 42983 0 0 0 25884 118 0 0 25 0 1 0 892326823 6922240 930 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1690 930 1111 63 0 1627 0
vsize: 6760
[startup+270.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 44576 0 0 0 26880 123 0 0 25 0 1 0 892326823 6914048 927 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1688 927 1111 63 0 1625 0
vsize: 6752
[startup+280.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 46470 0 0 0 27875 128 0 0 25 0 1 0 892326823 6946816 934 4294967295 134512640 134716908 3221224576 3221220432 1074870807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 934 1111 63 0 1633 0
vsize: 6784
[startup+290.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 48267 0 0 0 28870 133 0 0 25 0 1 0 892326823 7024640 960 4294967295 134512640 134716908 3221224576 3221220508 1074788206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1715 960 1111 63 0 1652 0
vsize: 6860
[startup+300.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 49659 0 0 0 29866 137 0 0 25 0 1 0 892326823 6963200 973 4294967295 134512640 134716908 3221224576 3221221168 1074885571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1700 973 1111 63 0 1637 0
vsize: 6800
[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 51056 0 0 0 30861 142 0 0 25 0 1 0 892326823 6979584 947 4294967295 134512640 134716908 3221224576 3221221648 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1704 947 1111 63 0 1641 0
vsize: 6816
[startup+320.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 52482 0 0 0 31857 146 0 0 25 0 1 0 892326823 7077888 923 4294967295 134512640 134716908 3221224576 3221220816 1075115696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1728 923 1111 63 0 1665 0
vsize: 6912
[startup+330.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 54175 0 0 0 32853 150 0 0 25 0 1 0 892326823 7008256 956 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1711 956 1111 63 0 1648 0
vsize: 6844
[startup+340.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 55966 0 0 0 33849 155 0 0 25 0 1 0 892326823 7204864 930 4294967295 134512640 134716908 3221224576 3221220524 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1759 930 1111 63 0 1696 0
vsize: 7036
[startup+350.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 57781 0 0 0 34844 160 0 0 25 0 1 0 892326823 7004160 948 4294967295 134512640 134716908 3221224576 3221220848 1074960768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1710 948 1111 63 0 1647 0
vsize: 6840
[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 59472 0 0 0 35839 164 0 0 25 0 1 0 892326823 6447104 899 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1574 899 1111 63 0 1511 0
vsize: 6296
[startup+370.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 61577 0 0 0 36834 170 0 0 25 0 1 0 892326823 6877184 931 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1679 931 1111 63 0 1616 0
vsize: 6716
[startup+380.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 63380 0 0 0 37829 175 0 0 25 0 1 0 892326823 7012352 979 4294967295 134512640 134716908 3221224576 3221220668 1075663522 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1712 979 1111 63 0 1649 0
vsize: 6848
[startup+390.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 64847 0 0 0 38826 178 0 0 25 0 1 0 892326823 7036928 957 4294967295 134512640 134716908 3221224576 3221220544 1075965292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1718 957 1111 63 0 1655 0
vsize: 6872
[startup+400.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 66429 0 0 0 39822 182 0 0 25 0 1 0 892326823 7168000 949 4294967295 134512640 134716908 3221224576 3221220936 1075522565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1750 949 1111 63 0 1687 0
vsize: 7000
[startup+410.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 68004 0 0 0 40816 188 0 0 25 0 1 0 892326823 7245824 945 4294967295 134512640 134716908 3221224576 3221220784 1074815473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1769 945 1111 63 0 1706 0
vsize: 7076
[startup+420.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 69664 0 0 0 41812 192 0 0 25 0 1 0 892326823 6582272 906 4294967295 134512640 134716908 3221224576 3221222224 1075818225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1607 906 1111 63 0 1544 0
vsize: 6428
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 71346 0 0 0 42808 197 0 0 25 0 1 0 892326823 7122944 984 4294967295 134512640 134716908 3221224576 3221220676 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1739 984 1111 63 0 1676 0
vsize: 6956
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 73074 0 0 0 43803 201 0 0 25 0 1 0 892326823 7069696 965 4294967295 134512640 134716908 3221224576 3221221632 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1726 965 1111 63 0 1663 0
vsize: 6904
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 74703 0 0 0 44798 206 0 0 25 0 1 0 892326823 7049216 991 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1721 991 1111 63 0 1658 0
vsize: 6884
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 76533 0 0 0 45793 212 0 0 25 0 1 0 892326823 7065600 994 4294967295 134512640 134716908 3221224576 3221220736 1075093367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1725 994 1111 63 0 1662 0
vsize: 6900
[startup+460.104 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23532
Raw data (stat): 23532 (bsolo_lpr-v2) R 23531 31399 31398 0 -1 0 76533 0 0 0 45793 212 0 0 25 0 1 0 892326823 7065600 994 4294967295 134512640 134716908 3221224576 3221220736 1075093367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1725 994 1111 63 0 1662 0
vsize: 0

Child status: 30
Real time (s): 460.104
CPU time (s): 460.139
CPU user time (s): 458.009
CPU system time (s): 2.12968
CPU usage (%): 100.008
Max. virtual memory (Kb): 7076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	200
#### END VERIFIER DATA ####