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-ii8a4.opb
MD5SUM	8a77190c2eeefb9e88447a9087adfd6f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	283
Optimality of the best value was proved	NO
Number of terms in the objective function	792
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	792
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	792
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
Number of variables	792
Total number of constraints	3194
Number of constraints which are clauses	3194
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	8
Trace number 7779

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-17 16:18:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1491 boxname=wulflinc23 idbench=166 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  8a77190c2eeefb9e88447a9087adfd6f  /oldhome/oroussel/tmp/wulflinc23/normalized-ii8a4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-ii8a4.opb
IDLAUNCH: 1491
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        825416 kB
Buffers:         36032 kB
Cached:         129900 kB
SwapCached:        192 kB
Active:          67864 kB
Inactive:       101068 kB
HighTotal:      131008 kB
HighFree:         2604 kB
LowTotal:       903652 kB
LowFree:        822812 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            34868 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:38:28 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1491 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-ii8a4.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.89 2/54 25573
Raw data (stat): 25573 (runsolver) R 25572 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511895675 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+10 s]
Raw data (loadavg): 0.93 0.98 0.89 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 2570 0 0 0 993 6 0 0 25 0 1 0 511895675 18432000 2566 4294967295 134512640 135450300 3221224640 3221223024 134579690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4500 2566 231 231 0 4269 0
vsize: 18000
[startup+19.9993 s]
Raw data (loadavg): 0.94 0.98 0.89 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 4424 0 0 0 1988 11 0 0 25 0 1 0 511895675 35405824 4371 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8644 4371 231 231 0 8413 0
vsize: 34576
[startup+30 s]
Raw data (loadavg): 0.95 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 5853 0 0 0 2984 15 0 0 25 0 1 0 511895675 35553280 5800 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8680 5800 231 231 0 8449 0
vsize: 34720
[startup+39.9998 s]
Raw data (loadavg): 0.96 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 6615 0 0 0 3980 19 0 0 25 0 1 0 511895675 35688448 6562 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8713 6562 231 231 0 8482 0
vsize: 34852
[startup+49.9992 s]
Raw data (loadavg): 0.96 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 6983 0 0 0 4979 20 0 0 25 0 1 0 511895675 35819520 6930 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8745 6930 231 231 0 8514 0
vsize: 34980
[startup+59.9988 s]
Raw data (loadavg): 0.97 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7100 0 0 0 5977 22 0 0 25 0 1 0 511895675 35819520 7047 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8745 7047 231 231 0 8514 0
vsize: 34980
[startup+69.9987 s]
Raw data (loadavg): 0.97 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7139 0 0 0 6975 24 0 0 25 0 1 0 511895675 35954688 7086 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8778 7086 231 231 0 8547 0
vsize: 35112
[startup+79.9991 s]
Raw data (loadavg): 0.98 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7157 0 0 0 7975 25 0 0 25 0 1 0 511895675 36093952 7104 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8812 7104 231 231 0 8581 0
vsize: 35248
[startup+89.9987 s]
Raw data (loadavg): 0.98 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7269 0 0 0 8974 26 0 0 25 0 1 0 511895675 36487168 7119 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8908 7119 231 231 0 8677 0
vsize: 35632
[startup+99.9986 s]
Raw data (loadavg): 0.98 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7287 0 0 0 9973 27 0 0 25 0 1 0 511895675 36487168 7137 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8908 7137 231 231 0 8677 0
vsize: 35632
[startup+109.999 s]
Raw data (loadavg): 0.98 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7313 0 0 0 10973 28 0 0 25 0 1 0 511895675 36642816 7163 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 7163 231 231 0 8715 0
vsize: 35784
[startup+119.999 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7332 0 0 0 11972 28 0 0 25 0 1 0 511895675 36642816 7182 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 7182 231 231 0 8715 0
vsize: 35784
[startup+129.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7348 0 0 0 12972 28 0 0 25 0 1 0 511895675 36642816 7198 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 7198 231 231 0 8715 0
vsize: 35784
[startup+139.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7365 0 0 0 13972 28 0 0 25 0 1 0 511895675 36798464 7215 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8984 7215 231 231 0 8753 0
vsize: 35936
[startup+149.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7386 0 0 0 14972 29 0 0 25 0 1 0 511895675 36798464 7236 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8984 7236 231 231 0 8753 0
vsize: 35936
[startup+159.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7398 0 0 0 15972 29 0 0 25 0 1 0 511895675 36798464 7248 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8984 7248 231 231 0 8753 0
vsize: 35936
[startup+169.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7421 0 0 0 16971 30 0 0 25 0 1 0 511895675 36950016 7271 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9021 7271 231 231 0 8790 0
vsize: 36084
[startup+179.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7437 0 0 0 17970 32 0 0 25 0 1 0 511895675 36950016 7287 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9021 7287 231 231 0 8790 0
vsize: 36084
[startup+189.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7455 0 0 0 18969 32 0 0 25 0 1 0 511895675 36950016 7305 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9021 7305 231 231 0 8790 0
vsize: 36084
[startup+199.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7479 0 0 0 19969 33 0 0 25 0 1 0 511895675 37085184 7329 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9054 7329 231 231 0 8823 0
vsize: 36216
[startup+209.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7491 0 0 0 20969 33 0 0 25 0 1 0 511895675 37085184 7341 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9054 7341 231 231 0 8823 0
vsize: 36216
[startup+219.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7522 0 0 0 21967 35 0 0 25 0 1 0 511895675 37236736 7372 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 7372 231 231 0 8860 0
vsize: 36364
[startup+229.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7537 0 0 0 22967 35 0 0 25 0 1 0 511895675 37236736 7387 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 7387 231 231 0 8860 0
vsize: 36364
[startup+239.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7555 0 0 0 23967 35 0 0 25 0 1 0 511895675 37236736 7405 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 7405 231 231 0 8860 0
vsize: 36364
[startup+249.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7762 0 0 0 24967 36 0 0 25 0 1 0 511895675 38154240 7419 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9315 7419 231 231 0 9084 0
vsize: 37260
[startup+259.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7777 0 0 0 25966 37 0 0 25 0 1 0 511895675 38154240 7434 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9315 7434 231 231 0 9084 0
vsize: 37260
[startup+269.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7788 0 0 0 26966 37 0 0 25 0 1 0 511895675 38154240 7445 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9315 7445 231 231 0 9084 0
vsize: 37260
[startup+279.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7794 0 0 0 27966 37 0 0 25 0 1 0 511895675 38154240 7451 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9315 7451 231 231 0 9084 0
vsize: 37260
[startup+289.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7803 0 0 0 28966 38 0 0 25 0 1 0 511895675 38154240 7460 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9315 7460 231 231 0 9084 0
vsize: 37260
[startup+299.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7824 0 0 0 29965 38 0 0 25 0 1 0 511895675 38154240 7481 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9315 7481 231 231 0 9084 0
vsize: 37260
[startup+309.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7840 0 0 0 30965 39 0 0 25 0 1 0 511895675 38338560 7497 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9360 7497 231 231 0 9129 0
vsize: 37440
[startup+319.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7850 0 0 0 31965 39 0 0 25 0 1 0 511895675 38338560 7507 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9360 7507 231 231 0 9129 0
vsize: 37440
[startup+329.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7860 0 0 0 32964 40 0 0 25 0 1 0 511895675 38338560 7517 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9360 7517 231 231 0 9129 0
vsize: 37440
[startup+339.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7881 0 0 0 33964 40 0 0 25 0 1 0 511895675 38338560 7538 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9360 7538 231 231 0 9129 0
vsize: 37440
[startup+349.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7897 0 0 0 34963 41 0 0 25 0 1 0 511895675 38518784 7554 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 7554 231 231 0 9173 0
vsize: 37616
[startup+359.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7907 0 0 0 35962 42 0 0 25 0 1 0 511895675 38518784 7564 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 7564 231 231 0 9173 0
vsize: 37616
[startup+369.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7915 0 0 0 36962 43 0 0 25 0 1 0 511895675 38518784 7572 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 7572 231 231 0 9173 0
vsize: 37616
[startup+379.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7927 0 0 0 37962 43 0 0 25 0 1 0 511895675 38518784 7584 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 7584 231 231 0 9173 0
vsize: 37616
[startup+389.994 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7937 0 0 0 38962 43 0 0 25 0 1 0 511895675 38518784 7594 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 7594 231 231 0 9173 0
vsize: 37616
[startup+399.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7951 0 0 0 39962 44 0 0 25 0 1 0 511895675 38518784 7608 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 7608 231 231 0 9173 0
vsize: 37616
[startup+409.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7963 0 0 0 40961 45 0 0 25 0 1 0 511895675 38518784 7620 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 7620 231 231 0 9173 0
vsize: 37616
[startup+419.992 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7978 0 0 0 41960 45 0 0 25 0 1 0 511895675 38699008 7635 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9448 7635 231 231 0 9217 0
vsize: 37792
[startup+429.993 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 7991 0 0 0 42960 45 0 0 25 0 1 0 511895675 38699008 7648 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9448 7648 231 231 0 9217 0
vsize: 37792
[startup+439.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8003 0 0 0 43961 46 0 0 25 0 1 0 511895675 38699008 7660 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9448 7660 231 231 0 9217 0
vsize: 37792
[startup+449.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8030 0 0 0 44960 46 0 0 25 0 1 0 511895675 38699008 7687 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9448 7687 231 231 0 9217 0
vsize: 37792
[startup+459.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8040 0 0 0 45960 46 0 0 25 0 1 0 511895675 38825984 7697 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9479 7697 231 231 0 9248 0
vsize: 37916
[startup+469.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8041 0 0 0 46960 47 0 0 25 0 1 0 511895675 38825984 7698 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9479 7698 231 231 0 9248 0
vsize: 37916
[startup+479.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8049 0 0 0 47960 47 0 0 25 0 1 0 511895675 38825984 7706 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9479 7706 231 231 0 9248 0
vsize: 37916
[startup+489.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8065 0 0 0 48960 47 0 0 25 0 1 0 511895675 38825984 7722 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9479 7722 231 231 0 9248 0
vsize: 37916
[startup+499.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8082 0 0 0 49960 48 0 0 25 0 1 0 511895675 39030784 7739 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7739 231 231 0 9298 0
vsize: 38116
[startup+509.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8091 0 0 0 50959 48 0 0 25 0 1 0 511895675 39030784 7748 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7748 231 231 0 9298 0
vsize: 38116
[startup+519.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8103 0 0 0 51958 49 0 0 25 0 1 0 511895675 39030784 7760 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7760 231 231 0 9298 0
vsize: 38116
[startup+529.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8115 0 0 0 52958 50 0 0 25 0 1 0 511895675 39030784 7772 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7772 231 231 0 9298 0
vsize: 38116
[startup+539.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8128 0 0 0 53958 50 0 0 25 0 1 0 511895675 39030784 7785 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7785 231 231 0 9298 0
vsize: 38116
[startup+549.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8138 0 0 0 54958 50 0 0 25 0 1 0 511895675 39030784 7795 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7795 231 231 0 9298 0
vsize: 38116
[startup+559.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8144 0 0 0 55958 51 0 0 25 0 1 0 511895675 39030784 7801 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7801 231 231 0 9298 0
vsize: 38116
[startup+569.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8151 0 0 0 56958 51 0 0 25 0 1 0 511895675 39030784 7808 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7808 231 231 0 9298 0
vsize: 38116
[startup+579.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8163 0 0 0 57957 51 0 0 25 0 1 0 511895675 39030784 7820 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9529 7820 231 231 0 9298 0
vsize: 38116
[startup+589.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8168 0 0 0 58958 51 0 0 25 0 1 0 511895675 39165952 7825 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9562 7825 231 231 0 9331 0
vsize: 38248
[startup+599.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8185 0 0 0 59957 52 0 0 25 0 1 0 511895675 39165952 7842 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9562 7842 231 231 0 9331 0
vsize: 38248
[startup+609.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8192 0 0 0 60957 52 0 0 25 0 1 0 511895675 39165952 7849 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9562 7849 231 231 0 9331 0
vsize: 38248
[startup+619.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8205 0 0 0 61957 53 0 0 25 0 1 0 511895675 39165952 7862 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9562 7862 231 231 0 9331 0
vsize: 38248
[startup+629.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8212 0 0 0 62956 54 0 0 25 0 1 0 511895675 39165952 7869 4294967295 134512640 135450300 3221224640 3221223360 134598283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9562 7869 231 231 0 9331 0
vsize: 38248
[startup+639.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8616 0 0 0 63955 55 0 0 25 0 1 0 511895675 40865792 7888 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9977 7888 231 231 0 9746 0
vsize: 39908
[startup+649.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8631 0 0 0 64954 56 0 0 25 0 1 0 511895675 40865792 7903 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9977 7903 231 231 0 9746 0
vsize: 39908
[startup+659.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8640 0 0 0 65954 56 0 0 25 0 1 0 511895675 40865792 7912 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9977 7912 231 231 0 9746 0
vsize: 39908
[startup+669.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8649 0 0 0 66953 57 0 0 25 0 1 0 511895675 41000960 7921 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10010 7921 231 231 0 9779 0
vsize: 40040
[startup+679.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8665 0 0 0 67953 57 0 0 25 0 1 0 511895675 41000960 7937 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10010 7937 231 231 0 9779 0
vsize: 40040
[startup+689.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8675 0 0 0 68953 58 0 0 25 0 1 0 511895675 41000960 7947 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10010 7947 231 231 0 9779 0
vsize: 40040
[startup+699.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8688 0 0 0 69952 59 0 0 25 0 1 0 511895675 41000960 7960 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10010 7960 231 231 0 9779 0
vsize: 40040
[startup+709.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8697 0 0 0 70952 59 0 0 25 0 1 0 511895675 41000960 7969 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10010 7969 231 231 0 9779 0
vsize: 40040
[startup+719.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8707 0 0 0 71952 60 0 0 25 0 1 0 511895675 41152512 7979 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 7979 231 231 0 9816 0
vsize: 40188
[startup+729.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8716 0 0 0 72952 60 0 0 25 0 1 0 511895675 41152512 7988 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 7988 231 231 0 9816 0
vsize: 40188
[startup+739.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8724 0 0 0 73952 60 0 0 25 0 1 0 511895675 41152512 7996 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 7996 231 231 0 9816 0
vsize: 40188
[startup+749.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8737 0 0 0 74952 60 0 0 25 0 1 0 511895675 41152512 8009 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 8009 231 231 0 9816 0
vsize: 40188
[startup+759.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8750 0 0 0 75952 61 0 0 25 0 1 0 511895675 41152512 8022 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 8022 231 231 0 9816 0
vsize: 40188
[startup+769.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8760 0 0 0 76951 61 0 0 25 0 1 0 511895675 41152512 8032 4294967295 134512640 135450300 3221224640 3221223248 134537761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 8032 231 231 0 9816 0
vsize: 40188
[startup+779.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8767 0 0 0 77951 62 0 0 25 0 1 0 511895675 41152512 8039 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 8039 231 231 0 9816 0
vsize: 40188
[startup+789.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8777 0 0 0 78950 62 0 0 25 0 1 0 511895675 41152512 8049 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10047 8049 231 231 0 9816 0
vsize: 40188
[startup+799.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8788 0 0 0 79950 63 0 0 25 0 1 0 511895675 41328640 8060 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10090 8060 231 231 0 9859 0
vsize: 40360
[startup+809.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8794 0 0 0 80950 63 0 0 25 0 1 0 511895675 41328640 8066 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10090 8066 231 231 0 9859 0
vsize: 40360
[startup+819.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8813 0 0 0 81949 64 0 0 25 0 1 0 511895675 41328640 8085 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10090 8085 231 231 0 9859 0
vsize: 40360
[startup+829.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8830 0 0 0 82950 64 0 0 25 0 1 0 511895675 41467904 8102 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10124 8102 231 231 0 9893 0
vsize: 40496
[startup+839.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8850 0 0 0 83949 64 0 0 25 0 1 0 511895675 41467904 8122 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10124 8122 231 231 0 9893 0
vsize: 40496
[startup+849.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8858 0 0 0 84949 65 0 0 25 0 1 0 511895675 41467904 8130 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10124 8130 231 231 0 9893 0
vsize: 40496
[startup+859.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8874 0 0 0 85949 65 0 0 25 0 1 0 511895675 41467904 8146 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10124 8146 231 231 0 9893 0
vsize: 40496
[startup+869.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8881 0 0 0 86949 65 0 0 25 0 1 0 511895675 41467904 8153 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10124 8153 231 231 0 9893 0
vsize: 40496
[startup+879.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8894 0 0 0 87949 66 0 0 25 0 1 0 511895675 41619456 8166 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8166 231 231 0 9930 0
vsize: 40644
[startup+889.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8908 0 0 0 88949 66 0 0 25 0 1 0 511895675 41619456 8180 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8180 231 231 0 9930 0
vsize: 40644
[startup+899.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8921 0 0 0 89949 66 0 0 25 0 1 0 511895675 41619456 8193 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8193 231 231 0 9930 0
vsize: 40644
[startup+909.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8928 0 0 0 90948 67 0 0 25 0 1 0 511895675 41619456 8200 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8200 231 231 0 9930 0
vsize: 40644
[startup+919.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8935 0 0 0 91948 67 0 0 25 0 1 0 511895675 41619456 8207 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8207 231 231 0 9930 0
vsize: 40644
[startup+929.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8941 0 0 0 92948 67 0 0 25 0 1 0 511895675 41619456 8213 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8213 231 231 0 9930 0
vsize: 40644
[startup+939.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8946 0 0 0 93948 67 0 0 25 0 1 0 511895675 41619456 8218 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8218 231 231 0 9930 0
vsize: 40644
[startup+949.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8954 0 0 0 94948 68 0 0 25 0 1 0 511895675 41619456 8226 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8226 231 231 0 9930 0
vsize: 40644
[startup+959.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8967 0 0 0 95948 68 0 0 25 0 1 0 511895675 41754624 8239 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10194 8239 231 231 0 9963 0
vsize: 40776
[startup+969.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8982 0 0 0 96947 69 0 0 25 0 1 0 511895675 41754624 8254 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10194 8254 231 231 0 9963 0
vsize: 40776
[startup+979.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 8997 0 0 0 97947 69 0 0 25 0 1 0 511895675 41754624 8269 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10194 8269 231 231 0 9963 0
vsize: 40776
[startup+989.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9006 0 0 0 98946 70 0 0 25 0 1 0 511895675 41754624 8278 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10194 8278 231 231 0 9963 0
vsize: 40776
[startup+999.995 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9011 0 0 0 99946 70 0 0 25 0 1 0 511895675 41754624 8283 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10194 8283 231 231 0 9963 0
vsize: 40776
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9016 0 0 0 100946 70 0 0 25 0 1 0 511895675 41754624 8288 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10194 8288 231 231 0 9963 0
vsize: 40776
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9035 0 0 0 101946 71 0 0 25 0 1 0 511895675 41897984 8307 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8307 231 231 0 9998 0
vsize: 40916
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9039 0 0 0 102946 71 0 0 25 0 1 0 511895675 41897984 8311 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8311 231 231 0 9998 0
vsize: 40916
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9045 0 0 0 103946 71 0 0 25 0 1 0 511895675 41897984 8317 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8317 231 231 0 9998 0
vsize: 40916
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9050 0 0 0 104946 71 0 0 25 0 1 0 511895675 41897984 8322 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8322 231 231 0 9998 0
vsize: 40916
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9059 0 0 0 105946 72 0 0 25 0 1 0 511895675 41897984 8331 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8331 231 231 0 9998 0
vsize: 40916
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9075 0 0 0 106946 72 0 0 25 0 1 0 511895675 41897984 8347 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8347 231 231 0 9998 0
vsize: 40916
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9082 0 0 0 107946 72 0 0 25 0 1 0 511895675 41897984 8354 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8354 231 231 0 9998 0
vsize: 40916
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9093 0 0 0 108946 73 0 0 25 0 1 0 511895675 41897984 8365 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8365 231 231 0 9998 0
vsize: 40916
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9098 0 0 0 109945 73 0 0 25 0 1 0 511895675 41897984 8370 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10229 8370 231 231 0 9998 0
vsize: 40916
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9106 0 0 0 110945 73 0 0 25 0 1 0 511895675 42053632 8378 4294967295 134512640 135450300 3221224640 3221223456 134546930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 8378 231 231 0 10036 0
vsize: 41068
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9111 0 0 0 111945 74 0 0 25 0 1 0 511895675 42053632 8383 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 8383 231 231 0 10036 0
vsize: 41068
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9130 0 0 0 112945 74 0 0 25 0 1 0 511895675 42053632 8402 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 8402 231 231 0 10036 0
vsize: 41068
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9144 0 0 0 113945 74 0 0 25 0 1 0 511895675 42053632 8416 4294967295 134512640 135450300 3221224640 3221223420 134535630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 8416 231 231 0 10036 0
vsize: 41068
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9150 0 0 0 114945 75 0 0 25 0 1 0 511895675 42053632 8422 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 8422 231 231 0 10036 0
vsize: 41068
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9163 0 0 0 115944 75 0 0 25 0 1 0 511895675 42053632 8435 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 8435 231 231 0 10036 0
vsize: 41068
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9173 0 0 0 116944 76 0 0 25 0 1 0 511895675 42053632 8445 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10267 8445 231 231 0 10036 0
vsize: 41068
[startup+1180 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9182 0 0 0 117944 76 0 0 25 0 1 0 511895675 42217472 8454 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10307 8454 231 231 0 10076 0
vsize: 41228
[startup+1190 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9195 0 0 0 118944 76 0 0 25 0 1 0 511895675 42217472 8467 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10307 8467 231 231 0 10076 0
vsize: 41228
[startup+1200 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25573
Raw data (stat): 25573 (PBS4) R 25572 3260 3259 0 -1 0 9199 0 0 0 119944 76 0 0 25 0 1 0 511895675 42217472 8471 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10307 8471 231 231 0 10076 0
vsize: 41228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 25573
Raw data (stat): 25573 (PBS4) Z 25572 3260 3259 0 -1 1036 9199 0 0 0 119944 78 0 0 25 0 1 0 511895675 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.01
CPU time (s): 1200.23
CPU user time (s): 1199.44
CPU system time (s): 0.78488
CPU usage (%): 100.018
Max. virtual memory (Kb): 41228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####