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/miplib3/normalized-mps-v2-20-10-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 16427

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-21 07:11:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13500 boxname=wulflinc13 idbench=1039 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 13500
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        758760 kB
Buffers:         33796 kB
Cached:         220076 kB
SwapCached:        176 kB
Active:          66216 kB
Inactive:       190440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        758508 kB
SwapTotal:     2097136 kB
SwapFree:      2096860 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6808 kB
Slab:            13532 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 07:31:38 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 13500 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-lseu.opb ......
#### 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.85 0.97 0.91 2/54 499
Raw data (stat): 499 (runsolver) R 498 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484962564 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+9.99957 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1036 0 0 0 995 4 0 0 25 0 1 0 484962564 6504448 983 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1588 983 231 231 0 1357 0
vsize: 6352
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1155 0 0 0 1993 6 0 0 25 0 1 0 484962564 6647808 1102 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1623 1102 231 231 0 1392 0
vsize: 6492
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1371 0 0 0 2992 7 0 0 25 0 1 0 484962564 7176192 1221 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1752 1221 231 231 0 1521 0
vsize: 7008
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1438 0 0 0 3991 8 0 0 25 0 1 0 484962564 7315456 1288 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1786 1288 231 231 0 1555 0
vsize: 7144
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1477 0 0 0 4990 9 0 0 25 0 1 0 484962564 7454720 1327 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1820 1327 231 231 0 1589 0
vsize: 7280
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1517 0 0 0 5989 10 0 0 25 0 1 0 484962564 7618560 1367 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1860 1367 231 231 0 1629 0
vsize: 7440
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1567 0 0 0 6989 11 0 0 25 0 1 0 484962564 7782400 1417 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1900 1417 231 231 0 1669 0
vsize: 7600
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1642 0 0 0 7988 11 0 0 25 0 1 0 484962564 7782400 1492 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1900 1492 231 231 0 1669 0
vsize: 7600
[startup+90.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1717 0 0 0 8988 12 0 0 25 0 1 0 484962564 7929856 1567 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 1567 231 231 0 1705 0
vsize: 7744
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 1754 0 0 0 9988 12 0 0 25 0 1 0 484962564 7929856 1604 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1936 1604 231 231 0 1705 0
vsize: 7744
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2044 0 0 0 10987 14 0 0 25 0 1 0 484962564 8855552 1701 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2162 1701 231 231 0 1931 0
vsize: 8648
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2083 0 0 0 11986 14 0 0 25 0 1 0 484962564 8855552 1740 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2162 1740 231 231 0 1931 0
vsize: 8648
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2169 0 0 0 12985 15 0 0 25 0 1 0 484962564 13185024 1826 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3219 1826 231 231 0 2988 0
vsize: 12876
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2235 0 0 0 13985 16 0 0 25 0 1 0 484962564 13185024 1892 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3219 1892 231 231 0 2988 0
vsize: 12876
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2323 0 0 0 14984 17 0 0 25 0 1 0 484962564 13340672 1980 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 1980 231 231 0 3026 0
vsize: 13028
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2385 0 0 0 15983 18 0 0 25 0 1 0 484962564 13340672 2042 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2042 231 231 0 3026 0
vsize: 13028
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2428 0 0 0 16983 18 0 0 25 0 1 0 484962564 13340672 2085 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2085 231 231 0 3026 0
vsize: 13028
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2494 0 0 0 17983 19 0 0 25 0 1 0 484962564 13340672 2151 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3257 2151 231 231 0 3026 0
vsize: 13028
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2527 0 0 0 18982 20 0 0 25 0 1 0 484962564 13524992 2184 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 2184 231 231 0 3071 0
vsize: 13208
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2580 0 0 0 19982 20 0 0 25 0 1 0 484962564 13524992 2237 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 2237 231 231 0 3071 0
vsize: 13208
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2633 0 0 0 20981 21 0 0 25 0 1 0 484962564 13717504 2290 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3349 2290 231 231 0 3118 0
vsize: 13396
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2678 0 0 0 21980 22 0 0 25 0 1 0 484962564 13717504 2335 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3349 2335 231 231 0 3118 0
vsize: 13396
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2754 0 0 0 22980 23 0 0 25 0 1 0 484962564 13881344 2411 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2411 231 231 0 3158 0
vsize: 13556
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2815 0 0 0 23980 23 0 0 25 0 1 0 484962564 13881344 2472 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2472 231 231 0 3158 0
vsize: 13556
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2867 0 0 0 24980 23 0 0 25 0 1 0 484962564 13881344 2524 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3389 2524 231 231 0 3158 0
vsize: 13556
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2924 0 0 0 25979 24 0 0 25 0 1 0 484962564 14069760 2581 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2581 231 231 0 3204 0
vsize: 13740
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 2966 0 0 0 26979 25 0 0 25 0 1 0 484962564 14069760 2623 4294967295 134512640 135450300 3221224640 3221223360 134535898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2623 231 231 0 3204 0
vsize: 13740
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3083 0 0 0 27978 26 0 0 25 0 1 0 484962564 14266368 2740 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2740 231 231 0 3252 0
vsize: 13932
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3138 0 0 0 28977 27 0 0 25 0 1 0 484962564 14266368 2795 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2795 231 231 0 3252 0
vsize: 13932
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3155 0 0 0 29977 27 0 0 25 0 1 0 484962564 14266368 2812 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2812 231 231 0 3252 0
vsize: 13932
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3197 0 0 0 30977 27 0 0 25 0 1 0 484962564 14266368 2854 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2854 231 231 0 3252 0
vsize: 13932
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3301 0 0 0 31976 28 0 0 25 0 1 0 484962564 14430208 2958 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2958 231 231 0 3292 0
vsize: 14092
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3340 0 0 0 32976 28 0 0 25 0 1 0 484962564 14626816 2997 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2997 231 231 0 3340 0
vsize: 14284
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3423 0 0 0 33976 29 0 0 25 0 1 0 484962564 14626816 3080 4294967295 134512640 135450300 3221224640 3221223472 134549301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 3080 231 231 0 3340 0
vsize: 14284
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3858 0 0 0 34975 30 0 0 25 0 1 0 484962564 16199680 3130 4294967295 134512640 135450300 3221224640 3221223472 134549386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3955 3130 231 231 0 3724 0
vsize: 15820
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 3970 0 0 0 35974 31 0 0 25 0 1 0 484962564 16564224 3242 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3242 231 231 0 3813 0
vsize: 16176
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4010 0 0 0 36974 32 0 0 25 0 1 0 484962564 16564224 3282 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3282 231 231 0 3813 0
vsize: 16176
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4021 0 0 0 37974 32 0 0 25 0 1 0 484962564 16564224 3293 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3293 231 231 0 3813 0
vsize: 16176
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4072 0 0 0 38974 32 0 0 25 0 1 0 484962564 16564224 3344 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3344 231 231 0 3813 0
vsize: 16176
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4111 0 0 0 39974 32 0 0 25 0 1 0 484962564 16564224 3383 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3383 231 231 0 3813 0
vsize: 16176
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4144 0 0 0 40974 32 0 0 25 0 1 0 484962564 16564224 3416 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3416 231 231 0 3813 0
vsize: 16176
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4195 0 0 0 41974 33 0 0 25 0 1 0 484962564 16564224 3467 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4044 3467 231 231 0 3813 0
vsize: 16176
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4257 0 0 0 42974 33 0 0 25 0 1 0 484962564 25149440 3529 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6140 3529 231 231 0 5909 0
vsize: 24560
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4321 0 0 0 43973 34 0 0 25 0 1 0 484962564 25284608 3593 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3593 231 231 0 5942 0
vsize: 24692
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4346 0 0 0 44973 34 0 0 25 0 1 0 484962564 25284608 3618 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3618 231 231 0 5942 0
vsize: 24692
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4376 0 0 0 45973 34 0 0 25 0 1 0 484962564 25284608 3648 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3648 231 231 0 5942 0
vsize: 24692
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4415 0 0 0 46973 34 0 0 25 0 1 0 484962564 25284608 3687 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3687 231 231 0 5942 0
vsize: 24692
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4472 0 0 0 47973 35 0 0 25 0 1 0 484962564 25284608 3744 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3744 231 231 0 5942 0
vsize: 24692
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4542 0 0 0 48972 35 0 0 25 0 1 0 484962564 25284608 3814 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6173 3814 231 231 0 5942 0
vsize: 24692
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4634 0 0 0 49972 36 0 0 25 0 1 0 484962564 25419776 3906 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 3906 231 231 0 5975 0
vsize: 24824
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4660 0 0 0 50971 37 0 0 25 0 1 0 484962564 25419776 3932 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 3932 231 231 0 5975 0
vsize: 24824
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4747 0 0 0 51971 37 0 0 25 0 1 0 484962564 25583616 4019 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4019 231 231 0 6015 0
vsize: 24984
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4777 0 0 0 52971 38 0 0 25 0 1 0 484962564 25583616 4049 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4049 231 231 0 6015 0
vsize: 24984
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4783 0 0 0 53971 38 0 0 25 0 1 0 484962564 25583616 4055 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4055 231 231 0 6015 0
vsize: 24984
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4807 0 0 0 54970 38 0 0 25 0 1 0 484962564 25583616 4079 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 4079 231 231 0 6015 0
vsize: 24984
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4910 0 0 0 55970 39 0 0 25 0 1 0 484962564 25853952 4182 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4182 231 231 0 6081 0
vsize: 25248
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4955 0 0 0 56970 39 0 0 25 0 1 0 484962564 25853952 4227 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4227 231 231 0 6081 0
vsize: 25248
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 4976 0 0 0 57970 40 0 0 25 0 1 0 484962564 25853952 4248 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4248 231 231 0 6081 0
vsize: 25248
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5012 0 0 0 58969 40 0 0 25 0 1 0 484962564 25989120 4284 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4284 231 231 0 6114 0
vsize: 25380
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5058 0 0 0 59971 41 0 0 25 0 1 0 484962564 25989120 4330 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4330 231 231 0 6114 0
vsize: 25380
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5087 0 0 0 60970 41 0 0 25 0 1 0 484962564 25989120 4359 4294967295 134512640 135450300 3221224640 3221223456 134537132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4359 231 231 0 6114 0
vsize: 25380
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5098 0 0 0 61969 42 0 0 25 0 1 0 484962564 25989120 4370 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6345 4370 231 231 0 6114 0
vsize: 25380
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5188 0 0 0 62969 43 0 0 25 0 1 0 484962564 26259456 4460 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4460 231 231 0 6180 0
vsize: 25644
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5228 0 0 0 63968 44 0 0 25 0 1 0 484962564 26259456 4500 4294967295 134512640 135450300 3221224640 3221223560 134539746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4500 231 231 0 6180 0
vsize: 25644
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5297 0 0 0 64968 45 0 0 25 0 1 0 484962564 26394624 4569 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 4569 231 231 0 6213 0
vsize: 25776
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5327 0 0 0 65967 45 0 0 25 0 1 0 484962564 26394624 4599 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 4599 231 231 0 6213 0
vsize: 25776
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5359 0 0 0 66967 45 0 0 25 0 1 0 484962564 26394624 4631 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6444 4631 231 231 0 6213 0
vsize: 25776
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5410 0 0 0 67966 46 0 0 25 0 1 0 484962564 26529792 4682 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6477 4682 231 231 0 6246 0
vsize: 25908
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5418 0 0 0 68966 47 0 0 25 0 1 0 484962564 26529792 4690 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6477 4690 231 231 0 6246 0
vsize: 25908
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5450 0 0 0 69966 47 0 0 25 0 1 0 484962564 26529792 4722 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6477 4722 231 231 0 6246 0
vsize: 25908
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5499 0 0 0 70966 48 0 0 25 0 1 0 484962564 26664960 4771 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4771 231 231 0 6279 0
vsize: 26040
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5523 0 0 0 71965 48 0 0 25 0 1 0 484962564 26664960 4795 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4795 231 231 0 6279 0
vsize: 26040
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5563 0 0 0 72965 48 0 0 25 0 1 0 484962564 26664960 4835 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4835 231 231 0 6279 0
vsize: 26040
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5582 0 0 0 73965 49 0 0 25 0 1 0 484962564 26664960 4854 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4854 231 231 0 6279 0
vsize: 26040
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5602 0 0 0 74965 49 0 0 25 0 1 0 484962564 26664960 4874 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4874 231 231 0 6279 0
vsize: 26040
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5621 0 0 0 75965 49 0 0 25 0 1 0 484962564 26664960 4893 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4893 231 231 0 6279 0
vsize: 26040
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5639 0 0 0 76965 50 0 0 25 0 1 0 484962564 26664960 4911 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4911 231 231 0 6279 0
vsize: 26040
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5672 0 0 0 77965 50 0 0 25 0 1 0 484962564 26664960 4944 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4944 231 231 0 6279 0
vsize: 26040
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5718 0 0 0 78965 50 0 0 25 0 1 0 484962564 26664960 4990 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 4990 231 231 0 6279 0
vsize: 26040
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5770 0 0 0 79964 51 0 0 25 0 1 0 484962564 26664960 5042 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6510 5042 231 231 0 6279 0
vsize: 26040
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5833 0 0 0 80964 51 0 0 25 0 1 0 484962564 26800128 5105 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6543 5105 231 231 0 6312 0
vsize: 26172
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5870 0 0 0 81964 51 0 0 25 0 1 0 484962564 26996736 5142 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5142 231 231 0 6360 0
vsize: 26364
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5890 0 0 0 82964 52 0 0 25 0 1 0 484962564 26996736 5162 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5162 231 231 0 6360 0
vsize: 26364
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5910 0 0 0 83964 52 0 0 25 0 1 0 484962564 26996736 5182 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5182 231 231 0 6360 0
vsize: 26364
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5922 0 0 0 84964 52 0 0 25 0 1 0 484962564 26996736 5194 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5194 231 231 0 6360 0
vsize: 26364
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 5961 0 0 0 85964 52 0 0 25 0 1 0 484962564 26996736 5233 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6591 5233 231 231 0 6360 0
vsize: 26364
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6048 0 0 0 86964 52 0 0 25 0 1 0 484962564 27328512 5320 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5320 231 231 0 6441 0
vsize: 26688
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6078 0 0 0 87964 53 0 0 25 0 1 0 484962564 27328512 5350 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5350 231 231 0 6441 0
vsize: 26688
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6113 0 0 0 88964 53 0 0 25 0 1 0 484962564 27328512 5385 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5385 231 231 0 6441 0
vsize: 26688
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6129 0 0 0 89964 53 0 0 25 0 1 0 484962564 27328512 5401 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5401 231 231 0 6441 0
vsize: 26688
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6140 0 0 0 90964 53 0 0 25 0 1 0 484962564 27328512 5412 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5412 231 231 0 6441 0
vsize: 26688
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6188 0 0 0 91963 54 0 0 25 0 1 0 484962564 27328512 5460 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6672 5460 231 231 0 6441 0
vsize: 26688
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6273 0 0 0 92963 55 0 0 25 0 1 0 484962564 27463680 5545 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5545 231 231 0 6474 0
vsize: 26820
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6297 0 0 0 93963 55 0 0 25 0 1 0 484962564 27463680 5569 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5569 231 231 0 6474 0
vsize: 26820
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6358 0 0 0 94962 55 0 0 25 0 1 0 484962564 27463680 5630 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5630 231 231 0 6474 0
vsize: 26820
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6388 0 0 0 95962 56 0 0 25 0 1 0 484962564 27463680 5660 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5660 231 231 0 6474 0
vsize: 26820
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6433 0 0 0 96962 57 0 0 25 0 1 0 484962564 27463680 5705 4294967295 134512640 135450300 3221224640 3221223456 134536555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 5705 231 231 0 6474 0
vsize: 26820
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6484 0 0 0 97961 57 0 0 25 0 1 0 484962564 27627520 5756 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 5756 231 231 0 6514 0
vsize: 26980
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6511 0 0 0 98961 57 0 0 25 0 1 0 484962564 27627520 5783 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 5783 231 231 0 6514 0
vsize: 26980
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6522 0 0 0 99962 58 0 0 25 0 1 0 484962564 27627520 5794 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 5794 231 231 0 6514 0
vsize: 26980
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6586 0 0 0 100962 58 0 0 25 0 1 0 484962564 27627520 5858 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 5858 231 231 0 6514 0
vsize: 26980
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6614 0 0 0 101964 58 0 0 25 0 1 0 484962564 27627520 5886 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6745 5886 231 231 0 6514 0
vsize: 26980
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6686 0 0 0 102964 58 0 0 25 0 1 0 484962564 27762688 5958 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6778 5958 231 231 0 6547 0
vsize: 27112
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6709 0 0 0 103963 59 0 0 25 0 1 0 484962564 27762688 5981 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6778 5981 231 231 0 6547 0
vsize: 27112
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6722 0 0 0 104964 59 0 0 25 0 1 0 484962564 27762688 5994 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6778 5994 231 231 0 6547 0
vsize: 27112
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6738 0 0 0 105963 59 0 0 25 0 1 0 484962564 27762688 6010 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6778 6010 231 231 0 6547 0
vsize: 27112
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6779 0 0 0 106964 59 0 0 25 0 1 0 484962564 27942912 6051 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6822 6051 231 231 0 6591 0
vsize: 27288
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6820 0 0 0 107964 59 0 0 25 0 1 0 484962564 27942912 6092 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6822 6092 231 231 0 6591 0
vsize: 27288
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6872 0 0 0 108963 60 0 0 25 0 1 0 484962564 28078080 6144 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6855 6144 231 231 0 6624 0
vsize: 27420
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6890 0 0 0 109963 60 0 0 25 0 1 0 484962564 28078080 6162 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6855 6162 231 231 0 6624 0
vsize: 27420
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 6904 0 0 0 110963 61 0 0 25 0 1 0 484962564 28078080 6176 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6855 6176 231 231 0 6624 0
vsize: 27420
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7703 0 0 0 111962 62 0 0 25 0 1 0 484962564 31387648 6206 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6206 231 231 0 7432 0
vsize: 30652
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7742 0 0 0 112961 63 0 0 25 0 1 0 484962564 31387648 6245 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6245 231 231 0 7432 0
vsize: 30652
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7784 0 0 0 113961 63 0 0 25 0 1 0 484962564 31387648 6287 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6287 231 231 0 7432 0
vsize: 30652
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7822 0 0 0 114961 63 0 0 25 0 1 0 484962564 31387648 6325 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6325 231 231 0 7432 0
vsize: 30652
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7846 0 0 0 115961 63 0 0 25 0 1 0 484962564 31387648 6349 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6349 231 231 0 7432 0
vsize: 30652
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7867 0 0 0 116961 64 0 0 25 0 1 0 484962564 31387648 6370 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6370 231 231 0 7432 0
vsize: 30652
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7885 0 0 0 117961 64 0 0 25 0 1 0 484962564 31387648 6388 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6388 231 231 0 7432 0
vsize: 30652
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7900 0 0 0 118961 64 0 0 25 0 1 0 484962564 31387648 6403 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6403 231 231 0 7432 0
vsize: 30652
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 499
Raw data (stat): 499 (PBS4) R 498 30701 30700 0 -1 0 7920 0 0 0 119961 64 0 0 25 0 1 0 484962564 31387648 6423 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7663 6423 231 231 0 7432 0
vsize: 30652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 499
Raw data (stat): 499 (PBS4) Z 498 30701 30700 0 -1 1036 7920 0 0 0 119961 65 0 0 25 0 1 0 484962564 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.28
CPU user time (s): 1199.62
CPU system time (s): 0.658899
CPU usage (%): 100.017
Max. virtual memory (Kb): 30652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####