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-7pb.opb
MD5SUM	24909033929a72aa74b2fd8b12f27bce
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	64
Optimality of the best value was proved	NO
Number of terms in the objective function	672
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	672
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	672
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.02884
Number of variables	672
Total number of constraints	2030
Number of constraints which are clauses	2006
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	28
Trace number 7848

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        779376 kB
Buffers:         37948 kB
Cached:         178892 kB
SwapCached:         12 kB
Active:          76348 kB
Inactive:       143352 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        779124 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            29892 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:58:51 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 2184 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-s4-4-3-7pb.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.84 0.94 0.90 2/54 18899
Raw data (stat): 18899 (runsolver) R 18898 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512015993 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.0007 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 1122 0 0 0 991 7 0 0 25 0 1 0 512015993 5107712 972 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1247 972 231 231 0 1016 0
vsize: 4988
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 1569 0 0 0 1986 13 0 0 25 0 1 0 512015993 7929856 1419 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1936 1419 231 231 0 1705 0
vsize: 7744
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 2120 0 0 0 2982 17 0 0 25 0 1 0 512015993 9191424 1777 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2244 1777 231 231 0 2013 0
vsize: 8976
[startup+40.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 2413 0 0 0 3978 21 0 0 25 0 1 0 512015993 13881344 2070 4294967295 134512640 135450300 3221224640 3221223376 134538498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2070 231 231 0 3158 0
vsize: 13556
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 2674 0 0 0 4975 24 0 0 25 0 1 0 512015993 14229504 2331 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2331 231 231 0 3243 0
vsize: 13896
[startup+60.0009 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 2897 0 0 0 5972 27 0 0 25 0 1 0 512015993 14553088 2554 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2554 231 231 0 3322 0
vsize: 14212
[startup+70.0004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 3040 0 0 0 6969 30 0 0 25 0 1 0 512015993 14749696 2697 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3601 2697 231 231 0 3370 0
vsize: 14404
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 3281 0 0 0 7967 32 0 0 25 0 1 0 512015993 15196160 2938 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2938 231 231 0 3479 0
vsize: 14840
[startup+90.0012 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 3829 0 0 0 8965 34 0 0 25 0 1 0 512015993 16941056 3101 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3101 231 231 0 3905 0
vsize: 16544
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 4020 0 0 0 9964 36 0 0 25 0 1 0 512015993 17092608 3292 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4173 3292 231 231 0 3942 0
vsize: 16692
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 4169 0 0 0 10963 38 0 0 25 0 1 0 512015993 17240064 3441 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4209 3441 231 231 0 3978 0
vsize: 16836
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 4360 0 0 0 11960 41 0 0 25 0 1 0 512015993 17510400 3632 4294967295 134512640 135450300 3221224640 3221223376 134538721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4275 3632 231 231 0 4044 0
vsize: 17100
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 4628 0 0 0 12957 44 0 0 25 0 1 0 512015993 26480640 3900 4294967295 134512640 135450300 3221224640 3221223552 134597336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6465 3900 231 231 0 6234 0
vsize: 25860
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 4898 0 0 0 13955 46 0 0 25 0 1 0 512015993 27291648 4170 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6663 4170 231 231 0 6432 0
vsize: 26652
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5056 0 0 0 14954 47 0 0 25 0 1 0 512015993 27291648 4328 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6663 4328 231 231 0 6432 0
vsize: 26652
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5244 0 0 0 15952 49 0 0 25 0 1 0 512015993 27426816 4516 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6696 4516 231 231 0 6465 0
vsize: 26784
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5341 0 0 0 16951 50 0 0 25 0 1 0 512015993 27561984 4613 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6729 4613 231 231 0 6498 0
vsize: 26916
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5432 0 0 0 17951 51 0 0 25 0 1 0 512015993 27697152 4704 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6762 4704 231 231 0 6531 0
vsize: 27048
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5459 0 0 0 18950 52 0 0 25 0 1 0 512015993 27697152 4731 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6762 4731 231 231 0 6531 0
vsize: 27048
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5554 0 0 0 19949 53 0 0 25 0 1 0 512015993 27832320 4826 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6795 4826 231 231 0 6564 0
vsize: 27180
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5647 0 0 0 20948 54 0 0 25 0 1 0 512015993 28028928 4919 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 4919 231 231 0 6612 0
vsize: 27372
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5744 0 0 0 21947 55 0 0 25 0 1 0 512015993 28028928 5016 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 5016 231 231 0 6612 0
vsize: 27372
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 5961 0 0 0 22945 57 0 0 25 0 1 0 512015993 28499968 5233 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6958 5233 231 231 0 6727 0
vsize: 27832
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 6027 0 0 0 23945 58 0 0 25 0 1 0 512015993 28499968 5299 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6958 5299 231 231 0 6727 0
vsize: 27832
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 6103 0 0 0 24944 59 0 0 25 0 1 0 512015993 28499968 5375 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6958 5375 231 231 0 6727 0
vsize: 27832
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 6186 0 0 0 25943 60 0 0 25 0 1 0 512015993 28700672 5458 4294967295 134512640 135450300 3221224640 3221223504 134539179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 5458 231 231 0 6776 0
vsize: 28028
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 6337 0 0 0 26942 61 0 0 25 0 1 0 512015993 28700672 5609 4294967295 134512640 135450300 3221224640 3221223376 134538727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 5609 231 231 0 6776 0
vsize: 28028
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 6420 0 0 0 27941 63 0 0 25 0 1 0 512015993 28835840 5692 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7040 5692 231 231 0 6809 0
vsize: 28160
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 6447 0 0 0 28940 63 0 0 25 0 1 0 512015993 28835840 5719 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7040 5719 231 231 0 6809 0
vsize: 28160
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 6504 0 0 0 29940 64 0 0 25 0 1 0 512015993 28995584 5776 4294967295 134512640 135450300 3221224640 3221223376 134538498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7079 5776 231 231 0 6848 0
vsize: 28316
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 7399 0 0 0 30936 68 0 0 25 0 1 0 512015993 32141312 5902 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7847 5902 231 231 0 7616 0
vsize: 31388
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 7488 0 0 0 31934 70 0 0 25 0 1 0 512015993 32411648 5991 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7913 5991 231 231 0 7682 0
vsize: 31652
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 7580 0 0 0 32933 71 0 0 25 0 1 0 512015993 32411648 6083 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7913 6083 231 231 0 7682 0
vsize: 31652
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 7722 0 0 0 33932 72 0 0 25 0 1 0 512015993 32759808 6192 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7998 6192 231 231 0 7767 0
vsize: 31992
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 7830 0 0 0 34932 73 0 0 25 0 1 0 512015993 32759808 6300 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7998 6300 231 231 0 7767 0
vsize: 31992
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 7904 0 0 0 35931 73 0 0 25 0 1 0 512015993 32890880 6341 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8030 6341 231 231 0 7799 0
vsize: 32120
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8079 0 0 0 36930 74 0 0 25 0 1 0 512015993 33087488 6516 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8078 6516 231 231 0 7847 0
vsize: 32312
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8138 0 0 0 37930 75 0 0 25 0 1 0 512015993 33243136 6575 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8116 6575 231 231 0 7885 0
vsize: 32464
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8350 0 0 0 38929 76 0 0 25 0 1 0 512015993 33439744 6787 4294967295 134512640 135450300 3221224640 3221223376 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8164 6787 231 231 0 7933 0
vsize: 32656
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8417 0 0 0 39928 78 0 0 25 0 1 0 512015993 33669120 6854 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8220 6854 231 231 0 7989 0
vsize: 32880
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8433 0 0 0 40927 79 0 0 25 0 1 0 512015993 33902592 6870 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8277 6870 231 231 0 8046 0
vsize: 33108
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8472 0 0 0 41927 79 0 0 25 0 1 0 512015993 33902592 6909 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8277 6909 231 231 0 8046 0
vsize: 33108
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8540 0 0 0 42926 80 0 0 25 0 1 0 512015993 34172928 6977 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8343 6977 231 231 0 8112 0
vsize: 33372
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8605 0 0 0 43924 81 0 0 25 0 1 0 512015993 34480128 7009 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8418 7009 231 231 0 8187 0
vsize: 33672
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8610 0 0 0 44924 82 0 0 25 0 1 0 512015993 34480128 7014 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8418 7014 231 231 0 8187 0
vsize: 33672
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8697 0 0 0 45924 82 0 0 25 0 1 0 512015993 34480128 7101 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8418 7101 231 231 0 8187 0
vsize: 33672
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 8813 0 0 0 46923 83 0 0 25 0 1 0 512015993 34480128 7217 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8418 7217 231 231 0 8187 0
vsize: 33672
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9027 0 0 0 47921 85 0 0 25 0 1 0 512015993 34992128 7365 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8543 7365 231 231 0 8312 0
vsize: 34172
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9075 0 0 0 48921 85 0 0 25 0 1 0 512015993 34992128 7413 4294967295 134512640 135450300 3221224640 3221223376 134538699 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8543 7413 231 231 0 8312 0
vsize: 34172
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9096 0 0 0 49921 86 0 0 25 0 1 0 512015993 35246080 7434 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8605 7434 231 231 0 8374 0
vsize: 34420
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9133 0 0 0 50920 87 0 0 25 0 1 0 512015993 35246080 7471 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8605 7471 231 231 0 8374 0
vsize: 34420
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9149 0 0 0 51920 87 0 0 25 0 1 0 512015993 35246080 7487 4294967295 134512640 135450300 3221224640 3221223456 134536465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8605 7487 231 231 0 8374 0
vsize: 34420
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9213 0 0 0 52919 88 0 0 25 0 1 0 512015993 35377152 7518 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8637 7518 231 231 0 8406 0
vsize: 34548
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9229 0 0 0 53919 89 0 0 25 0 1 0 512015993 35377152 7534 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8637 7534 231 231 0 8406 0
vsize: 34548
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9254 0 0 0 54918 89 0 0 25 0 1 0 512015993 35520512 7559 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8672 7559 231 231 0 8441 0
vsize: 34688
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9355 0 0 0 55917 91 0 0 25 0 1 0 512015993 35782656 7594 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8736 7594 231 231 0 8505 0
vsize: 34944
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9372 0 0 0 56917 91 0 0 25 0 1 0 512015993 35782656 7611 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8736 7611 231 231 0 8505 0
vsize: 34944
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9441 0 0 0 57916 92 0 0 25 0 1 0 512015993 35913728 7647 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8768 7647 231 231 0 8537 0
vsize: 35072
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9459 0 0 0 58916 93 0 0 25 0 1 0 512015993 35913728 7665 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8768 7665 231 231 0 8537 0
vsize: 35072
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9480 0 0 0 59915 93 0 0 25 0 1 0 512015993 36065280 7686 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 7686 231 231 0 8574 0
vsize: 35220
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9494 0 0 0 60915 94 0 0 25 0 1 0 512015993 36065280 7700 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 7700 231 231 0 8574 0
vsize: 35220
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9507 0 0 0 61914 95 0 0 25 0 1 0 512015993 36065280 7713 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 7713 231 231 0 8574 0
vsize: 35220
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9516 0 0 0 62914 95 0 0 25 0 1 0 512015993 36065280 7722 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 7722 231 231 0 8574 0
vsize: 35220
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9562 0 0 0 63913 96 0 0 25 0 1 0 512015993 36065280 7768 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 7768 231 231 0 8574 0
vsize: 35220
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9577 0 0 0 64913 97 0 0 25 0 1 0 512015993 36065280 7783 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8805 7783 231 231 0 8574 0
vsize: 35220
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9660 0 0 0 65912 98 0 0 25 0 1 0 512015993 53002240 7866 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12940 7866 231 231 0 12709 0
vsize: 51760
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9745 0 0 0 66912 98 0 0 25 0 1 0 512015993 53002240 7951 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12940 7951 231 231 0 12709 0
vsize: 51760
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9781 0 0 0 67911 99 0 0 25 0 1 0 512015993 53002240 7987 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12940 7987 231 231 0 12709 0
vsize: 51760
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9790 0 0 0 68911 99 0 0 25 0 1 0 512015993 53002240 7996 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12940 7996 231 231 0 12709 0
vsize: 51760
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9803 0 0 0 69910 100 0 0 25 0 1 0 512015993 53002240 8009 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12940 8009 231 231 0 12709 0
vsize: 51760
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9823 0 0 0 70910 101 0 0 25 0 1 0 512015993 53174272 8029 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12982 8029 231 231 0 12751 0
vsize: 51928
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9843 0 0 0 71910 101 0 0 25 0 1 0 512015993 53174272 8049 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12982 8049 231 231 0 12751 0
vsize: 51928
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9928 0 0 0 72910 102 0 0 25 0 1 0 512015993 53305344 8101 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13014 8101 231 231 0 12783 0
vsize: 52056
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9960 0 0 0 73909 102 0 0 25 0 1 0 512015993 53485568 8133 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13058 8133 231 231 0 12827 0
vsize: 52232
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 9979 0 0 0 74909 103 0 0 25 0 1 0 512015993 53485568 8152 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13058 8152 231 231 0 12827 0
vsize: 52232
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10021 0 0 0 75909 103 0 0 25 0 1 0 512015993 53616640 8161 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13090 8161 231 231 0 12859 0
vsize: 52360
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10039 0 0 0 76908 104 0 0 25 0 1 0 512015993 53616640 8179 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13090 8179 231 231 0 12859 0
vsize: 52360
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10055 0 0 0 77908 104 0 0 25 0 1 0 512015993 53809152 8195 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 8195 231 231 0 12906 0
vsize: 52548
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10069 0 0 0 78908 104 0 0 25 0 1 0 512015993 53809152 8209 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 8209 231 231 0 12906 0
vsize: 52548
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10104 0 0 0 79907 105 0 0 25 0 1 0 512015993 53972992 8244 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13177 8244 231 231 0 12946 0
vsize: 52708
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10117 0 0 0 80907 105 0 0 25 0 1 0 512015993 53972992 8257 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13177 8257 231 231 0 12946 0
vsize: 52708
[startup+820.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10139 0 0 0 81917 106 0 0 25 0 1 0 512015993 53972992 8279 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13177 8279 231 231 0 12946 0
vsize: 52708
[startup+830.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10171 0 0 0 82917 107 0 0 25 0 1 0 512015993 53972992 8311 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13177 8311 231 231 0 12946 0
vsize: 52708
[startup+840.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10210 0 0 0 83917 107 0 0 25 0 1 0 512015993 54104064 8317 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13209 8317 231 231 0 12978 0
vsize: 52836
[startup+850.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10241 0 0 0 84916 107 0 0 25 0 1 0 512015993 54444032 8348 4294967295 134512640 135450300 3221224640 3221223504 134539119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13292 8348 231 231 0 13061 0
vsize: 53168
[startup+860.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10252 0 0 0 85916 108 0 0 25 0 1 0 512015993 54444032 8359 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13292 8359 231 231 0 13061 0
vsize: 53168
[startup+870.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10288 0 0 0 86916 108 0 0 25 0 1 0 512015993 54444032 8395 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13292 8395 231 231 0 13061 0
vsize: 53168
[startup+880.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10324 0 0 0 87915 109 0 0 25 0 1 0 512015993 54579200 8431 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13325 8431 231 231 0 13094 0
vsize: 53300
[startup+890.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10336 0 0 0 88915 109 0 0 25 0 1 0 512015993 54579200 8443 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13325 8443 231 231 0 13094 0
vsize: 53300
[startup+900.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10348 0 0 0 89914 110 0 0 25 0 1 0 512015993 54579200 8455 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13325 8455 231 231 0 13094 0
vsize: 53300
[startup+910.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10381 0 0 0 90914 110 0 0 25 0 1 0 512015993 54796288 8488 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13378 8488 231 231 0 13147 0
vsize: 53512
[startup+920.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10390 0 0 0 91914 111 0 0 25 0 1 0 512015993 54796288 8497 4294967295 134512640 135450300 3221224640 3221223456 134536492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13378 8497 231 231 0 13147 0
vsize: 53512
[startup+930.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10397 0 0 0 92914 111 0 0 25 0 1 0 512015993 54796288 8504 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13378 8504 231 231 0 13147 0
vsize: 53512
[startup+940.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10426 0 0 0 93913 112 0 0 25 0 1 0 512015993 54960128 8533 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 8533 231 231 0 13187 0
vsize: 53672
[startup+950.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10441 0 0 0 94913 113 0 0 25 0 1 0 512015993 54960128 8548 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 8548 231 231 0 13187 0
vsize: 53672
[startup+960.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10496 0 0 0 95912 113 0 0 25 0 1 0 512015993 55091200 8570 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13450 8570 231 231 0 13219 0
vsize: 53800
[startup+970.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10513 0 0 0 96912 114 0 0 25 0 1 0 512015993 55091200 8587 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13450 8587 231 231 0 13219 0
vsize: 53800
[startup+980.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10531 0 0 0 97912 114 0 0 25 0 1 0 512015993 55091200 8605 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13450 8605 231 231 0 13219 0
vsize: 53800
[startup+990.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10546 0 0 0 98912 115 0 0 25 0 1 0 512015993 55320576 8620 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8620 231 231 0 13275 0
vsize: 54024
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10566 0 0 0 99912 115 0 0 25 0 1 0 512015993 55320576 8640 4294967295 134512640 135450300 3221224640 3221223456 134546796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8640 231 231 0 13275 0
vsize: 54024
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10583 0 0 0 100911 116 0 0 25 0 1 0 512015993 55320576 8657 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8657 231 231 0 13275 0
vsize: 54024
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10593 0 0 0 101911 116 0 0 25 0 1 0 512015993 55320576 8667 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8667 231 231 0 13275 0
vsize: 54024
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10610 0 0 0 102911 117 0 0 25 0 1 0 512015993 55320576 8684 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8684 231 231 0 13275 0
vsize: 54024
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10622 0 0 0 103911 117 0 0 25 0 1 0 512015993 55320576 8696 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8696 231 231 0 13275 0
vsize: 54024
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10634 0 0 0 104911 117 0 0 25 0 1 0 512015993 55320576 8708 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8708 231 231 0 13275 0
vsize: 54024
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10658 0 0 0 105910 118 0 0 25 0 1 0 512015993 55320576 8732 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8732 231 231 0 13275 0
vsize: 54024
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10670 0 0 0 106910 118 0 0 25 0 1 0 512015993 55320576 8744 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 8744 231 231 0 13275 0
vsize: 54024
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10695 0 0 0 107910 119 0 0 25 0 1 0 512015993 55566336 8769 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13566 8769 231 231 0 13335 0
vsize: 54264
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10699 0 0 0 108909 119 0 0 25 0 1 0 512015993 55566336 8773 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13566 8773 231 231 0 13335 0
vsize: 54264
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10747 0 0 0 109909 120 0 0 25 0 1 0 512015993 55832576 8821 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13631 8821 231 231 0 13400 0
vsize: 54524
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10761 0 0 0 110909 120 0 0 25 0 1 0 512015993 55832576 8835 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13631 8835 231 231 0 13400 0
vsize: 54524
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10782 0 0 0 111909 121 0 0 25 0 1 0 512015993 55832576 8856 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13631 8856 231 231 0 13400 0
vsize: 54524
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10786 0 0 0 112909 121 0 0 25 0 1 0 512015993 55832576 8860 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13631 8860 231 231 0 13400 0
vsize: 54524
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10798 0 0 0 113909 121 0 0 25 0 1 0 512015993 55832576 8872 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13631 8872 231 231 0 13400 0
vsize: 54524
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 10845 0 0 0 114908 121 0 0 25 0 1 0 512015993 55832576 8919 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13631 8919 231 231 0 13400 0
vsize: 54524
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 12393 0 0 0 115906 124 0 0 25 0 1 0 512015993 62124032 8930 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15167 8930 231 231 0 14936 0
vsize: 60668
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 12401 0 0 0 116906 125 0 0 25 0 1 0 512015993 62382080 8938 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15230 8938 231 231 0 14999 0
vsize: 60920
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 12417 0 0 0 117905 125 0 0 25 0 1 0 512015993 62382080 8954 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15230 8954 231 231 0 14999 0
vsize: 60920
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 12439 0 0 0 118905 125 0 0 25 0 1 0 512015993 62382080 8976 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15230 8976 231 231 0 14999 0
vsize: 60920
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18899
Raw data (stat): 18899 (PBS4) R 18898 27222 27221 0 -1 0 12444 0 0 0 119905 125 0 0 25 0 1 0 512015993 62382080 8981 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15230 8981 231 231 0 14999 0
vsize: 60920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18899
Raw data (stat): 18899 (PBS4) Z 18898 27222 27221 0 -1 1036 12444 0 0 0 119905 127 0 0 25 0 1 0 512015993 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.15
CPU time (s): 1200.34
CPU user time (s): 1199.06
CPU system time (s): 1.27781
CPU usage (%): 100.016
Max. virtual memory (Kb): 60920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####