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-ssa7552-158.opb
MD5SUM	d607820afcd431f46941921bd45aecde
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
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	2726
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	2726
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.06784
Number of variables	2726
Total number of constraints	4397
Number of constraints which are clauses	4397
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	1
Maximum length of a constraint	5
Trace number 7820

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-17 16:25:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2049 boxname=wulflinc11 idbench=228 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  d607820afcd431f46941921bd45aecde  /oldhome/oroussel/tmp/wulflinc11/normalized-ssa7552-158.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-ssa7552-158.opb
IDLAUNCH: 2049
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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	: 2
cpu MHz		: 451.028
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:        830836 kB
Buffers:         37804 kB
Cached:         139640 kB
SwapCached:       4932 kB
Active:          82796 kB
Inactive:       102392 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830584 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            13024 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:45:45 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 2049 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-ssa7552-158.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.73 0.91 0.88 2/54 24996
Raw data (stat): 24996 (runsolver) R 24995 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453716514 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0002 s]
Raw data (loadavg): 0.77 0.91 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 2840 0 0 0 991 8 0 0 25 0 1 0 453716514 18829312 2832 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4597 2832 231 231 0 4366 0
vsize: 18388
[startup+19.9999 s]
Raw data (loadavg): 0.80 0.91 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 6262 0 0 0 1984 15 0 0 25 0 1 0 453716514 35741696 6254 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8726 6254 231 231 0 8495 0
vsize: 34904
[startup+30.0011 s]
Raw data (loadavg): 0.83 0.92 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 9534 0 0 0 2976 23 0 0 25 0 1 0 453716514 69296128 9526 4294967295 134512640 135450300 3221224640 3221223024 134602465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16918 9526 231 231 0 16687 0
vsize: 67672
[startup+40.0009 s]
Raw data (loadavg): 0.86 0.92 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 12735 0 0 0 3969 29 0 0 25 0 1 0 453716514 69627904 12678 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16999 12678 231 231 0 16768 0
vsize: 67996
[startup+50.0022 s]
Raw data (loadavg): 0.88 0.92 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 15731 0 0 0 4962 37 0 0 25 0 1 0 453716514 69627904 15674 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16999 15674 231 231 0 16768 0
vsize: 67996
[startup+60.0024 s]
Raw data (loadavg): 0.90 0.92 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 18426 0 0 0 5955 44 0 0 25 0 1 0 453716514 136736768 18369 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33383 18369 231 231 0 33152 0
vsize: 133532
[startup+70.0028 s]
Raw data (loadavg): 0.91 0.92 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 20277 0 0 0 6952 47 0 0 25 0 1 0 453716514 136871936 20220 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33416 20220 231 231 0 33185 0
vsize: 133664
[startup+80.0036 s]
Raw data (loadavg): 0.93 0.93 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 20296 0 0 0 7951 48 0 0 25 0 1 0 453716514 137007104 20239 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33449 20239 231 231 0 33218 0
vsize: 133796
[startup+90.0038 s]
Raw data (loadavg): 0.94 0.93 0.88 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 21960 0 0 0 8946 53 0 0 25 0 1 0 453716514 137007104 21903 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33449 21903 231 231 0 33218 0
vsize: 133796
[startup+100.005 s]
Raw data (loadavg): 0.95 0.93 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 23712 0 0 0 9942 57 0 0 25 0 1 0 453716514 137125888 23655 4294967295 134512640 135450300 3221224640 3221223116 134572681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33478 23655 231 231 0 33247 0
vsize: 133912
[startup+110.005 s]
Raw data (loadavg): 0.95 0.93 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 25472 0 0 0 10936 63 0 0 25 0 1 0 453716514 137261056 25415 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33511 25415 231 231 0 33280 0
vsize: 134044
[startup+120.005 s]
Raw data (loadavg): 0.96 0.93 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27257 0 0 0 11932 67 0 0 25 0 1 0 453716514 137375744 27200 4294967295 134512640 135450300 3221224640 3221223168 134544177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33539 27200 231 231 0 33308 0
vsize: 134156
[startup+130.006 s]
Raw data (loadavg): 0.97 0.93 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27741 0 0 0 12931 69 0 0 25 0 1 0 453716514 137515008 27684 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33573 27684 231 231 0 33342 0
vsize: 134292
[startup+140.005 s]
Raw data (loadavg): 0.97 0.94 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27865 0 0 0 13929 70 0 0 25 0 1 0 453716514 138043392 27711 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33702 27711 231 231 0 33471 0
vsize: 134808
[startup+150.006 s]
Raw data (loadavg): 0.97 0.94 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27883 0 0 0 14929 71 0 0 25 0 1 0 453716514 138043392 27729 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33702 27729 231 231 0 33471 0
vsize: 134808
[startup+160.007 s]
Raw data (loadavg): 0.98 0.94 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27899 0 0 0 15928 72 0 0 25 0 1 0 453716514 138178560 27745 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33735 27745 231 231 0 33504 0
vsize: 134940
[startup+170.007 s]
Raw data (loadavg): 0.98 0.94 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27911 0 0 0 16927 72 0 0 25 0 1 0 453716514 138178560 27757 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33735 27757 231 231 0 33504 0
vsize: 134940
[startup+180.007 s]
Raw data (loadavg): 0.98 0.94 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27934 0 0 0 17925 74 0 0 25 0 1 0 453716514 138178560 27780 4294967295 134512640 135450300 3221224640 3221223168 134543751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33735 27780 231 231 0 33504 0
vsize: 134940
[startup+190.007 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27944 0 0 0 18924 75 0 0 25 0 1 0 453716514 138178560 27790 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33735 27790 231 231 0 33504 0
vsize: 134940
[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27961 0 0 0 19923 76 0 0 25 0 1 0 453716514 138338304 27807 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33774 27807 231 231 0 33543 0
vsize: 135096
[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 27988 0 0 0 20922 77 0 0 25 0 1 0 453716514 138338304 27834 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33774 27834 231 231 0 33543 0
vsize: 135096
[startup+220.009 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28003 0 0 0 21921 78 0 0 25 0 1 0 453716514 138452992 27849 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33802 27849 231 231 0 33571 0
vsize: 135208
[startup+230.009 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28014 0 0 0 22921 78 0 0 25 0 1 0 453716514 138452992 27860 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33802 27860 231 231 0 33571 0
vsize: 135208
[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28034 0 0 0 23920 79 0 0 25 0 1 0 453716514 138452992 27880 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33802 27880 231 231 0 33571 0
vsize: 135208
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28045 0 0 0 24919 80 0 0 25 0 1 0 453716514 138452992 27891 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33802 27891 231 231 0 33571 0
vsize: 135208
[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28058 0 0 0 25919 81 0 0 25 0 1 0 453716514 138588160 27904 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33835 27904 231 231 0 33604 0
vsize: 135340
[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28069 0 0 0 26918 81 0 0 25 0 1 0 453716514 138588160 27915 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33835 27915 231 231 0 33604 0
vsize: 135340
[startup+280.011 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28083 0 0 0 27918 82 0 0 25 0 1 0 453716514 138588160 27929 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33835 27929 231 231 0 33604 0
vsize: 135340
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28097 0 0 0 28918 82 0 0 25 0 1 0 453716514 138588160 27943 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33835 27943 231 231 0 33604 0
vsize: 135340
[startup+300.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28110 0 0 0 29918 83 0 0 25 0 1 0 453716514 138719232 27956 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33867 27956 231 231 0 33636 0
vsize: 135468
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28141 0 0 0 30917 83 0 0 25 0 1 0 453716514 138858496 27987 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33901 27987 231 231 0 33670 0
vsize: 135604
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28347 0 0 0 31917 83 0 0 25 0 1 0 453716514 139644928 28000 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34093 28000 231 231 0 33862 0
vsize: 136372
[startup+330.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28358 0 0 0 32917 84 0 0 25 0 1 0 453716514 139644928 28011 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34093 28011 231 231 0 33862 0
vsize: 136372
[startup+340.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28374 0 0 0 33917 84 0 0 25 0 1 0 453716514 139644928 28027 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34093 28027 231 231 0 33862 0
vsize: 136372
[startup+350.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28390 0 0 0 34916 85 0 0 25 0 1 0 453716514 139644928 28043 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34093 28043 231 231 0 33862 0
vsize: 136372
[startup+360.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28406 0 0 0 35917 85 0 0 25 0 1 0 453716514 139776000 28059 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34125 28059 231 231 0 33894 0
vsize: 136500
[startup+370.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28417 0 0 0 36916 85 0 0 25 0 1 0 453716514 139776000 28070 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34125 28070 231 231 0 33894 0
vsize: 136500
[startup+380.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28450 0 0 0 37915 87 0 0 25 0 1 0 453716514 139956224 28103 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 28103 231 231 0 33938 0
vsize: 136676
[startup+390.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28462 0 0 0 38915 87 0 0 25 0 1 0 453716514 139956224 28115 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 28115 231 231 0 33938 0
vsize: 136676
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28476 0 0 0 39914 88 0 0 25 0 1 0 453716514 139956224 28129 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 28129 231 231 0 33938 0
vsize: 136676
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28487 0 0 0 40914 88 0 0 25 0 1 0 453716514 139956224 28140 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 28140 231 231 0 33938 0
vsize: 136676
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28494 0 0 0 41914 89 0 0 25 0 1 0 453716514 140070912 28147 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34197 28147 231 231 0 33966 0
vsize: 136788
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28504 0 0 0 42914 89 0 0 25 0 1 0 453716514 140070912 28157 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34197 28157 231 231 0 33966 0
vsize: 136788
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28537 0 0 0 43913 90 0 0 25 0 1 0 453716514 140185600 28190 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34225 28190 231 231 0 33994 0
vsize: 136900
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28542 0 0 0 44912 91 0 0 25 0 1 0 453716514 140185600 28195 4294967295 134512640 135450300 3221224640 3221223168 134543673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34225 28195 231 231 0 33994 0
vsize: 136900
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28553 0 0 0 45912 91 0 0 25 0 1 0 453716514 140185600 28206 4294967295 134512640 135450300 3221224640 3221223120 134580021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34225 28206 231 231 0 33994 0
vsize: 136900
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28562 0 0 0 46912 92 0 0 25 0 1 0 453716514 140185600 28215 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34225 28215 231 231 0 33994 0
vsize: 136900
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28574 0 0 0 47912 92 0 0 25 0 1 0 453716514 140185600 28227 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34225 28227 231 231 0 33994 0
vsize: 136900
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28587 0 0 0 48911 92 0 0 25 0 1 0 453716514 140296192 28240 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 28240 231 231 0 34021 0
vsize: 137008
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28593 0 0 0 49911 93 0 0 25 0 1 0 453716514 140296192 28246 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 28246 231 231 0 34021 0
vsize: 137008
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28602 0 0 0 50910 94 0 0 25 0 1 0 453716514 140296192 28255 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 28255 231 231 0 34021 0
vsize: 137008
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28610 0 0 0 51909 95 0 0 25 0 1 0 453716514 140296192 28263 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 28263 231 231 0 34021 0
vsize: 137008
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28622 0 0 0 52909 96 0 0 25 0 1 0 453716514 140414976 28275 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34281 28275 231 231 0 34050 0
vsize: 137124
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28626 0 0 0 53909 96 0 0 25 0 1 0 453716514 140414976 28279 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34281 28279 231 231 0 34050 0
vsize: 137124
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28636 0 0 0 54909 96 0 0 25 0 1 0 453716514 140414976 28289 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34281 28289 231 231 0 34050 0
vsize: 137124
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28651 0 0 0 55908 97 0 0 25 0 1 0 453716514 140414976 28304 4294967295 134512640 135450300 3221224640 3221223456 134547845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34281 28304 231 231 0 34050 0
vsize: 137124
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28660 0 0 0 56908 97 0 0 25 0 1 0 453716514 140414976 28313 4294967295 134512640 135450300 3221224640 3221223024 134579388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34281 28313 231 231 0 34050 0
vsize: 137124
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28668 0 0 0 57908 97 0 0 25 0 1 0 453716514 140414976 28321 4294967295 134512640 135450300 3221224640 3221223248 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34281 28321 231 231 0 34050 0
vsize: 137124
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28675 0 0 0 58908 98 0 0 25 0 1 0 453716514 140414976 28328 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34281 28328 231 231 0 34050 0
vsize: 137124
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28687 0 0 0 59907 99 0 0 25 0 1 0 453716514 140599296 28340 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34326 28340 231 231 0 34095 0
vsize: 137304
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28697 0 0 0 60907 99 0 0 25 0 1 0 453716514 140599296 28350 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34326 28350 231 231 0 34095 0
vsize: 137304
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28715 0 0 0 61907 100 0 0 25 0 1 0 453716514 140599296 28368 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34326 28368 231 231 0 34095 0
vsize: 137304
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28725 0 0 0 62906 100 0 0 25 0 1 0 453716514 140599296 28378 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34326 28378 231 231 0 34095 0
vsize: 137304
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28733 0 0 0 63906 101 0 0 25 0 1 0 453716514 140599296 28386 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34326 28386 231 231 0 34095 0
vsize: 137304
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28743 0 0 0 64906 101 0 0 25 0 1 0 453716514 140599296 28396 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34326 28396 231 231 0 34095 0
vsize: 137304
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28749 0 0 0 65905 102 0 0 25 0 1 0 453716514 140599296 28402 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34326 28402 231 231 0 34095 0
vsize: 137304
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28762 0 0 0 66906 102 0 0 25 0 1 0 453716514 140734464 28415 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34359 28415 231 231 0 34128 0
vsize: 137436
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28774 0 0 0 67906 102 0 0 25 0 1 0 453716514 140734464 28427 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34359 28427 231 231 0 34128 0
vsize: 137436
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28796 0 0 0 68905 103 0 0 25 0 1 0 453716514 140734464 28449 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34359 28449 231 231 0 34128 0
vsize: 137436
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28806 0 0 0 69905 103 0 0 25 0 1 0 453716514 140857344 28459 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34389 28459 231 231 0 34158 0
vsize: 137556
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28816 0 0 0 70904 105 0 0 25 0 1 0 453716514 140857344 28469 4294967295 134512640 135450300 3221224640 3221223116 134571596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34389 28469 231 231 0 34158 0
vsize: 137556
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28822 0 0 0 71904 105 0 0 25 0 1 0 453716514 140857344 28475 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34389 28475 231 231 0 34158 0
vsize: 137556
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28833 0 0 0 72904 105 0 0 25 0 1 0 453716514 140984320 28486 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34420 28486 231 231 0 34189 0
vsize: 137680
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28843 0 0 0 73903 106 0 0 25 0 1 0 453716514 140984320 28496 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34420 28496 231 231 0 34189 0
vsize: 137680
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28847 0 0 0 74903 107 0 0 25 0 1 0 453716514 140984320 28500 4294967295 134512640 135450300 3221224640 3221223456 134536555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34420 28500 231 231 0 34189 0
vsize: 137680
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28855 0 0 0 75903 107 0 0 25 0 1 0 453716514 140984320 28508 4294967295 134512640 135450300 3221224640 3221223456 134536545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34420 28508 231 231 0 34189 0
vsize: 137680
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 28882 0 0 0 76902 107 0 0 25 0 1 0 453716514 141144064 28535 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34459 28535 231 231 0 34228 0
vsize: 137836
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29281 0 0 0 77901 109 0 0 25 0 1 0 453716514 142716928 28549 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34843 28549 231 231 0 34612 0
vsize: 139372
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29288 0 0 0 78900 110 0 0 25 0 1 0 453716514 142716928 28556 4294967295 134512640 135450300 3221224640 3221222768 134620419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34843 28556 231 231 0 34612 0
vsize: 139372
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29299 0 0 0 79900 110 0 0 25 0 1 0 453716514 142716928 28567 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34843 28567 231 231 0 34612 0
vsize: 139372
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29313 0 0 0 80900 110 0 0 25 0 1 0 453716514 142716928 28581 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34843 28581 231 231 0 34612 0
vsize: 139372
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29321 0 0 0 81899 111 0 0 25 0 1 0 453716514 142716928 28589 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34843 28589 231 231 0 34612 0
vsize: 139372
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29330 0 0 0 82899 111 0 0 25 0 1 0 453716514 142880768 28598 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28598 231 231 0 34652 0
vsize: 139532
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29339 0 0 0 83899 112 0 0 25 0 1 0 453716514 142880768 28607 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28607 231 231 0 34652 0
vsize: 139532
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29344 0 0 0 84898 113 0 0 25 0 1 0 453716514 142880768 28612 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28612 231 231 0 34652 0
vsize: 139532
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29353 0 0 0 85898 113 0 0 25 0 1 0 453716514 142880768 28621 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28621 231 231 0 34652 0
vsize: 139532
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29360 0 0 0 86898 114 0 0 25 0 1 0 453716514 142880768 28628 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28628 231 231 0 34652 0
vsize: 139532
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29369 0 0 0 87897 115 0 0 25 0 1 0 453716514 142880768 28637 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28637 231 231 0 34652 0
vsize: 139532
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29386 0 0 0 88897 115 0 0 25 0 1 0 453716514 142880768 28654 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28654 231 231 0 34652 0
vsize: 139532
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29400 0 0 0 89896 116 0 0 25 0 1 0 453716514 142880768 28668 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 28668 231 231 0 34652 0
vsize: 139532
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29416 0 0 0 90895 117 0 0 25 0 1 0 453716514 143106048 28684 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28684 231 231 0 34707 0
vsize: 139752
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29426 0 0 0 91895 117 0 0 25 0 1 0 453716514 143106048 28694 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28694 231 231 0 34707 0
vsize: 139752
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29433 0 0 0 92895 118 0 0 25 0 1 0 453716514 143106048 28701 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28701 231 231 0 34707 0
vsize: 139752
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29441 0 0 0 93895 118 0 0 25 0 1 0 453716514 143106048 28709 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28709 231 231 0 34707 0
vsize: 139752
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29457 0 0 0 94895 118 0 0 25 0 1 0 453716514 143106048 28725 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28725 231 231 0 34707 0
vsize: 139752
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29462 0 0 0 95894 119 0 0 25 0 1 0 453716514 143106048 28730 4294967295 134512640 135450300 3221224640 3221223456 134537302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28730 231 231 0 34707 0
vsize: 139752
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29471 0 0 0 96894 120 0 0 25 0 1 0 453716514 143106048 28739 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28739 231 231 0 34707 0
vsize: 139752
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29477 0 0 0 97894 120 0 0 25 0 1 0 453716514 143106048 28745 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28745 231 231 0 34707 0
vsize: 139752
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29483 0 0 0 98893 121 0 0 25 0 1 0 453716514 143106048 28751 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28751 231 231 0 34707 0
vsize: 139752
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29496 0 0 0 99892 121 0 0 25 0 1 0 453716514 143106048 28764 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34938 28764 231 231 0 34707 0
vsize: 139752
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29507 0 0 0 100892 122 0 0 25 0 1 0 453716514 143319040 28775 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28775 231 231 0 34759 0
vsize: 139960
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29516 0 0 0 101892 122 0 0 25 0 1 0 453716514 143319040 28784 4294967295 134512640 135450300 3221224640 3221223104 134532799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28784 231 231 0 34759 0
vsize: 139960
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29523 0 0 0 102892 122 0 0 25 0 1 0 453716514 143319040 28791 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28791 231 231 0 34759 0
vsize: 139960
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29532 0 0 0 103892 123 0 0 25 0 1 0 453716514 143319040 28800 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28800 231 231 0 34759 0
vsize: 139960
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29540 0 0 0 104891 124 0 0 25 0 1 0 453716514 143319040 28808 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28808 231 231 0 34759 0
vsize: 139960
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29551 0 0 0 105891 124 0 0 25 0 1 0 453716514 143319040 28819 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28819 231 231 0 34759 0
vsize: 139960
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29560 0 0 0 106891 124 0 0 25 0 1 0 453716514 143319040 28828 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28828 231 231 0 34759 0
vsize: 139960
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29567 0 0 0 107890 125 0 0 25 0 1 0 453716514 143319040 28835 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28835 231 231 0 34759 0
vsize: 139960
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29587 0 0 0 108890 125 0 0 25 0 1 0 453716514 143319040 28855 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28855 231 231 0 34759 0
vsize: 139960
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 29595 0 0 0 109890 126 0 0 25 0 1 0 453716514 143319040 28863 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34990 28863 231 231 0 34759 0
vsize: 139960
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 30506 0 0 0 110887 128 0 0 25 0 1 0 453716514 143437824 29774 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35019 29774 231 231 0 34788 0
vsize: 140076
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 31925 0 0 0 111884 132 0 0 25 0 1 0 453716514 143437824 31193 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35019 31193 231 231 0 34788 0
vsize: 140076
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 32945 0 0 0 112882 134 0 0 25 0 1 0 453716514 143572992 32213 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35052 32213 231 231 0 34821 0
vsize: 140208
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 32955 0 0 0 113881 135 0 0 25 0 1 0 453716514 143572992 32223 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35052 32223 231 231 0 34821 0
vsize: 140208
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 32969 0 0 0 114881 136 0 0 25 0 1 0 453716514 143572992 32237 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35052 32237 231 231 0 34821 0
vsize: 140208
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 32989 0 0 0 115880 136 0 0 25 0 1 0 453716514 143572992 32257 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35052 32257 231 231 0 34821 0
vsize: 140208
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 32994 0 0 0 116880 136 0 0 25 0 1 0 453716514 143572992 32262 4294967295 134512640 135450300 3221224640 3221223104 134532777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35052 32262 231 231 0 34821 0
vsize: 140208
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 33005 0 0 0 117880 137 0 0 25 0 1 0 453716514 143716352 32273 4294967295 134512640 135450300 3221224640 3221223248 134537621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35087 32273 231 231 0 34856 0
vsize: 140348
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 33187 0 0 0 118879 138 0 0 25 0 1 0 453716514 143716352 32455 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35087 32455 231 231 0 34856 0
vsize: 140348
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24996
Raw data (stat): 24996 (PBS4) R 24995 32461 32460 0 -1 0 33194 0 0 0 119879 139 0 0 25 0 1 0 453716514 143716352 32462 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35087 32462 231 231 0 34856 0
vsize: 140348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24996
Raw data (stat): 24996 (PBS4) Z 24995 32461 32460 0 -1 1036 33194 0 0 0 119879 145 0 0 25 0 1 0 453716514 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.09
CPU time (s): 1200.24
CPU user time (s): 1198.79
CPU system time (s): 1.45178
CPU usage (%): 100.013
Max. virtual memory (Kb): 140348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####