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/routing/normalized-s4-4-3-6pb.opb
MD5SUM	c12951e903009dc00793ce72594cf3ba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	66
Optimality of the best value was proved	NO
Number of terms in the objective function	624
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	624
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	624
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03684
Number of variables	624
Total number of constraints	1884
Number of constraints which are clauses	1860
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	26
Trace number 7845

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-04-17 16:38:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2175 boxname=wulflinc1 idbench=242 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  c12951e903009dc00793ce72594cf3ba  /oldhome/oroussel/tmp/wulflinc1/normalized-s4-4-3-6pb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-s4-4-3-6pb.opb
IDLAUNCH: 2175
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        801856 kB
Buffers:         42680 kB
Cached:         164584 kB
SwapCached:          0 kB
Active:         122788 kB
Inactive:        87564 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        801604 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7212 kB
Slab:            16696 kB
Committed_AS:    92808 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:58:39 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 2175 7 1200.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-s4-4-3-6pb.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.95 0.90 2/56 14004
Raw data (stat): 14004 (runsolver) R 14003 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 396941389 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0003 s]
Raw data (loadavg): 0.87 0.95 0.90 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 1123 0 0 0 991 8 0 0 25 0 1 0 396941389 5099520 973 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1245 973 231 231 0 1014 0
vsize: 4980
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.90 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 1477 0 0 0 1986 13 0 0 25 0 1 0 396941389 7933952 1327 4294967295 134512640 135450300 3221224640 3221223568 134539679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1937 1327 231 231 0 1706 0
vsize: 7748
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 1949 0 0 0 2981 18 0 0 25 0 1 0 396941389 9162752 1606 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2237 1606 231 231 0 2006 0
vsize: 8948
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 2249 0 0 0 3978 21 0 0 25 0 1 0 396941389 9310208 1906 4294967295 134512640 135450300 3221224640 3221223376 134538739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2273 1906 231 231 0 2042 0
vsize: 9092
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 2547 0 0 0 4975 24 0 0 25 0 1 0 396941389 13791232 2204 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 2204 231 231 0 3136 0
vsize: 13468
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 2776 0 0 0 5973 26 0 0 25 0 1 0 396941389 14118912 2433 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2433 231 231 0 3216 0
vsize: 13788
[startup+70.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 3043 0 0 0 6971 29 0 0 25 0 1 0 396941389 14393344 2700 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3514 2700 231 231 0 3283 0
vsize: 14056
[startup+80.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 3216 0 0 0 7970 30 0 0 25 0 1 0 396941389 14708736 2873 4294967295 134512640 135450300 3221224640 3221223376 134538724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2873 231 231 0 3360 0
vsize: 14364
[startup+90.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 3253 0 0 0 8968 32 0 0 25 0 1 0 396941389 14708736 2910 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2910 231 231 0 3360 0
vsize: 14364
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 3390 0 0 0 9967 33 0 0 25 0 1 0 396941389 14852096 3047 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 3047 231 231 0 3395 0
vsize: 14504
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 3833 0 0 0 10965 35 0 0 25 0 1 0 396941389 16613376 3105 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4056 3105 231 231 0 3825 0
vsize: 16224
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 14004
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 3962 0 0 0 11964 36 0 0 25 0 1 0 396941389 16793600 3234 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4100 3234 231 231 0 3869 0
vsize: 16400
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4052 0 0 0 12964 37 0 0 25 0 1 0 396941389 16941056 3324 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3324 231 231 0 3905 0
vsize: 16544
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4176 0 0 0 13964 37 0 0 25 0 1 0 396941389 16941056 3448 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3448 231 231 0 3905 0
vsize: 16544
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4213 0 0 0 14963 38 0 0 25 0 1 0 396941389 16941056 3485 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3485 231 231 0 3905 0
vsize: 16544
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4309 0 0 0 15961 40 0 0 25 0 1 0 396941389 17088512 3581 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3581 231 231 0 3941 0
vsize: 16688
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4389 0 0 0 16960 41 0 0 25 0 1 0 396941389 25616384 3661 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6254 3661 231 231 0 6023 0
vsize: 25016
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4549 0 0 0 17959 42 0 0 25 0 1 0 396941389 25616384 3821 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6254 3821 231 231 0 6023 0
vsize: 25016
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4733 0 0 0 18958 44 0 0 25 0 1 0 396941389 25780224 4005 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6294 4005 231 231 0 6063 0
vsize: 25176
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4779 0 0 0 19957 45 0 0 25 0 1 0 396941389 25780224 4051 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6294 4051 231 231 0 6063 0
vsize: 25176
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4793 0 0 0 20956 46 0 0 25 0 1 0 396941389 25780224 4065 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6294 4065 231 231 0 6063 0
vsize: 25176
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4830 0 0 0 21956 46 0 0 25 0 1 0 396941389 25948160 4102 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6335 4102 231 231 0 6104 0
vsize: 25340
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4957 0 0 0 22955 47 0 0 25 0 1 0 396941389 25948160 4229 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6335 4229 231 231 0 6104 0
vsize: 25340
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 4984 0 0 0 23954 48 0 0 25 0 1 0 396941389 26112000 4256 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6375 4256 231 231 0 6144 0
vsize: 25500
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5003 0 0 0 24954 49 0 0 25 0 1 0 396941389 26112000 4275 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6375 4275 231 231 0 6144 0
vsize: 25500
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5020 0 0 0 25953 50 0 0 25 0 1 0 396941389 26112000 4292 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6375 4292 231 231 0 6144 0
vsize: 25500
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5097 0 0 0 26953 50 0 0 25 0 1 0 396941389 26112000 4369 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6375 4369 231 231 0 6144 0
vsize: 25500
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5181 0 0 0 27952 51 0 0 25 0 1 0 396941389 26271744 4453 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6414 4453 231 231 0 6183 0
vsize: 25656
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5281 0 0 0 28951 52 0 0 25 0 1 0 396941389 26456064 4553 4294967295 134512640 135450300 3221224640 3221223456 134536489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6459 4553 231 231 0 6228 0
vsize: 25836
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5384 0 0 0 29951 53 0 0 25 0 1 0 396941389 26456064 4656 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6459 4656 231 231 0 6228 0
vsize: 25836
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5403 0 0 0 30950 53 0 0 25 0 1 0 396941389 26595328 4675 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 4675 231 231 0 6262 0
vsize: 25972
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5425 0 0 0 31949 54 0 0 25 0 1 0 396941389 26595328 4697 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 4697 231 231 0 6262 0
vsize: 25972
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5495 0 0 0 32949 55 0 0 25 0 1 0 396941389 26595328 4767 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 4767 231 231 0 6262 0
vsize: 25972
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5510 0 0 0 33948 56 0 0 25 0 1 0 396941389 26595328 4782 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 4782 231 231 0 6262 0
vsize: 25972
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5528 0 0 0 34947 57 0 0 25 0 1 0 396941389 26595328 4800 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6493 4800 231 231 0 6262 0
vsize: 25972
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5610 0 0 0 35947 57 0 0 25 0 1 0 396941389 26791936 4882 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6541 4882 231 231 0 6310 0
vsize: 26164
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5630 0 0 0 36947 58 0 0 25 0 1 0 396941389 26791936 4902 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6541 4902 231 231 0 6310 0
vsize: 26164
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5692 0 0 0 37946 58 0 0 25 0 1 0 396941389 26791936 4964 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6541 4964 231 231 0 6310 0
vsize: 26164
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5721 0 0 0 38946 58 0 0 25 0 1 0 396941389 26927104 4993 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6574 4993 231 231 0 6343 0
vsize: 26296
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5731 0 0 0 39946 59 0 0 25 0 1 0 396941389 27099136 5003 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5003 231 231 0 6385 0
vsize: 26464
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5785 0 0 0 40946 60 0 0 25 0 1 0 396941389 27099136 5057 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5057 231 231 0 6385 0
vsize: 26464
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14006
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5811 0 0 0 41945 61 0 0 25 0 1 0 396941389 27099136 5083 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5083 231 231 0 6385 0
vsize: 26464
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 5852 0 0 0 42944 61 0 0 25 0 1 0 396941389 27099136 5124 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5124 231 231 0 6385 0
vsize: 26464
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6003 0 0 0 43944 62 0 0 25 0 1 0 396941389 27234304 5275 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6649 5275 231 231 0 6418 0
vsize: 26596
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6023 0 0 0 44943 62 0 0 25 0 1 0 396941389 27426816 5295 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6696 5295 231 231 0 6465 0
vsize: 26784
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6102 0 0 0 45943 63 0 0 25 0 1 0 396941389 27697152 5374 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6762 5374 231 231 0 6531 0
vsize: 27048
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6113 0 0 0 46943 63 0 0 25 0 1 0 396941389 27697152 5385 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6762 5385 231 231 0 6531 0
vsize: 27048
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6132 0 0 0 47943 64 0 0 25 0 1 0 396941389 27865088 5404 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6803 5404 231 231 0 6572 0
vsize: 27212
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6180 0 0 0 48942 65 0 0 25 0 1 0 396941389 27865088 5452 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6803 5452 231 231 0 6572 0
vsize: 27212
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6188 0 0 0 49942 65 0 0 25 0 1 0 396941389 27865088 5460 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6803 5460 231 231 0 6572 0
vsize: 27212
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 6361 0 0 0 50941 65 0 0 25 0 1 0 396941389 28000256 5633 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6836 5633 231 231 0 6605 0
vsize: 27344
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7262 0 0 0 51940 67 0 0 25 0 1 0 396941389 31309824 5765 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5765 231 231 0 7413 0
vsize: 30576
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7421 0 0 0 52939 68 0 0 25 0 1 0 396941389 31309824 5924 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5924 231 231 0 7413 0
vsize: 30576
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7567 0 0 0 53939 68 0 0 25 0 1 0 396941389 31309824 6070 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 6070 231 231 0 7413 0
vsize: 30576
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7610 0 0 0 54938 69 0 0 25 0 1 0 396941389 31449088 6113 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7678 6113 231 231 0 7447 0
vsize: 30712
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7642 0 0 0 55938 70 0 0 25 0 1 0 396941389 31584256 6145 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 6145 231 231 0 7480 0
vsize: 30844
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7651 0 0 0 56938 70 0 0 25 0 1 0 396941389 31584256 6154 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 6154 231 231 0 7480 0
vsize: 30844
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7676 0 0 0 57937 71 0 0 25 0 1 0 396941389 31584256 6179 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 6179 231 231 0 7480 0
vsize: 30844
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7700 0 0 0 58937 71 0 0 25 0 1 0 396941389 31584256 6203 4294967295 134512640 135450300 3221224640 3221223472 134549267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 6203 231 231 0 7480 0
vsize: 30844
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7784 0 0 0 59936 72 0 0 25 0 1 0 396941389 31830016 6287 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6287 231 231 0 7540 0
vsize: 31084
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7817 0 0 0 60936 72 0 0 25 0 1 0 396941389 31830016 6320 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6320 231 231 0 7540 0
vsize: 31084
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 7986 0 0 0 61935 73 0 0 25 0 1 0 396941389 31830016 6489 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6489 231 231 0 7540 0
vsize: 31084
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8064 0 0 0 62935 73 0 0 25 0 1 0 396941389 31830016 6567 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6567 231 231 0 7540 0
vsize: 31084
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8079 0 0 0 63935 74 0 0 25 0 1 0 396941389 31830016 6582 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6582 231 231 0 7540 0
vsize: 31084
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8085 0 0 0 64935 75 0 0 25 0 1 0 396941389 31830016 6588 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6588 231 231 0 7540 0
vsize: 31084
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8098 0 0 0 65934 75 0 0 25 0 1 0 396941389 32079872 6601 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7832 6601 231 231 0 7601 0
vsize: 31328
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8126 0 0 0 66933 76 0 0 25 0 1 0 396941389 32079872 6629 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7832 6629 231 231 0 7601 0
vsize: 31328
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8170 0 0 0 67933 77 0 0 25 0 1 0 396941389 32215040 6673 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7865 6673 231 231 0 7634 0
vsize: 31460
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8175 0 0 0 68932 77 0 0 25 0 1 0 396941389 32215040 6678 4294967295 134512640 135450300 3221224640 3221223376 134538793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7865 6678 231 231 0 7634 0
vsize: 31460
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8190 0 0 0 69932 77 0 0 25 0 1 0 396941389 32354304 6693 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7899 6693 231 231 0 7668 0
vsize: 31596
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8205 0 0 0 70932 78 0 0 25 0 1 0 396941389 32354304 6708 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7899 6708 231 231 0 7668 0
vsize: 31596
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14008
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8228 0 0 0 71932 78 0 0 25 0 1 0 396941389 32354304 6731 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7899 6731 231 231 0 7668 0
vsize: 31596
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8233 0 0 0 72931 79 0 0 25 0 1 0 396941389 32354304 6736 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7899 6736 231 231 0 7668 0
vsize: 31596
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8243 0 0 0 73931 79 0 0 25 0 1 0 396941389 32354304 6746 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7899 6746 231 231 0 7668 0
vsize: 31596
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8253 0 0 0 74931 79 0 0 25 0 1 0 396941389 32354304 6756 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7899 6756 231 231 0 7668 0
vsize: 31596
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8259 0 0 0 75931 80 0 0 25 0 1 0 396941389 32354304 6762 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7899 6762 231 231 0 7668 0
vsize: 31596
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8264 0 0 0 76930 80 0 0 25 0 1 0 396941389 32354304 6767 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7899 6767 231 231 0 7668 0
vsize: 31596
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8276 0 0 0 77930 81 0 0 25 0 1 0 396941389 32354304 6779 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7899 6779 231 231 0 7668 0
vsize: 31596
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8352 0 0 0 78930 81 0 0 25 0 1 0 396941389 32518144 6855 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7939 6855 231 231 0 7708 0
vsize: 31756
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8482 0 0 0 79930 81 0 0 25 0 1 0 396941389 32518144 6985 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7939 6985 231 231 0 7708 0
vsize: 31756
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8592 0 0 0 80930 82 0 0 25 0 1 0 396941389 49295360 7095 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12035 7095 231 231 0 11804 0
vsize: 48140
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8688 0 0 0 81929 83 0 0 25 0 1 0 396941389 49295360 7191 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12035 7191 231 231 0 11804 0
vsize: 48140
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8857 0 0 0 82929 83 0 0 25 0 1 0 396941389 49442816 7360 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12071 7360 231 231 0 11840 0
vsize: 48284
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 8967 0 0 0 83928 84 0 0 25 0 1 0 396941389 49442816 7470 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12071 7470 231 231 0 11840 0
vsize: 48284
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9084 0 0 0 84927 85 0 0 25 0 1 0 396941389 49442816 7587 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12071 7587 231 231 0 11840 0
vsize: 48284
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9155 0 0 0 85926 86 0 0 25 0 1 0 396941389 49745920 7658 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7658 231 231 0 11914 0
vsize: 48580
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9161 0 0 0 86926 87 0 0 25 0 1 0 396941389 49745920 7664 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7664 231 231 0 11914 0
vsize: 48580
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9171 0 0 0 87926 87 0 0 25 0 1 0 396941389 49745920 7674 4294967295 134512640 135450300 3221224640 3221223568 134539671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7674 231 231 0 11914 0
vsize: 48580
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9187 0 0 0 88925 87 0 0 25 0 1 0 396941389 49745920 7690 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7690 231 231 0 11914 0
vsize: 48580
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9203 0 0 0 89925 88 0 0 25 0 1 0 396941389 49745920 7706 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7706 231 231 0 11914 0
vsize: 48580
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9213 0 0 0 90925 88 0 0 25 0 1 0 396941389 49745920 7716 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7716 231 231 0 11914 0
vsize: 48580
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9218 0 0 0 91925 89 0 0 25 0 1 0 396941389 49745920 7721 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7721 231 231 0 11914 0
vsize: 48580
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9248 0 0 0 92924 89 0 0 25 0 1 0 396941389 49745920 7751 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7751 231 231 0 11914 0
vsize: 48580
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9259 0 0 0 93924 89 0 0 25 0 1 0 396941389 49745920 7762 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12145 7762 231 231 0 11914 0
vsize: 48580
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9271 0 0 0 94924 89 0 0 25 0 1 0 396941389 49913856 7774 4294967295 134512640 135450300 3221224640 3221223504 134539222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12186 7774 231 231 0 11955 0
vsize: 48744
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9277 0 0 0 95924 90 0 0 25 0 1 0 396941389 49913856 7780 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12186 7780 231 231 0 11955 0
vsize: 48744
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9306 0 0 0 96923 91 0 0 25 0 1 0 396941389 50077696 7809 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12226 7809 231 231 0 11995 0
vsize: 48904
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9467 0 0 0 97922 92 0 0 25 0 1 0 396941389 50642944 7970 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12364 7970 231 231 0 12133 0
vsize: 49456
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9472 0 0 0 98922 93 0 0 25 0 1 0 396941389 50642944 7975 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12364 7975 231 231 0 12133 0
vsize: 49456
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9478 0 0 0 99922 93 0 0 25 0 1 0 396941389 50642944 7981 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12364 7981 231 231 0 12133 0
vsize: 49456
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9509 0 0 0 100922 93 0 0 25 0 1 0 396941389 50855936 8012 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8012 231 231 0 12185 0
vsize: 49664
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14010
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9514 0 0 0 101921 93 0 0 25 0 1 0 396941389 50855936 8017 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8017 231 231 0 12185 0
vsize: 49664
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9521 0 0 0 102921 94 0 0 25 0 1 0 396941389 50855936 8024 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8024 231 231 0 12185 0
vsize: 49664
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9534 0 0 0 103921 94 0 0 25 0 1 0 396941389 50855936 8037 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8037 231 231 0 12185 0
vsize: 49664
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9542 0 0 0 104921 94 0 0 25 0 1 0 396941389 50855936 8045 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8045 231 231 0 12185 0
vsize: 49664
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9549 0 0 0 105920 95 0 0 25 0 1 0 396941389 50855936 8052 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8052 231 231 0 12185 0
vsize: 49664
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9557 0 0 0 106920 95 0 0 25 0 1 0 396941389 50855936 8060 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8060 231 231 0 12185 0
vsize: 49664
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9570 0 0 0 107919 96 0 0 25 0 1 0 396941389 50855936 8073 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8073 231 231 0 12185 0
vsize: 49664
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9605 0 0 0 108919 97 0 0 25 0 1 0 396941389 50855936 8108 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12416 8108 231 231 0 12185 0
vsize: 49664
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9633 0 0 0 109918 97 0 0 25 0 1 0 396941389 51081216 8136 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8136 231 231 0 12240 0
vsize: 49884
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9639 0 0 0 110918 98 0 0 25 0 1 0 396941389 51081216 8142 4294967295 134512640 135450300 3221224640 3221223376 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8142 231 231 0 12240 0
vsize: 49884
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9649 0 0 0 111917 99 0 0 25 0 1 0 396941389 51081216 8152 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8152 231 231 0 12240 0
vsize: 49884
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9655 0 0 0 112917 99 0 0 25 0 1 0 396941389 51081216 8158 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8158 231 231 0 12240 0
vsize: 49884
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9671 0 0 0 113916 100 0 0 25 0 1 0 396941389 51081216 8174 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8174 231 231 0 12240 0
vsize: 49884
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9676 0 0 0 114916 100 0 0 25 0 1 0 396941389 51081216 8179 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8179 231 231 0 12240 0
vsize: 49884
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9705 0 0 0 115916 101 0 0 25 0 1 0 396941389 51081216 8208 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8208 231 231 0 12240 0
vsize: 49884
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9711 0 0 0 116916 101 0 0 25 0 1 0 396941389 51081216 8214 4294967295 134512640 135450300 3221224640 3221223376 134538767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8214 231 231 0 12240 0
vsize: 49884
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9716 0 0 0 117915 102 0 0 25 0 1 0 396941389 51081216 8219 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12471 8219 231 231 0 12240 0
vsize: 49884
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9731 0 0 0 118915 102 0 0 25 0 1 0 396941389 51220480 8234 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12505 8234 231 231 0 12274 0
vsize: 50020
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 14012
Raw data (stat): 14004 (PBS4) R 14003 12452 12451 0 -1 0 9735 0 0 0 119915 102 0 0 25 0 1 0 396941389 51220480 8238 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12505 8238 231 231 0 12274 0
vsize: 50020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/56 14012
Raw data (stat): 14004 (PBS4) Z 14003 12452 12451 0 -1 1036 9735 0 0 0 119915 104 0 0 25 0 1 0 396941389 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.05
CPU time (s): 1200.2
CPU user time (s): 1199.16
CPU system time (s): 1.04384
CPU usage (%): 100.012
Max. virtual memory (Kb): 50020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####