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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb
MD5SUM	3fce91583b30a82646d8d8e778b97a89
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	19
Optimality of the best value was proved	NO
Number of terms in the objective function	288
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	288
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	288
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	2112
Total number of constraints	7132
Number of constraints which are clauses	4128
Number of constraints which are cardinality constraints (but not clauses)	2328
Number of constraints which are nor clauses,nor cardinality constraints	676
Minimum length of a constraint	1
Maximum length of a constraint	32
Trace number 14108

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-20 22:53:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19649 boxname=wulflinc2 idbench=1512 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos1.opb
IDLAUNCH: 19649
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        485496 kB
Buffers:         35876 kB
Cached:         489152 kB
SwapCached:          0 kB
Active:         141752 kB
Inactive:       386048 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        485244 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            15616 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 23:13:56 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 19649 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos1.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.78 0.95 0.94 2/54 14162
Raw data (stat): 14162 (runsolver) R 14161 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481973637 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.81 0.95 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 572 0 0 0 996 3 0 0 25 0 1 0 481973637 3129344 564 4294967295 134512640 135450300 3221224640 3221223376 134538092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 764 564 231 231 0 533 0
vsize: 3056
[startup+20.0012 s]
Raw data (loadavg): 0.84 0.95 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 684 0 0 0 1995 4 0 0 25 0 1 0 481973637 3788800 676 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 925 676 231 231 0 694 0
vsize: 3700
[startup+30.0019 s]
Raw data (loadavg): 0.86 0.95 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 835 0 0 0 2994 5 0 0 25 0 1 0 481973637 5033984 778 4294967295 134512640 135450300 3221224640 3221223248 134537664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1229 778 231 231 0 998 0
vsize: 4916
[startup+40.0096 s]
Raw data (loadavg): 0.89 0.95 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 916 0 0 0 3994 6 0 0 25 0 1 0 481973637 5033984 859 4294967295 134512640 135450300 3221224640 3221223376 134537943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1229 859 231 231 0 998 0
vsize: 4916
[startup+50.0143 s]
Raw data (loadavg): 0.90 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 986 0 0 0 4994 7 0 0 25 0 1 0 481973637 5169152 929 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1262 929 231 231 0 1031 0
vsize: 5048
[startup+60.0143 s]
Raw data (loadavg): 0.92 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1104 0 0 0 5993 8 0 0 25 0 1 0 481973637 5308416 1047 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1296 1047 231 231 0 1065 0
vsize: 5184
[startup+70.014 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1237 0 0 0 6991 9 0 0 25 0 1 0 481973637 7680000 1180 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 1180 231 231 0 1644 0
vsize: 7500
[startup+80.0144 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1325 0 0 0 7990 10 0 0 25 0 1 0 481973637 7680000 1268 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1875 1268 231 231 0 1644 0
vsize: 7500
[startup+90.0144 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1401 0 0 0 8989 11 0 0 25 0 1 0 481973637 7819264 1344 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1909 1344 231 231 0 1678 0
vsize: 7636
[startup+100.015 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1457 0 0 0 9989 12 0 0 25 0 1 0 481973637 7946240 1400 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1940 1400 231 231 0 1709 0
vsize: 7760
[startup+110.016 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1574 0 0 0 10988 13 0 0 25 0 1 0 481973637 8466432 1420 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2067 1420 231 231 0 1836 0
vsize: 8268
[startup+120.023 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1652 0 0 0 11988 15 0 0 25 0 1 0 481973637 8466432 1498 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2067 1498 231 231 0 1836 0
vsize: 8268
[startup+130.023 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1699 0 0 0 12987 15 0 0 25 0 1 0 481973637 8589312 1545 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2097 1545 231 231 0 1866 0
vsize: 8388
[startup+140.023 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1725 0 0 0 13986 16 0 0 25 0 1 0 481973637 8589312 1571 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2097 1571 231 231 0 1866 0
vsize: 8388
[startup+150.024 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1783 0 0 0 14985 17 0 0 25 0 1 0 481973637 8724480 1629 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2130 1629 231 231 0 1899 0
vsize: 8520
[startup+160.023 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1869 0 0 0 15984 19 0 0 25 0 1 0 481973637 8724480 1715 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2130 1715 231 231 0 1899 0
vsize: 8520
[startup+170.023 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1957 0 0 0 16983 21 0 0 25 0 1 0 481973637 8863744 1803 4294967295 134512640 135450300 3221224640 3221222992 134533319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2164 1803 231 231 0 1933 0
vsize: 8656
[startup+180.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 1987 0 0 0 17982 21 0 0 25 0 1 0 481973637 8863744 1833 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2164 1833 231 231 0 1933 0
vsize: 8656
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2012 0 0 0 18981 22 0 0 25 0 1 0 481973637 9023488 1858 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2203 1858 231 231 0 1972 0
vsize: 8812
[startup+200.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2025 0 0 0 19981 23 0 0 25 0 1 0 481973637 9023488 1871 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2203 1871 231 231 0 1972 0
vsize: 8812
[startup+210.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2063 0 0 0 20980 24 0 0 25 0 1 0 481973637 9023488 1909 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2203 1909 231 231 0 1972 0
vsize: 8812
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2090 0 0 0 21979 25 0 0 25 0 1 0 481973637 9154560 1936 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2235 1936 231 231 0 2004 0
vsize: 8940
[startup+230.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2111 0 0 0 22979 26 0 0 25 0 1 0 481973637 9154560 1957 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2235 1957 231 231 0 2004 0
vsize: 8940
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2141 0 0 0 23978 27 0 0 25 0 1 0 481973637 9154560 1987 4294967295 134512640 135450300 3221224640 3221223504 134539241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2235 1987 231 231 0 2004 0
vsize: 8940
[startup+250.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2404 0 0 0 24977 28 0 0 25 0 1 0 481973637 10092544 2057 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2464 2057 231 231 0 2233 0
vsize: 9856
[startup+260.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2465 0 0 0 25977 28 0 0 25 0 1 0 481973637 14286848 2118 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2118 231 231 0 3257 0
vsize: 13952
[startup+270.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2481 0 0 0 26976 29 0 0 25 0 1 0 481973637 14286848 2134 4294967295 134512640 135450300 3221224640 3221223456 134546768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2134 231 231 0 3257 0
vsize: 13952
[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2499 0 0 0 27976 30 0 0 25 0 1 0 481973637 14286848 2152 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2152 231 231 0 3257 0
vsize: 13952
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2548 0 0 0 28975 30 0 0 25 0 1 0 481973637 14286848 2201 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3488 2201 231 231 0 3257 0
vsize: 13952
[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2592 0 0 0 29975 31 0 0 25 0 1 0 481973637 14405632 2245 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3517 2245 231 231 0 3286 0
vsize: 14068
[startup+310.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2635 0 0 0 30975 32 0 0 25 0 1 0 481973637 14405632 2288 4294967295 134512640 135450300 3221224640 3221222992 134533176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3517 2288 231 231 0 3286 0
vsize: 14068
[startup+320.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2698 0 0 0 31975 32 0 0 25 0 1 0 481973637 14405632 2351 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3517 2351 231 231 0 3286 0
vsize: 14068
[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2759 0 0 0 32974 32 0 0 25 0 1 0 481973637 14561280 2412 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2412 231 231 0 3324 0
vsize: 14220
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2825 0 0 0 33973 34 0 0 25 0 1 0 481973637 14561280 2478 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2478 231 231 0 3324 0
vsize: 14220
[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2847 0 0 0 34972 35 0 0 25 0 1 0 481973637 14561280 2500 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2500 231 231 0 3324 0
vsize: 14220
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2906 0 0 0 35972 36 0 0 25 0 1 0 481973637 14561280 2559 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2559 231 231 0 3324 0
vsize: 14220
[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14162
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 2961 0 0 0 36971 37 0 0 25 0 1 0 481973637 14696448 2614 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2614 231 231 0 3357 0
vsize: 14352
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14215
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3037 0 0 0 37970 38 0 0 25 0 1 0 481973637 14696448 2690 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2690 231 231 0 3357 0
vsize: 14352
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14215
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3060 0 0 0 38969 38 0 0 25 0 1 0 481973637 14696448 2713 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2713 231 231 0 3357 0
vsize: 14352
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14215
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3101 0 0 0 39969 39 0 0 25 0 1 0 481973637 14696448 2754 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2754 231 231 0 3357 0
vsize: 14352
[startup+410.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14215
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3157 0 0 0 40968 40 0 0 25 0 1 0 481973637 14696448 2810 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3588 2810 231 231 0 3357 0
vsize: 14352
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14215
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3221 0 0 0 41967 41 0 0 25 0 1 0 481973637 14827520 2874 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3620 2874 231 231 0 3389 0
vsize: 14480
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14215
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3261 0 0 0 42966 42 0 0 25 0 1 0 481973637 14827520 2914 4294967295 134512640 135450300 3221224640 3221223456 134537284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3620 2914 231 231 0 3389 0
vsize: 14480
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14215
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3323 0 0 0 43965 43 0 0 25 0 1 0 481973637 14974976 2976 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3656 2976 231 231 0 3425 0
vsize: 14624
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3380 0 0 0 44964 44 0 0 25 0 1 0 481973637 14974976 3033 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3656 3033 231 231 0 3425 0
vsize: 14624
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3459 0 0 0 45964 45 0 0 25 0 1 0 481973637 14974976 3112 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3656 3112 231 231 0 3425 0
vsize: 14624
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3483 0 0 0 46963 46 0 0 25 0 1 0 481973637 14974976 3136 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3656 3136 231 231 0 3425 0
vsize: 14624
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3492 0 0 0 47962 47 0 0 25 0 1 0 481973637 14974976 3145 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3656 3145 231 231 0 3425 0
vsize: 14624
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3498 0 0 0 48962 48 0 0 25 0 1 0 481973637 14974976 3151 4294967295 134512640 135450300 3221224640 3221223248 134537546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3656 3151 231 231 0 3425 0
vsize: 14624
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3529 0 0 0 49961 48 0 0 25 0 1 0 481973637 15138816 3182 4294967295 134512640 135450300 3221224640 3221223456 134547173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3696 3182 231 231 0 3465 0
vsize: 14784
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3575 0 0 0 50960 49 0 0 25 0 1 0 481973637 15138816 3228 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3696 3228 231 231 0 3465 0
vsize: 14784
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3642 0 0 0 51960 50 0 0 25 0 1 0 481973637 15138816 3295 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3696 3295 231 231 0 3465 0
vsize: 14784
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3707 0 0 0 52959 51 0 0 25 0 1 0 481973637 15269888 3360 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3728 3360 231 231 0 3497 0
vsize: 14912
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3756 0 0 0 53958 52 0 0 25 0 1 0 481973637 15269888 3409 4294967295 134512640 135450300 3221224640 3221223472 134549301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3728 3409 231 231 0 3497 0
vsize: 14912
[startup+550.033 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3800 0 0 0 54958 53 0 0 25 0 1 0 481973637 15269888 3453 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3728 3453 231 231 0 3497 0
vsize: 14912
[startup+560.032 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3855 0 0 0 55958 53 0 0 25 0 1 0 481973637 15269888 3508 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3728 3508 231 231 0 3497 0
vsize: 14912
[startup+570.032 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3916 0 0 0 56957 54 0 0 25 0 1 0 481973637 23822336 3569 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5816 3569 231 231 0 5585 0
vsize: 23264
[startup+580.032 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 3973 0 0 0 57956 55 0 0 25 0 1 0 481973637 23822336 3626 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5816 3626 231 231 0 5585 0
vsize: 23264
[startup+590.031 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4029 0 0 0 58955 56 0 0 25 0 1 0 481973637 23822336 3682 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5816 3682 231 231 0 5585 0
vsize: 23264
[startup+600.032 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4087 0 0 0 59954 57 0 0 25 0 1 0 481973637 23822336 3740 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5816 3740 231 231 0 5585 0
vsize: 23264
[startup+610.032 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4542 0 0 0 60953 59 0 0 25 0 1 0 481973637 25542656 3810 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 3810 231 231 0 6005 0
vsize: 24944
[startup+620.031 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4596 0 0 0 61952 60 0 0 25 0 1 0 481973637 25542656 3864 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 3864 231 231 0 6005 0
vsize: 24944
[startup+630.031 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4617 0 0 0 62951 61 0 0 25 0 1 0 481973637 25542656 3885 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 3885 231 231 0 6005 0
vsize: 24944
[startup+640.031 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4633 0 0 0 63950 62 0 0 25 0 1 0 481973637 25681920 3901 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6270 3901 231 231 0 6039 0
vsize: 25080
[startup+650.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4646 0 0 0 64950 63 0 0 25 0 1 0 481973637 25681920 3914 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6270 3914 231 231 0 6039 0
vsize: 25080
[startup+660.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4679 0 0 0 65948 64 0 0 25 0 1 0 481973637 25681920 3947 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6270 3947 231 231 0 6039 0
vsize: 25080
[startup+670.031 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4728 0 0 0 66948 65 0 0 25 0 1 0 481973637 25841664 3996 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 3996 231 231 0 6078 0
vsize: 25236
[startup+680.032 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4778 0 0 0 67948 65 0 0 25 0 1 0 481973637 25841664 4046 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 4046 231 231 0 6078 0
vsize: 25236
[startup+690.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4799 0 0 0 68946 67 0 0 25 0 1 0 481973637 25841664 4067 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 4067 231 231 0 6078 0
vsize: 25236
[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4808 0 0 0 69945 68 0 0 25 0 1 0 481973637 25841664 4076 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 4076 231 231 0 6078 0
vsize: 25236
[startup+710.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14217
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4865 0 0 0 70945 68 0 0 25 0 1 0 481973637 25972736 4133 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6341 4133 231 231 0 6110 0
vsize: 25364
[startup+720.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4936 0 0 0 71944 70 0 0 25 0 1 0 481973637 25972736 4204 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6341 4204 231 231 0 6110 0
vsize: 25364
[startup+730.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4958 0 0 0 72943 71 0 0 25 0 1 0 481973637 25972736 4226 4294967295 134512640 135450300 3221224640 3221223248 134537771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6341 4226 231 231 0 6110 0
vsize: 25364
[startup+740.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 4970 0 0 0 73943 71 0 0 25 0 1 0 481973637 26136576 4238 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6381 4238 231 231 0 6150 0
vsize: 25524
[startup+750.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5014 0 0 0 74942 72 0 0 25 0 1 0 481973637 26136576 4282 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6381 4282 231 231 0 6150 0
vsize: 25524
[startup+760.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5058 0 0 0 75941 73 0 0 25 0 1 0 481973637 26136576 4326 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6381 4326 231 231 0 6150 0
vsize: 25524
[startup+770.032 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5107 0 0 0 76940 75 0 0 25 0 1 0 481973637 26136576 4375 4294967295 134512640 135450300 3221224640 3221223456 134547155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6381 4375 231 231 0 6150 0
vsize: 25524
[startup+780.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5118 0 0 0 77939 76 0 0 25 0 1 0 481973637 26136576 4386 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6381 4386 231 231 0 6150 0
vsize: 25524
[startup+790.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5139 0 0 0 78938 76 0 0 25 0 1 0 481973637 26259456 4407 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4407 231 231 0 6180 0
vsize: 25644
[startup+800.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5151 0 0 0 79938 77 0 0 25 0 1 0 481973637 26259456 4419 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4419 231 231 0 6180 0
vsize: 25644
[startup+810.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5197 0 0 0 80937 78 0 0 25 0 1 0 481973637 26259456 4465 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4465 231 231 0 6180 0
vsize: 25644
[startup+820.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5226 0 0 0 81936 79 0 0 25 0 1 0 481973637 26259456 4494 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4494 231 231 0 6180 0
vsize: 25644
[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5250 0 0 0 82936 80 0 0 25 0 1 0 481973637 26386432 4518 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 4518 231 231 0 6211 0
vsize: 25768
[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5299 0 0 0 83935 81 0 0 25 0 1 0 481973637 26386432 4567 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 4567 231 231 0 6211 0
vsize: 25768
[startup+850.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5365 0 0 0 84934 82 0 0 25 0 1 0 481973637 26509312 4633 4294967295 134512640 135450300 3221224640 3221223248 134537616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6472 4633 231 231 0 6241 0
vsize: 25888
[startup+860.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5404 0 0 0 85933 83 0 0 25 0 1 0 481973637 26509312 4672 4294967295 134512640 135450300 3221224640 3221223568 134539679 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6472 4672 231 231 0 6241 0
vsize: 25888
[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5420 0 0 0 86933 84 0 0 25 0 1 0 481973637 26509312 4688 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6472 4688 231 231 0 6241 0
vsize: 25888
[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5470 0 0 0 87932 85 0 0 25 0 1 0 481973637 26656768 4738 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 4738 231 231 0 6277 0
vsize: 26032
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5537 0 0 0 88932 85 0 0 25 0 1 0 481973637 26656768 4805 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 4805 231 231 0 6277 0
vsize: 26032
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5596 0 0 0 89931 86 0 0 25 0 1 0 481973637 26656768 4864 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 4864 231 231 0 6277 0
vsize: 26032
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5634 0 0 0 90931 86 0 0 25 0 1 0 481973637 26656768 4902 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 4902 231 231 0 6277 0
vsize: 26032
[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5640 0 0 0 91930 87 0 0 25 0 1 0 481973637 26656768 4908 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 4908 231 231 0 6277 0
vsize: 26032
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5656 0 0 0 92930 87 0 0 25 0 1 0 481973637 26656768 4924 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6508 4924 231 231 0 6277 0
vsize: 26032
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5722 0 0 0 93930 88 0 0 25 0 1 0 481973637 26796032 4990 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6542 4990 231 231 0 6311 0
vsize: 26168
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5777 0 0 0 94929 88 0 0 25 0 1 0 481973637 26796032 5045 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6542 5045 231 231 0 6311 0
vsize: 26168
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5799 0 0 0 95928 90 0 0 25 0 1 0 481973637 26796032 5067 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6542 5067 231 231 0 6311 0
vsize: 26168
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5841 0 0 0 96928 91 0 0 25 0 1 0 481973637 26963968 5109 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 5109 231 231 0 6352 0
vsize: 26332
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5893 0 0 0 97927 92 0 0 25 0 1 0 481973637 26963968 5161 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 5161 231 231 0 6352 0
vsize: 26332
[startup+990.033 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5956 0 0 0 98927 92 0 0 25 0 1 0 481973637 26963968 5224 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 5224 231 231 0 6352 0
vsize: 26332
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 5985 0 0 0 99926 93 0 0 25 0 1 0 481973637 26963968 5253 4294967295 134512640 135450300 3221224640 3221223428 134535632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6583 5253 231 231 0 6352 0
vsize: 26332
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6014 0 0 0 100925 94 0 0 25 0 1 0 481973637 27127808 5282 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5282 231 231 0 6392 0
vsize: 26492
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6025 0 0 0 101925 95 0 0 25 0 1 0 481973637 27127808 5293 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5293 231 231 0 6392 0
vsize: 26492
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6063 0 0 0 102924 95 0 0 25 0 1 0 481973637 27127808 5331 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5331 231 231 0 6392 0
vsize: 26492
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6113 0 0 0 103923 96 0 0 25 0 1 0 481973637 27127808 5381 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5381 231 231 0 6392 0
vsize: 26492
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6128 0 0 0 104922 97 0 0 25 0 1 0 481973637 27324416 5396 4294967295 134512640 135450300 3221224640 3221223248 134537648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5396 231 231 0 6440 0
vsize: 26684
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6140 0 0 0 105922 98 0 0 25 0 1 0 481973637 27324416 5408 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5408 231 231 0 6440 0
vsize: 26684
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6156 0 0 0 106921 99 0 0 25 0 1 0 481973637 27324416 5424 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5424 231 231 0 6440 0
vsize: 26684
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6193 0 0 0 107920 100 0 0 25 0 1 0 481973637 27324416 5461 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5461 231 231 0 6440 0
vsize: 26684
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6235 0 0 0 108919 101 0 0 25 0 1 0 481973637 27324416 5503 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5503 231 231 0 6440 0
vsize: 26684
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6242 0 0 0 109919 102 0 0 25 0 1 0 481973637 27324416 5510 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5510 231 231 0 6440 0
vsize: 26684
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6249 0 0 0 110919 102 0 0 25 0 1 0 481973637 27324416 5517 4294967295 134512640 135450300 3221224640 3221223456 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5517 231 231 0 6440 0
vsize: 26684
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6297 0 0 0 111918 103 0 0 25 0 1 0 481973637 27324416 5565 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5565 231 231 0 6440 0
vsize: 26684
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6345 0 0 0 112919 104 0 0 25 0 1 0 481973637 27324416 5613 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5613 231 231 0 6440 0
vsize: 26684
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6377 0 0 0 113919 104 0 0 25 0 1 0 481973637 27512832 5645 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6717 5645 231 231 0 6486 0
vsize: 26868
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6384 0 0 0 114919 105 0 0 25 0 1 0 481973637 27512832 5652 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6717 5652 231 231 0 6486 0
vsize: 26868
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6427 0 0 0 115918 105 0 0 25 0 1 0 481973637 27512832 5695 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6717 5695 231 231 0 6486 0
vsize: 26868
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6484 0 0 0 116918 106 0 0 25 0 1 0 481973637 27512832 5752 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6717 5752 231 231 0 6486 0
vsize: 26868
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6536 0 0 0 117917 107 0 0 25 0 1 0 481973637 27512832 5804 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6717 5804 231 231 0 6486 0
vsize: 26868
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6556 0 0 0 118917 107 0 0 25 0 1 0 481973637 27660288 5824 4294967295 134512640 135450300 3221224640 3221223248 134537675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5824 231 231 0 6522 0
vsize: 27012
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 14219
Raw data (stat): 14162 (PBS4) R 14161 20937 20936 0 -1 0 6567 0 0 0 119919 108 0 0 25 0 1 0 481973637 27660288 5835 4294967295 134512640 135450300 3221224640 3221223248 134537571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5835 231 231 0 6522 0
vsize: 27012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.95 1/54 14219
Raw data (stat): 14162 (PBS4) Z 14161 20937 20936 0 -1 1036 6567 0 0 0 119919 110 0 0 23 0 1 0 481973637 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.12
CPU time (s): 1200.29
CPU user time (s): 1199.19
CPU system time (s): 1.10083
CPU usage (%): 100.014
Max. virtual memory (Kb): 27012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####