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-ii8e2.opb
MD5SUM	66ef5c48f4a7492e24281157b7778ffb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	514
Optimality of the best value was proved	NO
Number of terms in the objective function	1740
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	1740
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	1740
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.04884
Number of variables	1740
Total number of constraints	6991
Number of constraints which are clauses	6991
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	10
Trace number 7791

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        808432 kB
Buffers:         39200 kB
Cached:         166092 kB
SwapCached:          0 kB
Active:         110268 kB
Inactive:        97880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808180 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12484 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:39:29 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1581 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc7/normalized-ii8e2.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.96 0.87 2/54 15652
Raw data (stat): 15652 (runsolver) R 15651 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453685928 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.0007 s]
Raw data (loadavg): 0.87 0.96 0.87 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 1746 0 0 0 994 4 0 0 25 0 1 0 453685928 10350592 1738 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2527 1738 231 231 0 2296 0
vsize: 10108
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.87 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 3181 0 0 0 1990 8 0 0 25 0 1 0 453685928 18935808 3124 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 3124 231 231 0 4392 0
vsize: 18492
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.97 0.87 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 4405 0 0 0 2986 12 0 0 25 0 1 0 453685928 18935808 4348 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4623 4348 231 231 0 4392 0
vsize: 18492
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.97 0.87 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 5477 0 0 0 3984 14 0 0 25 0 1 0 453685928 35713024 5420 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 5420 231 231 0 8488 0
vsize: 34876
[startup+50.001 s]
Raw data (loadavg): 0.93 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 6645 0 0 0 4981 17 0 0 25 0 1 0 453685928 35713024 6588 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 6588 231 231 0 8488 0
vsize: 34876
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 7655 0 0 0 5978 20 0 0 25 0 1 0 453685928 35713024 7598 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8719 7598 231 231 0 8488 0
vsize: 34876
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 8665 0 0 0 6976 23 0 0 25 0 1 0 453685928 69402624 8608 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16944 8608 231 231 0 16713 0
vsize: 67776
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 9590 0 0 0 7973 25 0 0 25 0 1 0 453685928 69402624 9533 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16944 9533 231 231 0 16713 0
vsize: 67776
[startup+90.0012 s]
Raw data (loadavg): 0.96 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 10481 0 0 0 8971 28 0 0 25 0 1 0 453685928 69402624 10424 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16944 10424 231 231 0 16713 0
vsize: 67776
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 11225 0 0 0 9969 30 0 0 25 0 1 0 453685928 69402624 11168 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16944 11168 231 231 0 16713 0
vsize: 67776
[startup+110.001 s]
Raw data (loadavg): 0.97 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12049 0 0 0 10964 36 0 0 25 0 1 0 453685928 69402624 11992 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16944 11992 231 231 0 16713 0
vsize: 67776
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12251 0 0 0 11961 38 0 0 25 0 1 0 453685928 69554176 12194 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 12194 231 231 0 16750 0
vsize: 67924
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12253 0 0 0 12961 39 0 0 25 0 1 0 453685928 69554176 12196 4294967295 134512640 135450300 3221224640 3221223104 134532650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 12196 231 231 0 16750 0
vsize: 67924
[startup+140.001 s]
Raw data (loadavg): 0.98 0.97 0.88 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12256 0 0 0 13961 39 0 0 25 0 1 0 453685928 69554176 12199 4294967295 134512640 135450300 3221224640 3221223360 134535660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 12199 231 231 0 16750 0
vsize: 67924
[startup+150.001 s]
Raw data (loadavg): 0.98 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12279 0 0 0 14959 41 0 0 25 0 1 0 453685928 69689344 12222 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17014 12222 231 231 0 16783 0
vsize: 68056
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12390 0 0 0 15956 45 0 0 25 0 1 0 453685928 70082560 12236 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17110 12236 231 231 0 16879 0
vsize: 68440
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12398 0 0 0 16953 47 0 0 25 0 1 0 453685928 70082560 12244 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17110 12244 231 231 0 16879 0
vsize: 68440
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12403 0 0 0 17952 49 0 0 25 0 1 0 453685928 70082560 12249 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17110 12249 231 231 0 16879 0
vsize: 68440
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12404 0 0 0 18952 49 0 0 25 0 1 0 453685928 70082560 12250 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17110 12250 231 231 0 16879 0
vsize: 68440
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12415 0 0 0 19951 50 0 0 25 0 1 0 453685928 70205440 12261 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12261 231 231 0 16909 0
vsize: 68560
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12418 0 0 0 20948 53 0 0 25 0 1 0 453685928 70205440 12264 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12264 231 231 0 16909 0
vsize: 68560
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12421 0 0 0 21948 53 0 0 25 0 1 0 453685928 70205440 12267 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12267 231 231 0 16909 0
vsize: 68560
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12431 0 0 0 22948 54 0 0 25 0 1 0 453685928 70205440 12277 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12277 231 231 0 16909 0
vsize: 68560
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12432 0 0 0 23945 57 0 0 25 0 1 0 453685928 70205440 12278 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12278 231 231 0 16909 0
vsize: 68560
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12434 0 0 0 24945 57 0 0 25 0 1 0 453685928 70205440 12280 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12280 231 231 0 16909 0
vsize: 68560
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12442 0 0 0 25943 59 0 0 25 0 1 0 453685928 70205440 12288 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17140 12288 231 231 0 16909 0
vsize: 68560
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12458 0 0 0 26939 64 0 0 25 0 1 0 453685928 70332416 12304 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12304 231 231 0 16940 0
vsize: 68684
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12461 0 0 0 27936 67 0 0 25 0 1 0 453685928 70332416 12307 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12307 231 231 0 16940 0
vsize: 68684
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12462 0 0 0 28936 67 0 0 25 0 1 0 453685928 70332416 12308 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12308 231 231 0 16940 0
vsize: 68684
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12464 0 0 0 29936 67 0 0 25 0 1 0 453685928 70332416 12310 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12310 231 231 0 16940 0
vsize: 68684
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12477 0 0 0 30935 68 0 0 25 0 1 0 453685928 70332416 12323 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12323 231 231 0 16940 0
vsize: 68684
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12477 0 0 0 31936 68 0 0 25 0 1 0 453685928 70332416 12323 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12323 231 231 0 16940 0
vsize: 68684
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12477 0 0 0 32936 68 0 0 25 0 1 0 453685928 70332416 12323 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12323 231 231 0 16940 0
vsize: 68684
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12477 0 0 0 33936 68 0 0 25 0 1 0 453685928 70332416 12323 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12323 231 231 0 16940 0
vsize: 68684
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12478 0 0 0 34936 68 0 0 25 0 1 0 453685928 70332416 12324 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12324 231 231 0 16940 0
vsize: 68684
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12479 0 0 0 35936 68 0 0 25 0 1 0 453685928 70332416 12325 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12325 231 231 0 16940 0
vsize: 68684
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12479 0 0 0 36937 68 0 0 25 0 1 0 453685928 70332416 12325 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12325 231 231 0 16940 0
vsize: 68684
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12481 0 0 0 37937 68 0 0 25 0 1 0 453685928 70332416 12327 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12327 231 231 0 16940 0
vsize: 68684
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12482 0 0 0 38937 68 0 0 25 0 1 0 453685928 70332416 12328 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12328 231 231 0 16940 0
vsize: 68684
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12483 0 0 0 39937 68 0 0 25 0 1 0 453685928 70332416 12329 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12329 231 231 0 16940 0
vsize: 68684
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12483 0 0 0 40937 68 0 0 25 0 1 0 453685928 70332416 12329 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12329 231 231 0 16940 0
vsize: 68684
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12484 0 0 0 41938 68 0 0 25 0 1 0 453685928 70332416 12330 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12330 231 231 0 16940 0
vsize: 68684
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12486 0 0 0 42938 68 0 0 25 0 1 0 453685928 70332416 12332 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12332 231 231 0 16940 0
vsize: 68684
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12488 0 0 0 43938 68 0 0 25 0 1 0 453685928 70332416 12334 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12334 231 231 0 16940 0
vsize: 68684
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12489 0 0 0 44938 68 0 0 25 0 1 0 453685928 70332416 12335 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 12335 231 231 0 16940 0
vsize: 68684
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12492 0 0 0 45938 68 0 0 25 0 1 0 453685928 70463488 12338 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12338 231 231 0 16972 0
vsize: 68812
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12493 0 0 0 46938 68 0 0 25 0 1 0 453685928 70463488 12339 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12339 231 231 0 16972 0
vsize: 68812
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12494 0 0 0 47939 68 0 0 25 0 1 0 453685928 70463488 12340 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12340 231 231 0 16972 0
vsize: 68812
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12494 0 0 0 48939 68 0 0 25 0 1 0 453685928 70463488 12340 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12340 231 231 0 16972 0
vsize: 68812
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12496 0 0 0 49939 68 0 0 25 0 1 0 453685928 70463488 12342 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12342 231 231 0 16972 0
vsize: 68812
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12502 0 0 0 50939 68 0 0 25 0 1 0 453685928 70463488 12348 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12348 231 231 0 16972 0
vsize: 68812
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12504 0 0 0 51939 68 0 0 25 0 1 0 453685928 70463488 12350 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12350 231 231 0 16972 0
vsize: 68812
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12505 0 0 0 52939 68 0 0 25 0 1 0 453685928 70463488 12351 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12351 231 231 0 16972 0
vsize: 68812
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12506 0 0 0 53939 68 0 0 25 0 1 0 453685928 70463488 12352 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12352 231 231 0 16972 0
vsize: 68812
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12506 0 0 0 54939 68 0 0 25 0 1 0 453685928 70463488 12352 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12352 231 231 0 16972 0
vsize: 68812
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12506 0 0 0 55940 68 0 0 25 0 1 0 453685928 70463488 12352 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12352 231 231 0 16972 0
vsize: 68812
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12506 0 0 0 56940 68 0 0 25 0 1 0 453685928 70463488 12352 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12352 231 231 0 16972 0
vsize: 68812
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12509 0 0 0 57940 68 0 0 25 0 1 0 453685928 70463488 12355 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12355 231 231 0 16972 0
vsize: 68812
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12509 0 0 0 58940 68 0 0 25 0 1 0 453685928 70463488 12355 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12355 231 231 0 16972 0
vsize: 68812
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12512 0 0 0 59938 70 0 0 25 0 1 0 453685928 70463488 12358 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12358 231 231 0 16972 0
vsize: 68812
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12517 0 0 0 60937 72 0 0 25 0 1 0 453685928 70463488 12363 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12363 231 231 0 16972 0
vsize: 68812
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12520 0 0 0 61937 72 0 0 25 0 1 0 453685928 70463488 12366 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12366 231 231 0 16972 0
vsize: 68812
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12521 0 0 0 62937 72 0 0 25 0 1 0 453685928 70463488 12367 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 12367 231 231 0 16972 0
vsize: 68812
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12528 0 0 0 63937 72 0 0 25 0 1 0 453685928 70586368 12374 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17233 12374 231 231 0 17002 0
vsize: 68932
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12534 0 0 0 64937 72 0 0 25 0 1 0 453685928 70586368 12380 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17233 12380 231 231 0 17002 0
vsize: 68932
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12547 0 0 0 65937 73 0 0 25 0 1 0 453685928 70586368 12393 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17233 12393 231 231 0 17002 0
vsize: 68932
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12549 0 0 0 66937 73 0 0 25 0 1 0 453685928 70586368 12395 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17233 12395 231 231 0 17002 0
vsize: 68932
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12552 0 0 0 67937 73 0 0 25 0 1 0 453685928 70586368 12398 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17233 12398 231 231 0 17002 0
vsize: 68932
[startup+690.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12555 0 0 0 68937 73 0 0 25 0 1 0 453685928 70721536 12401 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12401 231 231 0 17035 0
vsize: 69064
[startup+700.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12557 0 0 0 69937 73 0 0 25 0 1 0 453685928 70721536 12403 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12403 231 231 0 17035 0
vsize: 69064
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12557 0 0 0 70937 73 0 0 25 0 1 0 453685928 70721536 12403 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12403 231 231 0 17035 0
vsize: 69064
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12561 0 0 0 71938 73 0 0 25 0 1 0 453685928 70721536 12407 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12407 231 231 0 17035 0
vsize: 69064
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12562 0 0 0 72938 73 0 0 25 0 1 0 453685928 70721536 12408 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12408 231 231 0 17035 0
vsize: 69064
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12570 0 0 0 73936 75 0 0 25 0 1 0 453685928 70721536 12416 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12416 231 231 0 17035 0
vsize: 69064
[startup+750.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12571 0 0 0 74933 78 0 0 25 0 1 0 453685928 70721536 12417 4294967295 134512640 135450300 3221224640 3221223116 134572578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12417 231 231 0 17035 0
vsize: 69064
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12573 0 0 0 75933 79 0 0 25 0 1 0 453685928 70721536 12419 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12419 231 231 0 17035 0
vsize: 69064
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12574 0 0 0 76933 79 0 0 25 0 1 0 453685928 70721536 12420 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12420 231 231 0 17035 0
vsize: 69064
[startup+780.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12575 0 0 0 77933 79 0 0 25 0 1 0 453685928 70721536 12421 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12421 231 231 0 17035 0
vsize: 69064
[startup+790.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12585 0 0 0 78927 85 0 0 25 0 1 0 453685928 70721536 12431 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12431 231 231 0 17035 0
vsize: 69064
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12587 0 0 0 79927 85 0 0 25 0 1 0 453685928 70721536 12433 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12433 231 231 0 17035 0
vsize: 69064
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12596 0 0 0 80925 87 0 0 25 0 1 0 453685928 70721536 12442 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12442 231 231 0 17035 0
vsize: 69064
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12597 0 0 0 81921 91 0 0 25 0 1 0 453685928 70721536 12443 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12443 231 231 0 17035 0
vsize: 69064
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12598 0 0 0 82921 91 0 0 25 0 1 0 453685928 70721536 12444 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12444 231 231 0 17035 0
vsize: 69064
[startup+840.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12599 0 0 0 83922 91 0 0 25 0 1 0 453685928 70721536 12445 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17266 12445 231 231 0 17035 0
vsize: 69064
[startup+850.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12606 0 0 0 84917 96 0 0 25 0 1 0 453685928 70868992 12452 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12452 231 231 0 17071 0
vsize: 69208
[startup+860.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12609 0 0 0 85916 97 0 0 25 0 1 0 453685928 70868992 12455 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12455 231 231 0 17071 0
vsize: 69208
[startup+870.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12619 0 0 0 86915 98 0 0 25 0 1 0 453685928 70868992 12465 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12465 231 231 0 17071 0
vsize: 69208
[startup+880.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12620 0 0 0 87913 101 0 0 25 0 1 0 453685928 70868992 12466 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12466 231 231 0 17071 0
vsize: 69208
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12622 0 0 0 88912 102 0 0 25 0 1 0 453685928 70868992 12468 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12468 231 231 0 17071 0
vsize: 69208
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12623 0 0 0 89912 102 0 0 25 0 1 0 453685928 70868992 12469 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12469 231 231 0 17071 0
vsize: 69208
[startup+910.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12624 0 0 0 90912 102 0 0 25 0 1 0 453685928 70868992 12470 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12470 231 231 0 17071 0
vsize: 69208
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12632 0 0 0 91909 106 0 0 25 0 1 0 453685928 70868992 12478 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12478 231 231 0 17071 0
vsize: 69208
[startup+930 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12633 0 0 0 92907 108 0 0 25 0 1 0 453685928 70868992 12479 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12479 231 231 0 17071 0
vsize: 69208
[startup+940.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12634 0 0 0 93907 108 0 0 25 0 1 0 453685928 70868992 12480 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12480 231 231 0 17071 0
vsize: 69208
[startup+950.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12640 0 0 0 94906 109 0 0 25 0 1 0 453685928 70868992 12486 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12486 231 231 0 17071 0
vsize: 69208
[startup+960.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12641 0 0 0 95902 113 0 0 25 0 1 0 453685928 70868992 12487 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12487 231 231 0 17071 0
vsize: 69208
[startup+970.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12642 0 0 0 96901 114 0 0 25 0 1 0 453685928 70868992 12488 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12488 231 231 0 17071 0
vsize: 69208
[startup+980.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12644 0 0 0 97901 114 0 0 25 0 1 0 453685928 70868992 12490 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12490 231 231 0 17071 0
vsize: 69208
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12651 0 0 0 98901 114 0 0 25 0 1 0 453685928 70868992 12497 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12497 231 231 0 17071 0
vsize: 69208
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12652 0 0 0 99898 118 0 0 25 0 1 0 453685928 70868992 12498 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12498 231 231 0 17071 0
vsize: 69208
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12653 0 0 0 100896 119 0 0 25 0 1 0 453685928 70868992 12499 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12499 231 231 0 17071 0
vsize: 69208
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12654 0 0 0 101897 120 0 0 25 0 1 0 453685928 70868992 12500 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17302 12500 231 231 0 17071 0
vsize: 69208
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12659 0 0 0 102896 120 0 0 25 0 1 0 453685928 71008256 12505 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12505 231 231 0 17105 0
vsize: 69344
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12661 0 0 0 103893 123 0 0 25 0 1 0 453685928 71008256 12507 4294967295 134512640 135450300 3221224640 3221223472 134549514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12507 231 231 0 17105 0
vsize: 69344
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12664 0 0 0 104892 124 0 0 25 0 1 0 453685928 71008256 12510 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12510 231 231 0 17105 0
vsize: 69344
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12665 0 0 0 105893 124 0 0 25 0 1 0 453685928 71008256 12511 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12511 231 231 0 17105 0
vsize: 69344
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12673 0 0 0 106893 124 0 0 25 0 1 0 453685928 71008256 12519 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12519 231 231 0 17105 0
vsize: 69344
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12674 0 0 0 107889 128 0 0 25 0 1 0 453685928 71008256 12520 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12520 231 231 0 17105 0
vsize: 69344
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12675 0 0 0 108888 129 0 0 25 0 1 0 453685928 71008256 12521 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12521 231 231 0 17105 0
vsize: 69344
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12676 0 0 0 109888 130 0 0 25 0 1 0 453685928 71008256 12522 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12522 231 231 0 17105 0
vsize: 69344
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12682 0 0 0 110888 130 0 0 25 0 1 0 453685928 71008256 12528 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12528 231 231 0 17105 0
vsize: 69344
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12685 0 0 0 111884 133 0 0 25 0 1 0 453685928 71008256 12531 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12531 231 231 0 17105 0
vsize: 69344
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12687 0 0 0 112883 135 0 0 25 0 1 0 453685928 71008256 12533 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12533 231 231 0 17105 0
vsize: 69344
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12688 0 0 0 113883 135 0 0 25 0 1 0 453685928 71008256 12534 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12534 231 231 0 17105 0
vsize: 69344
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12689 0 0 0 114883 135 0 0 25 0 1 0 453685928 71008256 12535 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12535 231 231 0 17105 0
vsize: 69344
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12696 0 0 0 115880 138 0 0 25 0 1 0 453685928 71008256 12542 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12542 231 231 0 17105 0
vsize: 69344
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12697 0 0 0 116878 140 0 0 25 0 1 0 453685928 71008256 12543 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12543 231 231 0 17105 0
vsize: 69344
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12699 0 0 0 117879 140 0 0 25 0 1 0 453685928 71008256 12545 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12545 231 231 0 17105 0
vsize: 69344
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12705 0 0 0 118878 141 0 0 25 0 1 0 453685928 71008256 12551 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12551 231 231 0 17105 0
vsize: 69344
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15652
Raw data (stat): 15652 (PBS4) R 15651 22932 22931 0 -1 0 12706 0 0 0 119875 145 0 0 25 0 1 0 453685928 71008256 12552 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17336 12552 231 231 0 17105 0
vsize: 69344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15652
Raw data (stat): 15652 (PBS4) Z 15651 22932 22931 0 -1 1036 12706 0 0 0 119875 147 0 0 25 0 1 0 453685928 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.03
CPU time (s): 1200.23
CPU user time (s): 1198.75
CPU system time (s): 1.47478
CPU usage (%): 100.017
Max. virtual memory (Kb): 69344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####