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/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb
MD5SUM	97d3686ba27caa0b5ec08bf1e8098491
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	861
Optimality of the best value was proved	NO
Number of terms in the objective function	1848
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	1848
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1848
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	24.4083
Number of variables	1848
Total number of constraints	14727
Number of constraints which are clauses	14727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	16
Trace number 7714

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-17 15:59:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1266 boxname=wulflinc7 idbench=141 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  97d3686ba27caa0b5ec08bf1e8098491  /oldhome/oroussel/tmp/wulflinc7/normalized-ii16c2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc7/normalized-ii16c2.opb
IDLAUNCH: 1266
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        808328 kB
Buffers:         39184 kB
Cached:         166176 kB
SwapCached:          0 kB
Active:         110500 kB
Inactive:        97680 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808076 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12592 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:19:20 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 1266 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc7/normalized-ii16c2.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.84 0.94 0.68 2/54 15505
Raw data (stat): 15505 (runsolver) R 15504 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453564963 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99939 s]
Raw data (loadavg): 0.87 0.94 0.69 2/54 15505
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 654 0 0 0 996 2 0 0 25 0 1 0 453564963 3358720 597 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 820 597 231 231 0 589 0
vsize: 3280
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.94 0.69 2/54 15505
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 2935 0 0 0 1990 9 0 0 25 0 1 0 453564963 19480576 2781 4294967295 134512640 135450300 3221224640 3221223072 134579552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2781 231 231 0 4525 0
vsize: 19024
[startup+29.9996 s]
Raw data (loadavg): 0.90 0.94 0.69 2/54 15505
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 5263 0 0 0 2983 15 0 0 25 0 1 0 453564963 36397056 5109 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 5109 231 231 0 8655 0
vsize: 35544
[startup+39.9992 s]
Raw data (loadavg): 0.92 0.94 0.69 2/54 15505
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 6197 0 0 0 3981 17 0 0 25 0 1 0 453564963 36528128 6043 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8918 6043 231 231 0 8687 0
vsize: 35672
[startup+50 s]
Raw data (loadavg): 0.93 0.94 0.70 3/55 15506
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 7378 0 0 0 4978 20 0 0 25 0 1 0 453564963 36663296 7224 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8951 7224 231 231 0 8720 0
vsize: 35804
[startup+59.9995 s]
Raw data (loadavg): 1.02 0.96 0.71 2/58 15548
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 7738 0 0 0 5976 22 0 0 25 0 1 0 453564963 36933632 7584 4294967295 134512640 135450300 3221224640 3221223104 134532947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9017 7584 231 231 0 8786 0
vsize: 36068
[startup+70.1953 s]
Raw data (loadavg): 1.10 0.98 0.71 4/59 15557
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 8981 0 0 0 6992 26 0 0 25 0 1 0 453564963 37064704 8827 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9049 8827 231 231 0 8818 0
vsize: 36196
[startup+80.196 s]
Raw data (loadavg): 1.15 1.00 0.72 2/54 15558
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9005 0 0 0 7992 27 0 0 25 0 1 0 453564963 37064704 8851 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9049 8851 231 231 0 8818 0
vsize: 36196
[startup+90.1963 s]
Raw data (loadavg): 1.13 1.00 0.72 2/54 15558
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9018 0 0 0 8991 27 0 0 25 0 1 0 453564963 37195776 8864 4294967295 134512640 135450300 3221224640 3221223360 134535929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8864 231 231 0 8850 0
vsize: 36324
[startup+100.196 s]
Raw data (loadavg): 1.11 1.00 0.73 2/54 15558
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9030 0 0 0 9991 28 0 0 25 0 1 0 453564963 37195776 8876 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8876 231 231 0 8850 0
vsize: 36324
[startup+110.196 s]
Raw data (loadavg): 1.09 1.00 0.73 2/54 15558
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9033 0 0 0 10991 28 0 0 25 0 1 0 453564963 37195776 8879 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8879 231 231 0 8850 0
vsize: 36324
[startup+120.196 s]
Raw data (loadavg): 1.08 1.00 0.73 2/54 15558
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9043 0 0 0 11990 29 0 0 25 0 1 0 453564963 37195776 8889 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8889 231 231 0 8850 0
vsize: 36324
[startup+130.196 s]
Raw data (loadavg): 1.07 1.00 0.73 2/54 15558
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9056 0 0 0 12989 30 0 0 25 0 1 0 453564963 37330944 8902 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8902 231 231 0 8883 0
vsize: 36456
[startup+140.196 s]
Raw data (loadavg): 1.06 1.00 0.74 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9068 0 0 0 13989 31 0 0 25 0 1 0 453564963 37330944 8914 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8914 231 231 0 8883 0
vsize: 36456
[startup+150.196 s]
Raw data (loadavg): 1.05 1.00 0.74 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9079 0 0 0 14989 31 0 0 25 0 1 0 453564963 37330944 8925 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8925 231 231 0 8883 0
vsize: 36456
[startup+160.196 s]
Raw data (loadavg): 1.04 1.00 0.74 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9083 0 0 0 15989 31 0 0 25 0 1 0 453564963 37330944 8929 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8929 231 231 0 8883 0
vsize: 36456
[startup+170.196 s]
Raw data (loadavg): 1.03 1.00 0.74 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9098 0 0 0 16987 33 0 0 25 0 1 0 453564963 37330944 8944 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8944 231 231 0 8883 0
vsize: 36456
[startup+180.195 s]
Raw data (loadavg): 1.03 1.00 0.74 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9110 0 0 0 17986 34 0 0 25 0 1 0 453564963 37462016 8956 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8956 231 231 0 8915 0
vsize: 36584
[startup+190.196 s]
Raw data (loadavg): 1.02 1.00 0.75 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9114 0 0 0 18986 34 0 0 25 0 1 0 453564963 37462016 8960 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8960 231 231 0 8915 0
vsize: 36584
[startup+200.196 s]
Raw data (loadavg): 1.02 1.00 0.75 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9125 0 0 0 19986 35 0 0 25 0 1 0 453564963 37462016 8971 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8971 231 231 0 8915 0
vsize: 36584
[startup+210.195 s]
Raw data (loadavg): 1.02 1.00 0.75 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9134 0 0 0 20986 35 0 0 25 0 1 0 453564963 37462016 8980 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8980 231 231 0 8915 0
vsize: 36584
[startup+220.196 s]
Raw data (loadavg): 1.01 1.00 0.75 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9138 0 0 0 21986 35 0 0 25 0 1 0 453564963 37462016 8984 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8984 231 231 0 8915 0
vsize: 36584
[startup+230.196 s]
Raw data (loadavg): 1.01 1.00 0.75 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9155 0 0 0 22985 36 0 0 25 0 1 0 453564963 37593088 9001 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9178 9001 231 231 0 8947 0
vsize: 36712
[startup+240.196 s]
Raw data (loadavg): 1.01 1.00 0.76 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9169 0 0 0 23984 38 0 0 25 0 1 0 453564963 37593088 9015 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9178 9015 231 231 0 8947 0
vsize: 36712
[startup+250.195 s]
Raw data (loadavg): 1.01 1.00 0.76 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9382 0 0 0 24982 40 0 0 25 0 1 0 453564963 38379520 9035 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 9035 231 231 0 9139 0
vsize: 37480
[startup+260.195 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9384 0 0 0 25981 41 0 0 25 0 1 0 453564963 38379520 9037 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 9037 231 231 0 9139 0
vsize: 37480
[startup+270.196 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9394 0 0 0 26981 41 0 0 25 0 1 0 453564963 38379520 9047 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 9047 231 231 0 9139 0
vsize: 37480
[startup+280.195 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9396 0 0 0 27981 41 0 0 25 0 1 0 453564963 38379520 9049 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 9049 231 231 0 9139 0
vsize: 37480
[startup+290.197 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9402 0 0 0 28981 41 0 0 25 0 1 0 453564963 38514688 9055 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9403 9055 231 231 0 9172 0
vsize: 37612
[startup+300.197 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9422 0 0 0 29980 43 0 0 25 0 1 0 453564963 38514688 9075 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9403 9075 231 231 0 9172 0
vsize: 37612
[startup+310.196 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9426 0 0 0 30979 44 0 0 25 0 1 0 453564963 38514688 9079 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9403 9079 231 231 0 9172 0
vsize: 37612
[startup+320.196 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9433 0 0 0 31979 44 0 0 25 0 1 0 453564963 38514688 9086 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9403 9086 231 231 0 9172 0
vsize: 37612
[startup+330.197 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9447 0 0 0 32978 45 0 0 25 0 1 0 453564963 38514688 9100 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9403 9100 231 231 0 9172 0
vsize: 37612
[startup+340.196 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9452 0 0 0 33978 46 0 0 25 0 1 0 453564963 38678528 9105 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9443 9105 231 231 0 9212 0
vsize: 37772
[startup+350.196 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9457 0 0 0 34977 46 0 0 25 0 1 0 453564963 38678528 9110 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9443 9110 231 231 0 9212 0
vsize: 37772
[startup+360.196 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9475 0 0 0 35975 49 0 0 25 0 1 0 453564963 38678528 9128 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9443 9128 231 231 0 9212 0
vsize: 37772
[startup+370.196 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9478 0 0 0 36974 49 0 0 25 0 1 0 453564963 38678528 9131 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9443 9131 231 231 0 9212 0
vsize: 37772
[startup+380.196 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9488 0 0 0 37973 51 0 0 25 0 1 0 453564963 38678528 9141 4294967295 134512640 135450300 3221224640 3221223120 134580016 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9443 9141 231 231 0 9212 0
vsize: 37772
[startup+390.196 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 15560
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9500 0 0 0 38972 52 0 0 25 0 1 0 453564963 38678528 9153 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9443 9153 231 231 0 9212 0
vsize: 37772
[startup+400.196 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9507 0 0 0 39971 53 0 0 25 0 1 0 453564963 38678528 9160 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9443 9160 231 231 0 9212 0
vsize: 37772
[startup+410.196 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9520 0 0 0 40970 54 0 0 25 0 1 0 453564963 38830080 9173 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 9173 231 231 0 9249 0
vsize: 37920
[startup+420.196 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9531 0 0 0 41969 55 0 0 25 0 1 0 453564963 38830080 9184 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 9184 231 231 0 9249 0
vsize: 37920
[startup+430.196 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9538 0 0 0 42969 56 0 0 25 0 1 0 453564963 38830080 9191 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 9191 231 231 0 9249 0
vsize: 37920
[startup+440.196 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9543 0 0 0 43969 56 0 0 25 0 1 0 453564963 38830080 9196 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 9196 231 231 0 9249 0
vsize: 37920
[startup+450.195 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9547 0 0 0 44969 56 0 0 25 0 1 0 453564963 38830080 9200 4294967295 134512640 135450300 3221224640 3221222944 134844350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 9200 231 231 0 9249 0
vsize: 37920
[startup+460.195 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9556 0 0 0 45968 57 0 0 25 0 1 0 453564963 38830080 9209 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 9209 231 231 0 9249 0
vsize: 37920
[startup+470.196 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9567 0 0 0 46967 58 0 0 25 0 1 0 453564963 38830080 9220 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 9220 231 231 0 9249 0
vsize: 37920
[startup+480.195 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9579 0 0 0 47967 59 0 0 25 0 1 0 453564963 38993920 9232 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 9232 231 231 0 9289 0
vsize: 38080
[startup+490.195 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9592 0 0 0 48966 60 0 0 25 0 1 0 453564963 38993920 9245 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 9245 231 231 0 9289 0
vsize: 38080
[startup+500.195 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9600 0 0 0 49965 61 0 0 25 0 1 0 453564963 38993920 9253 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 9253 231 231 0 9289 0
vsize: 38080
[startup+510.194 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9607 0 0 0 50964 62 0 0 25 0 1 0 453564963 38993920 9260 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 9260 231 231 0 9289 0
vsize: 38080
[startup+520.193 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9618 0 0 0 51964 62 0 0 25 0 1 0 453564963 38993920 9271 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 9271 231 231 0 9289 0
vsize: 38080
[startup+530.194 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9628 0 0 0 52963 63 0 0 25 0 1 0 453564963 38993920 9281 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 9281 231 231 0 9289 0
vsize: 38080
[startup+540.194 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9640 0 0 0 53963 64 0 0 25 0 1 0 453564963 38993920 9293 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 9293 231 231 0 9289 0
vsize: 38080
[startup+550.193 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9653 0 0 0 54962 64 0 0 25 0 1 0 453564963 39170048 9306 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 9306 231 231 0 9332 0
vsize: 38252
[startup+560.193 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9661 0 0 0 55962 65 0 0 25 0 1 0 453564963 39170048 9314 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 9314 231 231 0 9332 0
vsize: 38252
[startup+570.194 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9669 0 0 0 56962 65 0 0 25 0 1 0 453564963 39170048 9322 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 9322 231 231 0 9332 0
vsize: 38252
[startup+580.193 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9673 0 0 0 57962 65 0 0 25 0 1 0 453564963 39170048 9326 4294967295 134512640 135450300 3221224640 3221223104 134532843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 9326 231 231 0 9332 0
vsize: 38252
[startup+590.193 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9685 0 0 0 58962 65 0 0 25 0 1 0 453564963 39170048 9338 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 9338 231 231 0 9332 0
vsize: 38252
[startup+600.194 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9705 0 0 0 59962 66 0 0 25 0 1 0 453564963 39170048 9358 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 9358 231 231 0 9332 0
vsize: 38252
[startup+610.193 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9711 0 0 0 60962 66 0 0 25 0 1 0 453564963 39170048 9364 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 9364 231 231 0 9332 0
vsize: 38252
[startup+620.193 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9725 0 0 0 61962 66 0 0 25 0 1 0 453564963 39305216 9378 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9596 9378 231 231 0 9365 0
vsize: 38384
[startup+630.192 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 9735 0 0 0 62961 67 0 0 25 0 1 0 453564963 39305216 9388 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9596 9388 231 231 0 9365 0
vsize: 38384
[startup+640.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 10072 0 0 0 63961 67 0 0 25 0 1 0 453564963 72859648 9725 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17788 9725 231 231 0 17557 0
vsize: 71152
[startup+650.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 10212 0 0 0 64961 68 0 0 25 0 1 0 453564963 72859648 9865 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17788 9865 231 231 0 17557 0
vsize: 71152
[startup+660.192 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 10635 0 0 0 65960 68 0 0 25 0 1 0 453564963 72859648 10288 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17788 10288 231 231 0 17557 0
vsize: 71152
[startup+670.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 11798 0 0 0 66958 71 0 0 25 0 1 0 453564963 72859648 11451 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17788 11451 231 231 0 17557 0
vsize: 71152
[startup+680.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 13199 0 0 0 67955 74 0 0 25 0 1 0 453564963 72994816 12852 4294967295 134512640 135450300 3221224640 3221223456 134537266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17821 12852 231 231 0 17590 0
vsize: 71284
[startup+690.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 14137 0 0 0 68954 76 0 0 25 0 1 0 453564963 72994816 13790 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17821 13790 231 231 0 17590 0
vsize: 71284
[startup+700.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 15164 0 0 0 69951 78 0 0 25 0 1 0 453564963 72994816 14817 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17821 14817 231 231 0 17590 0
vsize: 71284
[startup+710.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 16240 0 0 0 70949 81 0 0 25 0 1 0 453564963 73129984 15893 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17854 15893 231 231 0 17623 0
vsize: 71416
[startup+720.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 17618 0 0 0 71945 85 0 0 25 0 1 0 453564963 73129984 17271 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17854 17271 231 231 0 17623 0
vsize: 71416
[startup+730.193 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 19333 0 0 0 72942 88 0 0 25 0 1 0 453564963 141934592 18601 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34652 18601 231 231 0 34421 0
vsize: 138608
[startup+740.194 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 20527 0 0 0 73938 92 0 0 25 0 1 0 453564963 141934592 19795 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34652 19795 231 231 0 34421 0
vsize: 138608
[startup+750.193 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 20577 0 0 0 74938 92 0 0 25 0 1 0 453564963 142069760 19845 4294967295 134512640 135450300 3221224640 3221223104 134532956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34685 19845 231 231 0 34454 0
vsize: 138740
[startup+760.193 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 20966 0 0 0 75938 93 0 0 25 0 1 0 453564963 142204928 20234 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34718 20234 231 231 0 34487 0
vsize: 138872
[startup+770.194 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 21788 0 0 0 76937 94 0 0 25 0 1 0 453564963 142204928 21056 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34718 21056 231 231 0 34487 0
vsize: 138872
[startup+780.194 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 22929 0 0 0 77934 97 0 0 25 0 1 0 453564963 142340096 22197 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34751 22197 231 231 0 34520 0
vsize: 139004
[startup+790.194 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 23842 0 0 0 78931 101 0 0 25 0 1 0 453564963 142340096 23110 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34751 23110 231 231 0 34520 0
vsize: 139004
[startup+800.193 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 24998 0 0 0 79927 104 0 0 25 0 1 0 453564963 142536704 24266 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34799 24266 231 231 0 34568 0
vsize: 139196
[startup+810.193 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25023 0 0 0 80927 105 0 0 25 0 1 0 453564963 142536704 24291 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34799 24291 231 231 0 34568 0
vsize: 139196
[startup+820.192 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25026 0 0 0 81926 105 0 0 25 0 1 0 453564963 142536704 24294 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34799 24294 231 231 0 34568 0
vsize: 139196
[startup+830.193 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25034 0 0 0 82927 105 0 0 25 0 1 0 453564963 142536704 24302 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34799 24302 231 231 0 34568 0
vsize: 139196
[startup+840.193 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25043 0 0 0 83927 106 0 0 25 0 1 0 453564963 142536704 24311 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34799 24311 231 231 0 34568 0
vsize: 139196
[startup+850.192 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25053 0 0 0 84926 106 0 0 25 0 1 0 453564963 142671872 24321 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34832 24321 231 231 0 34601 0
vsize: 139328
[startup+860.192 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25060 0 0 0 85927 106 0 0 25 0 1 0 453564963 142671872 24328 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34832 24328 231 231 0 34601 0
vsize: 139328
[startup+870.193 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25064 0 0 0 86927 106 0 0 25 0 1 0 453564963 142671872 24332 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34832 24332 231 231 0 34601 0
vsize: 139328
[startup+880.192 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25072 0 0 0 87927 106 0 0 25 0 1 0 453564963 142671872 24340 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34832 24340 231 231 0 34601 0
vsize: 139328
[startup+890.193 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25082 0 0 0 88927 106 0 0 25 0 1 0 453564963 142671872 24350 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34832 24350 231 231 0 34601 0
vsize: 139328
[startup+900.194 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25093 0 0 0 89927 107 0 0 25 0 1 0 453564963 142671872 24361 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34832 24361 231 231 0 34601 0
vsize: 139328
[startup+910.193 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25097 0 0 0 90927 107 0 0 25 0 1 0 453564963 142671872 24365 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34832 24365 231 231 0 34601 0
vsize: 139328
[startup+920.193 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25110 0 0 0 91927 107 0 0 25 0 1 0 453564963 142807040 24378 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34865 24378 231 231 0 34634 0
vsize: 139460
[startup+930.192 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25127 0 0 0 92926 108 0 0 25 0 1 0 453564963 142807040 24395 4294967295 134512640 135450300 3221224640 3221223104 134532585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34865 24395 231 231 0 34634 0
vsize: 139460
[startup+940.192 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25130 0 0 0 93926 108 0 0 25 0 1 0 453564963 142807040 24398 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34865 24398 231 231 0 34634 0
vsize: 139460
[startup+950.192 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25144 0 0 0 94926 108 0 0 25 0 1 0 453564963 142807040 24412 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34865 24412 231 231 0 34634 0
vsize: 139460
[startup+960.191 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25174 0 0 0 95926 108 0 0 25 0 1 0 453564963 143020032 24442 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34917 24442 231 231 0 34686 0
vsize: 139668
[startup+970.191 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 25917 0 0 0 96925 110 0 0 25 0 1 0 453564963 143020032 25185 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34917 25185 231 231 0 34686 0
vsize: 139668
[startup+980.191 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 26956 0 0 0 97921 113 0 0 25 0 1 0 453564963 143151104 26224 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34949 26224 231 231 0 34718 0
vsize: 139796
[startup+990.191 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 28110 0 0 0 98918 117 0 0 25 0 1 0 453564963 143151104 27378 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34949 27378 231 231 0 34718 0
vsize: 139796
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 28123 0 0 0 99918 117 0 0 25 0 1 0 453564963 143151104 27391 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34949 27391 231 231 0 34718 0
vsize: 139796
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 28133 0 0 0 100918 117 0 0 25 0 1 0 453564963 143151104 27401 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34949 27401 231 231 0 34718 0
vsize: 139796
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 28150 0 0 0 101918 118 0 0 25 0 1 0 453564963 143269888 27418 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34978 27418 231 231 0 34747 0
vsize: 139912
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 28158 0 0 0 102918 118 0 0 25 0 1 0 453564963 143269888 27426 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34978 27426 231 231 0 34747 0
vsize: 139912
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 28170 0 0 0 103917 118 0 0 25 0 1 0 453564963 143269888 27438 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34978 27438 231 231 0 34747 0
vsize: 139912
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 28609 0 0 0 104917 119 0 0 25 0 1 0 453564963 143405056 27877 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35011 27877 231 231 0 34780 0
vsize: 140044
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 29568 0 0 0 105915 121 0 0 25 0 1 0 453564963 143405056 28836 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35011 28836 231 231 0 34780 0
vsize: 140044
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 30474 0 0 0 106913 124 0 0 25 0 1 0 453564963 143405056 29742 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35011 29742 231 231 0 34780 0
vsize: 140044
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 31666 0 0 0 107910 127 0 0 25 0 1 0 453564963 143405056 30934 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35011 30934 231 231 0 34780 0
vsize: 140044
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 32777 0 0 0 108908 129 0 0 25 0 1 0 453564963 143540224 32045 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35044 32045 231 231 0 34813 0
vsize: 140176
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 33650 0 0 0 109907 130 0 0 25 0 1 0 453564963 143540224 32918 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35044 32918 231 231 0 34813 0
vsize: 140176
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 34193 0 0 0 110906 131 0 0 25 0 1 0 453564963 143540224 33461 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35044 33461 231 231 0 34813 0
vsize: 140176
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 35245 0 0 0 111904 133 0 0 25 0 1 0 453564963 143540224 34513 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35044 34513 231 231 0 34813 0
vsize: 140176
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 36414 0 0 0 112901 136 0 0 25 0 1 0 453564963 277893120 35682 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67845 35682 231 231 0 67614 0
vsize: 271380
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 37174 0 0 0 113900 138 0 0 25 0 1 0 453564963 277893120 36442 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67845 36442 231 231 0 67614 0
vsize: 271380
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 37882 0 0 0 114898 140 0 0 25 0 1 0 453564963 277893120 37150 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67845 37150 231 231 0 67614 0
vsize: 271380
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 38832 0 0 0 115896 141 0 0 25 0 1 0 453564963 278028288 38100 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67878 38100 231 231 0 67647 0
vsize: 271512
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 39861 0 0 0 116893 145 0 0 25 0 1 0 453564963 278028288 39129 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67878 39129 231 231 0 67647 0
vsize: 271512
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 40196 0 0 0 117893 145 0 0 25 0 1 0 453564963 278163456 39464 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67911 39464 231 231 0 67680 0
vsize: 271644
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 41221 0 0 0 118891 148 0 0 25 0 1 0 453564963 278163456 40489 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67911 40489 231 231 0 67680 0
vsize: 271644
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 15562
Raw data (stat): 15505 (PBS4) R 15504 22932 22931 0 -1 0 42170 0 0 0 119889 150 0 0 25 0 1 0 453564963 278163456 41438 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67911 41438 231 231 0 67680 0
vsize: 271644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.27 s]
Raw data (loadavg): 1.00 1.00 0.88 1/54 15562
Raw data (stat): 15505 (PBS4) Z 15504 22932 22931 0 -1 1036 42170 0 0 0 119889 158 0 0 25 0 1 0 453564963 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.27
CPU time (s): 1200.47
CPU user time (s): 1198.89
CPU system time (s): 1.58076
CPU usage (%): 100.017
Max. virtual memory (Kb): 271644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####