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/logic-synthesis/normalized-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
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	465
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	1.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149

Trace number 23433

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 14:07:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=524 boxname=wulflinc31 idbench=59 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc31/normalized-5xp1.b.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-5xp1.b.opb
IDLAUNCH: 524
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        920116 kB
Buffers:         40048 kB
Cached:          52304 kB
SwapCached:        944 kB
Active:          77664 kB
Inactive:        17212 kB
HighTotal:      131008 kB
HighFree:        77672 kB
LowTotal:       903652 kB
LowFree:        842444 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14216 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 14:14:02 (client local time) WITH STATUS 30 IN 421.778 SECONDS
stats: 524 0 421.778 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 465 variables and 845 constraints.
c After prepocess the problem consists of 464 variables and 754 constraints.
c preprocess terminated 2.779 s
c Initial Lower Bound: 11
c Lower Bound Elapsed time: 0.665
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 14 @ 11.28
c NEW SOLUTION FOUND: 13 @ 11.336
c NEW SOLUTION FOUND: 12 @ 87.202
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 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 
c Exit Code: 30
c Total time: 421.75 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
Raw data (loadavg): 0.91 0.97 0.98 2/54 2888
Raw data (stat): 2888 (runsolver) R 2887 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 649350463 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.92 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 8083 0 0 0 974 21 0 0 25 0 1 0 649350463 8949760 1494 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2185 1494 1111 63 0 2122 0
vsize: 8740
[startup+20.0008 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 16622 0 0 0 1953 42 0 0 25 0 1 0 649350463 9588736 1655 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2341 1655 1111 63 0 2278 0
vsize: 9364
[startup+30.0014 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 25738 0 0 0 2928 67 0 0 25 0 1 0 649350463 10207232 1793 4294967295 134512640 134714508 3221221792 3221219792 1074918500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1793 1111 63 0 2429 0
vsize: 9968
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 34460 0 0 0 3907 88 0 0 25 0 1 0 649350463 11034624 1997 4294967295 134512640 134714508 3221221792 3221219752 1074138303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2694 1997 1111 63 0 2631 0
vsize: 10776
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 43125 0 0 0 4884 112 0 0 25 0 1 0 649350463 11657216 2134 4294967295 134512640 134714508 3221221792 3221219520 1075828441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2846 2134 1111 63 0 2783 0
vsize: 11384
[startup+60.0032 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 52798 0 0 0 5861 135 0 0 25 0 1 0 649350463 11964416 2236 4294967295 134512640 134714508 3221221792 3221220080 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2921 2236 1111 63 0 2858 0
vsize: 11684
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 62110 0 0 0 6837 158 0 0 25 0 1 0 649350463 13377536 2550 4294967295 134512640 134714508 3221221792 3221218896 1074138611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3266 2550 1111 63 0 3203 0
vsize: 13064
[startup+80.0043 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 71873 0 0 0 7812 184 0 0 25 0 1 0 649350463 13901824 2709 4294967295 134512640 134714508 3221221792 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2709 1111 63 0 3331 0
vsize: 13576
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 79604 0 0 0 8791 205 0 0 25 0 1 0 649350463 15511552 3102 4294967295 134512640 134714508 3221221792 3221219456 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3787 3102 1111 63 0 3724 0
vsize: 15148
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 88756 0 0 0 9769 227 0 0 25 0 1 0 649350463 15769600 3158 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3850 3158 1111 63 0 3787 0
vsize: 15400
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 99120 0 0 0 10744 252 0 0 25 0 1 0 649350463 15687680 3092 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3830 3092 1111 63 0 3767 0
vsize: 15320
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 109031 0 0 0 11722 274 0 0 25 0 1 0 649350463 15474688 3070 4294967295 134512640 134714508 3221221792 3221220096 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3778 3070 1111 63 0 3715 0
vsize: 15112
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 118775 0 0 0 12699 297 0 0 25 0 1 0 649350463 15847424 3172 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3869 3172 1111 63 0 3806 0
vsize: 15476
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 125274 0 0 0 13684 313 0 0 25 0 1 0 649350463 16474112 3335 4294967295 134512640 134714508 3221221792 3221219840 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4163 3342 1111 63 0 4100 0
vsize: 16088
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 138041 0 0 0 14654 343 0 0 25 0 1 0 649350463 15740928 3118 4294967295 134512640 134714508 3221221792 3221219792 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3843 3118 1111 63 0 3780 0
vsize: 15372
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 148598 0 0 0 15629 368 0 0 25 0 1 0 649350463 15876096 3192 4294967295 134512640 134714508 3221221792 3221219648 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3192 1111 63 0 3813 0
vsize: 15504
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 156964 0 0 0 16609 388 0 0 25 0 1 0 649350463 15724544 3155 4294967295 134512640 134714508 3221221792 3221219380 1077378674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3839 3155 1111 63 0 3776 0
vsize: 15356
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 164756 0 0 0 17591 406 0 0 25 0 1 0 649350463 15945728 3209 4294967295 134512640 134714508 3221221792 3221219632 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3893 3209 1111 63 0 3830 0
vsize: 15572
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 174510 0 0 0 18570 428 0 0 25 0 1 0 649350463 15724544 3155 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3839 3155 1111 63 0 3776 0
vsize: 15356
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 180866 0 0 0 19553 445 0 0 25 0 1 0 649350463 18563072 3848 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3848 1111 63 0 4469 0
vsize: 18128
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 192349 0 0 0 20526 472 0 0 25 0 1 0 649350463 15945728 3209 4294967295 134512640 134714508 3221221792 3221219200 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3893 3209 1111 63 0 3830 0
vsize: 15572
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 200209 0 0 0 21506 492 0 0 25 0 1 0 649350463 16465920 3313 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4020 3313 1111 63 0 3957 0
vsize: 16080
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 206981 0 0 0 22491 507 0 0 25 0 1 0 649350463 17592320 3611 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4295 3611 1111 63 0 4232 0
vsize: 17180
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 215042 0 0 0 23471 528 0 0 25 0 1 0 649350463 17604608 3614 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4298 3614 1111 63 0 4235 0
vsize: 17192
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 223000 0 0 0 24451 548 0 0 25 0 1 0 649350463 16654336 3382 4294967295 134512640 134714508 3221221792 3221220544 134558501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4066 3382 1111 63 0 4003 0
vsize: 16264
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 230987 0 0 0 25431 568 0 0 25 0 1 0 649350463 15970304 3215 4294967295 134512640 134714508 3221221792 3221220000 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3899 3215 1111 63 0 3836 0
vsize: 15596
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 241074 0 0 0 26407 592 0 0 25 0 1 0 649350463 16138240 3256 4294967295 134512640 134714508 3221221792 3221219264 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3256 1111 63 0 3877 0
vsize: 15760
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 251424 0 0 0 27383 617 0 0 25 0 1 0 649350463 17715200 3478 4294967295 134512640 134714508 3221221792 3221218032 1075115724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3478 1111 63 0 4262 0
vsize: 17300
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 262213 0 0 0 28357 642 0 0 25 0 1 0 649350463 16121856 3227 4294967295 134512640 134714508 3221221792 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3936 3227 1111 63 0 3873 0
vsize: 15744
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 271775 0 0 0 29335 665 0 0 25 0 1 0 649350463 15900672 3198 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3882 3198 1111 63 0 3819 0
vsize: 15528
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 281511 0 0 0 30313 687 0 0 25 0 1 0 649350463 16347136 3307 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3991 3307 1111 63 0 3928 0
vsize: 15964
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 287022 0 0 0 31300 700 0 0 25 0 1 0 649350463 18145280 3746 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4430 3746 1111 63 0 4367 0
vsize: 17720
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 295553 0 0 0 32280 720 0 0 25 0 1 0 649350463 16420864 3325 4294967295 134512640 134714508 3221221792 3221219456 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 3325 1111 63 0 3946 0
vsize: 16036
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 302925 0 0 0 33263 738 0 0 25 0 1 0 649350463 16297984 3295 4294967295 134512640 134714508 3221221792 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3979 3295 1111 63 0 3916 0
vsize: 15916
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 307778 0 0 0 34251 749 0 0 25 0 1 0 649350463 17022976 3418 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4156 3418 1111 63 0 4093 0
vsize: 16624
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 312792 0 0 0 35240 761 0 0 25 0 1 0 649350463 16609280 3371 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4055 3371 1111 63 0 3992 0
vsize: 16220
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 322459 0 0 0 36216 785 0 0 25 0 1 0 649350463 15949824 3210 4294967295 134512640 134714508 3221221792 3221215712 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3894 3210 1111 63 0 3831 0
vsize: 15576
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 326707 0 0 0 37205 797 0 0 25 0 1 0 649350463 16531456 3352 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4036 3352 1111 63 0 3973 0
vsize: 16144
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 331709 0 0 0 38192 810 0 0 25 0 1 0 649350463 18366464 3800 4294967295 134512640 134714508 3221221792 3221219792 1074915852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4484 3800 1111 63 0 4421 0
vsize: 17936
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 338176 0 0 0 39176 826 0 0 25 0 1 0 649350463 16470016 3337 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4021 3337 1111 63 0 3958 0
vsize: 16084
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 345166 0 0 0 40160 842 0 0 25 0 1 0 649350463 16359424 3310 4294967295 134512640 134714508 3221221792 3221219456 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3310 1111 63 0 3931 0
vsize: 15976
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 352886 0 0 0 41141 861 0 0 25 0 1 0 649350463 16322560 3301 4294967295 134512640 134714508 3221221792 3221219264 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3985 3301 1111 63 0 3922 0
vsize: 15940
[startup+421.766 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 2888
Raw data (stat): 2888 (bsolo_lpr_cuts) R 2887 7876 7672 0 -1 0 352886 0 0 0 41141 861 0 0 25 0 1 0 649350463 16322560 3301 4294967295 134512640 134714508 3221221792 3221219264 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3985 3301 1111 63 0 3922 0
vsize: 0

Child status: 30
Real time (s): 421.765
CPU time (s): 421.778
CPU user time (s): 413.119
CPU system time (s): 8.65868
CPU usage (%): 100.003
Max. virtual memory (Kb): 18128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	12
#### END VERIFIER DATA ####