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-ii8b2.opb
MD5SUM	bbfcebd70586668574286ad19a1cd5a8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	379
Optimality of the best value was proved	NO
Number of terms in the objective function	1152
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	1152
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	1152
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	1.03984
Number of variables	1152
Total number of constraints	4664
Number of constraints which are clauses	4664
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 7781

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-17 16:18:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1509 boxname=wulflinc29 idbench=168 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  bbfcebd70586668574286ad19a1cd5a8  /oldhome/oroussel/tmp/wulflinc29/normalized-ii8b2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-ii8b2.opb
IDLAUNCH: 1509
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        779364 kB
Buffers:         37932 kB
Cached:         178908 kB
SwapCached:         12 kB
Active:          76320 kB
Inactive:       143416 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        779084 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            29944 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:38:42 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 1509 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-ii8b2.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.85 0.97 0.88 2/54 18809
Raw data (stat): 18809 (runsolver) R 18808 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511895070 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+10.0007 s]
Raw data (loadavg): 0.87 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 1383 0 0 0 995 4 0 0 25 0 1 0 511895070 10100736 1375 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2466 1375 231 231 0 2235 0
vsize: 9864
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 2401 0 0 0 1993 6 0 0 25 0 1 0 511895070 18489344 2393 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4514 2393 231 231 0 4283 0
vsize: 18056
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 3345 0 0 0 2989 10 0 0 25 0 1 0 511895070 18489344 3337 4294967295 134512640 135450300 3221224640 3221223132 134571590 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4514 3337 231 231 0 4283 0
vsize: 18056
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 4280 0 0 0 3986 13 0 0 25 0 1 0 511895070 18685952 4223 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4562 4223 231 231 0 4331 0
vsize: 18248
[startup+50.0007 s]
Raw data (loadavg): 0.93 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 5134 0 0 0 4983 16 0 0 25 0 1 0 511895070 35598336 5077 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8691 5077 231 231 0 8460 0
vsize: 34764
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 5988 0 0 0 5981 19 0 0 25 0 1 0 511895070 35598336 5931 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8691 5931 231 231 0 8460 0
vsize: 34764
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 6792 0 0 0 6979 21 0 0 25 0 1 0 511895070 35598336 6735 4294967295 134512640 135450300 3221224640 3221222944 134844236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8691 6735 231 231 0 8460 0
vsize: 34764
[startup+80.001 s]
Raw data (loadavg): 0.96 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 7301 0 0 0 7976 24 0 0 25 0 1 0 511895070 35598336 7244 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8691 7244 231 231 0 8460 0
vsize: 34764
[startup+90.0014 s]
Raw data (loadavg): 0.96 0.97 0.88 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 7705 0 0 0 8974 26 0 0 25 0 1 0 511895070 35598336 7648 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8691 7648 231 231 0 8460 0
vsize: 34764
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8112 0 0 0 9970 30 0 0 25 0 1 0 511895070 35868672 8055 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8757 8055 231 231 0 8526 0
vsize: 35028
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8633 0 0 0 10966 35 0 0 25 0 1 0 511895070 35868672 8576 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8757 8576 231 231 0 8526 0
vsize: 35028
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8644 0 0 0 11964 37 0 0 25 0 1 0 511895070 35868672 8587 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8757 8587 231 231 0 8526 0
vsize: 35028
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8648 0 0 0 12964 37 0 0 25 0 1 0 511895070 35868672 8591 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8757 8591 231 231 0 8526 0
vsize: 35028
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8659 0 0 0 13963 39 0 0 25 0 1 0 511895070 35868672 8602 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8757 8602 231 231 0 8526 0
vsize: 35028
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8668 0 0 0 14962 40 0 0 25 0 1 0 511895070 36007936 8611 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8791 8611 231 231 0 8560 0
vsize: 35164
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8674 0 0 0 15960 42 0 0 25 0 1 0 511895070 36007936 8617 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8791 8617 231 231 0 8560 0
vsize: 35164
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8791 0 0 0 16957 45 0 0 25 0 1 0 511895070 36401152 8637 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8887 8637 231 231 0 8656 0
vsize: 35548
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8796 0 0 0 17957 45 0 0 25 0 1 0 511895070 36401152 8642 4294967295 134512640 135450300 3221224640 3221223376 134538912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8887 8642 231 231 0 8656 0
vsize: 35548
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8808 0 0 0 18957 46 0 0 25 0 1 0 511895070 36401152 8654 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8887 8654 231 231 0 8656 0
vsize: 35548
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8813 0 0 0 19957 46 0 0 25 0 1 0 511895070 36536320 8659 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8659 231 231 0 8689 0
vsize: 35680
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8821 0 0 0 20957 46 0 0 25 0 1 0 511895070 36536320 8667 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8667 231 231 0 8689 0
vsize: 35680
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8824 0 0 0 21957 46 0 0 25 0 1 0 511895070 36536320 8670 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8670 231 231 0 8689 0
vsize: 35680
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8835 0 0 0 22957 46 0 0 25 0 1 0 511895070 36536320 8681 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8681 231 231 0 8689 0
vsize: 35680
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8844 0 0 0 23957 46 0 0 25 0 1 0 511895070 36536320 8690 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8690 231 231 0 8689 0
vsize: 35680
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8847 0 0 0 24957 46 0 0 25 0 1 0 511895070 36536320 8693 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8693 231 231 0 8689 0
vsize: 35680
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8858 0 0 0 25957 46 0 0 25 0 1 0 511895070 36536320 8704 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8704 231 231 0 8689 0
vsize: 35680
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8860 0 0 0 26957 47 0 0 25 0 1 0 511895070 36536320 8706 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8920 8706 231 231 0 8689 0
vsize: 35680
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8870 0 0 0 27957 47 0 0 25 0 1 0 511895070 36687872 8716 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8716 231 231 0 8726 0
vsize: 35828
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8872 0 0 0 28957 47 0 0 25 0 1 0 511895070 36687872 8718 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8718 231 231 0 8726 0
vsize: 35828
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8879 0 0 0 29957 47 0 0 25 0 1 0 511895070 36687872 8725 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8725 231 231 0 8726 0
vsize: 35828
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8882 0 0 0 30957 47 0 0 25 0 1 0 511895070 36687872 8728 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8728 231 231 0 8726 0
vsize: 35828
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8888 0 0 0 31957 47 0 0 25 0 1 0 511895070 36687872 8734 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8734 231 231 0 8726 0
vsize: 35828
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8894 0 0 0 32957 48 0 0 25 0 1 0 511895070 36687872 8740 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8740 231 231 0 8726 0
vsize: 35828
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8898 0 0 0 33957 48 0 0 25 0 1 0 511895070 36687872 8744 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8744 231 231 0 8726 0
vsize: 35828
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8903 0 0 0 34957 48 0 0 25 0 1 0 511895070 36687872 8749 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8749 231 231 0 8726 0
vsize: 35828
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8908 0 0 0 35957 48 0 0 25 0 1 0 511895070 36687872 8754 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8754 231 231 0 8726 0
vsize: 35828
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8912 0 0 0 36957 48 0 0 25 0 1 0 511895070 36687872 8758 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8758 231 231 0 8726 0
vsize: 35828
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8915 0 0 0 37957 48 0 0 25 0 1 0 511895070 36687872 8761 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8761 231 231 0 8726 0
vsize: 35828
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8924 0 0 0 38957 48 0 0 25 0 1 0 511895070 36827136 8770 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8770 231 231 0 8760 0
vsize: 35964
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8925 0 0 0 39958 48 0 0 25 0 1 0 511895070 36827136 8771 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8771 231 231 0 8760 0
vsize: 35964
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8928 0 0 0 40958 48 0 0 25 0 1 0 511895070 36827136 8774 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8774 231 231 0 8760 0
vsize: 35964
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8932 0 0 0 41958 49 0 0 25 0 1 0 511895070 36827136 8778 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8778 231 231 0 8760 0
vsize: 35964
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8935 0 0 0 42958 49 0 0 25 0 1 0 511895070 36827136 8781 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8781 231 231 0 8760 0
vsize: 35964
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8946 0 0 0 43958 49 0 0 25 0 1 0 511895070 36827136 8792 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8792 231 231 0 8760 0
vsize: 35964
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8953 0 0 0 44958 49 0 0 25 0 1 0 511895070 36827136 8799 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8799 231 231 0 8760 0
vsize: 35964
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8959 0 0 0 45958 49 0 0 25 0 1 0 511895070 36827136 8805 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8805 231 231 0 8760 0
vsize: 35964
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8964 0 0 0 46959 49 0 0 25 0 1 0 511895070 36827136 8810 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8810 231 231 0 8760 0
vsize: 35964
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8969 0 0 0 47959 49 0 0 25 0 1 0 511895070 36827136 8815 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8991 8815 231 231 0 8760 0
vsize: 35964
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8978 0 0 0 48958 49 0 0 25 0 1 0 511895070 36995072 8824 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8824 231 231 0 8801 0
vsize: 36128
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8980 0 0 0 49959 49 0 0 25 0 1 0 511895070 36995072 8826 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8826 231 231 0 8801 0
vsize: 36128
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 8989 0 0 0 50958 50 0 0 25 0 1 0 511895070 36995072 8835 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8835 231 231 0 8801 0
vsize: 36128
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9001 0 0 0 51958 50 0 0 25 0 1 0 511895070 36995072 8847 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8847 231 231 0 8801 0
vsize: 36128
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9007 0 0 0 52959 50 0 0 25 0 1 0 511895070 36995072 8853 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8853 231 231 0 8801 0
vsize: 36128
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9014 0 0 0 53958 50 0 0 25 0 1 0 511895070 36995072 8860 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8860 231 231 0 8801 0
vsize: 36128
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9025 0 0 0 54958 51 0 0 25 0 1 0 511895070 36995072 8871 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8871 231 231 0 8801 0
vsize: 36128
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9030 0 0 0 55958 51 0 0 25 0 1 0 511895070 36995072 8876 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8876 231 231 0 8801 0
vsize: 36128
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9040 0 0 0 56958 51 0 0 25 0 1 0 511895070 37150720 8886 4294967295 134512640 135450300 3221224640 3221223376 134538383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8886 231 231 0 8839 0
vsize: 36280
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9043 0 0 0 57958 51 0 0 25 0 1 0 511895070 37150720 8889 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8889 231 231 0 8839 0
vsize: 36280
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9052 0 0 0 58959 51 0 0 25 0 1 0 511895070 37150720 8898 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8898 231 231 0 8839 0
vsize: 36280
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9056 0 0 0 59959 51 0 0 25 0 1 0 511895070 37150720 8902 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8902 231 231 0 8839 0
vsize: 36280
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9064 0 0 0 60959 51 0 0 25 0 1 0 511895070 37150720 8910 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8910 231 231 0 8839 0
vsize: 36280
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9067 0 0 0 61959 51 0 0 25 0 1 0 511895070 37150720 8913 4294967295 134512640 135450300 3221224640 3221223360 134535689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 8913 231 231 0 8839 0
vsize: 36280
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9270 0 0 0 62959 52 0 0 25 0 1 0 511895070 38072320 8923 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8923 231 231 0 9064 0
vsize: 37180
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9274 0 0 0 63959 52 0 0 25 0 1 0 511895070 38072320 8927 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8927 231 231 0 9064 0
vsize: 37180
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9282 0 0 0 64959 52 0 0 25 0 1 0 511895070 38072320 8935 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8935 231 231 0 9064 0
vsize: 37180
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9289 0 0 0 65959 52 0 0 25 0 1 0 511895070 38072320 8942 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8942 231 231 0 9064 0
vsize: 37180
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9291 0 0 0 66959 52 0 0 25 0 1 0 511895070 38072320 8944 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8944 231 231 0 9064 0
vsize: 37180
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9301 0 0 0 67959 53 0 0 25 0 1 0 511895070 38072320 8954 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8954 231 231 0 9064 0
vsize: 37180
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9303 0 0 0 68959 53 0 0 25 0 1 0 511895070 38072320 8956 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8956 231 231 0 9064 0
vsize: 37180
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9309 0 0 0 69958 53 0 0 25 0 1 0 511895070 38072320 8962 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8962 231 231 0 9064 0
vsize: 37180
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9312 0 0 0 70959 54 0 0 25 0 1 0 511895070 38072320 8965 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8965 231 231 0 9064 0
vsize: 37180
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9325 0 0 0 71958 54 0 0 25 0 1 0 511895070 38072320 8978 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8978 231 231 0 9064 0
vsize: 37180
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9329 0 0 0 72958 54 0 0 25 0 1 0 511895070 38072320 8982 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8982 231 231 0 9064 0
vsize: 37180
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9337 0 0 0 73958 54 0 0 25 0 1 0 511895070 38203392 8990 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 8990 231 231 0 9096 0
vsize: 37308
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9343 0 0 0 74958 55 0 0 25 0 1 0 511895070 38203392 8996 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 8996 231 231 0 9096 0
vsize: 37308
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9353 0 0 0 75958 55 0 0 25 0 1 0 511895070 38203392 9006 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 9006 231 231 0 9096 0
vsize: 37308
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9357 0 0 0 76958 55 0 0 25 0 1 0 511895070 38203392 9010 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 9010 231 231 0 9096 0
vsize: 37308
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9362 0 0 0 77958 55 0 0 25 0 1 0 511895070 38203392 9015 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 9015 231 231 0 9096 0
vsize: 37308
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9366 0 0 0 78959 55 0 0 25 0 1 0 511895070 38203392 9019 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 9019 231 231 0 9096 0
vsize: 37308
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9371 0 0 0 79959 55 0 0 25 0 1 0 511895070 38203392 9024 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 9024 231 231 0 9096 0
vsize: 37308
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9378 0 0 0 80958 56 0 0 25 0 1 0 511895070 38203392 9031 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 9031 231 231 0 9096 0
vsize: 37308
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9393 0 0 0 81958 56 0 0 25 0 1 0 511895070 38379520 9046 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9046 231 231 0 9139 0
vsize: 37480
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9397 0 0 0 82959 56 0 0 25 0 1 0 511895070 38379520 9050 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9050 231 231 0 9139 0
vsize: 37480
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9408 0 0 0 83958 56 0 0 25 0 1 0 511895070 38379520 9061 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9061 231 231 0 9139 0
vsize: 37480
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9416 0 0 0 84958 57 0 0 25 0 1 0 511895070 38379520 9069 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9069 231 231 0 9139 0
vsize: 37480
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9421 0 0 0 85959 57 0 0 25 0 1 0 511895070 38379520 9074 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9074 231 231 0 9139 0
vsize: 37480
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9430 0 0 0 86958 57 0 0 25 0 1 0 511895070 38379520 9083 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9083 231 231 0 9139 0
vsize: 37480
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9435 0 0 0 87958 57 0 0 25 0 1 0 511895070 38379520 9088 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9088 231 231 0 9139 0
vsize: 37480
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9442 0 0 0 88958 58 0 0 25 0 1 0 511895070 38379520 9095 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9095 231 231 0 9139 0
vsize: 37480
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9446 0 0 0 89958 58 0 0 25 0 1 0 511895070 38379520 9099 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9370 9099 231 231 0 9139 0
vsize: 37480
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9450 0 0 0 90957 59 0 0 25 0 1 0 511895070 38543360 9103 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9103 231 231 0 9179 0
vsize: 37640
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9455 0 0 0 91958 59 0 0 25 0 1 0 511895070 38543360 9108 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9108 231 231 0 9179 0
vsize: 37640
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9465 0 0 0 92957 59 0 0 25 0 1 0 511895070 38543360 9118 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9118 231 231 0 9179 0
vsize: 37640
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9467 0 0 0 93958 59 0 0 25 0 1 0 511895070 38543360 9120 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9120 231 231 0 9179 0
vsize: 37640
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9472 0 0 0 94957 59 0 0 25 0 1 0 511895070 38543360 9125 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9125 231 231 0 9179 0
vsize: 37640
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9474 0 0 0 95958 60 0 0 25 0 1 0 511895070 38543360 9127 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9127 231 231 0 9179 0
vsize: 37640
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9484 0 0 0 96958 60 0 0 25 0 1 0 511895070 38543360 9137 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9137 231 231 0 9179 0
vsize: 37640
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9486 0 0 0 97958 60 0 0 25 0 1 0 511895070 38543360 9139 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9139 231 231 0 9179 0
vsize: 37640
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9490 0 0 0 98958 60 0 0 25 0 1 0 511895070 38543360 9143 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9143 231 231 0 9179 0
vsize: 37640
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9494 0 0 0 99958 60 0 0 25 0 1 0 511895070 38543360 9147 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9147 231 231 0 9179 0
vsize: 37640
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9495 0 0 0 100958 60 0 0 25 0 1 0 511895070 38543360 9148 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9148 231 231 0 9179 0
vsize: 37640
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9497 0 0 0 101958 60 0 0 25 0 1 0 511895070 38543360 9150 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9410 9150 231 231 0 9179 0
vsize: 37640
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9508 0 0 0 102958 60 0 0 25 0 1 0 511895070 38674432 9161 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 9161 231 231 0 9211 0
vsize: 37768
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9513 0 0 0 103958 60 0 0 25 0 1 0 511895070 38674432 9166 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 9166 231 231 0 9211 0
vsize: 37768
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9521 0 0 0 104959 60 0 0 25 0 1 0 511895070 38674432 9174 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 9174 231 231 0 9211 0
vsize: 37768
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9525 0 0 0 105959 60 0 0 25 0 1 0 511895070 38674432 9178 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 9178 231 231 0 9211 0
vsize: 37768
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9528 0 0 0 106959 60 0 0 25 0 1 0 511895070 38674432 9181 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 9181 231 231 0 9211 0
vsize: 37768
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9539 0 0 0 107959 61 0 0 25 0 1 0 511895070 38674432 9192 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 9192 231 231 0 9211 0
vsize: 37768
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9543 0 0 0 108959 61 0 0 25 0 1 0 511895070 38674432 9196 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9442 9196 231 231 0 9211 0
vsize: 37768
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9546 0 0 0 109959 61 0 0 25 0 1 0 511895070 38809600 9199 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9199 231 231 0 9244 0
vsize: 37900
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9553 0 0 0 110959 61 0 0 25 0 1 0 511895070 38809600 9206 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9206 231 231 0 9244 0
vsize: 37900
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9555 0 0 0 111959 61 0 0 25 0 1 0 511895070 38809600 9208 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9208 231 231 0 9244 0
vsize: 37900
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9557 0 0 0 112960 61 0 0 25 0 1 0 511895070 38809600 9210 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9210 231 231 0 9244 0
vsize: 37900
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9562 0 0 0 113959 61 0 0 25 0 1 0 511895070 38809600 9215 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9215 231 231 0 9244 0
vsize: 37900
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9564 0 0 0 114960 61 0 0 25 0 1 0 511895070 38809600 9217 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9217 231 231 0 9244 0
vsize: 37900
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9573 0 0 0 115959 62 0 0 25 0 1 0 511895070 38809600 9226 4294967295 134512640 135450300 3221224640 3221223456 134547508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9226 231 231 0 9244 0
vsize: 37900
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9578 0 0 0 116959 62 0 0 25 0 1 0 511895070 38809600 9231 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9231 231 231 0 9244 0
vsize: 37900
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9584 0 0 0 117959 62 0 0 25 0 1 0 511895070 38809600 9237 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9237 231 231 0 9244 0
vsize: 37900
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9585 0 0 0 118960 62 0 0 25 0 1 0 511895070 38809600 9238 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9238 231 231 0 9244 0
vsize: 37900
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18809
Raw data (stat): 18809 (PBS4) R 18808 27222 27221 0 -1 0 9586 0 0 0 119960 62 0 0 25 0 1 0 511895070 38809600 9239 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 9239 231 231 0 9244 0
vsize: 37900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18809
Raw data (stat): 18809 (PBS4) Z 18808 27222 27221 0 -1 1036 9586 0 0 0 119960 64 0 0 25 0 1 0 511895070 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.05
CPU time (s): 1200.25
CPU user time (s): 1199.6
CPU system time (s): 0.644901
CPU usage (%): 100.017
Max. virtual memory (Kb): 37900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####