PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
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.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 7966

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-17 17:39:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5024 boxname=wulflinc21 idbench=387 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc21/normalized-lseu.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc21/normalized-lseu.opb
IDLAUNCH: 5024
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 3
cpu MHz		: 451.161
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:        831632 kB
Buffers:         37760 kB
Cached:         144140 kB
SwapCached:          0 kB
Active:          89428 kB
Inactive:        95300 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        831380 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12608 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:59:52 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 5024 7 1200.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc21/normalized-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.92 0.98 0.91 2/55 25916
Raw data (stat): 25916 (runsolver) R 25915 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 389648399 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9998 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 907 0 0 0 994 5 0 0 25 0 1 0 389648399 6234112 854 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1522 854 231 231 0 1291 0
vsize: 6088
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1155 0 0 0 1992 7 0 0 25 0 1 0 389648399 6504448 1102 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1588 1102 231 231 0 1357 0
vsize: 6352
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1298 0 0 0 2991 8 0 0 25 0 1 0 389648399 6897664 1148 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1684 1148 231 231 0 1453 0
vsize: 6736
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1344 0 0 0 3990 9 0 0 25 0 1 0 389648399 7032832 1194 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1717 1194 231 231 0 1486 0
vsize: 6868
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1450 0 0 0 4989 10 0 0 25 0 1 0 389648399 7176192 1300 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1752 1300 231 231 0 1521 0
vsize: 7008
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1546 0 0 0 5989 11 0 0 25 0 1 0 389648399 7323648 1396 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1788 1396 231 231 0 1557 0
vsize: 7152
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1645 0 0 0 6988 12 0 0 25 0 1 0 389648399 7479296 1495 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1826 1495 231 231 0 1595 0
vsize: 7304
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1719 0 0 0 7987 13 0 0 25 0 1 0 389648399 7630848 1569 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1863 1569 231 231 0 1632 0
vsize: 7452
[startup+90.0009 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1795 0 0 0 8986 14 0 0 25 0 1 0 389648399 7630848 1645 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1863 1645 231 231 0 1632 0
vsize: 7452
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 1872 0 0 0 9985 15 0 0 25 0 1 0 389648399 11964416 1722 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2921 1722 231 231 0 2690 0
vsize: 11684
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2146 0 0 0 10984 16 0 0 25 0 1 0 389648399 12750848 1803 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3113 1803 231 231 0 2882 0
vsize: 12452
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2230 0 0 0 11983 17 0 0 25 0 1 0 389648399 12906496 1887 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 1887 231 231 0 2920 0
vsize: 12604
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2289 0 0 0 12983 18 0 0 25 0 1 0 389648399 12906496 1946 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 1946 231 231 0 2920 0
vsize: 12604
[startup+140 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2373 0 0 0 13982 18 0 0 25 0 1 0 389648399 13217792 2030 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2030 231 231 0 2996 0
vsize: 12908
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2438 0 0 0 14981 20 0 0 25 0 1 0 389648399 13217792 2095 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3227 2095 231 231 0 2996 0
vsize: 12908
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2502 0 0 0 15980 21 0 0 25 0 1 0 389648399 13381632 2159 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3267 2159 231 231 0 3036 0
vsize: 13068
[startup+170 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2564 0 0 0 16979 21 0 0 25 0 1 0 389648399 13381632 2221 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3267 2221 231 231 0 3036 0
vsize: 13068
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2592 0 0 0 17979 22 0 0 25 0 1 0 389648399 13381632 2249 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3267 2249 231 231 0 3036 0
vsize: 13068
[startup+190 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2633 0 0 0 18979 22 0 0 25 0 1 0 389648399 13381632 2290 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3267 2290 231 231 0 3036 0
vsize: 13068
[startup+199.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2700 0 0 0 19978 23 0 0 25 0 1 0 389648399 13578240 2357 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3315 2357 231 231 0 3084 0
vsize: 13260
[startup+209.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2732 0 0 0 20978 24 0 0 25 0 1 0 389648399 13578240 2389 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3315 2389 231 231 0 3084 0
vsize: 13260
[startup+219.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2786 0 0 0 21977 24 0 0 25 0 1 0 389648399 13578240 2443 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3315 2443 231 231 0 3084 0
vsize: 13260
[startup+229.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2865 0 0 0 22976 25 0 0 25 0 1 0 389648399 13725696 2522 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3351 2522 231 231 0 3120 0
vsize: 13404
[startup+239.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2899 0 0 0 23976 25 0 0 25 0 1 0 389648399 13725696 2556 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3351 2556 231 231 0 3120 0
vsize: 13404
[startup+250 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2913 0 0 0 24976 26 0 0 25 0 1 0 389648399 13725696 2570 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3351 2570 231 231 0 3120 0
vsize: 13404
[startup+259.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 2984 0 0 0 25975 27 0 0 25 0 1 0 389648399 13889536 2641 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2641 231 231 0 3160 0
vsize: 13564
[startup+269.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3081 0 0 0 26975 27 0 0 25 0 1 0 389648399 14036992 2738 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 2738 231 231 0 3196 0
vsize: 13708
[startup+279.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3134 0 0 0 27974 28 0 0 25 0 1 0 389648399 14036992 2791 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 2791 231 231 0 3196 0
vsize: 13708
[startup+289.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3212 0 0 0 28973 29 0 0 25 0 1 0 389648399 14221312 2869 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2869 231 231 0 3241 0
vsize: 13888
[startup+299.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3255 0 0 0 29973 29 0 0 25 0 1 0 389648399 14221312 2912 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2912 231 231 0 3241 0
vsize: 13888
[startup+309.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3296 0 0 0 30973 30 0 0 25 0 1 0 389648399 14221312 2953 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3472 2953 231 231 0 3241 0
vsize: 13888
[startup+319.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3367 0 0 0 31972 30 0 0 25 0 1 0 389648399 14221312 3024 4294967295 134512640 135450300 3221224640 3221223456 134536841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3472 3024 231 231 0 3241 0
vsize: 13888
[startup+329.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3459 0 0 0 32972 31 0 0 25 0 1 0 389648399 14385152 3116 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3512 3116 231 231 0 3281 0
vsize: 14048
[startup+339.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3531 0 0 0 33971 32 0 0 25 0 1 0 389648399 14385152 3188 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3512 3188 231 231 0 3281 0
vsize: 14048
[startup+349.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3579 0 0 0 34970 32 0 0 25 0 1 0 389648399 14581760 3236 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3560 3236 231 231 0 3329 0
vsize: 14240
[startup+359.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 3645 0 0 0 35970 33 0 0 25 0 1 0 389648399 14581760 3302 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3560 3302 231 231 0 3329 0
vsize: 14240
[startup+369.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4066 0 0 0 36968 35 0 0 25 0 1 0 389648399 24543232 3338 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 3338 231 231 0 5761 0
vsize: 23968
[startup+379.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4125 0 0 0 37967 36 0 0 25 0 1 0 389648399 24543232 3397 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 3397 231 231 0 5761 0
vsize: 23968
[startup+389.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4153 0 0 0 38967 36 0 0 25 0 1 0 389648399 24543232 3425 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 3425 231 231 0 5761 0
vsize: 23968
[startup+399.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4254 0 0 0 39967 37 0 0 25 0 1 0 389648399 24543232 3526 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5992 3526 231 231 0 5761 0
vsize: 23968
[startup+409.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4324 0 0 0 40966 37 0 0 25 0 1 0 389648399 24707072 3596 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6032 3596 231 231 0 5801 0
vsize: 24128
[startup+419.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4376 0 0 0 41966 38 0 0 25 0 1 0 389648399 24707072 3648 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6032 3648 231 231 0 5801 0
vsize: 24128
[startup+429.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4439 0 0 0 42966 38 0 0 25 0 1 0 389648399 24842240 3711 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 3711 231 231 0 5834 0
vsize: 24260
[startup+439.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4485 0 0 0 43966 39 0 0 25 0 1 0 389648399 24842240 3757 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 3757 231 231 0 5834 0
vsize: 24260
[startup+449.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4580 0 0 0 44965 39 0 0 25 0 1 0 389648399 24997888 3852 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6103 3852 231 231 0 5872 0
vsize: 24412
[startup+459.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4624 0 0 0 45965 39 0 0 25 0 1 0 389648399 24997888 3896 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6103 3896 231 231 0 5872 0
vsize: 24412
[startup+469.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4670 0 0 0 46965 40 0 0 25 0 1 0 389648399 25161728 3942 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6143 3942 231 231 0 5912 0
vsize: 24572
[startup+479.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4751 0 0 0 47965 40 0 0 25 0 1 0 389648399 25296896 4023 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 4023 231 231 0 5945 0
vsize: 24704
[startup+489.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4784 0 0 0 48965 40 0 0 25 0 1 0 389648399 25296896 4056 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 4056 231 231 0 5945 0
vsize: 24704
[startup+499.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4815 0 0 0 49964 41 0 0 25 0 1 0 389648399 25296896 4087 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 4087 231 231 0 5945 0
vsize: 24704
[startup+509.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4840 0 0 0 50964 41 0 0 25 0 1 0 389648399 25296896 4112 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 4112 231 231 0 5945 0
vsize: 24704
[startup+519.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4843 0 0 0 51964 41 0 0 25 0 1 0 389648399 25296896 4115 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 4115 231 231 0 5945 0
vsize: 24704
[startup+529.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4872 0 0 0 52964 42 0 0 25 0 1 0 389648399 25456640 4144 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6215 4144 231 231 0 5984 0
vsize: 24860
[startup+539.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4952 0 0 0 53964 42 0 0 25 0 1 0 389648399 25591808 4224 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6248 4224 231 231 0 6017 0
vsize: 24992
[startup+549.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 4996 0 0 0 54964 42 0 0 25 0 1 0 389648399 25788416 4268 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6296 4268 231 231 0 6065 0
vsize: 25184
[startup+559.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5005 0 0 0 55963 43 0 0 25 0 1 0 389648399 25788416 4277 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6296 4277 231 231 0 6065 0
vsize: 25184
[startup+569.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5042 0 0 0 56963 43 0 0 25 0 1 0 389648399 25788416 4314 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6296 4314 231 231 0 6065 0
vsize: 25184
[startup+579.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5074 0 0 0 57963 43 0 0 25 0 1 0 389648399 25788416 4346 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6296 4346 231 231 0 6065 0
vsize: 25184
[startup+589.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5153 0 0 0 58962 44 0 0 25 0 1 0 389648399 25923584 4425 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6329 4425 231 231 0 6098 0
vsize: 25316
[startup+599.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5160 0 0 0 59962 45 0 0 25 0 1 0 389648399 25923584 4432 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6329 4432 231 231 0 6098 0
vsize: 25316
[startup+609.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5174 0 0 0 60962 45 0 0 25 0 1 0 389648399 25923584 4446 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6329 4446 231 231 0 6098 0
vsize: 25316
[startup+619.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5233 0 0 0 61961 46 0 0 25 0 1 0 389648399 26120192 4505 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4505 231 231 0 6146 0
vsize: 25508
[startup+629.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5280 0 0 0 62961 46 0 0 25 0 1 0 389648399 26120192 4552 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6377 4552 231 231 0 6146 0
vsize: 25508
[startup+639.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5341 0 0 0 63961 47 0 0 25 0 1 0 389648399 26255360 4613 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6410 4613 231 231 0 6179 0
vsize: 25640
[startup+649.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5372 0 0 0 64961 47 0 0 25 0 1 0 389648399 26255360 4644 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6410 4644 231 231 0 6179 0
vsize: 25640
[startup+659.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5423 0 0 0 65961 47 0 0 25 0 1 0 389648399 26390528 4695 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6443 4695 231 231 0 6212 0
vsize: 25772
[startup+669.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5447 0 0 0 66960 48 0 0 25 0 1 0 389648399 26390528 4719 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6443 4719 231 231 0 6212 0
vsize: 25772
[startup+679.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5471 0 0 0 67960 48 0 0 25 0 1 0 389648399 26390528 4743 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6443 4743 231 231 0 6212 0
vsize: 25772
[startup+689.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5514 0 0 0 68960 49 0 0 25 0 1 0 389648399 26390528 4786 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6443 4786 231 231 0 6212 0
vsize: 25772
[startup+699.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5576 0 0 0 69959 49 0 0 25 0 1 0 389648399 26525696 4848 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6476 4848 231 231 0 6245 0
vsize: 25904
[startup+709.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5622 0 0 0 70959 49 0 0 25 0 1 0 389648399 26660864 4894 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 4894 231 231 0 6278 0
vsize: 26036
[startup+719.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5646 0 0 0 71959 50 0 0 25 0 1 0 389648399 26660864 4918 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 4918 231 231 0 6278 0
vsize: 26036
[startup+729.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5684 0 0 0 72958 51 0 0 25 0 1 0 389648399 26660864 4956 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 4956 231 231 0 6278 0
vsize: 26036
[startup+739.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5726 0 0 0 73958 51 0 0 25 0 1 0 389648399 26660864 4998 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 4998 231 231 0 6278 0
vsize: 26036
[startup+749.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5773 0 0 0 74958 51 0 0 25 0 1 0 389648399 26660864 5045 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 5045 231 231 0 6278 0
vsize: 26036
[startup+759.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5850 0 0 0 75957 52 0 0 25 0 1 0 389648399 26931200 5122 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5122 231 231 0 6344 0
vsize: 26300
[startup+769.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5882 0 0 0 76957 53 0 0 25 0 1 0 389648399 26931200 5154 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5154 231 231 0 6344 0
vsize: 26300
[startup+779.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5942 0 0 0 77957 53 0 0 25 0 1 0 389648399 26931200 5214 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5214 231 231 0 6344 0
vsize: 26300
[startup+789.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 5971 0 0 0 78957 53 0 0 25 0 1 0 389648399 26931200 5243 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5243 231 231 0 6344 0
vsize: 26300
[startup+799.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6001 0 0 0 79957 54 0 0 25 0 1 0 389648399 26931200 5273 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5273 231 231 0 6344 0
vsize: 26300
[startup+809.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6050 0 0 0 80956 54 0 0 25 0 1 0 389648399 26931200 5322 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6575 5322 231 231 0 6344 0
vsize: 26300
[startup+819.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6103 0 0 0 81956 54 0 0 25 0 1 0 389648399 27201536 5375 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5375 231 231 0 6410 0
vsize: 26564
[startup+829.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6120 0 0 0 82956 55 0 0 25 0 1 0 389648399 27201536 5392 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5392 231 231 0 6410 0
vsize: 26564
[startup+839.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6133 0 0 0 83956 55 0 0 25 0 1 0 389648399 27201536 5405 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5405 231 231 0 6410 0
vsize: 26564
[startup+849.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6165 0 0 0 84955 56 0 0 25 0 1 0 389648399 27201536 5437 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5437 231 231 0 6410 0
vsize: 26564
[startup+859.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6200 0 0 0 85955 56 0 0 25 0 1 0 389648399 27201536 5472 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5472 231 231 0 6410 0
vsize: 26564
[startup+869.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6231 0 0 0 86955 56 0 0 25 0 1 0 389648399 27201536 5503 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5503 231 231 0 6410 0
vsize: 26564
[startup+879.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6259 0 0 0 87955 56 0 0 25 0 1 0 389648399 27201536 5531 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5531 231 231 0 6410 0
vsize: 26564
[startup+889.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6273 0 0 0 88955 57 0 0 25 0 1 0 389648399 27201536 5545 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5545 231 231 0 6410 0
vsize: 26564
[startup+899.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6277 0 0 0 89955 57 0 0 25 0 1 0 389648399 27377664 5549 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6684 5549 231 231 0 6453 0
vsize: 26736
[startup+909.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6329 0 0 0 90955 57 0 0 25 0 1 0 389648399 27512832 5601 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5601 231 231 0 6486 0
vsize: 26868
[startup+919.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6332 0 0 0 91955 57 0 0 25 0 1 0 389648399 27512832 5604 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5604 231 231 0 6486 0
vsize: 26868
[startup+929.991 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6342 0 0 0 92955 58 0 0 25 0 1 0 389648399 27512832 5614 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5614 231 231 0 6486 0
vsize: 26868
[startup+939.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6344 0 0 0 93955 58 0 0 25 0 1 0 389648399 27512832 5616 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5616 231 231 0 6486 0
vsize: 26868
[startup+949.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6350 0 0 0 94955 58 0 0 25 0 1 0 389648399 27512832 5622 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5622 231 231 0 6486 0
vsize: 26868
[startup+959.991 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6359 0 0 0 95955 58 0 0 25 0 1 0 389648399 27512832 5631 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5631 231 231 0 6486 0
vsize: 26868
[startup+969.991 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6367 0 0 0 96955 59 0 0 25 0 1 0 389648399 27512832 5639 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6717 5639 231 231 0 6486 0
vsize: 26868
[startup+979.992 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6474 0 0 0 97954 60 0 0 25 0 1 0 389648399 28082176 5746 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 5746 231 231 0 6625 0
vsize: 27424
[startup+989.991 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6512 0 0 0 98954 60 0 0 25 0 1 0 389648399 28082176 5784 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 5784 231 231 0 6625 0
vsize: 27424
[startup+999.992 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6538 0 0 0 99954 60 0 0 25 0 1 0 389648399 28082176 5810 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 5810 231 231 0 6625 0
vsize: 27424
[startup+1009.99 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6566 0 0 0 100954 60 0 0 25 0 1 0 389648399 28082176 5838 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 5838 231 231 0 6625 0
vsize: 27424
[startup+1019.99 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6624 0 0 0 101953 62 0 0 25 0 1 0 389648399 28082176 5896 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 5896 231 231 0 6625 0
vsize: 27424
[startup+1029.99 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6651 0 0 0 102953 62 0 0 25 0 1 0 389648399 28217344 5923 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 5923 231 231 0 6658 0
vsize: 27556
[startup+1039.99 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6681 0 0 0 103952 63 0 0 25 0 1 0 389648399 28217344 5953 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 5953 231 231 0 6658 0
vsize: 27556
[startup+1049.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6722 0 0 0 104952 63 0 0 25 0 1 0 389648399 28217344 5994 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 5994 231 231 0 6658 0
vsize: 27556
[startup+1059.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6735 0 0 0 105952 63 0 0 25 0 1 0 389648399 28217344 6007 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 6007 231 231 0 6658 0
vsize: 27556
[startup+1069.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6757 0 0 0 106952 63 0 0 25 0 1 0 389648399 28217344 6029 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 6029 231 231 0 6658 0
vsize: 27556
[startup+1079.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6785 0 0 0 107952 63 0 0 25 0 1 0 389648399 28217344 6057 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 6057 231 231 0 6658 0
vsize: 27556
[startup+1089.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6803 0 0 0 108952 64 0 0 25 0 1 0 389648399 28217344 6075 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6889 6075 231 231 0 6658 0
vsize: 27556
[startup+1099.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6845 0 0 0 109952 64 0 0 25 0 1 0 389648399 28360704 6117 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 6117 231 231 0 6693 0
vsize: 27696
[startup+1109.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6887 0 0 0 110952 64 0 0 25 0 1 0 389648399 28360704 6159 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 6159 231 231 0 6693 0
vsize: 27696
[startup+1119.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6911 0 0 0 111951 65 0 0 25 0 1 0 389648399 28360704 6183 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 6183 231 231 0 6693 0
vsize: 27696
[startup+1129.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 6952 0 0 0 112951 65 0 0 25 0 1 0 389648399 28360704 6224 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 6224 231 231 0 6693 0
vsize: 27696
[startup+1139.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 7007 0 0 0 113951 66 0 0 25 0 1 0 389648399 28360704 6279 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 6279 231 231 0 6693 0
vsize: 27696
[startup+1149.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 7043 0 0 0 114951 66 0 0 25 0 1 0 389648399 28360704 6315 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 6315 231 231 0 6693 0
vsize: 27696
[startup+1159.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 7861 0 0 0 115949 67 0 0 25 0 1 0 389648399 31641600 6364 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 6364 231 231 0 7494 0
vsize: 30900
[startup+1169.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 7896 0 0 0 116949 68 0 0 25 0 1 0 389648399 31641600 6399 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7725 6399 231 231 0 7494 0
vsize: 30900
[startup+1179.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 7962 0 0 0 117949 68 0 0 25 0 1 0 389648399 31776768 6465 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7758 6465 231 231 0 7527 0
vsize: 31032
[startup+1189.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 8014 0 0 0 118949 68 0 0 25 0 1 0 389648399 31911936 6517 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6517 231 231 0 7560 0
vsize: 31164
[startup+1199.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 25916
Raw data (stat): 25916 (PBS4) R 25915 30927 30926 0 -1 0 8033 0 0 0 119949 68 0 0 25 0 1 0 389648399 31911936 6536 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6536 231 231 0 7560 0
vsize: 31164
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 25916
Raw data (stat): 25916 (PBS4) Z 25915 30927 30926 0 -1 1036 8033 0 0 0 119949 70 0 0 25 0 1 0 389648399 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.01
CPU time (s): 1200.2
CPU user time (s): 1199.5
CPU system time (s): 0.701893
CPU usage (%): 100.016
Max. virtual memory (Kb): 31164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####