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/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb
MD5SUM	b9c1029cc1d97a8d60e984f96f5d3267
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	788263
Optimality of the best value was proved	NO
Number of terms in the objective function	48
Biggest coefficient in the objective function	107865
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	2514082
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	107865
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	2514082
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	48
Total number of constraints	73
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	9
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 22002

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-22 01:56:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12200 boxname=wulflinc10 idbench=939 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b9c1029cc1d97a8d60e984f96f5d3267  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-pipex.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-pipex.opb
IDLAUNCH: 12200
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        480720 kB
Buffers:         27128 kB
Cached:         504972 kB
SwapCached:          0 kB
Active:          40500 kB
Inactive:       494104 kB
HighTotal:      131008 kB
HighFree:        26124 kB
LowTotal:       903652 kB
LowFree:        454596 kB
SwapTotal:     2097136 kB
SwapFree:      2096784 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6412 kB
Slab:            13540 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 02:08:24 (client local time) WITH STATUS 30 IN 738.323 SECONDS
stats: 12200 0 738.323 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-pipex.opb ......
c The optimum solution is:788263
s OPTIMUM FOUND
v QUAN0101_bit0 QUAN0102_bit0 -QUAN0103_bit0 -QUAN0104_bit0 -QUAN0105_bit0 -QUAN0106_bit0 -QUAN0107_bit0 -QUAN0108_bit0 -QUAN0109_bit0 -QUAN0110_bit0 QUAN0111_bit0 -QUAN0112_bit0 QUAN0113_bit0 -QUAN0114_bit0 -QUAN0115_bit0 -QUAN0116_bit0 -QUAN0201_bit0 -QUAN0202_bit0 -QUAN0203_bit0 -QUAN0204_bit0 -QUAN0205_bit0 -QUAN0206_bit0 QUAN0207_bit0 QUAN0208_bit0 -QUAN0209_bit0 -QUAN0210_bit0 -QUAN0211_bit0 QUAN0212_bit0 -QUAN0213_bit0 QUAN0214_bit0 QUAN0215_bit0 QUAN0216_bit0 -QUAN0301_bit0 -QUAN0302_bit0 QUAN0303_bit0 QUAN0304_bit0 QUAN0305_bit0 QUAN0306_bit0 -QUAN0307_bit0 -QUAN0308_bit0 QUAN0309_bit0 QUAN0310_bit0 -QUAN0311_bit0 -QUAN0312_bit0 -QUAN0313_bit0 -QUAN0314_bit0 -QUAN0315_bit0 -QUAN0316_bit0 
c Done, CPU Time=738.301
#### 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.94 0.98 0.96 2/54 8231
Raw data (stat): 8231 (runsolver) R 8230 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491714396 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0002 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 746 0 0 0 993 5 0 0 25 0 1 0 491714396 4231168 693 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1033 693 231 231 0 802 0
vsize: 4132
[startup+20.0001 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 1096 0 0 0 1992 7 0 0 25 0 1 0 491714396 4902912 946 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1197 946 231 231 0 966 0
vsize: 4788
[startup+30.0006 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 1284 0 0 0 2991 8 0 0 25 0 1 0 491714396 7327744 1134 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1789 1134 231 231 0 1558 0
vsize: 7156
[startup+39.9999 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 1433 0 0 0 3989 10 0 0 25 0 1 0 491714396 7491584 1283 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 1283 231 231 0 1598 0
vsize: 7316
[startup+49.9998 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 1566 0 0 0 4989 11 0 0 25 0 1 0 491714396 7491584 1416 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1829 1416 231 231 0 1598 0
vsize: 7316
[startup+60.0003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 1740 0 0 0 5988 11 0 0 25 0 1 0 491714396 7819264 1590 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1909 1590 231 231 0 1678 0
vsize: 7636
[startup+69.9996 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 1796 0 0 0 6988 12 0 0 25 0 1 0 491714396 8015872 1646 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1957 1646 231 231 0 1726 0
vsize: 7828
[startup+80.0005 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2096 0 0 0 7987 13 0 0 25 0 1 0 491714396 8802304 1753 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2149 1753 231 231 0 1918 0
vsize: 8596
[startup+90 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2230 0 0 0 8986 14 0 0 25 0 1 0 491714396 13193216 1887 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3221 1887 231 231 0 2990 0
vsize: 12884
[startup+99.9993 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2367 0 0 0 9985 15 0 0 25 0 1 0 491714396 13553664 2024 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2024 231 231 0 3078 0
vsize: 13236
[startup+110 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2476 0 0 0 10984 16 0 0 25 0 1 0 491714396 13553664 2133 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2133 231 231 0 3078 0
vsize: 13236
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2570 0 0 0 11984 17 0 0 25 0 1 0 491714396 13701120 2227 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2227 231 231 0 3114 0
vsize: 13380
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2635 0 0 0 12984 17 0 0 25 0 1 0 491714396 13701120 2292 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2292 231 231 0 3114 0
vsize: 13380
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2725 0 0 0 13983 18 0 0 25 0 1 0 491714396 13701120 2382 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2382 231 231 0 3114 0
vsize: 13380
[startup+150 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2784 0 0 0 14982 19 0 0 25 0 1 0 491714396 13881344 2441 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2441 231 231 0 3158 0
vsize: 13556
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2811 0 0 0 15982 19 0 0 25 0 1 0 491714396 13881344 2468 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2468 231 231 0 3158 0
vsize: 13556
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2887 0 0 0 16982 20 0 0 25 0 1 0 491714396 14077952 2544 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2544 231 231 0 3206 0
vsize: 13748
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 2943 0 0 0 17982 20 0 0 25 0 1 0 491714396 14077952 2600 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2600 231 231 0 3206 0
vsize: 13748
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3030 0 0 0 18981 21 0 0 25 0 1 0 491714396 14241792 2687 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2687 231 231 0 3246 0
vsize: 13908
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3080 0 0 0 19981 21 0 0 25 0 1 0 491714396 14241792 2737 4294967295 134512640 135450300 3221224624 3221223456 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2737 231 231 0 3246 0
vsize: 13908
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3168 0 0 0 20980 22 0 0 25 0 1 0 491714396 14647296 2825 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2825 231 231 0 3345 0
vsize: 14304
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3222 0 0 0 21980 23 0 0 25 0 1 0 491714396 14647296 2879 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2879 231 231 0 3345 0
vsize: 14304
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 8231
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3275 0 0 0 22980 23 0 0 25 0 1 0 491714396 14647296 2932 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2932 231 231 0 3345 0
vsize: 14304
[startup+240.002 s]
Raw data (loadavg): 1.07 1.00 0.96 3/57 8275
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3364 0 0 0 23979 24 0 0 25 0 1 0 491714396 14782464 3021 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3609 3021 231 231 0 3378 0
vsize: 14436
[startup+250.003 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 8284
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3458 0 0 0 24979 25 0 0 25 0 1 0 491714396 15052800 3115 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3675 3115 231 231 0 3444 0
vsize: 14700
[startup+260.003 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 8284
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3927 0 0 0 25977 26 0 0 25 0 1 0 491714396 16760832 3199 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3199 231 231 0 3861 0
vsize: 16368
[startup+270.002 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 8284
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 3995 0 0 0 26977 27 0 0 25 0 1 0 491714396 17031168 3267 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3267 231 231 0 3927 0
vsize: 16632
[startup+280.001 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 8284
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4072 0 0 0 27976 27 0 0 25 0 1 0 491714396 17166336 3344 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3344 231 231 0 3960 0
vsize: 16764
[startup+290.003 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 8284
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4122 0 0 0 28976 28 0 0 25 0 1 0 491714396 17166336 3394 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 3394 231 231 0 3960 0
vsize: 16764
[startup+300.002 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 8284
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4212 0 0 0 29976 28 0 0 25 0 1 0 491714396 17436672 3484 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3484 231 231 0 4026 0
vsize: 17028
[startup+310.001 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4260 0 0 0 30976 29 0 0 25 0 1 0 491714396 17436672 3532 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3532 231 231 0 4026 0
vsize: 17028
[startup+320.001 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4326 0 0 0 31975 29 0 0 25 0 1 0 491714396 17707008 3598 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3598 231 231 0 4092 0
vsize: 17292
[startup+330.001 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4383 0 0 0 32975 30 0 0 25 0 1 0 491714396 26095616 3655 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 3655 231 231 0 6140 0
vsize: 25484
[startup+340.001 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4433 0 0 0 33975 30 0 0 25 0 1 0 491714396 26095616 3705 4294967295 134512640 135450300 3221224624 3221223456 134549854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 3705 231 231 0 6140 0
vsize: 25484
[startup+350.001 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4491 0 0 0 34974 31 0 0 25 0 1 0 491714396 26095616 3763 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 3763 231 231 0 6140 0
vsize: 25484
[startup+360.001 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4547 0 0 0 35973 32 0 0 25 0 1 0 491714396 26095616 3819 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 3819 231 231 0 6140 0
vsize: 25484
[startup+370.001 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4589 0 0 0 36973 33 0 0 25 0 1 0 491714396 26230784 3861 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6404 3861 231 231 0 6173 0
vsize: 25616
[startup+380.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4620 0 0 0 37972 33 0 0 25 0 1 0 491714396 26365952 3892 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6437 3892 231 231 0 6206 0
vsize: 25748
[startup+390.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4677 0 0 0 38971 35 0 0 25 0 1 0 491714396 26365952 3949 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6437 3949 231 231 0 6206 0
vsize: 25748
[startup+400 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4728 0 0 0 39971 35 0 0 25 0 1 0 491714396 26501120 4000 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6470 4000 231 231 0 6239 0
vsize: 25880
[startup+410.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4795 0 0 0 40971 35 0 0 25 0 1 0 491714396 26669056 4067 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6511 4067 231 231 0 6280 0
vsize: 26044
[startup+420 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4846 0 0 0 41971 36 0 0 25 0 1 0 491714396 26669056 4118 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6511 4118 231 231 0 6280 0
vsize: 26044
[startup+430.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4854 0 0 0 42971 36 0 0 25 0 1 0 491714396 26669056 4126 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6511 4126 231 231 0 6280 0
vsize: 26044
[startup+440.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 4998 0 0 0 43970 37 0 0 25 0 1 0 491714396 27144192 4270 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6627 4270 231 231 0 6396 0
vsize: 26508
[startup+450 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5045 0 0 0 44970 37 0 0 25 0 1 0 491714396 27144192 4317 4294967295 134512640 135450300 3221224624 3221223456 134549386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6627 4317 231 231 0 6396 0
vsize: 26508
[startup+460 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5053 0 0 0 45970 37 0 0 25 0 1 0 491714396 27144192 4325 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6627 4325 231 231 0 6396 0
vsize: 26508
[startup+470 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5064 0 0 0 46969 38 0 0 25 0 1 0 491714396 27144192 4336 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6627 4336 231 231 0 6396 0
vsize: 26508
[startup+480 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5073 0 0 0 47969 38 0 0 25 0 1 0 491714396 27144192 4345 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6627 4345 231 231 0 6396 0
vsize: 26508
[startup+489.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5086 0 0 0 48969 39 0 0 25 0 1 0 491714396 27144192 4358 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6627 4358 231 231 0 6396 0
vsize: 26508
[startup+499.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5097 0 0 0 49969 39 0 0 25 0 1 0 491714396 27144192 4369 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6627 4369 231 231 0 6396 0
vsize: 26508
[startup+509.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5128 0 0 0 50968 39 0 0 25 0 1 0 491714396 27279360 4400 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6660 4400 231 231 0 6429 0
vsize: 26640
[startup+519.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5147 0 0 0 51968 40 0 0 25 0 1 0 491714396 27279360 4419 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6660 4419 231 231 0 6429 0
vsize: 26640
[startup+530 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5160 0 0 0 52967 41 0 0 25 0 1 0 491714396 27279360 4432 4294967295 134512640 135450300 3221224624 3221223456 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6660 4432 231 231 0 6429 0
vsize: 26640
[startup+540 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5169 0 0 0 53967 41 0 0 25 0 1 0 491714396 27279360 4441 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6660 4441 231 231 0 6429 0
vsize: 26640
[startup+550 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5178 0 0 0 54967 42 0 0 25 0 1 0 491714396 27279360 4450 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6660 4450 231 231 0 6429 0
vsize: 26640
[startup+560.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5254 0 0 0 55967 42 0 0 25 0 1 0 491714396 27754496 4526 4294967295 134512640 135450300 3221224624 3221222724 134615676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 4526 231 231 0 6545 0
vsize: 27104
[startup+570 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5291 0 0 0 56966 43 0 0 25 0 1 0 491714396 27754496 4563 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 4563 231 231 0 6545 0
vsize: 27104
[startup+580 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8286
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5308 0 0 0 57965 44 0 0 25 0 1 0 491714396 27754496 4580 4294967295 134512640 135450300 3221224624 3221223360 134538487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 4580 231 231 0 6545 0
vsize: 27104
[startup+590.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5319 0 0 0 58965 45 0 0 25 0 1 0 491714396 27754496 4591 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 4591 231 231 0 6545 0
vsize: 27104
[startup+600.001 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5363 0 0 0 59964 46 0 0 25 0 1 0 491714396 27951104 4635 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6824 4635 231 231 0 6593 0
vsize: 27296
[startup+610 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5378 0 0 0 60963 47 0 0 25 0 1 0 491714396 27951104 4650 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6824 4650 231 231 0 6593 0
vsize: 27296
[startup+620 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5409 0 0 0 61963 47 0 0 25 0 1 0 491714396 28147712 4681 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 4681 231 231 0 6641 0
vsize: 27488
[startup+630 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5449 0 0 0 62963 47 0 0 25 0 1 0 491714396 28147712 4721 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6872 4721 231 231 0 6641 0
vsize: 27488
[startup+640 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5521 0 0 0 63962 48 0 0 25 0 1 0 491714396 28299264 4793 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6909 4793 231 231 0 6678 0
vsize: 27636
[startup+650 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5533 0 0 0 64962 49 0 0 25 0 1 0 491714396 28299264 4805 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6909 4805 231 231 0 6678 0
vsize: 27636
[startup+660 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 5548 0 0 0 65961 50 0 0 25 0 1 0 491714396 28299264 4820 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6909 4820 231 231 0 6678 0
vsize: 27636
[startup+670 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 6392 0 0 0 66959 52 0 0 25 0 1 0 491714396 31444992 4895 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7677 4895 231 231 0 7446 0
vsize: 30708
[startup+679.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 6468 0 0 0 67958 53 0 0 25 0 1 0 491714396 31662080 4971 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7730 4971 231 231 0 7499 0
vsize: 30920
[startup+689.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 6513 0 0 0 68958 54 0 0 25 0 1 0 491714396 31662080 5016 4294967295 134512640 135450300 3221224624 3221223440 134536520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7730 5016 231 231 0 7499 0
vsize: 30920
[startup+699.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 6570 0 0 0 69957 54 0 0 25 0 1 0 491714396 31662080 5073 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7730 5073 231 231 0 7499 0
vsize: 30920
[startup+709.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 6826 0 0 0 70957 55 0 0 25 0 1 0 491714396 32534528 5329 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7943 5329 231 231 0 7712 0
vsize: 31772
[startup+719.998 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 6865 0 0 0 71956 55 0 0 25 0 1 0 491714396 32534528 5368 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7943 5368 231 231 0 7712 0
vsize: 31772
[startup+729.999 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 7049 0 0 0 72956 57 0 0 25 0 1 0 491714396 33402880 5552 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5552 231 231 0 7924 0
vsize: 32620
[startup+738.192 s]
Raw data (loadavg): 1.00 1.00 0.96 1/53 8288
Raw data (stat): 8231 (PBS4) R 8230 25347 25346 0 -1 0 7049 0 0 0 72956 57 0 0 25 0 1 0 491714396 33402880 5552 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5552 231 231 0 7924 0
vsize: 0

Child status: 30
Real time (s): 738.191
CPU time (s): 738.323
CPU user time (s): 737.731
CPU system time (s): 0.59191
CPU usage (%): 100.018
Max. virtual memory (Kb): 32620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	788263
#### END VERIFIER DATA ####