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-ii8b4.opb
MD5SUM	4958e72bfea6f430972589733eb52991
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	654
Optimality of the best value was proved	NO
Number of terms in the objective function	2136
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	2136
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2136
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.09983
Number of variables	2136
Total number of constraints	9282
Number of constraints which are clauses	9282
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 7783

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        806208 kB
Buffers:         36440 kB
Cached:         156100 kB
SwapCached:         36 kB
Active:          72808 kB
Inactive:       122592 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        805956 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            27292 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:39:08 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1527 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-ii8b4.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.97 0.89 2/54 21947
Raw data (stat): 21947 (runsolver) R 21946 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511910635 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99921 s]
Raw data (loadavg): 0.93 0.97 0.89 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 986 0 0 0 996 2 0 0 25 0 1 0 511910635 6463488 928 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1578 928 231 231 0 1347 0
vsize: 6312
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.97 0.89 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 1579 0 0 0 1995 3 0 0 25 0 1 0 511910635 10657792 1521 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1521 231 231 0 2371 0
vsize: 10408
[startup+29.9997 s]
Raw data (loadavg): 0.95 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 2145 0 0 0 2994 4 0 0 25 0 1 0 511910635 10657792 2087 4294967295 134512640 135450300 3221224640 3221223168 134544638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 2087 231 231 0 2371 0
vsize: 10408
[startup+40 s]
Raw data (loadavg): 0.96 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 2720 0 0 0 3993 5 0 0 25 0 1 0 511910635 19046400 2662 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 2662 231 231 0 4419 0
vsize: 18600
[startup+49.9996 s]
Raw data (loadavg): 0.96 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 3276 0 0 0 4992 7 0 0 25 0 1 0 511910635 19046400 3218 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 3218 231 231 0 4419 0
vsize: 18600
[startup+59.9994 s]
Raw data (loadavg): 0.97 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 3863 0 0 0 5990 8 0 0 25 0 1 0 511910635 19046400 3805 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 3805 231 231 0 4419 0
vsize: 18600
[startup+69.9997 s]
Raw data (loadavg): 0.97 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 4436 0 0 0 6990 10 0 0 25 0 1 0 511910635 19046400 4378 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 4378 231 231 0 4419 0
vsize: 18600
[startup+80.0003 s]
Raw data (loadavg): 0.98 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 4997 0 0 0 7989 11 0 0 25 0 1 0 511910635 35823616 4939 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 4939 231 231 0 8515 0
vsize: 34984
[startup+90.0002 s]
Raw data (loadavg): 0.98 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 5549 0 0 0 8988 12 0 0 25 0 1 0 511910635 35823616 5491 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 5491 231 231 0 8515 0
vsize: 34984
[startup+99.9995 s]
Raw data (loadavg): 0.98 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 6104 0 0 0 9986 14 0 0 25 0 1 0 511910635 35823616 6046 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 6046 231 231 0 8515 0
vsize: 34984
[startup+109.999 s]
Raw data (loadavg): 0.98 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 6670 0 0 0 10984 16 0 0 25 0 1 0 511910635 35823616 6612 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 6612 231 231 0 8515 0
vsize: 34984
[startup+119.999 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 7196 0 0 0 11982 17 0 0 25 0 1 0 511910635 35823616 7138 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 7138 231 231 0 8515 0
vsize: 34984
[startup+129.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 7747 0 0 0 12981 19 0 0 25 0 1 0 511910635 35823616 7689 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 7689 231 231 0 8515 0
vsize: 34984
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 8277 0 0 0 13980 21 0 0 25 0 1 0 511910635 35823616 8219 4294967295 134512640 135450300 3221224640 3221223376 134538643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8746 8219 231 231 0 8515 0
vsize: 34984
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 8800 0 0 0 14978 22 0 0 25 0 1 0 511910635 69513216 8742 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 8742 231 231 0 16740 0
vsize: 67884
[startup+159.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 9343 0 0 0 15977 24 0 0 25 0 1 0 511910635 69513216 9285 4294967295 134512640 135450300 3221224640 3221223376 134537885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 9285 231 231 0 16740 0
vsize: 67884
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 9866 0 0 0 16976 25 0 0 25 0 1 0 511910635 69513216 9808 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 9808 231 231 0 16740 0
vsize: 67884
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 10398 0 0 0 17975 26 0 0 25 0 1 0 511910635 69513216 10340 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 10340 231 231 0 16740 0
vsize: 67884
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 10942 0 0 0 18973 28 0 0 25 0 1 0 511910635 69513216 10884 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 10884 231 231 0 16740 0
vsize: 67884
[startup+199.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 11472 0 0 0 19972 30 0 0 25 0 1 0 511910635 69513216 11414 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 11414 231 231 0 16740 0
vsize: 67884
[startup+209.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 12000 0 0 0 20970 31 0 0 25 0 1 0 511910635 69513216 11942 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 11942 231 231 0 16740 0
vsize: 67884
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 12541 0 0 0 21969 33 0 0 25 0 1 0 511910635 69513216 12483 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16971 12483 231 231 0 16740 0
vsize: 67884
[startup+229.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 13091 0 0 0 22965 37 0 0 25 0 1 0 511910635 69906432 12936 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17067 12936 231 231 0 16836 0
vsize: 68268
[startup+239.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 13614 0 0 0 23961 41 0 0 25 0 1 0 511910635 69906432 13459 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17067 13459 231 231 0 16836 0
vsize: 68268
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14109 0 0 0 24960 42 0 0 25 0 1 0 511910635 69906432 13954 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17067 13954 231 231 0 16836 0
vsize: 68268
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14180 0 0 0 25956 46 0 0 25 0 1 0 511910635 70180864 14025 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17134 14025 231 231 0 16903 0
vsize: 68536
[startup+269.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14191 0 0 0 26956 46 0 0 25 0 1 0 511910635 70316032 14036 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17167 14036 231 231 0 16936 0
vsize: 68668
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14195 0 0 0 27956 46 0 0 25 0 1 0 511910635 70316032 14040 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17167 14040 231 231 0 16936 0
vsize: 68668
[startup+289.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14213 0 0 0 28957 46 0 0 25 0 1 0 511910635 70316032 14058 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17167 14058 231 231 0 16936 0
vsize: 68668
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14217 0 0 0 29957 46 0 0 25 0 1 0 511910635 70316032 14062 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17167 14062 231 231 0 16936 0
vsize: 68668
[startup+309.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14219 0 0 0 30957 46 0 0 25 0 1 0 511910635 70316032 14064 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17167 14064 231 231 0 16936 0
vsize: 68668
[startup+319.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14219 0 0 0 31957 46 0 0 25 0 1 0 511910635 70316032 14064 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17167 14064 231 231 0 16936 0
vsize: 68668
[startup+329.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14220 0 0 0 32957 46 0 0 25 0 1 0 511910635 70316032 14065 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17167 14065 231 231 0 16936 0
vsize: 68668
[startup+339.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14228 0 0 0 33957 47 0 0 25 0 1 0 511910635 70447104 14073 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17199 14073 231 231 0 16968 0
vsize: 68796
[startup+349.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14232 0 0 0 34955 49 0 0 25 0 1 0 511910635 70447104 14077 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17199 14077 231 231 0 16968 0
vsize: 68796
[startup+359.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14236 0 0 0 35954 50 0 0 25 0 1 0 511910635 70447104 14081 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17199 14081 231 231 0 16968 0
vsize: 68796
[startup+369.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14236 0 0 0 36954 50 0 0 25 0 1 0 511910635 70447104 14081 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17199 14081 231 231 0 16968 0
vsize: 68796
[startup+379.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14237 0 0 0 37954 50 0 0 25 0 1 0 511910635 70447104 14082 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17199 14082 231 231 0 16968 0
vsize: 68796
[startup+389.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14238 0 0 0 38954 51 0 0 25 0 1 0 511910635 70447104 14083 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17199 14083 231 231 0 16968 0
vsize: 68796
[startup+399.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14239 0 0 0 39954 51 0 0 25 0 1 0 511910635 70447104 14084 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17199 14084 231 231 0 16968 0
vsize: 68796
[startup+409.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14260 0 0 0 40950 55 0 0 25 0 1 0 511910635 70582272 14105 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14105 231 231 0 17001 0
vsize: 68928
[startup+419.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14272 0 0 0 41949 56 0 0 25 0 1 0 511910635 70582272 14117 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14117 231 231 0 17001 0
vsize: 68928
[startup+429.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14275 0 0 0 42948 57 0 0 25 0 1 0 511910635 70582272 14120 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14120 231 231 0 17001 0
vsize: 68928
[startup+439.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14276 0 0 0 43947 58 0 0 25 0 1 0 511910635 70582272 14121 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14121 231 231 0 17001 0
vsize: 68928
[startup+449.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14279 0 0 0 44947 58 0 0 25 0 1 0 511910635 70582272 14124 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14124 231 231 0 17001 0
vsize: 68928
[startup+459.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14279 0 0 0 45948 58 0 0 25 0 1 0 511910635 70582272 14124 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14124 231 231 0 17001 0
vsize: 68928
[startup+469.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14280 0 0 0 46948 58 0 0 25 0 1 0 511910635 70582272 14125 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14125 231 231 0 17001 0
vsize: 68928
[startup+479.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14281 0 0 0 47948 58 0 0 25 0 1 0 511910635 70582272 14126 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17232 14126 231 231 0 17001 0
vsize: 68928
[startup+489.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14299 0 0 0 48948 58 0 0 25 0 1 0 511910635 70713344 14144 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14144 231 231 0 17033 0
vsize: 69056
[startup+499.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14305 0 0 0 49948 58 0 0 25 0 1 0 511910635 70713344 14150 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14150 231 231 0 17033 0
vsize: 69056
[startup+509.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14306 0 0 0 50948 58 0 0 25 0 1 0 511910635 70713344 14151 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14151 231 231 0 17033 0
vsize: 69056
[startup+519.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14307 0 0 0 51949 58 0 0 25 0 1 0 511910635 70713344 14152 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14152 231 231 0 17033 0
vsize: 69056
[startup+529.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14307 0 0 0 52949 58 0 0 25 0 1 0 511910635 70713344 14152 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14152 231 231 0 17033 0
vsize: 69056
[startup+539.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14307 0 0 0 53949 58 0 0 25 0 1 0 511910635 70713344 14152 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14152 231 231 0 17033 0
vsize: 69056
[startup+549.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14309 0 0 0 54949 58 0 0 25 0 1 0 511910635 70713344 14154 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14154 231 231 0 17033 0
vsize: 69056
[startup+559.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14309 0 0 0 55949 58 0 0 25 0 1 0 511910635 70713344 14154 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14154 231 231 0 17033 0
vsize: 69056
[startup+569.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14311 0 0 0 56949 58 0 0 25 0 1 0 511910635 70713344 14156 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14156 231 231 0 17033 0
vsize: 69056
[startup+579.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14312 0 0 0 57950 58 0 0 25 0 1 0 511910635 70713344 14157 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14157 231 231 0 17033 0
vsize: 69056
[startup+589.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14313 0 0 0 58950 59 0 0 25 0 1 0 511910635 70713344 14158 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14158 231 231 0 17033 0
vsize: 69056
[startup+599.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14316 0 0 0 59950 59 0 0 25 0 1 0 511910635 70713344 14161 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14161 231 231 0 17033 0
vsize: 69056
[startup+609.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14324 0 0 0 60950 59 0 0 25 0 1 0 511910635 70713344 14169 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14169 231 231 0 17033 0
vsize: 69056
[startup+619.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14327 0 0 0 61950 59 0 0 25 0 1 0 511910635 70713344 14172 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14172 231 231 0 17033 0
vsize: 69056
[startup+629.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14332 0 0 0 62950 59 0 0 25 0 1 0 511910635 70844416 14177 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14177 231 231 0 17065 0
vsize: 69184
[startup+639.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14333 0 0 0 63951 59 0 0 25 0 1 0 511910635 70844416 14178 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14178 231 231 0 17065 0
vsize: 69184
[startup+649.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14333 0 0 0 64951 59 0 0 25 0 1 0 511910635 70844416 14178 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14178 231 231 0 17065 0
vsize: 69184
[startup+659.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14333 0 0 0 65951 59 0 0 25 0 1 0 511910635 70844416 14178 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14178 231 231 0 17065 0
vsize: 69184
[startup+669.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14336 0 0 0 66951 59 0 0 25 0 1 0 511910635 70844416 14181 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14181 231 231 0 17065 0
vsize: 69184
[startup+679.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14338 0 0 0 67951 59 0 0 25 0 1 0 511910635 70844416 14183 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14183 231 231 0 17065 0
vsize: 69184
[startup+689.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14341 0 0 0 68952 59 0 0 25 0 1 0 511910635 70844416 14186 4294967295 134512640 135450300 3221224640 3221223456 134546452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14186 231 231 0 17065 0
vsize: 69184
[startup+699.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14342 0 0 0 69952 59 0 0 25 0 1 0 511910635 70844416 14187 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14187 231 231 0 17065 0
vsize: 69184
[startup+709.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14344 0 0 0 70952 59 0 0 25 0 1 0 511910635 70844416 14189 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14189 231 231 0 17065 0
vsize: 69184
[startup+719.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14344 0 0 0 71952 59 0 0 25 0 1 0 511910635 70844416 14189 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14189 231 231 0 17065 0
vsize: 69184
[startup+729.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14344 0 0 0 72952 59 0 0 25 0 1 0 511910635 70844416 14189 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14189 231 231 0 17065 0
vsize: 69184
[startup+739.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14344 0 0 0 73953 59 0 0 25 0 1 0 511910635 70844416 14189 4294967295 134512640 135450300 3221224640 3221223360 134536040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14189 231 231 0 17065 0
vsize: 69184
[startup+749.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14345 0 0 0 74953 59 0 0 25 0 1 0 511910635 70844416 14190 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14190 231 231 0 17065 0
vsize: 69184
[startup+759.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14345 0 0 0 75953 59 0 0 25 0 1 0 511910635 70844416 14190 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14190 231 231 0 17065 0
vsize: 69184
[startup+769.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14346 0 0 0 76953 59 0 0 25 0 1 0 511910635 70844416 14191 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14191 231 231 0 17065 0
vsize: 69184
[startup+779.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14355 0 0 0 77952 60 0 0 25 0 1 0 511910635 70844416 14200 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14200 231 231 0 17065 0
vsize: 69184
[startup+789.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14356 0 0 0 78952 60 0 0 25 0 1 0 511910635 70844416 14201 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14201 231 231 0 17065 0
vsize: 69184
[startup+799.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14357 0 0 0 79952 60 0 0 25 0 1 0 511910635 70844416 14202 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14202 231 231 0 17065 0
vsize: 69184
[startup+809.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14361 0 0 0 80952 60 0 0 25 0 1 0 511910635 70844416 14206 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14206 231 231 0 17065 0
vsize: 69184
[startup+819.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14361 0 0 0 81953 60 0 0 25 0 1 0 511910635 70844416 14206 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14206 231 231 0 17065 0
vsize: 69184
[startup+829.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14370 0 0 0 82952 61 0 0 25 0 1 0 511910635 70844416 14215 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17296 14215 231 231 0 17065 0
vsize: 69184
[startup+839.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14381 0 0 0 83951 62 0 0 25 0 1 0 511910635 70979584 14226 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14226 231 231 0 17098 0
vsize: 69316
[startup+849.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14382 0 0 0 84950 63 0 0 25 0 1 0 511910635 70979584 14227 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14227 231 231 0 17098 0
vsize: 69316
[startup+859.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14385 0 0 0 85950 63 0 0 25 0 1 0 511910635 70979584 14230 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14230 231 231 0 17098 0
vsize: 69316
[startup+869.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14388 0 0 0 86950 63 0 0 25 0 1 0 511910635 70979584 14233 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14233 231 231 0 17098 0
vsize: 69316
[startup+879.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14388 0 0 0 87951 63 0 0 25 0 1 0 511910635 70979584 14233 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14233 231 231 0 17098 0
vsize: 69316
[startup+889.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14396 0 0 0 88950 64 0 0 25 0 1 0 511910635 70979584 14241 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14241 231 231 0 17098 0
vsize: 69316
[startup+899.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14407 0 0 0 89949 65 0 0 25 0 1 0 511910635 70979584 14252 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17329 14252 231 231 0 17098 0
vsize: 69316
[startup+909.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14411 0 0 0 90948 67 0 0 25 0 1 0 511910635 71114752 14256 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14256 231 231 0 17131 0
vsize: 69448
[startup+919.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14414 0 0 0 91948 67 0 0 25 0 1 0 511910635 71114752 14259 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14259 231 231 0 17131 0
vsize: 69448
[startup+929.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14415 0 0 0 92948 67 0 0 25 0 1 0 511910635 71114752 14260 4294967295 134512640 135450300 3221224640 3221223360 134535963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14260 231 231 0 17131 0
vsize: 69448
[startup+939.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14416 0 0 0 93948 67 0 0 25 0 1 0 511910635 71114752 14261 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14261 231 231 0 17131 0
vsize: 69448
[startup+949.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14418 0 0 0 94948 67 0 0 25 0 1 0 511910635 71114752 14263 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14263 231 231 0 17131 0
vsize: 69448
[startup+959.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14426 0 0 0 95946 69 0 0 25 0 1 0 511910635 71114752 14271 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14271 231 231 0 17131 0
vsize: 69448
[startup+969.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14427 0 0 0 96944 72 0 0 25 0 1 0 511910635 71114752 14272 4294967295 134512640 135450300 3221224640 3221223360 134535971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14272 231 231 0 17131 0
vsize: 69448
[startup+979.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14428 0 0 0 97944 72 0 0 25 0 1 0 511910635 71114752 14273 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14273 231 231 0 17131 0
vsize: 69448
[startup+989.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14429 0 0 0 98944 73 0 0 25 0 1 0 511910635 71114752 14274 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14274 231 231 0 17131 0
vsize: 69448
[startup+999.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14440 0 0 0 99944 73 0 0 25 0 1 0 511910635 71114752 14285 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14285 231 231 0 17131 0
vsize: 69448
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14448 0 0 0 100944 73 0 0 25 0 1 0 511910635 71114752 14293 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17362 14293 231 231 0 17131 0
vsize: 69448
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14453 0 0 0 101944 73 0 0 25 0 1 0 511910635 71249920 14298 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14298 231 231 0 17164 0
vsize: 69580
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14454 0 0 0 102944 73 0 0 25 0 1 0 511910635 71249920 14299 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14299 231 231 0 17164 0
vsize: 69580
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14457 0 0 0 103944 73 0 0 25 0 1 0 511910635 71249920 14302 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14302 231 231 0 17164 0
vsize: 69580
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14461 0 0 0 104945 73 0 0 25 0 1 0 511910635 71249920 14306 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14306 231 231 0 17164 0
vsize: 69580
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14461 0 0 0 105945 73 0 0 25 0 1 0 511910635 71249920 14306 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14306 231 231 0 17164 0
vsize: 69580
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14462 0 0 0 106945 73 0 0 25 0 1 0 511910635 71249920 14307 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14307 231 231 0 17164 0
vsize: 69580
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14467 0 0 0 107945 73 0 0 25 0 1 0 511910635 71249920 14312 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14312 231 231 0 17164 0
vsize: 69580
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14471 0 0 0 108945 73 0 0 25 0 1 0 511910635 71249920 14316 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14316 231 231 0 17164 0
vsize: 69580
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14478 0 0 0 109946 73 0 0 25 0 1 0 511910635 71249920 14323 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17395 14323 231 231 0 17164 0
vsize: 69580
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14488 0 0 0 110945 74 0 0 25 0 1 0 511910635 71385088 14333 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14333 231 231 0 17197 0
vsize: 69712
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14498 0 0 0 111945 74 0 0 25 0 1 0 511910635 71385088 14343 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14343 231 231 0 17197 0
vsize: 69712
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14499 0 0 0 112943 76 0 0 25 0 1 0 511910635 71385088 14344 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14344 231 231 0 17197 0
vsize: 69712
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14500 0 0 0 113942 77 0 0 25 0 1 0 511910635 71385088 14345 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14345 231 231 0 17197 0
vsize: 69712
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14500 0 0 0 114943 77 0 0 25 0 1 0 511910635 71385088 14345 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14345 231 231 0 17197 0
vsize: 69712
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14501 0 0 0 115943 77 0 0 25 0 1 0 511910635 71385088 14346 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14346 231 231 0 17197 0
vsize: 69712
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14502 0 0 0 116943 77 0 0 25 0 1 0 511910635 71385088 14347 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14347 231 231 0 17197 0
vsize: 69712
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14502 0 0 0 117943 77 0 0 25 0 1 0 511910635 71385088 14347 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14347 231 231 0 17197 0
vsize: 69712
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14508 0 0 0 118941 79 0 0 25 0 1 0 511910635 71385088 14353 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14353 231 231 0 17197 0
vsize: 69712
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21947
Raw data (stat): 21947 (PBS4) R 21946 28099 28098 0 -1 0 14509 0 0 0 119939 81 0 0 25 0 1 0 511910635 71385088 14354 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17428 14354 231 231 0 17197 0
vsize: 69712
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21947
Raw data (stat): 21947 (PBS4) Z 21946 28099 28098 0 -1 1036 14509 0 0 0 119939 84 0 0 25 0 1 0 511910635 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.03
CPU time (s): 1200.24
CPU user time (s): 1199.4
CPU system time (s): 0.843871
CPU usage (%): 100.018
Max. virtual memory (Kb): 69712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####