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-jnh201.opb
MD5SUM	ba509931ad93c2223be235a06a9b3100
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	84
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	14

Trace number 7767

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-04-17 16:19:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1617 boxname=wulflinc4 idbench=180 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ba509931ad93c2223be235a06a9b3100  /oldhome/oroussel/tmp/wulflinc4/normalized-jnh201.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc4/normalized-jnh201.opb
IDLAUNCH: 1617
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        861712 kB
Buffers:         37648 kB
Cached:         113924 kB
SwapCached:          0 kB
Active:          74900 kB
Inactive:        79536 kB
HighTotal:      131008 kB
HighFree:        13272 kB
LowTotal:       903652 kB
LowFree:        848440 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            12796 kB
Committed_AS:    71672 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:29:23 (client local time) WITH STATUS 30 IN 577.678 SECONDS
stats: 1617 0 577.678 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc4/normalized-jnh201.opb ......
c The optimum solution is:84
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 -x21 x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x3 -x30 -x31 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=577.618
#### 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.92 0.95 0.87 2/54 1507
Raw data (stat): 1507 (runsolver) R 1506 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453678968 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.87 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 1723 0 0 0 992 6 0 0 25 0 1 0 453678968 10829824 1670 4294967295 134512640 135450300 3221224640 3221223360 134535461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2644 1670 231 231 0 2413 0
vsize: 10576
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 2321 0 0 0 1988 10 0 0 25 0 1 0 453678968 11640832 2171 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 2171 231 231 0 2611 0
vsize: 11368
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 2875 0 0 0 2986 12 0 0 25 0 1 0 453678968 20443136 2725 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4991 2725 231 231 0 4760 0
vsize: 19964
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 3600 0 0 0 3983 15 0 0 25 0 1 0 453678968 20856832 3450 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 3450 231 231 0 4861 0
vsize: 20368
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4107 0 0 0 4981 17 0 0 25 0 1 0 453678968 21143552 3957 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 3957 231 231 0 4931 0
vsize: 20648
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4412 0 0 0 5979 19 0 0 25 0 1 0 453678968 22364160 4069 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5460 4069 231 231 0 5229 0
vsize: 21840
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4497 0 0 0 6978 20 0 0 25 0 1 0 453678968 22532096 4154 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4154 231 231 0 5270 0
vsize: 22004
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4632 0 0 0 7977 22 0 0 25 0 1 0 453678968 22978560 4289 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4289 231 231 0 5379 0
vsize: 22440
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4663 0 0 0 8975 23 0 0 25 0 1 0 453678968 22978560 4320 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4320 231 231 0 5379 0
vsize: 22440
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4693 0 0 0 9975 24 0 0 25 0 1 0 453678968 22978560 4350 4294967295 134512640 135450300 3221224640 3221223456 134536465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4350 231 231 0 5379 0
vsize: 22440
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4721 0 0 0 10975 24 0 0 25 0 1 0 453678968 23142400 4378 4294967295 134512640 135450300 3221224640 3221223360 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5650 4378 231 231 0 5419 0
vsize: 22600
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4793 0 0 0 11974 25 0 0 25 0 1 0 453678968 23339008 4450 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5698 4450 231 231 0 5467 0
vsize: 22792
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 4829 0 0 0 12973 26 0 0 25 0 1 0 453678968 23339008 4486 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5698 4486 231 231 0 5467 0
vsize: 22792
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 5250 0 0 0 13971 28 0 0 25 0 1 0 453678968 25051136 4522 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 4522 231 231 0 5885 0
vsize: 24464
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 5563 0 0 0 14970 30 0 0 25 0 1 0 453678968 25247744 4835 4294967295 134512640 135450300 3221224640 3221223456 134536504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6164 4835 231 231 0 5933 0
vsize: 24656
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 5801 0 0 0 15969 31 0 0 25 0 1 0 453678968 25542656 5073 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5073 231 231 0 6005 0
vsize: 24944
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 6241 0 0 0 16968 32 0 0 25 0 1 0 453678968 25542656 5513 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5513 231 231 0 6005 0
vsize: 24944
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 6586 0 0 0 17966 35 0 0 25 0 1 0 453678968 42631168 5858 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10408 5858 231 231 0 10177 0
vsize: 41632
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7159 0 0 0 18964 36 0 0 25 0 1 0 453678968 43237376 6431 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10556 6431 231 231 0 10325 0
vsize: 42224
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7187 0 0 0 19964 37 0 0 25 0 1 0 453678968 43237376 6459 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10556 6459 231 231 0 10325 0
vsize: 42224
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7206 0 0 0 20963 37 0 0 25 0 1 0 453678968 43237376 6478 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10556 6478 231 231 0 10325 0
vsize: 42224
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7320 0 0 0 21962 39 0 0 25 0 1 0 453678968 43470848 6592 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10613 6592 231 231 0 10382 0
vsize: 42452
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7343 0 0 0 22962 40 0 0 25 0 1 0 453678968 43470848 6615 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10613 6615 231 231 0 10382 0
vsize: 42452
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7365 0 0 0 23961 41 0 0 25 0 1 0 453678968 43470848 6637 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10613 6637 231 231 0 10382 0
vsize: 42452
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7391 0 0 0 24960 42 0 0 25 0 1 0 453678968 43630592 6663 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 6663 231 231 0 10421 0
vsize: 42608
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7467 0 0 0 25959 43 0 0 25 0 1 0 453678968 43917312 6739 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10722 6739 231 231 0 10491 0
vsize: 42888
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7486 0 0 0 26959 43 0 0 25 0 1 0 453678968 43917312 6758 4294967295 134512640 135450300 3221224640 3221223376 134538515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10722 6758 231 231 0 10491 0
vsize: 42888
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7518 0 0 0 27958 44 0 0 25 0 1 0 453678968 43917312 6790 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10722 6790 231 231 0 10491 0
vsize: 42888
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7536 0 0 0 28957 45 0 0 25 0 1 0 453678968 43917312 6808 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10722 6808 231 231 0 10491 0
vsize: 42888
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7574 0 0 0 29957 46 0 0 25 0 1 0 453678968 44072960 6846 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10760 6846 231 231 0 10529 0
vsize: 43040
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7606 0 0 0 30956 47 0 0 25 0 1 0 453678968 44072960 6878 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10760 6878 231 231 0 10529 0
vsize: 43040
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7669 0 0 0 31956 47 0 0 25 0 1 0 453678968 44072960 6941 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10760 6941 231 231 0 10529 0
vsize: 43040
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 7743 0 0 0 32954 49 0 0 25 0 1 0 453678968 44412928 7015 4294967295 134512640 135450300 3221224640 3221223296 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10843 7015 231 231 0 10612 0
vsize: 43372
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8533 0 0 0 33952 51 0 0 25 0 1 0 453678968 47558656 7036 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11611 7036 231 231 0 11380 0
vsize: 46444
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8557 0 0 0 34951 52 0 0 25 0 1 0 453678968 47722496 7060 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11651 7060 231 231 0 11420 0
vsize: 46604
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8585 0 0 0 35951 53 0 0 25 0 1 0 453678968 47722496 7088 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11651 7088 231 231 0 11420 0
vsize: 46604
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8632 0 0 0 36950 54 0 0 25 0 1 0 453678968 47869952 7135 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11687 7135 231 231 0 11456 0
vsize: 46748
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8665 0 0 0 37950 55 0 0 25 0 1 0 453678968 47869952 7168 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11687 7168 231 231 0 11456 0
vsize: 46748
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8811 0 0 0 38949 55 0 0 25 0 1 0 453678968 48201728 7314 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11768 7314 231 231 0 11537 0
vsize: 47072
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8858 0 0 0 39949 56 0 0 25 0 1 0 453678968 48365568 7361 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11808 7361 231 231 0 11577 0
vsize: 47232
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 8910 0 0 0 40948 57 0 0 25 0 1 0 453678968 48365568 7413 4294967295 134512640 135450300 3221224640 3221223024 134602130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11808 7413 231 231 0 11577 0
vsize: 47232
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9211 0 0 0 41946 59 0 0 25 0 1 0 453678968 48918528 7714 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11943 7714 231 231 0 11712 0
vsize: 47772
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9230 0 0 0 42946 60 0 0 25 0 1 0 453678968 48918528 7733 4294967295 134512640 135450300 3221224640 3221223104 134532875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11943 7733 231 231 0 11712 0
vsize: 47772
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9275 0 0 0 43944 61 0 0 25 0 1 0 453678968 49139712 7778 4294967295 134512640 135450300 3221224640 3221223376 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11997 7778 231 231 0 11766 0
vsize: 47988
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9292 0 0 0 44944 62 0 0 25 0 1 0 453678968 49139712 7795 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11997 7795 231 231 0 11766 0
vsize: 47988
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9333 0 0 0 45943 63 0 0 25 0 1 0 453678968 49139712 7836 4294967295 134512640 135450300 3221224640 3221223456 134547472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11997 7836 231 231 0 11766 0
vsize: 47988
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9369 0 0 0 46943 63 0 0 25 0 1 0 453678968 49377280 7872 4294967295 134512640 135450300 3221224640 3221223472 134549307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 7872 231 231 0 11824 0
vsize: 48220
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9394 0 0 0 47941 65 0 0 25 0 1 0 453678968 49377280 7897 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 7897 231 231 0 11824 0
vsize: 48220
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9416 0 0 0 48941 66 0 0 25 0 1 0 453678968 49377280 7919 4294967295 134512640 135450300 3221224640 3221223424 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 7919 231 231 0 11824 0
vsize: 48220
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9455 0 0 0 49940 66 0 0 25 0 1 0 453678968 49377280 7958 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 7958 231 231 0 11824 0
vsize: 48220
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9501 0 0 0 50940 67 0 0 25 0 1 0 453678968 49541120 8004 4294967295 134512640 135450300 3221224640 3221223376 134538705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12095 8004 231 231 0 11864 0
vsize: 48380
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9561 0 0 0 51938 69 0 0 25 0 1 0 453678968 49704960 8064 4294967295 134512640 135450300 3221224640 3221223360 134535587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12135 8064 231 231 0 11904 0
vsize: 48540
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9607 0 0 0 52938 69 0 0 25 0 1 0 453678968 49954816 8110 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12196 8110 231 231 0 11965 0
vsize: 48784
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9646 0 0 0 53938 69 0 0 25 0 1 0 453678968 50118656 8149 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12236 8149 231 231 0 12005 0
vsize: 48944
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9726 0 0 0 54937 70 0 0 25 0 1 0 453678968 50118656 8229 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12236 8229 231 231 0 12005 0
vsize: 48944
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9785 0 0 0 55937 71 0 0 25 0 1 0 453678968 50581504 8288 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12349 8288 231 231 0 12118 0
vsize: 49396
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9854 0 0 0 56936 72 0 0 25 0 1 0 453678968 50864128 8357 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12418 8357 231 231 0 12187 0
vsize: 49672
[startup+577.606 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1507
Raw data (stat): 1507 (PBS4) R 1506 5897 5896 0 -1 0 9854 0 0 0 56936 72 0 0 25 0 1 0 453678968 50864128 8357 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12418 8357 231 231 0 12187 0
vsize: 0

Child status: 30
Real time (s): 577.606
CPU time (s): 577.678
CPU user time (s): 576.934
CPU system time (s): 0.743886
CPU usage (%): 100.013
Max. virtual memory (Kb): 49672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	84
#### END VERIFIER DATA ####