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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.02684
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 19253

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 18:36:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17192 boxname=wulflinc18 idbench=1323 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b9c1029cc1d97a8d60e984f96f5d3267  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-pipex.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-pipex.opb
IDLAUNCH: 17192
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        821588 kB
Buffers:         12832 kB
Cached:         177620 kB
SwapCached:        764 kB
Active:          61888 kB
Inactive:       130592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        821336 kB
SwapTotal:     2097892 kB
SwapFree:      2096152 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            14780 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 18:48:29 (client local time) WITH STATUS 30 IN 738.437 SECONDS
stats: 17192 0 738.437 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-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.418
#### 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.97 0.91 2/55 4385
Raw data (stat): 4385 (runsolver) R 4384 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547278982 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0015 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 752 0 0 0 995 4 0 0 25 0 1 0 547278982 4231168 699 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1033 699 231 231 0 802 0
vsize: 4132
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 1098 0 0 0 1992 6 0 0 25 0 1 0 547278982 7000064 948 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1709 948 231 231 0 1478 0
vsize: 6836
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 1286 0 0 0 2991 8 0 0 25 0 1 0 547278982 7327744 1136 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1789 1136 231 231 0 1558 0
vsize: 7156
[startup+40.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 1434 0 0 0 3990 9 0 0 25 0 1 0 547278982 7491584 1284 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1829 1284 231 231 0 1598 0
vsize: 7316
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 1566 0 0 0 4989 11 0 0 25 0 1 0 547278982 7491584 1416 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1829 1416 231 231 0 1598 0
vsize: 7316
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 1741 0 0 0 5987 12 0 0 25 0 1 0 547278982 7819264 1591 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1909 1591 231 231 0 1678 0
vsize: 7636
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 1796 0 0 0 6987 12 0 0 25 0 1 0 547278982 8015872 1646 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1957 1646 231 231 0 1726 0
vsize: 7828
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2097 0 0 0 7986 14 0 0 25 0 1 0 547278982 8802304 1754 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2149 1754 231 231 0 1918 0
vsize: 8596
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2232 0 0 0 8985 15 0 0 25 0 1 0 547278982 13193216 1889 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3221 1889 231 231 0 2990 0
vsize: 12884
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2369 0 0 0 9984 16 0 0 25 0 1 0 547278982 13553664 2026 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 2026 231 231 0 3078 0
vsize: 13236
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2476 0 0 0 10983 17 0 0 25 0 1 0 547278982 13553664 2133 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3309 2133 231 231 0 3078 0
vsize: 13236
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2570 0 0 0 11982 19 0 0 25 0 1 0 547278982 13701120 2227 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2227 231 231 0 3114 0
vsize: 13380
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2635 0 0 0 12981 19 0 0 25 0 1 0 547278982 13701120 2292 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2292 231 231 0 3114 0
vsize: 13380
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2725 0 0 0 13981 20 0 0 25 0 1 0 547278982 13701120 2382 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2382 231 231 0 3114 0
vsize: 13380
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2784 0 0 0 14981 21 0 0 25 0 1 0 547278982 13881344 2441 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2441 231 231 0 3158 0
vsize: 13556
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2811 0 0 0 15980 22 0 0 25 0 1 0 547278982 13881344 2468 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2468 231 231 0 3158 0
vsize: 13556
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2887 0 0 0 16980 22 0 0 25 0 1 0 547278982 14077952 2544 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2544 231 231 0 3206 0
vsize: 13748
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 2943 0 0 0 17979 23 0 0 25 0 1 0 547278982 14077952 2600 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2600 231 231 0 3206 0
vsize: 13748
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3030 0 0 0 18979 23 0 0 25 0 1 0 547278982 14241792 2687 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3477 2687 231 231 0 3246 0
vsize: 13908
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3080 0 0 0 19978 24 0 0 25 0 1 0 547278982 14241792 2737 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3477 2737 231 231 0 3246 0
vsize: 13908
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3168 0 0 0 20978 25 0 0 25 0 1 0 547278982 14647296 2825 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3576 2825 231 231 0 3345 0
vsize: 14304
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3222 0 0 0 21977 25 0 0 25 0 1 0 547278982 14647296 2879 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3576 2879 231 231 0 3345 0
vsize: 14304
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3274 0 0 0 22977 26 0 0 25 0 1 0 547278982 14647296 2931 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3576 2931 231 231 0 3345 0
vsize: 14304
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3363 0 0 0 23976 27 0 0 25 0 1 0 547278982 14782464 3020 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3609 3020 231 231 0 3378 0
vsize: 14436
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3458 0 0 0 24976 28 0 0 25 0 1 0 547278982 15052800 3115 4294967295 134512640 135450300 3221224640 3221223484 135069568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3675 3115 231 231 0 3444 0
vsize: 14700
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4385
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3926 0 0 0 25974 29 0 0 25 0 1 0 547278982 16760832 3198 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4092 3198 231 231 0 3861 0
vsize: 16368
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 3994 0 0 0 26973 30 0 0 25 0 1 0 547278982 17031168 3266 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4158 3266 231 231 0 3927 0
vsize: 16632
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4072 0 0 0 27973 31 0 0 25 0 1 0 547278982 17166336 3344 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4191 3344 231 231 0 3960 0
vsize: 16764
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4121 0 0 0 28973 31 0 0 25 0 1 0 547278982 17166336 3393 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4191 3393 231 231 0 3960 0
vsize: 16764
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4212 0 0 0 29972 32 0 0 25 0 1 0 547278982 17436672 3484 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3484 231 231 0 4026 0
vsize: 17028
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4258 0 0 0 30972 32 0 0 25 0 1 0 547278982 17436672 3530 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4257 3530 231 231 0 4026 0
vsize: 17028
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4326 0 0 0 31972 33 0 0 25 0 1 0 547278982 17707008 3598 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4323 3598 231 231 0 4092 0
vsize: 17292
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4382 0 0 0 32971 33 0 0 25 0 1 0 547278982 26095616 3654 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6371 3654 231 231 0 6140 0
vsize: 25484
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4432 0 0 0 33971 34 0 0 25 0 1 0 547278982 26095616 3704 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6371 3704 231 231 0 6140 0
vsize: 25484
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4491 0 0 0 34970 34 0 0 25 0 1 0 547278982 26095616 3763 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6371 3763 231 231 0 6140 0
vsize: 25484
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4545 0 0 0 35970 35 0 0 25 0 1 0 547278982 26095616 3817 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6371 3817 231 231 0 6140 0
vsize: 25484
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4589 0 0 0 36970 35 0 0 25 0 1 0 547278982 26230784 3861 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6404 3861 231 231 0 6173 0
vsize: 25616
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4619 0 0 0 37970 35 0 0 25 0 1 0 547278982 26365952 3891 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 3891 231 231 0 6206 0
vsize: 25748
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4677 0 0 0 38970 36 0 0 25 0 1 0 547278982 26365952 3949 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 3949 231 231 0 6206 0
vsize: 25748
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4728 0 0 0 39969 36 0 0 25 0 1 0 547278982 26501120 4000 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6470 4000 231 231 0 6239 0
vsize: 25880
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4794 0 0 0 40969 37 0 0 25 0 1 0 547278982 26669056 4066 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6511 4066 231 231 0 6280 0
vsize: 26044
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4846 0 0 0 41969 37 0 0 25 0 1 0 547278982 26669056 4118 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6511 4118 231 231 0 6280 0
vsize: 26044
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4854 0 0 0 42969 38 0 0 25 0 1 0 547278982 26669056 4126 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6511 4126 231 231 0 6280 0
vsize: 26044
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 4998 0 0 0 43968 38 0 0 25 0 1 0 547278982 27144192 4270 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 4270 231 231 0 6396 0
vsize: 26508
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5044 0 0 0 44968 39 0 0 25 0 1 0 547278982 27144192 4316 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 4316 231 231 0 6396 0
vsize: 26508
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5052 0 0 0 45968 39 0 0 25 0 1 0 547278982 27144192 4324 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 4324 231 231 0 6396 0
vsize: 26508
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5064 0 0 0 46967 40 0 0 25 0 1 0 547278982 27144192 4336 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 4336 231 231 0 6396 0
vsize: 26508
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5073 0 0 0 47967 40 0 0 25 0 1 0 547278982 27144192 4345 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 4345 231 231 0 6396 0
vsize: 26508
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5086 0 0 0 48967 41 0 0 25 0 1 0 547278982 27144192 4358 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 4358 231 231 0 6396 0
vsize: 26508
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5096 0 0 0 49967 41 0 0 25 0 1 0 547278982 27144192 4368 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 4368 231 231 0 6396 0
vsize: 26508
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5128 0 0 0 50966 42 0 0 25 0 1 0 547278982 27279360 4400 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6660 4400 231 231 0 6429 0
vsize: 26640
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5147 0 0 0 51965 43 0 0 25 0 1 0 547278982 27279360 4419 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6660 4419 231 231 0 6429 0
vsize: 26640
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5160 0 0 0 52965 44 0 0 25 0 1 0 547278982 27279360 4432 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6660 4432 231 231 0 6429 0
vsize: 26640
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5169 0 0 0 53964 44 0 0 25 0 1 0 547278982 27279360 4441 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6660 4441 231 231 0 6429 0
vsize: 26640
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5178 0 0 0 54964 45 0 0 25 0 1 0 547278982 27279360 4450 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6660 4450 231 231 0 6429 0
vsize: 26640
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4387
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5253 0 0 0 55964 46 0 0 25 0 1 0 547278982 27754496 4525 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 4525 231 231 0 6545 0
vsize: 27104
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5290 0 0 0 56964 46 0 0 25 0 1 0 547278982 27754496 4562 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 4562 231 231 0 6545 0
vsize: 27104
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5307 0 0 0 57963 48 0 0 25 0 1 0 547278982 27754496 4579 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 4579 231 231 0 6545 0
vsize: 27104
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5319 0 0 0 58963 48 0 0 25 0 1 0 547278982 27754496 4591 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 4591 231 231 0 6545 0
vsize: 27104
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5363 0 0 0 59962 49 0 0 25 0 1 0 547278982 27951104 4635 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6824 4635 231 231 0 6593 0
vsize: 27296
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5378 0 0 0 60962 49 0 0 25 0 1 0 547278982 27951104 4650 4294967295 134512640 135450300 3221224640 3221223376 134538438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6824 4650 231 231 0 6593 0
vsize: 27296
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5409 0 0 0 61960 51 0 0 25 0 1 0 547278982 28147712 4681 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6872 4681 231 231 0 6641 0
vsize: 27488
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5448 0 0 0 62960 51 0 0 25 0 1 0 547278982 28147712 4720 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6872 4720 231 231 0 6641 0
vsize: 27488
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5521 0 0 0 63959 53 0 0 25 0 1 0 547278982 28299264 4793 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6909 4793 231 231 0 6678 0
vsize: 27636
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5532 0 0 0 64959 53 0 0 25 0 1 0 547278982 28299264 4804 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6909 4804 231 231 0 6678 0
vsize: 27636
[startup+660.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 5547 0 0 0 65958 54 0 0 25 0 1 0 547278982 28299264 4819 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6909 4819 231 231 0 6678 0
vsize: 27636
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 6391 0 0 0 66956 56 0 0 25 0 1 0 547278982 31444992 4894 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7677 4894 231 231 0 7446 0
vsize: 30708
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 6468 0 0 0 67956 57 0 0 25 0 1 0 547278982 31662080 4971 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7730 4971 231 231 0 7499 0
vsize: 30920
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 6503 0 0 0 68955 58 0 0 25 0 1 0 547278982 31662080 5006 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7730 5006 231 231 0 7499 0
vsize: 30920
[startup+700.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 6570 0 0 0 69955 58 0 0 25 0 1 0 547278982 31662080 5073 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7730 5073 231 231 0 7499 0
vsize: 30920
[startup+710.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 6826 0 0 0 70954 59 0 0 25 0 1 0 547278982 32534528 5329 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7943 5329 231 231 0 7712 0
vsize: 31772
[startup+720.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 6865 0 0 0 71953 60 0 0 25 0 1 0 547278982 32534528 5368 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7943 5368 231 231 0 7712 0
vsize: 31772
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 7049 0 0 0 72952 61 0 0 25 0 1 0 547278982 33402880 5552 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5552 231 231 0 7924 0
vsize: 32620
[startup+738.337 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4389
Raw data (stat): 4385 (PBS4) R 4384 20024 20023 0 -1 0 7049 0 0 0 72952 61 0 0 25 0 1 0 547278982 33402880 5552 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5552 231 231 0 7924 0
vsize: 0

Child status: 30
Real time (s): 738.336
CPU time (s): 738.437
CPU user time (s): 737.804
CPU system time (s): 0.632903
CPU usage (%): 100.014
Max. virtual memory (Kb): 32620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	788263
#### END VERIFIER DATA ####