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-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
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.02584
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 15662

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 05:26:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16919 boxname=wulflinc31 idbench=1302 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 16919
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        735256 kB
Buffers:         27284 kB
Cached:         244176 kB
SwapCached:        540 kB
Active:         102168 kB
Inactive:       171320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        735004 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            20168 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 05:46:38 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 16919 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-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.69 0.90 0.90 2/54 22134
Raw data (stat): 22134 (runsolver) R 22133 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542535642 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.74 0.90 0.90 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1034 0 0 0 994 4 0 0 25 0 1 0 542535642 6504448 981 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1588 981 231 231 0 1357 0
vsize: 6352
[startup+20.0012 s]
Raw data (loadavg): 0.78 0.90 0.90 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1152 0 0 0 1993 5 0 0 25 0 1 0 542535642 6647808 1099 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1623 1099 231 231 0 1392 0
vsize: 6492
[startup+30.0021 s]
Raw data (loadavg): 0.81 0.90 0.90 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1371 0 0 0 2992 7 0 0 25 0 1 0 542535642 7176192 1221 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1752 1221 231 231 0 1521 0
vsize: 7008
[startup+40.0017 s]
Raw data (loadavg): 0.84 0.91 0.90 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1438 0 0 0 3991 8 0 0 25 0 1 0 542535642 7315456 1288 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1786 1288 231 231 0 1555 0
vsize: 7144
[startup+50.003 s]
Raw data (loadavg): 0.86 0.91 0.90 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1477 0 0 0 4991 9 0 0 25 0 1 0 542535642 7454720 1327 4294967295 134512640 135450300 3221224640 3221223472 134549311 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.0029 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1517 0 0 0 5990 9 0 0 25 0 1 0 542535642 7618560 1367 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1860 1367 231 231 0 1629 0
vsize: 7440
[startup+70.0036 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1568 0 0 0 6989 10 0 0 25 0 1 0 542535642 7782400 1418 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 1418 231 231 0 1669 0
vsize: 7600
[startup+80.0038 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1642 0 0 0 7989 11 0 0 25 0 1 0 542535642 7782400 1492 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1900 1492 231 231 0 1669 0
vsize: 7600
[startup+90.0037 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1719 0 0 0 8988 12 0 0 25 0 1 0 542535642 7929856 1569 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 1569 231 231 0 1705 0
vsize: 7744
[startup+100.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 1754 0 0 0 9987 13 0 0 25 0 1 0 542535642 7929856 1604 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 1604 231 231 0 1705 0
vsize: 7744
[startup+110.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2045 0 0 0 10986 14 0 0 25 0 1 0 542535642 8855552 1702 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2162 1702 231 231 0 1931 0
vsize: 8648
[startup+120.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2085 0 0 0 11986 15 0 0 25 0 1 0 542535642 8855552 1742 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2162 1742 231 231 0 1931 0
vsize: 8648
[startup+130.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2170 0 0 0 12985 16 0 0 25 0 1 0 542535642 13185024 1827 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3219 1827 231 231 0 2988 0
vsize: 12876
[startup+140.005 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2235 0 0 0 13984 17 0 0 25 0 1 0 542535642 13185024 1892 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3219 1892 231 231 0 2988 0
vsize: 12876
[startup+150.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2325 0 0 0 14984 17 0 0 25 0 1 0 542535642 13340672 1982 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3257 1982 231 231 0 3026 0
vsize: 13028
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2385 0 0 0 15983 18 0 0 25 0 1 0 542535642 13340672 2042 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2042 231 231 0 3026 0
vsize: 13028
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2428 0 0 0 16983 19 0 0 25 0 1 0 542535642 13340672 2085 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2085 231 231 0 3026 0
vsize: 13028
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2495 0 0 0 17982 19 0 0 25 0 1 0 542535642 13340672 2152 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2152 231 231 0 3026 0
vsize: 13028
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2527 0 0 0 18982 20 0 0 25 0 1 0 542535642 13524992 2184 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2184 231 231 0 3071 0
vsize: 13208
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2581 0 0 0 19981 21 0 0 25 0 1 0 542535642 13524992 2238 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2238 231 231 0 3071 0
vsize: 13208
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2633 0 0 0 20981 21 0 0 25 0 1 0 542535642 13717504 2290 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2290 231 231 0 3118 0
vsize: 13396
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2678 0 0 0 21980 22 0 0 25 0 1 0 542535642 13717504 2335 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3349 2335 231 231 0 3118 0
vsize: 13396
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2755 0 0 0 22980 23 0 0 25 0 1 0 542535642 13881344 2412 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2412 231 231 0 3158 0
vsize: 13556
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2815 0 0 0 23979 23 0 0 25 0 1 0 542535642 13881344 2472 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2472 231 231 0 3158 0
vsize: 13556
[startup+250.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2867 0 0 0 24979 24 0 0 25 0 1 0 542535642 13881344 2524 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2524 231 231 0 3158 0
vsize: 13556
[startup+260.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2924 0 0 0 25978 25 0 0 25 0 1 0 542535642 14069760 2581 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3435 2581 231 231 0 3204 0
vsize: 13740
[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 2966 0 0 0 26978 26 0 0 25 0 1 0 542535642 14069760 2623 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3435 2623 231 231 0 3204 0
vsize: 13740
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3083 0 0 0 27977 27 0 0 25 0 1 0 542535642 14266368 2740 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2740 231 231 0 3252 0
vsize: 13932
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3138 0 0 0 28976 27 0 0 25 0 1 0 542535642 14266368 2795 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2795 231 231 0 3252 0
vsize: 13932
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3155 0 0 0 29976 28 0 0 25 0 1 0 542535642 14266368 2812 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2812 231 231 0 3252 0
vsize: 13932
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3197 0 0 0 30976 28 0 0 25 0 1 0 542535642 14266368 2854 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2854 231 231 0 3252 0
vsize: 13932
[startup+320.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3300 0 0 0 31976 29 0 0 25 0 1 0 542535642 14430208 2957 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2957 231 231 0 3292 0
vsize: 14092
[startup+330.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3340 0 0 0 32976 29 0 0 25 0 1 0 542535642 14626816 2997 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2997 231 231 0 3340 0
vsize: 14284
[startup+340.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3422 0 0 0 33975 30 0 0 25 0 1 0 542535642 14626816 3079 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3571 3079 231 231 0 3340 0
vsize: 14284
[startup+350.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3857 0 0 0 34973 32 0 0 25 0 1 0 542535642 16199680 3129 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3955 3129 231 231 0 3724 0
vsize: 15820
[startup+360.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 3969 0 0 0 35972 33 0 0 25 0 1 0 542535642 16564224 3241 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3241 231 231 0 3813 0
vsize: 16176
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4010 0 0 0 36972 33 0 0 25 0 1 0 542535642 16564224 3282 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3282 231 231 0 3813 0
vsize: 16176
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4020 0 0 0 37972 34 0 0 25 0 1 0 542535642 16564224 3292 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3292 231 231 0 3813 0
vsize: 16176
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4071 0 0 0 38971 34 0 0 25 0 1 0 542535642 16564224 3343 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3343 231 231 0 3813 0
vsize: 16176
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4110 0 0 0 39971 35 0 0 25 0 1 0 542535642 16564224 3382 4294967295 134512640 135450300 3221224640 3221223248 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3382 231 231 0 3813 0
vsize: 16176
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4144 0 0 0 40970 36 0 0 25 0 1 0 542535642 16564224 3416 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3416 231 231 0 3813 0
vsize: 16176
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4194 0 0 0 41970 36 0 0 25 0 1 0 542535642 16564224 3466 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3466 231 231 0 3813 0
vsize: 16176
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4256 0 0 0 42970 37 0 0 25 0 1 0 542535642 25149440 3528 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6140 3528 231 231 0 5909 0
vsize: 24560
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4321 0 0 0 43969 37 0 0 25 0 1 0 542535642 25284608 3593 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6173 3593 231 231 0 5942 0
vsize: 24692
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4345 0 0 0 44970 37 0 0 25 0 1 0 542535642 25284608 3617 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6173 3617 231 231 0 5942 0
vsize: 24692
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4376 0 0 0 45970 37 0 0 25 0 1 0 542535642 25284608 3648 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6173 3648 231 231 0 5942 0
vsize: 24692
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4414 0 0 0 46969 38 0 0 25 0 1 0 542535642 25284608 3686 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6173 3686 231 231 0 5942 0
vsize: 24692
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4470 0 0 0 47969 38 0 0 25 0 1 0 542535642 25284608 3742 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6173 3742 231 231 0 5942 0
vsize: 24692
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4535 0 0 0 48969 39 0 0 25 0 1 0 542535642 25284608 3807 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6173 3807 231 231 0 5942 0
vsize: 24692
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4633 0 0 0 49968 40 0 0 25 0 1 0 542535642 25419776 3905 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6206 3905 231 231 0 5975 0
vsize: 24824
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4660 0 0 0 50967 40 0 0 25 0 1 0 542535642 25419776 3932 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6206 3932 231 231 0 5975 0
vsize: 24824
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4745 0 0 0 51967 41 0 0 25 0 1 0 542535642 25583616 4017 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 4017 231 231 0 6015 0
vsize: 24984
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4777 0 0 0 52967 42 0 0 25 0 1 0 542535642 25583616 4049 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 4049 231 231 0 6015 0
vsize: 24984
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4782 0 0 0 53966 42 0 0 25 0 1 0 542535642 25583616 4054 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 4054 231 231 0 6015 0
vsize: 24984
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4806 0 0 0 54967 42 0 0 25 0 1 0 542535642 25583616 4078 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 4078 231 231 0 6015 0
vsize: 24984
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4889 0 0 0 55966 43 0 0 25 0 1 0 542535642 25718784 4161 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6279 4161 231 231 0 6048 0
vsize: 25116
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4955 0 0 0 56965 44 0 0 25 0 1 0 542535642 25853952 4227 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4227 231 231 0 6081 0
vsize: 25248
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 4974 0 0 0 57965 44 0 0 25 0 1 0 542535642 25853952 4246 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6312 4246 231 231 0 6081 0
vsize: 25248
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5011 0 0 0 58965 45 0 0 25 0 1 0 542535642 25989120 4283 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6345 4283 231 231 0 6114 0
vsize: 25380
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5056 0 0 0 59964 45 0 0 25 0 1 0 542535642 25989120 4328 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6345 4328 231 231 0 6114 0
vsize: 25380
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5086 0 0 0 60964 46 0 0 25 0 1 0 542535642 25989120 4358 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6345 4358 231 231 0 6114 0
vsize: 25380
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5097 0 0 0 61964 46 0 0 25 0 1 0 542535642 25989120 4369 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6345 4369 231 231 0 6114 0
vsize: 25380
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5187 0 0 0 62963 47 0 0 25 0 1 0 542535642 26259456 4459 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6411 4459 231 231 0 6180 0
vsize: 25644
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5223 0 0 0 63963 47 0 0 25 0 1 0 542535642 26259456 4495 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6411 4495 231 231 0 6180 0
vsize: 25644
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5295 0 0 0 64963 48 0 0 25 0 1 0 542535642 26394624 4567 4294967295 134512640 135450300 3221224640 3221223360 134535656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6444 4567 231 231 0 6213 0
vsize: 25776
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5326 0 0 0 65963 48 0 0 25 0 1 0 542535642 26394624 4598 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6444 4598 231 231 0 6213 0
vsize: 25776
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5355 0 0 0 66962 49 0 0 25 0 1 0 542535642 26394624 4627 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6444 4627 231 231 0 6213 0
vsize: 25776
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5392 0 0 0 67962 49 0 0 25 0 1 0 542535642 26394624 4664 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6444 4664 231 231 0 6213 0
vsize: 25776
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5418 0 0 0 68962 49 0 0 25 0 1 0 542535642 26529792 4690 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 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 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5441 0 0 0 69962 50 0 0 25 0 1 0 542535642 26529792 4713 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6477 4713 231 231 0 6246 0
vsize: 25908
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5499 0 0 0 70961 50 0 0 25 0 1 0 542535642 26664960 4771 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4771 231 231 0 6279 0
vsize: 26040
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5514 0 0 0 71961 51 0 0 25 0 1 0 542535642 26664960 4786 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4786 231 231 0 6279 0
vsize: 26040
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5560 0 0 0 72961 51 0 0 25 0 1 0 542535642 26664960 4832 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4832 231 231 0 6279 0
vsize: 26040
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5579 0 0 0 73961 51 0 0 25 0 1 0 542535642 26664960 4851 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4851 231 231 0 6279 0
vsize: 26040
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5601 0 0 0 74961 51 0 0 25 0 1 0 542535642 26664960 4873 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4873 231 231 0 6279 0
vsize: 26040
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5620 0 0 0 75961 51 0 0 25 0 1 0 542535642 26664960 4892 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4892 231 231 0 6279 0
vsize: 26040
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5638 0 0 0 76961 52 0 0 25 0 1 0 542535642 26664960 4910 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4910 231 231 0 6279 0
vsize: 26040
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5670 0 0 0 77961 52 0 0 25 0 1 0 542535642 26664960 4942 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4942 231 231 0 6279 0
vsize: 26040
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5715 0 0 0 78961 53 0 0 25 0 1 0 542535642 26664960 4987 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4987 231 231 0 6279 0
vsize: 26040
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5761 0 0 0 79960 53 0 0 25 0 1 0 542535642 26664960 5033 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 5033 231 231 0 6279 0
vsize: 26040
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5830 0 0 0 80960 54 0 0 25 0 1 0 542535642 26800128 5102 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6543 5102 231 231 0 6312 0
vsize: 26172
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5864 0 0 0 81959 55 0 0 25 0 1 0 542535642 26996736 5136 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6591 5136 231 231 0 6360 0
vsize: 26364
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5889 0 0 0 82959 55 0 0 25 0 1 0 542535642 26996736 5161 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6591 5161 231 231 0 6360 0
vsize: 26364
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5909 0 0 0 83959 55 0 0 25 0 1 0 542535642 26996736 5181 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6591 5181 231 231 0 6360 0
vsize: 26364
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5921 0 0 0 84959 55 0 0 25 0 1 0 542535642 26996736 5193 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6591 5193 231 231 0 6360 0
vsize: 26364
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 5942 0 0 0 85959 55 0 0 25 0 1 0 542535642 26996736 5214 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6591 5214 231 231 0 6360 0
vsize: 26364
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6045 0 0 0 86959 56 0 0 25 0 1 0 542535642 27328512 5317 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 5317 231 231 0 6441 0
vsize: 26688
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6070 0 0 0 87959 56 0 0 25 0 1 0 542535642 27328512 5342 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 5342 231 231 0 6441 0
vsize: 26688
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6112 0 0 0 88959 57 0 0 25 0 1 0 542535642 27328512 5384 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 5384 231 231 0 6441 0
vsize: 26688
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6128 0 0 0 89959 57 0 0 25 0 1 0 542535642 27328512 5400 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 5400 231 231 0 6441 0
vsize: 26688
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6140 0 0 0 90958 57 0 0 25 0 1 0 542535642 27328512 5412 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 5412 231 231 0 6441 0
vsize: 26688
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6185 0 0 0 91958 58 0 0 25 0 1 0 542535642 27328512 5457 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6672 5457 231 231 0 6441 0
vsize: 26688
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6271 0 0 0 92958 58 0 0 25 0 1 0 542535642 27463680 5543 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6705 5543 231 231 0 6474 0
vsize: 26820
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6292 0 0 0 93958 59 0 0 25 0 1 0 542535642 27463680 5564 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6705 5564 231 231 0 6474 0
vsize: 26820
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6349 0 0 0 94957 60 0 0 25 0 1 0 542535642 27463680 5621 4294967295 134512640 135450300 3221224640 3221223376 134538472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6705 5621 231 231 0 6474 0
vsize: 26820
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6386 0 0 0 95956 61 0 0 25 0 1 0 542535642 27463680 5658 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6705 5658 231 231 0 6474 0
vsize: 26820
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6427 0 0 0 96956 61 0 0 25 0 1 0 542535642 27463680 5699 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6705 5699 231 231 0 6474 0
vsize: 26820
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6482 0 0 0 97955 62 0 0 25 0 1 0 542535642 27627520 5754 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5754 231 231 0 6514 0
vsize: 26980
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6507 0 0 0 98955 62 0 0 25 0 1 0 542535642 27627520 5779 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5779 231 231 0 6514 0
vsize: 26980
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6521 0 0 0 99955 63 0 0 25 0 1 0 542535642 27627520 5793 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5793 231 231 0 6514 0
vsize: 26980
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6583 0 0 0 100954 63 0 0 25 0 1 0 542535642 27627520 5855 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5855 231 231 0 6514 0
vsize: 26980
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6612 0 0 0 101954 64 0 0 25 0 1 0 542535642 27627520 5884 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6745 5884 231 231 0 6514 0
vsize: 26980
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6667 0 0 0 102954 65 0 0 25 0 1 0 542535642 27762688 5939 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 5939 231 231 0 6547 0
vsize: 27112
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6708 0 0 0 103953 65 0 0 25 0 1 0 542535642 27762688 5980 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 5980 231 231 0 6547 0
vsize: 27112
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6719 0 0 0 104953 65 0 0 25 0 1 0 542535642 27762688 5991 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 5991 231 231 0 6547 0
vsize: 27112
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6734 0 0 0 105953 66 0 0 25 0 1 0 542535642 27762688 6006 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6778 6006 231 231 0 6547 0
vsize: 27112
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6776 0 0 0 106953 66 0 0 25 0 1 0 542535642 27942912 6048 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 6048 231 231 0 6591 0
vsize: 27288
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6814 0 0 0 107953 67 0 0 25 0 1 0 542535642 27942912 6086 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6822 6086 231 231 0 6591 0
vsize: 27288
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6868 0 0 0 108952 67 0 0 25 0 1 0 542535642 28078080 6140 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6855 6140 231 231 0 6624 0
vsize: 27420
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6889 0 0 0 109952 67 0 0 25 0 1 0 542535642 28078080 6161 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6855 6161 231 231 0 6624 0
vsize: 27420
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6899 0 0 0 110952 68 0 0 25 0 1 0 542535642 28078080 6171 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6855 6171 231 231 0 6624 0
vsize: 27420
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 6930 0 0 0 111952 68 0 0 25 0 1 0 542535642 28241920 6202 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6895 6202 231 231 0 6664 0
vsize: 27580
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7732 0 0 0 112950 70 0 0 25 0 1 0 542535642 31387648 6235 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6235 231 231 0 7432 0
vsize: 30652
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7780 0 0 0 113950 70 0 0 25 0 1 0 542535642 31387648 6283 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6283 231 231 0 7432 0
vsize: 30652
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7815 0 0 0 114950 71 0 0 25 0 1 0 542535642 31387648 6318 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6318 231 231 0 7432 0
vsize: 30652
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7845 0 0 0 115949 71 0 0 25 0 1 0 542535642 31387648 6348 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6348 231 231 0 7432 0
vsize: 30652
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7865 0 0 0 116949 72 0 0 25 0 1 0 542535642 31387648 6368 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6368 231 231 0 7432 0
vsize: 30652
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7880 0 0 0 117949 72 0 0 25 0 1 0 542535642 31387648 6383 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6383 231 231 0 7432 0
vsize: 30652
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7899 0 0 0 118949 72 0 0 25 0 1 0 542535642 31387648 6402 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6402 231 231 0 7432 0
vsize: 30652
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22134
Raw data (stat): 22134 (PBS4) R 22133 23176 23175 0 -1 0 7912 0 0 0 119949 72 0 0 25 0 1 0 542535642 31387648 6415 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6415 231 231 0 7432 0
vsize: 30652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22134
Raw data (stat): 22134 (PBS4) Z 22133 23176 23175 0 -1 1036 7912 0 0 0 119949 74 0 0 25 0 1 0 542535642 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.06
CPU time (s): 1200.24
CPU user time (s): 1199.5
CPU system time (s): 0.741887
CPU usage (%): 100.015
Max. virtual memory (Kb): 30652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####