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-9sym.b.opb
MD5SUM	1457dc2646bff5e87c0f4b32dfb926ba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5
Optimality of the best value was proved	NO
Number of terms in the objective function	310
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	310
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	310
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.681895
Number of variables	309
Total number of constraints	976
Number of constraints which are clauses	963
Number of constraints which are cardinality constraints (but not clauses)	13
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	87
Trace number 7613

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-17 15:39:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=537 boxname=wulflinc1 idbench=60 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  1457dc2646bff5e87c0f4b32dfb926ba  /oldhome/oroussel/tmp/wulflinc1/normalized-9sym.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-9sym.b.opb
IDLAUNCH: 537
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        803120 kB
Buffers:         42256 kB
Cached:         163648 kB
SwapCached:          0 kB
Active:         118748 kB
Inactive:        90308 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        802868 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           7212 kB
Slab:            16752 kB
Committed_AS:    92784 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:53:02 (client local time) WITH STATUS 30 IN 797.103 SECONDS
stats: 537 0 797.103 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-9sym.b.opb ......
c The optimum solution is:5
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 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -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 
c Done, CPU Time=796.906
#### 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.00 0.00 0.00 2/56 9372
Raw data (stat): 9372 (runsolver) R 9371 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 396588167 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.15 0.03 0.01 2/56 9372
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 340 0 0 0 994 5 0 0 25 0 1 0 396588167 2109440 336 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 515 336 231 231 0 284 0
vsize: 2060
[startup+20.0014 s]
Raw data (loadavg): 0.28 0.06 0.02 2/56 9372
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 388 0 0 0 1993 6 0 0 25 0 1 0 396588167 2633728 384 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 643 384 231 231 0 412 0
vsize: 2572
[startup+30.0012 s]
Raw data (loadavg): 0.39 0.09 0.03 2/56 9372
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 430 0 0 0 2994 6 0 0 25 0 1 0 396588167 2633728 426 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 643 426 231 231 0 412 0
vsize: 2572
[startup+40.001 s]
Raw data (loadavg): 0.49 0.12 0.04 2/56 9372
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 470 0 0 0 3993 6 0 0 25 0 1 0 396588167 2633728 466 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 643 466 231 231 0 412 0
vsize: 2572
[startup+50.0017 s]
Raw data (loadavg): 0.56 0.15 0.05 2/56 9372
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 500 0 0 0 4993 7 0 0 25 0 1 0 396588167 2633728 496 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 643 496 231 231 0 412 0
vsize: 2572
[startup+60.003 s]
Raw data (loadavg): 0.63 0.18 0.06 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 531 0 0 0 5993 7 0 0 25 0 1 0 396588167 3682304 527 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 899 527 231 231 0 668 0
vsize: 3596
[startup+70.0033 s]
Raw data (loadavg): 0.69 0.21 0.07 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 586 0 0 0 6993 8 0 0 25 0 1 0 396588167 3883008 582 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 948 582 231 231 0 717 0
vsize: 3792
[startup+80.003 s]
Raw data (loadavg): 0.73 0.23 0.08 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 618 0 0 0 7992 8 0 0 25 0 1 0 396588167 3883008 614 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 948 614 231 231 0 717 0
vsize: 3792
[startup+90.0028 s]
Raw data (loadavg): 0.77 0.26 0.09 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 662 0 0 0 8992 8 0 0 25 0 1 0 396588167 3883008 658 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 948 658 231 231 0 717 0
vsize: 3792
[startup+100.003 s]
Raw data (loadavg): 0.81 0.28 0.10 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 707 0 0 0 9992 9 0 0 25 0 1 0 396588167 3883008 703 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 948 703 231 231 0 717 0
vsize: 3792
[startup+110.003 s]
Raw data (loadavg): 0.84 0.30 0.11 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 748 0 0 0 10992 9 0 0 25 0 1 0 396588167 3883008 744 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 948 744 231 231 0 717 0
vsize: 3792
[startup+120.005 s]
Raw data (loadavg): 0.86 0.33 0.12 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 787 0 0 0 11991 10 0 0 25 0 1 0 396588167 3883008 783 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 948 783 231 231 0 717 0
vsize: 3792
[startup+130.004 s]
Raw data (loadavg): 0.88 0.35 0.12 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 825 0 0 0 12991 10 0 0 25 0 1 0 396588167 5980160 821 4294967295 134512640 135450300 3221224640 3221223456 134547472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1460 821 231 231 0 1229 0
vsize: 5840
[startup+140.004 s]
Raw data (loadavg): 0.90 0.37 0.13 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 881 0 0 0 13991 11 0 0 25 0 1 0 396588167 6119424 877 4294967295 134512640 135450300 3221224640 3221223376 134538979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1494 877 231 231 0 1263 0
vsize: 5976
[startup+150.004 s]
Raw data (loadavg): 0.92 0.39 0.14 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1046 0 0 0 14990 12 0 0 25 0 1 0 396588167 6316032 993 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1542 993 231 231 0 1311 0
vsize: 6168
[startup+160.005 s]
Raw data (loadavg): 0.93 0.41 0.15 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1227 0 0 0 15989 13 0 0 25 0 1 0 396588167 6725632 1174 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1642 1174 231 231 0 1411 0
vsize: 6568
[startup+170.005 s]
Raw data (loadavg): 0.94 0.43 0.16 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1285 0 0 0 16989 13 0 0 25 0 1 0 396588167 6725632 1232 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1642 1232 231 231 0 1411 0
vsize: 6568
[startup+180.005 s]
Raw data (loadavg): 0.95 0.45 0.17 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1372 0 0 0 17988 14 0 0 25 0 1 0 396588167 6725632 1319 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1642 1319 231 231 0 1411 0
vsize: 6568
[startup+190.005 s]
Raw data (loadavg): 0.95 0.46 0.18 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1551 0 0 0 18986 16 0 0 25 0 1 0 396588167 6995968 1498 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1708 1498 231 231 0 1477 0
vsize: 6832
[startup+200.005 s]
Raw data (loadavg): 0.96 0.48 0.19 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1624 0 0 0 19985 17 0 0 25 0 1 0 396588167 11329536 1571 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 1571 231 231 0 2535 0
vsize: 11064
[startup+210.009 s]
Raw data (loadavg): 0.97 0.50 0.19 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1754 0 0 0 20984 19 0 0 25 0 1 0 396588167 11722752 1604 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 1604 231 231 0 2631 0
vsize: 11448
[startup+220.009 s]
Raw data (loadavg): 0.97 0.51 0.20 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1786 0 0 0 21983 20 0 0 25 0 1 0 396588167 11870208 1636 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1636 231 231 0 2667 0
vsize: 11592
[startup+230.009 s]
Raw data (loadavg): 0.98 0.53 0.21 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1825 0 0 0 22981 22 0 0 25 0 1 0 396588167 12005376 1675 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2931 1675 231 231 0 2700 0
vsize: 11724
[startup+240.01 s]
Raw data (loadavg): 0.98 0.54 0.22 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1848 0 0 0 23980 23 0 0 25 0 1 0 396588167 12005376 1698 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2931 1698 231 231 0 2700 0
vsize: 11724
[startup+250.009 s]
Raw data (loadavg): 0.98 0.56 0.22 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1867 0 0 0 24980 23 0 0 25 0 1 0 396588167 12148736 1717 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1717 231 231 0 2735 0
vsize: 11864
[startup+260.01 s]
Raw data (loadavg): 0.98 0.57 0.23 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1893 0 0 0 25979 25 0 0 25 0 1 0 396588167 12148736 1743 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2966 1743 231 231 0 2735 0
vsize: 11864
[startup+270.011 s]
Raw data (loadavg): 0.99 0.59 0.24 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1916 0 0 0 26978 25 0 0 25 0 1 0 396588167 12283904 1766 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 1766 231 231 0 2768 0
vsize: 11996
[startup+280.01 s]
Raw data (loadavg): 0.99 0.60 0.25 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1928 0 0 0 27978 26 0 0 25 0 1 0 396588167 12283904 1778 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 1778 231 231 0 2768 0
vsize: 11996
[startup+290.01 s]
Raw data (loadavg): 0.99 0.61 0.26 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1946 0 0 0 28977 27 0 0 25 0 1 0 396588167 12283904 1796 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 1796 231 231 0 2768 0
vsize: 11996
[startup+300.012 s]
Raw data (loadavg): 0.99 0.62 0.26 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1966 0 0 0 29977 27 0 0 25 0 1 0 396588167 12283904 1816 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 1816 231 231 0 2768 0
vsize: 11996
[startup+310.012 s]
Raw data (loadavg): 0.99 0.64 0.27 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 1983 0 0 0 30977 28 0 0 25 0 1 0 396588167 12423168 1833 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3033 1833 231 231 0 2802 0
vsize: 12132
[startup+320.011 s]
Raw data (loadavg): 0.99 0.65 0.28 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2193 0 0 0 31976 28 0 0 25 0 1 0 396588167 13209600 1850 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 1850 231 231 0 2994 0
vsize: 12900
[startup+330.011 s]
Raw data (loadavg): 0.99 0.66 0.29 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2204 0 0 0 32976 29 0 0 25 0 1 0 396588167 13209600 1861 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 1861 231 231 0 2994 0
vsize: 12900
[startup+340.012 s]
Raw data (loadavg): 0.99 0.67 0.29 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2214 0 0 0 33976 29 0 0 25 0 1 0 396588167 13348864 1871 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 1871 231 231 0 3028 0
vsize: 13036
[startup+350.012 s]
Raw data (loadavg): 0.99 0.68 0.30 2/56 9374
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2222 0 0 0 34975 30 0 0 25 0 1 0 396588167 13348864 1879 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 1879 231 231 0 3028 0
vsize: 13036
[startup+360.013 s]
Raw data (loadavg): 0.99 0.69 0.31 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2230 0 0 0 35975 31 0 0 25 0 1 0 396588167 13348864 1887 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 1887 231 231 0 3028 0
vsize: 13036
[startup+370.013 s]
Raw data (loadavg): 0.99 0.70 0.31 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2236 0 0 0 36974 31 0 0 25 0 1 0 396588167 13348864 1893 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 1893 231 231 0 3028 0
vsize: 13036
[startup+380.013 s]
Raw data (loadavg): 0.99 0.71 0.32 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2248 0 0 0 37973 32 0 0 25 0 1 0 396588167 13348864 1905 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 1905 231 231 0 3028 0
vsize: 13036
[startup+390.013 s]
Raw data (loadavg): 0.99 0.72 0.33 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2268 0 0 0 38973 33 0 0 25 0 1 0 396588167 13348864 1925 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 1925 231 231 0 3028 0
vsize: 13036
[startup+400.013 s]
Raw data (loadavg): 0.99 0.73 0.33 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2282 0 0 0 39972 34 0 0 25 0 1 0 396588167 13484032 1939 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 1939 231 231 0 3061 0
vsize: 13168
[startup+410.013 s]
Raw data (loadavg): 0.99 0.74 0.34 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2289 0 0 0 40971 35 0 0 25 0 1 0 396588167 13484032 1946 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 1946 231 231 0 3061 0
vsize: 13168
[startup+420.014 s]
Raw data (loadavg): 0.99 0.74 0.35 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2297 0 0 0 41971 35 0 0 25 0 1 0 396588167 13484032 1954 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 1954 231 231 0 3061 0
vsize: 13168
[startup+430.013 s]
Raw data (loadavg): 0.99 0.75 0.35 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2306 0 0 0 42971 35 0 0 25 0 1 0 396588167 13484032 1963 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 1963 231 231 0 3061 0
vsize: 13168
[startup+440.014 s]
Raw data (loadavg): 0.99 0.76 0.36 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2315 0 0 0 43970 36 0 0 25 0 1 0 396588167 13484032 1972 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 1972 231 231 0 3061 0
vsize: 13168
[startup+450.013 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2333 0 0 0 44970 37 0 0 25 0 1 0 396588167 13484032 1990 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 1990 231 231 0 3061 0
vsize: 13168
[startup+460.014 s]
Raw data (loadavg): 0.99 0.77 0.37 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2343 0 0 0 45970 37 0 0 25 0 1 0 396588167 13484032 2000 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 2000 231 231 0 3061 0
vsize: 13168
[startup+470.014 s]
Raw data (loadavg): 0.99 0.78 0.38 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2351 0 0 0 46969 38 0 0 25 0 1 0 396588167 13484032 2008 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3292 2008 231 231 0 3061 0
vsize: 13168
[startup+480.014 s]
Raw data (loadavg): 0.99 0.79 0.38 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2365 0 0 0 47969 39 0 0 25 0 1 0 396588167 13627392 2022 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2022 231 231 0 3096 0
vsize: 13308
[startup+490.014 s]
Raw data (loadavg): 0.99 0.79 0.39 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2371 0 0 0 48968 39 0 0 25 0 1 0 396588167 13627392 2028 4294967295 134512640 135450300 3221224640 3221223472 134537813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2028 231 231 0 3096 0
vsize: 13308
[startup+500.014 s]
Raw data (loadavg): 0.99 0.80 0.40 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2383 0 0 0 49968 39 0 0 25 0 1 0 396588167 13627392 2040 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2040 231 231 0 3096 0
vsize: 13308
[startup+510.015 s]
Raw data (loadavg): 0.99 0.81 0.40 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2393 0 0 0 50968 40 0 0 25 0 1 0 396588167 13627392 2050 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2050 231 231 0 3096 0
vsize: 13308
[startup+520.015 s]
Raw data (loadavg): 0.99 0.81 0.41 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2404 0 0 0 51967 40 0 0 25 0 1 0 396588167 13627392 2061 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2061 231 231 0 3096 0
vsize: 13308
[startup+530.015 s]
Raw data (loadavg): 0.99 0.82 0.41 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2423 0 0 0 52967 41 0 0 25 0 1 0 396588167 13774848 2080 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3363 2080 231 231 0 3132 0
vsize: 13452
[startup+540.015 s]
Raw data (loadavg): 0.99 0.82 0.42 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2468 0 0 0 53966 42 0 0 25 0 1 0 396588167 13922304 2125 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2125 231 231 0 3168 0
vsize: 13596
[startup+550.015 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2479 0 0 0 54966 43 0 0 25 0 1 0 396588167 13922304 2136 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2136 231 231 0 3168 0
vsize: 13596
[startup+560.016 s]
Raw data (loadavg): 0.99 0.83 0.43 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2484 0 0 0 55965 43 0 0 25 0 1 0 396588167 13922304 2141 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3399 2141 231 231 0 3168 0
vsize: 13596
[startup+570.016 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2505 0 0 0 56965 44 0 0 25 0 1 0 396588167 14077952 2162 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2162 231 231 0 3206 0
vsize: 13748
[startup+580.015 s]
Raw data (loadavg): 0.99 0.84 0.44 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2509 0 0 0 57965 44 0 0 25 0 1 0 396588167 14077952 2166 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2166 231 231 0 3206 0
vsize: 13748
[startup+590.015 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2515 0 0 0 58964 45 0 0 25 0 1 0 396588167 14077952 2172 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2172 231 231 0 3206 0
vsize: 13748
[startup+600.015 s]
Raw data (loadavg): 0.99 0.85 0.45 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2538 0 0 0 59964 46 0 0 25 0 1 0 396588167 14077952 2195 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2195 231 231 0 3206 0
vsize: 13748
[startup+610.016 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2546 0 0 0 60963 46 0 0 25 0 1 0 396588167 14077952 2203 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2203 231 231 0 3206 0
vsize: 13748
[startup+620.016 s]
Raw data (loadavg): 0.99 0.86 0.46 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2550 0 0 0 61963 47 0 0 25 0 1 0 396588167 14077952 2207 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2207 231 231 0 3206 0
vsize: 13748
[startup+630.016 s]
Raw data (loadavg): 0.99 0.86 0.47 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2556 0 0 0 62962 47 0 0 25 0 1 0 396588167 14077952 2213 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2213 231 231 0 3206 0
vsize: 13748
[startup+640.017 s]
Raw data (loadavg): 0.99 0.87 0.47 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2569 0 0 0 63962 48 0 0 25 0 1 0 396588167 14217216 2226 4294967295 134512640 135450300 3221224640 3221223376 134538724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2226 231 231 0 3240 0
vsize: 13884
[startup+650.018 s]
Raw data (loadavg): 0.99 0.87 0.48 2/56 9376
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2578 0 0 0 64963 48 0 0 25 0 1 0 396588167 14217216 2235 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2235 231 231 0 3240 0
vsize: 13884
[startup+660.019 s]
Raw data (loadavg): 0.99 0.88 0.48 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2606 0 0 0 65962 48 0 0 25 0 1 0 396588167 14217216 2263 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2263 231 231 0 3240 0
vsize: 13884
[startup+670.019 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2611 0 0 0 66962 48 0 0 25 0 1 0 396588167 14217216 2268 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2268 231 231 0 3240 0
vsize: 13884
[startup+680.019 s]
Raw data (loadavg): 0.99 0.88 0.49 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 2664 0 0 0 67962 49 0 0 25 0 1 0 396588167 14512128 2321 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3543 2321 231 231 0 3312 0
vsize: 14172
[startup+690.02 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3057 0 0 0 68961 50 0 0 25 0 1 0 396588167 16084992 2329 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2329 231 231 0 3696 0
vsize: 15708
[startup+700.02 s]
Raw data (loadavg): 0.99 0.89 0.50 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3061 0 0 0 69961 50 0 0 25 0 1 0 396588167 16084992 2333 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2333 231 231 0 3696 0
vsize: 15708
[startup+710.02 s]
Raw data (loadavg): 0.99 0.89 0.51 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3066 0 0 0 70960 51 0 0 25 0 1 0 396588167 16084992 2338 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2338 231 231 0 3696 0
vsize: 15708
[startup+720.022 s]
Raw data (loadavg): 0.99 0.90 0.51 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3069 0 0 0 71960 51 0 0 25 0 1 0 396588167 16084992 2341 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2341 231 231 0 3696 0
vsize: 15708
[startup+730.021 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3073 0 0 0 72960 51 0 0 25 0 1 0 396588167 16084992 2345 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2345 231 231 0 3696 0
vsize: 15708
[startup+740.021 s]
Raw data (loadavg): 0.99 0.90 0.52 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3076 0 0 0 73959 52 0 0 25 0 1 0 396588167 16084992 2348 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2348 231 231 0 3696 0
vsize: 15708
[startup+750.02 s]
Raw data (loadavg): 0.99 0.90 0.53 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3080 0 0 0 74959 53 0 0 25 0 1 0 396588167 16084992 2352 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2352 231 231 0 3696 0
vsize: 15708
[startup+760.021 s]
Raw data (loadavg): 0.99 0.91 0.53 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3084 0 0 0 75959 53 0 0 25 0 1 0 396588167 16084992 2356 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 2356 231 231 0 3696 0
vsize: 15708
[startup+770.021 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3124 0 0 0 76959 53 0 0 25 0 1 0 396588167 16240640 2396 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 2396 231 231 0 3734 0
vsize: 15860
[startup+780.021 s]
Raw data (loadavg): 0.99 0.91 0.54 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3132 0 0 0 77958 54 0 0 25 0 1 0 396588167 16240640 2404 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 2404 231 231 0 3734 0
vsize: 15860
[startup+790.021 s]
Raw data (loadavg): 0.99 0.91 0.55 2/56 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3139 0 0 0 78958 55 0 0 25 0 1 0 396588167 16240640 2411 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 2411 231 231 0 3734 0
vsize: 15860
[startup+796.988 s]
Raw data (loadavg): 0.99 0.92 0.55 1/55 9378
Raw data (stat): 9372 (PBS4) R 9371 12452 12451 0 -1 0 3139 0 0 0 78958 55 0 0 25 0 1 0 396588167 16240640 2411 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 2411 231 231 0 3734 0
vsize: 0

Child status: 30
Real time (s): 796.988
CPU time (s): 797.103
CPU user time (s): 796.537
CPU system time (s): 0.565913
CPU usage (%): 100.014
Max. virtual memory (Kb): 15860
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	5
#### END VERIFIER DATA ####