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-par16-5-c.opb
MD5SUM	5b3b72cfc97a7b1e471b28e18b610f1a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	341
Optimality of the best value was proved	NO
Number of terms in the objective function	682
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	682
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	682
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.19167
Number of variables	682
Total number of constraints	1701
Number of constraints which are clauses	1701
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 34853

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-28 10:55:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24127 boxname=wulflinc6 idbench=201 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5b3b72cfc97a7b1e471b28e18b610f1a  /oldhome/oroussel/tmp/wulflinc6/normalized-par16-5-c.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-par16-5-c.opb
IDLAUNCH: 24127
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        507884 kB
Buffers:         36036 kB
Cached:         466416 kB
SwapCached:        476 kB
Active:           9236 kB
Inactive:       495336 kB
HighTotal:      131008 kB
HighFree:        71596 kB
LowTotal:       903652 kB
LowFree:        436288 kB
SwapTotal:     2097136 kB
SwapFree:      2095736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5308 kB
Slab:            16452 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:05:55 (client local time) WITH STATUS 30 IN 646.714 SECONDS
stats: 24127 0 646.714 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 133899/234282	Time: 42.8795/86400c [startup+89.1492 s]  setting bit 9 to 0

Decision: 51383/234282	Time: 78.828/86400
Decision: 51383/234282	Time: 103.062/86400
Decision: 51383/234282	Time: 129.044/86400
Decision: 51383/234282	Time: 151.106/86400
Decision: 51383/234282	Time: 175.606/86400
Decision: 51383/234282	Time: 198.46/86400
Decision: 51383/234282	Time: 219.698/86400
Decision: 51383/234282	Time: 247.119/86400
Decision: 51909/234282	Time: 279.323/86400
Decision: 52553/234282	Time: 327.979/86400
Decision: 52814/234282	Time: 364.596/86400c got solution with objective value: 341
c [startup+486.002 s]  setting bit 8 to 1

Decision: 95275/234282	Time: 37.2563/86400
Decision: 96065/234282	Time: 61.7486/86400
Decision: 97660/234282	Time: 108.364/86400c [startup+633.751 s]  setting bit 7 to 0
c got solution with objective value: 341
c [startup+635.436 s]  setting bit 6 to 1
c [startup+637.199 s]  setting bit 5 to 0
c got solution with objective value: 341
c [startup+638.808 s]  setting bit 4 to 1
c [startup+640.552 s]  setting bit 3 to 0
c got solution with objective value: 341
c [startup+642.157 s]  setting bit 2 to 1
c [startup+643.897 s]  setting bit 1 to 0
c got solution with objective value: 341
c [startup+645.497 s]  setting bit 0 to 1
s OPTIMUM FOUND
v x1 -x10 x100 x101 -x102 -x103 x104 -x105 x106 -x107 x108 x109 -x11 -x110 -x111 x112 -x113 x114 -x115 x116 x117 -x118 -x119 x12 x120 -x121 x122 -x123 x124 x125 -x126 -x127 x128 -x129 x13 x130 -x131 x132 x133 -x134 -x135 x136 -x137 x138 -x139 -x14 x140 x141 -x142 -x143 x144 -x145 x146 -x147 x148 x149 -x15 -x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x16 x160 -x161 x162 -x163 x164 x165 -x166 -x167 x168 -x169 x17 x170 -x171 x172 x173 -x174 -x175 x176 -x177 x178 -x179 -x18 x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 -x189 -x19 x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 -x2 x20 x200 x201 -x202 -x203 x204 -x205 x206 -x207 x208 x209 x21 -x210 -x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 -x22 x220 -x221 x222 -x223 x224 x225 -x226 -x227 x228 -x229 -x23 x230 -x231 x232 x233 -x234 -x235 x236 -x237 x238 -x239 x24 x240 x241 -x242 -x243 x244 -x245 x246 x247 -x248 x249 x25 -x250 x251 -x252 -x253 x254 x255 -x256 x257 -x258 x259 -x26 -x260 x261 -x262 -x263 x264 -x265 x266 -x267 x268 x269 -x27 -x270 x271 -x272 -x273 x274 x275 -x276 -x277 x278 -x279 x28 x280 -x281 x282 -x283 x284 -x285 x286 -x287 x288 -x289 x29 x290 -x291 x292 x293 -x294 -x295 x296 -x297 x298 -x299 x3 -x30 x300 x301 -x302 -x303 x304 x305 -x306 -x307 x308 x309 -x31 -x310 x311 -x312 -x313 x314 -x315 x316 -x317 x318 -x319 x32 x320 -x321 x322 -x323 x324 x325 -x326 -x327 x328 -x329 x33 x330 -x331 x332 -x333 x334 -x335 x336 x337 -x338 x339 -x34 -x340 x341 -x342 x343 -x344 x345 -x346 -x347 x348 -x349 -x35 x350 -x351 x352 -x353 x354 x355 -x356 -x357 x358 -x359 x36 x360 -x361 x362 -x363 x364 x365 -x366 -x367 x368 x369 x37 -x370 x371 -x372 -x373 x374 -x375 x376 x377 -x378 -x379 -x38 x380 x381 -x382 x383 -x384 x385 -x386 x387 -x388 x389 -x39 -x390 -x391 x392 x393 -x394 x395 -x396 -x397 x398 -x399 -x4 x40 x400 x401 -x402 -x403 x404 -x405 x406 x407 -x408 x409 x41 -x410 x411 -x412 x413 -x414 x415 -x416 x417 -x418 -x419 -x42 x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 x429 -x43 -x430 -x431 x432 -x433 x434 x435 -x436 x437 -x438 x439 x44 -x440 -x441 x442 x443 -x444 -x445 x446 -x447 x448 -x449 x45 x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 x459 -x46 -x460 -x461 x462 x463 -x464 x465 -x466 -x467 x468 -x469 -x47 x470 -x471 x472 -x473 x474 x475 -x476 x477 -x478 -x479 x48 x480 x481 -x482 x483 -x484 x485 -x486 x487 -x488 -x489 x49 x490 x491 -x492 x493 -x494 -x495 x496 -x497 x498 -x499 -x5 -x50 x500 -x501 x502 x503 -x504 x505 -x506 -x507 x508 x509 -x51 -x510 -x511 x512 -x513 x514 x515 -x516 x517 -x518 -x519 x52 x520 -x521 x522 x523 -x524 x525 -x526 x527 -x528 x529 x53 -x530 -x531 x532 x533 -x534 x535 -x536 -x537 x538 x539 -x54 -x540 x541 -x542 x543 -x544 -x545 x546 -x547 x548 x549 -x55 -x550 -x551 x552 -x553 x554 x555 -x556 x557 -x558 x559 x56 -x560 -x561 x562 x563 -x564 x565 -x566 x567 -x568 x569 x57 -x570 x571 -x572 x573 -x574 -x575 x576 -x577 x578 x579 -x58 -x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 -x59 x590 -x591 x592 x593 -x594 -x595 x596 -x597 x598 -x599 x6 x60 x600 -x601 x602 -x603 x604 x605 -x606 x607 -x608 -x609 x61 x610 -x611 x612 -x613 x614 -x615 x616 -x617 x618 x619 -x62 -x620 x621 -x622 -x623 x624 -x625 x626 x627 -x628 x629 -x63 -x630 x631 -x632 x633 -x634 x635 -x636 -x637 x638 x639 x64 -x640 x641 -x642 -x643 x644 -x645 x646 -x647 x648 x649 -x65 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 x659 x66 -x660 -x661 x662 -x663 x664 x665 -x666 x667 -x668 x669 x67 -x670 x671 -x672 x673 -x674 x675 -x676 x677 -x678 -x679 -x68 x680 x681 -x682 x69 x7 -x70 -x71 x72 -x73 x74 -x75 x76 x77 -x78 -x79 -x8 x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 -x89 x9 x90 -x91 x92 x93 -x94 -x95 x96 -x97 x98 -x99 
#### 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): 1.01 1.01 0.91 2/54 2137
Raw data (stat): 2137 (runsolver) R 2136 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806021995 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0011 s]
Raw data (loadavg): 1.00 1.01 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 29739 0 0 0 928 71 0 0 25 0 1 0 806021995 89239552 18829 4294967295 134512640 135726644 3221224592 3221168168 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21787 18829 300 300 0 21487 0
vsize: 87148
[startup+20.0011 s]
Raw data (loadavg): 1.00 1.01 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 33475 0 0 0 1920 79 0 0 25 0 1 0 806021995 99405824 21768 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24269 21768 300 300 0 23969 0
vsize: 97076
[startup+30.0011 s]
Raw data (loadavg): 1.00 1.01 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 33951 0 0 0 2919 80 0 0 25 0 1 0 806021995 101466112 22145 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24772 22145 300 300 0 24472 0
vsize: 99088
[startup+40.0016 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 34180 0 0 0 3919 81 0 0 25 0 1 0 806021995 102391808 22276 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24998 22276 300 300 0 24698 0
vsize: 99992
[startup+50.0014 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 34269 0 0 0 4918 81 0 0 25 0 1 0 806021995 102592512 22349 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25047 22349 300 300 0 24747 0
vsize: 100188
[startup+60.0016 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 34904 0 0 0 5916 83 0 0 25 0 1 0 806021995 103120896 22461 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25176 22461 300 300 0 24876 0
vsize: 100704
[startup+70.002 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 34996 0 0 0 6916 84 0 0 25 0 1 0 806021995 103387136 22553 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25241 22553 300 300 0 24941 0
vsize: 100964
[startup+80.0028 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35080 0 0 0 7916 84 0 0 25 0 1 0 806021995 103649280 22572 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25305 22572 300 300 0 25005 0
vsize: 101220
[startup+90.003 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35658 0 0 0 8914 86 0 0 25 0 1 0 806021995 103915520 22692 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22692 300 300 0 25070 0
vsize: 101480
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35680 0 0 0 9914 86 0 0 25 0 1 0 806021995 103915520 22714 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22714 300 300 0 25070 0
vsize: 101480
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35686 0 0 0 10915 86 0 0 25 0 1 0 806021995 103915520 22720 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22720 300 300 0 25070 0
vsize: 101480
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35703 0 0 0 11915 86 0 0 25 0 1 0 806021995 103915520 22737 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22737 300 300 0 25070 0
vsize: 101480
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35710 0 0 0 12915 86 0 0 25 0 1 0 806021995 103915520 22744 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22744 300 300 0 25070 0
vsize: 101480
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35720 0 0 0 13915 87 0 0 25 0 1 0 806021995 103915520 22754 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22754 300 300 0 25070 0
vsize: 101480
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35734 0 0 0 14916 87 0 0 25 0 1 0 806021995 103915520 22768 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22768 300 300 0 25070 0
vsize: 101480
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 35744 0 0 0 15916 87 0 0 25 0 1 0 806021995 103915520 22778 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22778 300 300 0 25070 0
vsize: 101480
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 36209 0 0 0 16915 88 0 0 25 0 1 0 806021995 103915520 22785 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22785 300 300 0 25070 0
vsize: 101480
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 36211 0 0 0 17915 88 0 0 25 0 1 0 806021995 103915520 22787 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22787 300 300 0 25070 0
vsize: 101480
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 36218 0 0 0 18915 88 0 0 25 0 1 0 806021995 103915520 22794 4294967295 134512640 135726644 3221224592 3221223200 134744634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22794 300 300 0 25070 0
vsize: 101480
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 36701 0 0 0 19914 90 0 0 25 0 1 0 806021995 103915520 22819 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22819 300 300 0 25070 0
vsize: 101480
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 36708 0 0 0 20914 90 0 0 25 0 1 0 806021995 103915520 22826 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22826 300 300 0 25070 0
vsize: 101480
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 37175 0 0 0 21914 91 0 0 25 0 1 0 806021995 103915520 22835 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22835 300 300 0 25070 0
vsize: 101480
[startup+230.007 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 37186 0 0 0 22914 91 0 0 25 0 1 0 806021995 103915520 22846 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22846 300 300 0 25070 0
vsize: 101480
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 37655 0 0 0 23913 92 0 0 25 0 1 0 806021995 105791488 23315 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25828 23315 300 300 0 25528 0
vsize: 103312
[startup+250.008 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 37663 0 0 0 24913 92 0 0 25 0 1 0 806021995 103915520 22865 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22865 300 300 0 25070 0
vsize: 101480
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 37673 0 0 0 25914 92 0 0 25 0 1 0 806021995 103915520 22875 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22875 300 300 0 25070 0
vsize: 101480
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 38143 0 0 0 26913 94 0 0 25 0 1 0 806021995 103915520 22887 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22887 300 300 0 25070 0
vsize: 101480
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 38154 0 0 0 27913 94 0 0 25 0 1 0 806021995 103915520 22898 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22898 300 300 0 25070 0
vsize: 101480
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 2137
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 38618 0 0 0 28912 95 0 0 25 0 1 0 806021995 103915520 22904 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22904 300 300 0 25070 0
vsize: 101480
[startup+300.011 s]
Raw data (loadavg): 1.15 1.03 0.92 2/57 2181
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 38634 0 0 0 29912 95 0 0 25 0 1 0 806021995 103915520 22920 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22920 300 300 0 25070 0
vsize: 101480
[startup+310.011 s]
Raw data (loadavg): 1.13 1.03 0.92 2/54 2190
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 39102 0 0 0 30912 96 0 0 25 0 1 0 806021995 103915520 22930 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22930 300 300 0 25070 0
vsize: 101480
[startup+320.011 s]
Raw data (loadavg): 1.11 1.03 0.92 2/54 2190
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 39112 0 0 0 31912 96 0 0 25 0 1 0 806021995 103915520 22940 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22940 300 300 0 25070 0
vsize: 101480
[startup+330.012 s]
Raw data (loadavg): 1.09 1.03 0.92 2/54 2190
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 39121 0 0 0 32912 96 0 0 25 0 1 0 806021995 103915520 22949 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22949 300 300 0 25070 0
vsize: 101480
[startup+340.012 s]
Raw data (loadavg): 1.08 1.03 0.92 2/54 2190
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 39589 0 0 0 33911 97 0 0 25 0 1 0 806021995 103915520 22959 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25370 22959 300 300 0 25070 0
vsize: 101480
[startup+350.012 s]
Raw data (loadavg): 1.06 1.03 0.92 2/54 2190
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 39683 0 0 0 34911 98 0 0 25 0 1 0 806021995 104177664 22988 4294967295 134512640 135726644 3221224592 3221223184 134760410 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25434 22988 300 300 0 25134 0
vsize: 101736
[startup+360.012 s]
Raw data (loadavg): 1.05 1.02 0.92 2/54 2190
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 39693 0 0 0 35911 98 0 0 25 0 1 0 806021995 104177664 22998 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25434 22998 300 300 0 25134 0
vsize: 101736
[startup+370.012 s]
Raw data (loadavg): 1.05 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40163 0 0 0 36911 99 0 0 25 0 1 0 806021995 104177664 23010 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25434 23010 300 300 0 25134 0
vsize: 101736
[startup+380.012 s]
Raw data (loadavg): 1.04 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40175 0 0 0 37911 99 0 0 25 0 1 0 806021995 104177664 23022 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25434 23022 300 300 0 25134 0
vsize: 101736
[startup+390.013 s]
Raw data (loadavg): 1.03 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40187 0 0 0 38911 99 0 0 25 0 1 0 806021995 104177664 23034 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25434 23034 300 300 0 25134 0
vsize: 101736
[startup+400.014 s]
Raw data (loadavg): 1.03 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40199 0 0 0 39911 99 0 0 25 0 1 0 806021995 104177664 23046 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25434 23046 300 300 0 25134 0
vsize: 101736
[startup+410.014 s]
Raw data (loadavg): 1.02 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40207 0 0 0 40912 99 0 0 25 0 1 0 806021995 104177664 23054 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25434 23054 300 300 0 25134 0
vsize: 101736
[startup+420.014 s]
Raw data (loadavg): 1.02 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40745 0 0 0 41910 101 0 0 25 0 1 0 806021995 104439808 23069 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25498 23069 300 300 0 25198 0
vsize: 101992
[startup+430.015 s]
Raw data (loadavg): 1.02 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40755 0 0 0 42911 101 0 0 25 0 1 0 806021995 104439808 23079 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25498 23079 300 300 0 25198 0
vsize: 101992
[startup+440.015 s]
Raw data (loadavg): 1.01 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40769 0 0 0 43911 101 0 0 25 0 1 0 806021995 104439808 23093 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25498 23093 300 300 0 25198 0
vsize: 101992
[startup+450.016 s]
Raw data (loadavg): 1.01 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 40802 0 0 0 44911 101 0 0 25 0 1 0 806021995 104587264 23126 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25534 23126 300 300 0 25234 0
vsize: 102136
[startup+460.015 s]
Raw data (loadavg): 1.01 1.02 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 41284 0 0 0 45910 103 0 0 25 0 1 0 806021995 104734720 23150 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25570 23150 300 300 0 25270 0
vsize: 102280
[startup+470.015 s]
Raw data (loadavg): 1.01 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 41287 0 0 0 46910 103 0 0 25 0 1 0 806021995 104734720 23153 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25570 23153 300 300 0 25270 0
vsize: 102280
[startup+480.016 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 41306 0 0 0 47910 103 0 0 25 0 1 0 806021995 104734720 23172 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25570 23172 300 300 0 25270 0
vsize: 102280
[startup+490.016 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 42054 0 0 0 48909 105 0 0 25 0 1 0 806021995 105684992 23268 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23268 300 300 0 25502 0
vsize: 103208
[startup+500.016 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 42058 0 0 0 49909 105 0 0 25 0 1 0 806021995 105684992 23272 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23272 300 300 0 25502 0
vsize: 103208
[startup+510.016 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 42076 0 0 0 50909 105 0 0 25 0 1 0 806021995 105684992 23290 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23290 300 300 0 25502 0
vsize: 103208
[startup+520.016 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 42097 0 0 0 51909 105 0 0 25 0 1 0 806021995 105684992 23311 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25802 23311 300 300 0 25502 0
vsize: 103208
[startup+530.016 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 42581 0 0 0 52909 106 0 0 25 0 1 0 806021995 105848832 23337 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25842 23337 300 300 0 25542 0
vsize: 103368
[startup+540.017 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 42704 0 0 0 53909 106 0 0 25 0 1 0 806021995 106110976 23395 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25906 23395 300 300 0 25606 0
vsize: 103624
[startup+550.017 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43179 0 0 0 54908 107 0 0 25 0 1 0 806021995 106110976 23412 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25906 23412 300 300 0 25606 0
vsize: 103624
[startup+560.017 s]
Raw data (loadavg): 1.00 1.01 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43224 0 0 0 55909 108 0 0 25 0 1 0 806021995 106110976 23457 4294967295 134512640 135726644 3221224592 3221223088 134744365 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25906 23457 300 300 0 25606 0
vsize: 103624
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43237 0 0 0 56909 108 0 0 25 0 1 0 806021995 106110976 23470 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25906 23470 300 300 0 25606 0
vsize: 103624
[startup+580.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43248 0 0 0 57909 108 0 0 25 0 1 0 806021995 106110976 23481 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25906 23481 300 300 0 25606 0
vsize: 103624
[startup+590.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43258 0 0 0 58909 108 0 0 25 0 1 0 806021995 106110976 23491 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25906 23491 300 300 0 25606 0
vsize: 103624
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43731 0 0 0 59908 109 0 0 25 0 1 0 806021995 106110976 23506 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25906 23506 300 300 0 25606 0
vsize: 103624
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43750 0 0 0 60909 109 0 0 25 0 1 0 806021995 106274816 23525 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25946 23525 300 300 0 25646 0
vsize: 103784
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43763 0 0 0 61909 110 0 0 25 0 1 0 806021995 106274816 23538 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25946 23538 300 300 0 25646 0
vsize: 103784
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 43774 0 0 0 62909 110 0 0 25 0 1 0 806021995 106274816 23549 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25946 23549 300 300 0 25646 0
vsize: 103784
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 45622 0 0 0 63905 114 0 0 25 0 1 0 806021995 106274816 23565 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25946 23565 300 300 0 25646 0
vsize: 103784
[startup+646.534 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 2192
Raw data (stat): 2137 (pb2sat) R 2136 25568 25567 0 -1 0 45622 0 0 0 63905 114 0 0 25 0 1 0 806021995 106274816 23565 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25946 23565 300 300 0 25646 0
vsize: 0

Child status: 30
Real time (s): 646.533
CPU time (s): 646.714
CPU user time (s): 645.485
CPU system time (s): 1.22881
CPU usage (%): 100.028
Max. virtual memory (Kb): 103784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	341
#### END VERIFIER DATA ####