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-ii32d3.opb
MD5SUM	527fb49aa1a9296592f9e28b71f1006f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	802
Optimality of the best value was proved	NO
Number of terms in the objective function	1648
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	1648
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1648
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	269.791
Number of variables	1648
Total number of constraints	20302
Number of constraints which are clauses	20302
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 7748

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-17 16:03:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1410 boxname=wulflinc30 idbench=157 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  527fb49aa1a9296592f9e28b71f1006f  /oldhome/oroussel/tmp/wulflinc30/normalized-ii32d3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-ii32d3.opb
IDLAUNCH: 1410
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        704400 kB
Buffers:         39196 kB
Cached:         249668 kB
SwapCached:          0 kB
Active:          93216 kB
Inactive:       198520 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704148 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            32896 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:23:17 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1410 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-ii32d3.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.96 0.99 0.71 2/54 3321
Raw data (stat): 3321 (runsolver) R 3320 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511802680 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.97 0.99 0.71 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 836 0 0 0 996 2 0 0 25 0 1 0 511802680 3846144 682 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 939 682 231 231 0 708 0
vsize: 3756
[startup+20.0005 s]
Raw data (loadavg): 0.97 0.99 0.72 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 929 0 0 0 1996 3 0 0 25 0 1 0 511802680 5029888 775 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1228 775 231 231 0 997 0
vsize: 4912
[startup+30.0006 s]
Raw data (loadavg): 0.98 0.99 0.72 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1022 0 0 0 2995 4 0 0 25 0 1 0 511802680 5165056 868 4294967295 134512640 135450300 3221224640 3221223360 134535555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1261 868 231 231 0 1030 0
vsize: 5044
[startup+40.0013 s]
Raw data (loadavg): 0.98 0.99 0.72 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1124 0 0 0 3995 4 0 0 25 0 1 0 511802680 5300224 970 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1294 970 231 231 0 1063 0
vsize: 5176
[startup+50.0018 s]
Raw data (loadavg): 0.98 0.99 0.73 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1209 0 0 0 4994 5 0 0 25 0 1 0 511802680 5435392 1055 4294967295 134512640 135450300 3221224640 3221223440 134546449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1327 1055 231 231 0 1096 0
vsize: 5308
[startup+60.0019 s]
Raw data (loadavg): 0.98 0.99 0.73 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1307 0 0 0 5994 6 0 0 25 0 1 0 511802680 7532544 1153 4294967295 134512640 135450300 3221224640 3221223360 134535997 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1839 1153 231 231 0 1608 0
vsize: 7356
[startup+70.0026 s]
Raw data (loadavg): 0.99 0.99 0.73 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1389 0 0 0 6994 6 0 0 25 0 1 0 511802680 7671808 1235 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1873 1235 231 231 0 1642 0
vsize: 7492
[startup+80.0031 s]
Raw data (loadavg): 0.99 0.99 0.73 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1458 0 0 0 7993 7 0 0 25 0 1 0 511802680 7806976 1304 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1906 1304 231 231 0 1675 0
vsize: 7624
[startup+90.0042 s]
Raw data (loadavg): 0.99 0.99 0.73 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1505 0 0 0 8993 7 0 0 25 0 1 0 511802680 7806976 1351 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1906 1351 231 231 0 1675 0
vsize: 7624
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.74 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1570 0 0 0 9993 7 0 0 25 0 1 0 511802680 7806976 1416 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1906 1416 231 231 0 1675 0
vsize: 7624
[startup+110.003 s]
Raw data (loadavg): 0.99 0.99 0.74 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1650 0 0 0 10992 8 0 0 25 0 1 0 511802680 7938048 1496 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1938 1496 231 231 0 1707 0
vsize: 7752
[startup+120.003 s]
Raw data (loadavg): 0.99 0.99 0.74 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1709 0 0 0 11992 8 0 0 25 0 1 0 511802680 8077312 1555 4294967295 134512640 135450300 3221224640 3221223456 134546494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1972 1555 231 231 0 1741 0
vsize: 7888
[startup+130.003 s]
Raw data (loadavg): 0.99 0.99 0.74 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1768 0 0 0 12992 8 0 0 25 0 1 0 511802680 8077312 1614 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1972 1614 231 231 0 1741 0
vsize: 7888
[startup+140.004 s]
Raw data (loadavg): 0.99 0.99 0.74 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1836 0 0 0 13991 10 0 0 25 0 1 0 511802680 8077312 1682 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1972 1682 231 231 0 1741 0
vsize: 7888
[startup+150.004 s]
Raw data (loadavg): 0.99 0.99 0.75 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1926 0 0 0 14991 10 0 0 25 0 1 0 511802680 8208384 1772 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2004 1772 231 231 0 1773 0
vsize: 8016
[startup+160.004 s]
Raw data (loadavg): 0.99 0.99 0.75 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 1954 0 0 0 15991 11 0 0 25 0 1 0 511802680 8208384 1800 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2004 1800 231 231 0 1773 0
vsize: 8016
[startup+170.004 s]
Raw data (loadavg): 0.99 0.99 0.75 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2158 0 0 0 16990 11 0 0 25 0 1 0 511802680 8994816 1811 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2196 1811 231 231 0 1965 0
vsize: 8784
[startup+180.004 s]
Raw data (loadavg): 0.99 0.99 0.75 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2189 0 0 0 17990 12 0 0 25 0 1 0 511802680 9150464 1842 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2234 1842 231 231 0 2003 0
vsize: 8936
[startup+190.005 s]
Raw data (loadavg): 0.99 0.99 0.75 2/54 3321
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2202 0 0 0 18990 12 0 0 25 0 1 0 511802680 9150464 1855 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2234 1855 231 231 0 2003 0
vsize: 8936
[startup+200.005 s]
Raw data (loadavg): 0.99 0.99 0.76 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2216 0 0 0 19990 12 0 0 25 0 1 0 511802680 9150464 1869 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2234 1869 231 231 0 2003 0
vsize: 8936
[startup+210.005 s]
Raw data (loadavg): 0.99 0.99 0.76 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2234 0 0 0 20990 13 0 0 25 0 1 0 511802680 9297920 1887 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2270 1887 231 231 0 2039 0
vsize: 9080
[startup+220.006 s]
Raw data (loadavg): 0.99 0.99 0.76 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2244 0 0 0 21990 13 0 0 25 0 1 0 511802680 9297920 1897 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2270 1897 231 231 0 2039 0
vsize: 9080
[startup+230.007 s]
Raw data (loadavg): 0.99 0.99 0.76 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2256 0 0 0 22989 13 0 0 25 0 1 0 511802680 9297920 1909 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2270 1909 231 231 0 2039 0
vsize: 9080
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.76 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2267 0 0 0 23989 14 0 0 25 0 1 0 511802680 9297920 1920 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2270 1920 231 231 0 2039 0
vsize: 9080
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.77 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2284 0 0 0 24989 14 0 0 25 0 1 0 511802680 9424896 1937 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2301 1937 231 231 0 2070 0
vsize: 9204
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.77 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2293 0 0 0 25989 15 0 0 25 0 1 0 511802680 9424896 1946 4294967295 134512640 135450300 3221224640 3221223456 134546505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2301 1946 231 231 0 2070 0
vsize: 9204
[startup+270.008 s]
Raw data (loadavg): 0.99 0.99 0.77 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2309 0 0 0 26989 15 0 0 25 0 1 0 511802680 9424896 1962 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2301 1962 231 231 0 2070 0
vsize: 9204
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.77 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2322 0 0 0 27989 15 0 0 25 0 1 0 511802680 9424896 1975 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2301 1975 231 231 0 2070 0
vsize: 9204
[startup+290.008 s]
Raw data (loadavg): 0.99 0.99 0.77 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2337 0 0 0 28989 15 0 0 25 0 1 0 511802680 9555968 1990 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2333 1990 231 231 0 2102 0
vsize: 9332
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.78 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2350 0 0 0 29989 15 0 0 25 0 1 0 511802680 9555968 2003 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2333 2003 231 231 0 2102 0
vsize: 9332
[startup+310.008 s]
Raw data (loadavg): 0.99 0.99 0.78 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2365 0 0 0 30988 16 0 0 25 0 1 0 511802680 9555968 2018 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2333 2018 231 231 0 2102 0
vsize: 9332
[startup+320.009 s]
Raw data (loadavg): 0.99 0.99 0.78 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2384 0 0 0 31988 17 0 0 25 0 1 0 511802680 9699328 2037 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2368 2037 231 231 0 2137 0
vsize: 9472
[startup+330.009 s]
Raw data (loadavg): 0.99 0.99 0.78 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2396 0 0 0 32988 17 0 0 25 0 1 0 511802680 9699328 2049 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2368 2049 231 231 0 2137 0
vsize: 9472
[startup+340.009 s]
Raw data (loadavg): 0.99 0.99 0.78 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2458 0 0 0 33988 17 0 0 25 0 1 0 511802680 9699328 2111 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2368 2111 231 231 0 2137 0
vsize: 9472
[startup+350.01 s]
Raw data (loadavg): 0.99 0.99 0.79 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2528 0 0 0 34988 17 0 0 25 0 1 0 511802680 14028800 2181 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3425 2181 231 231 0 3194 0
vsize: 13700
[startup+360.01 s]
Raw data (loadavg): 0.99 0.99 0.79 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2542 0 0 0 35988 18 0 0 25 0 1 0 511802680 14028800 2195 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3425 2195 231 231 0 3194 0
vsize: 13700
[startup+370.011 s]
Raw data (loadavg): 0.99 0.99 0.79 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2557 0 0 0 36988 18 0 0 25 0 1 0 511802680 14028800 2210 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3425 2210 231 231 0 3194 0
vsize: 13700
[startup+380.011 s]
Raw data (loadavg): 0.99 0.99 0.79 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2573 0 0 0 37987 18 0 0 25 0 1 0 511802680 14028800 2226 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3425 2226 231 231 0 3194 0
vsize: 13700
[startup+390.011 s]
Raw data (loadavg): 0.99 0.99 0.79 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2638 0 0 0 38987 19 0 0 25 0 1 0 511802680 14180352 2291 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2291 231 231 0 3231 0
vsize: 13848
[startup+400.011 s]
Raw data (loadavg): 0.99 0.99 0.80 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2655 0 0 0 39987 19 0 0 25 0 1 0 511802680 14180352 2308 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2308 231 231 0 3231 0
vsize: 13848
[startup+410.01 s]
Raw data (loadavg): 0.99 0.99 0.80 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2670 0 0 0 40987 19 0 0 25 0 1 0 511802680 14180352 2323 4294967295 134512640 135450300 3221224640 3221223568 134539744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2323 231 231 0 3231 0
vsize: 13848
[startup+420.012 s]
Raw data (loadavg): 0.99 0.99 0.80 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2731 0 0 0 41987 20 0 0 25 0 1 0 511802680 14180352 2384 4294967295 134512640 135450300 3221224640 3221223360 134536009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2384 231 231 0 3231 0
vsize: 13848
[startup+430.011 s]
Raw data (loadavg): 0.99 0.99 0.80 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2746 0 0 0 42987 20 0 0 25 0 1 0 511802680 14315520 2399 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2399 231 231 0 3264 0
vsize: 13980
[startup+440.011 s]
Raw data (loadavg): 0.99 0.99 0.80 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2768 0 0 0 43986 20 0 0 25 0 1 0 511802680 14315520 2421 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2421 231 231 0 3264 0
vsize: 13980
[startup+450.012 s]
Raw data (loadavg): 0.99 0.99 0.81 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2818 0 0 0 44986 21 0 0 25 0 1 0 511802680 14479360 2471 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3535 2471 231 231 0 3304 0
vsize: 14140
[startup+460.012 s]
Raw data (loadavg): 0.99 0.99 0.81 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 2913 0 0 0 45985 22 0 0 25 0 1 0 511802680 14479360 2566 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3535 2566 231 231 0 3304 0
vsize: 14140
[startup+470.012 s]
Raw data (loadavg): 0.99 0.99 0.81 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3003 0 0 0 46985 22 0 0 25 0 1 0 511802680 14479360 2656 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3535 2656 231 231 0 3304 0
vsize: 14140
[startup+480.012 s]
Raw data (loadavg): 0.99 0.99 0.81 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3047 0 0 0 47985 23 0 0 25 0 1 0 511802680 14479360 2700 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3535 2700 231 231 0 3304 0
vsize: 14140
[startup+490.012 s]
Raw data (loadavg): 0.99 0.99 0.81 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3063 0 0 0 48984 23 0 0 25 0 1 0 511802680 14610432 2716 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3567 2716 231 231 0 3336 0
vsize: 14268
[startup+500.012 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3083 0 0 0 49984 23 0 0 25 0 1 0 511802680 14610432 2736 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3567 2736 231 231 0 3336 0
vsize: 14268
[startup+510.011 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3100 0 0 0 50984 24 0 0 25 0 1 0 511802680 14745600 2753 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3600 2753 231 231 0 3369 0
vsize: 14400
[startup+520.012 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3118 0 0 0 51984 24 0 0 25 0 1 0 511802680 14745600 2771 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3600 2771 231 231 0 3369 0
vsize: 14400
[startup+530.012 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3132 0 0 0 52984 25 0 0 25 0 1 0 511802680 14745600 2785 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3600 2785 231 231 0 3369 0
vsize: 14400
[startup+540.012 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3148 0 0 0 53983 25 0 0 25 0 1 0 511802680 14905344 2801 4294967295 134512640 135450300 3221224640 3221223376 134538806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3639 2801 231 231 0 3408 0
vsize: 14556
[startup+550.012 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3542 0 0 0 54983 26 0 0 25 0 1 0 511802680 16478208 2810 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2810 231 231 0 3792 0
vsize: 16092
[startup+560.011 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3556 0 0 0 55982 26 0 0 25 0 1 0 511802680 16478208 2824 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2824 231 231 0 3792 0
vsize: 16092
[startup+570.012 s]
Raw data (loadavg): 0.99 0.99 0.82 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3574 0 0 0 56982 27 0 0 25 0 1 0 511802680 16478208 2842 4294967295 134512640 135450300 3221224640 3221223504 134539232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2842 231 231 0 3792 0
vsize: 16092
[startup+580.012 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3659 0 0 0 57982 27 0 0 25 0 1 0 511802680 16478208 2927 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2927 231 231 0 3792 0
vsize: 16092
[startup+590.012 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3749 0 0 0 58982 28 0 0 25 0 1 0 511802680 16478208 3017 4294967295 134512640 135450300 3221224640 3221223456 134546494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4023 3017 231 231 0 3792 0
vsize: 16092
[startup+600.011 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3802 0 0 0 59981 28 0 0 25 0 1 0 511802680 16662528 3070 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3070 231 231 0 3837 0
vsize: 16272
[startup+610.011 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3813 0 0 0 60981 28 0 0 25 0 1 0 511802680 16662528 3081 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3081 231 231 0 3837 0
vsize: 16272
[startup+620.012 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3828 0 0 0 61981 28 0 0 25 0 1 0 511802680 16662528 3096 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3096 231 231 0 3837 0
vsize: 16272
[startup+630.013 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3846 0 0 0 62981 29 0 0 25 0 1 0 511802680 16662528 3114 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4068 3114 231 231 0 3837 0
vsize: 16272
[startup+640.013 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3903 0 0 0 63981 29 0 0 25 0 1 0 511802680 16834560 3171 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3171 231 231 0 3879 0
vsize: 16440
[startup+650.013 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3914 0 0 0 64981 29 0 0 25 0 1 0 511802680 16834560 3182 4294967295 134512640 135450300 3221224640 3221223360 134535555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3182 231 231 0 3879 0
vsize: 16440
[startup+660.013 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3925 0 0 0 65981 30 0 0 25 0 1 0 511802680 16834560 3193 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3193 231 231 0 3879 0
vsize: 16440
[startup+670.014 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3937 0 0 0 66981 30 0 0 25 0 1 0 511802680 16834560 3205 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3205 231 231 0 3879 0
vsize: 16440
[startup+680.014 s]
Raw data (loadavg): 0.99 0.99 0.83 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3950 0 0 0 67981 30 0 0 25 0 1 0 511802680 16834560 3218 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3218 231 231 0 3879 0
vsize: 16440
[startup+690.013 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3969 0 0 0 68980 31 0 0 25 0 1 0 511802680 16961536 3237 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3237 231 231 0 3910 0
vsize: 16564
[startup+700.014 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 3989 0 0 0 69980 31 0 0 25 0 1 0 511802680 16961536 3257 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3257 231 231 0 3910 0
vsize: 16564
[startup+710.014 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4001 0 0 0 70980 32 0 0 25 0 1 0 511802680 16961536 3269 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4141 3269 231 231 0 3910 0
vsize: 16564
[startup+720.015 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4017 0 0 0 71980 32 0 0 25 0 1 0 511802680 17137664 3285 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3285 231 231 0 3953 0
vsize: 16736
[startup+730.015 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4030 0 0 0 72980 32 0 0 25 0 1 0 511802680 17137664 3298 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3298 231 231 0 3953 0
vsize: 16736
[startup+740.015 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4040 0 0 0 73980 33 0 0 25 0 1 0 511802680 17137664 3308 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3308 231 231 0 3953 0
vsize: 16736
[startup+750.015 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4055 0 0 0 74979 33 0 0 25 0 1 0 511802680 17137664 3323 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3323 231 231 0 3953 0
vsize: 16736
[startup+760.015 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4069 0 0 0 75979 33 0 0 25 0 1 0 511802680 17137664 3337 4294967295 134512640 135450300 3221224640 3221223560 134539746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4184 3337 231 231 0 3953 0
vsize: 16736
[startup+770.016 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4083 0 0 0 76979 33 0 0 25 0 1 0 511802680 17313792 3351 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4227 3351 231 231 0 3996 0
vsize: 16908
[startup+780.015 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4091 0 0 0 77979 33 0 0 25 0 1 0 511802680 17313792 3359 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4227 3359 231 231 0 3996 0
vsize: 16908
[startup+790.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4104 0 0 0 78979 34 0 0 25 0 1 0 511802680 17313792 3372 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4227 3372 231 231 0 3996 0
vsize: 16908
[startup+800.016 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4121 0 0 0 79979 34 0 0 25 0 1 0 511802680 17313792 3389 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4227 3389 231 231 0 3996 0
vsize: 16908
[startup+810.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4127 0 0 0 80979 34 0 0 25 0 1 0 511802680 17313792 3395 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4227 3395 231 231 0 3996 0
vsize: 16908
[startup+820.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4139 0 0 0 81979 35 0 0 25 0 1 0 511802680 17313792 3407 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4227 3407 231 231 0 3996 0
vsize: 16908
[startup+830.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4364 0 0 0 82979 35 0 0 25 0 1 0 511802680 17477632 3632 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3632 231 231 0 4036 0
vsize: 17068
[startup+840.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4443 0 0 0 83978 36 0 0 25 0 1 0 511802680 17477632 3711 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3711 231 231 0 4036 0
vsize: 17068
[startup+850.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4507 0 0 0 84978 36 0 0 25 0 1 0 511802680 17477632 3775 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3775 231 231 0 4036 0
vsize: 17068
[startup+860.014 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4569 0 0 0 85978 36 0 0 25 0 1 0 511802680 17477632 3837 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4267 3837 231 231 0 4036 0
vsize: 17068
[startup+870.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4608 0 0 0 86978 37 0 0 25 0 1 0 511802680 17657856 3876 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3876 231 231 0 4080 0
vsize: 17244
[startup+880.015 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4618 0 0 0 87977 37 0 0 25 0 1 0 511802680 17657856 3886 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3886 231 231 0 4080 0
vsize: 17244
[startup+890.015 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4631 0 0 0 88977 37 0 0 25 0 1 0 511802680 17657856 3899 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3899 231 231 0 4080 0
vsize: 17244
[startup+900.016 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 4649 0 0 0 89978 37 0 0 25 0 1 0 511802680 17657856 3917 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3917 231 231 0 4080 0
vsize: 17244
[startup+910.016 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 5223 0 0 0 90977 39 0 0 25 0 1 0 511802680 26046464 4491 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6359 4491 231 231 0 6128 0
vsize: 25436
[startup+920.017 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 5235 0 0 0 91977 39 0 0 25 0 1 0 511802680 26046464 4503 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6359 4503 231 231 0 6128 0
vsize: 25436
[startup+930.017 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 5413 0 0 0 92976 39 0 0 25 0 1 0 511802680 26222592 4681 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6402 4681 231 231 0 6171 0
vsize: 25608
[startup+940.017 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6280 0 0 0 93974 42 0 0 25 0 1 0 511802680 26222592 5548 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6402 5548 231 231 0 6171 0
vsize: 25608
[startup+950.016 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6595 0 0 0 94973 43 0 0 25 0 1 0 511802680 26222592 5863 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6402 5863 231 231 0 6171 0
vsize: 25608
[startup+960.016 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6761 0 0 0 95973 44 0 0 25 0 1 0 511802680 26222592 6029 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6402 6029 231 231 0 6171 0
vsize: 25608
[startup+970.017 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6770 0 0 0 96973 44 0 0 25 0 1 0 511802680 26365952 6038 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 6038 231 231 0 6206 0
vsize: 25748
[startup+980.018 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6780 0 0 0 97972 44 0 0 25 0 1 0 511802680 26365952 6048 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 6048 231 231 0 6206 0
vsize: 25748
[startup+990.017 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6796 0 0 0 98972 45 0 0 25 0 1 0 511802680 26365952 6064 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 6064 231 231 0 6206 0
vsize: 25748
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6810 0 0 0 99972 45 0 0 25 0 1 0 511802680 26365952 6078 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 6078 231 231 0 6206 0
vsize: 25748
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6815 0 0 0 100971 46 0 0 25 0 1 0 511802680 26365952 6083 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 6083 231 231 0 6206 0
vsize: 25748
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6831 0 0 0 101971 46 0 0 25 0 1 0 511802680 26365952 6099 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 6099 231 231 0 6206 0
vsize: 25748
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6839 0 0 0 102971 46 0 0 25 0 1 0 511802680 26365952 6107 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6437 6107 231 231 0 6206 0
vsize: 25748
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6853 0 0 0 103971 47 0 0 25 0 1 0 511802680 26583040 6121 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6490 6121 231 231 0 6259 0
vsize: 25960
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6862 0 0 0 104971 47 0 0 25 0 1 0 511802680 26583040 6130 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6490 6130 231 231 0 6259 0
vsize: 25960
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6875 0 0 0 105971 47 0 0 25 0 1 0 511802680 26583040 6143 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6490 6143 231 231 0 6259 0
vsize: 25960
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6891 0 0 0 106971 47 0 0 25 0 1 0 511802680 26583040 6159 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6490 6159 231 231 0 6259 0
vsize: 25960
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6920 0 0 0 107970 48 0 0 25 0 1 0 511802680 26726400 6188 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6525 6188 231 231 0 6294 0
vsize: 26100
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6923 0 0 0 108970 48 0 0 25 0 1 0 511802680 26726400 6191 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6525 6191 231 231 0 6294 0
vsize: 26100
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6927 0 0 0 109970 49 0 0 25 0 1 0 511802680 26726400 6195 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6525 6195 231 231 0 6294 0
vsize: 26100
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6940 0 0 0 110970 49 0 0 25 0 1 0 511802680 26726400 6208 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6525 6208 231 231 0 6294 0
vsize: 26100
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6959 0 0 0 111969 50 0 0 25 0 1 0 511802680 26877952 6227 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 6227 231 231 0 6331 0
vsize: 26248
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6978 0 0 0 112969 50 0 0 25 0 1 0 511802680 26877952 6246 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 6246 231 231 0 6331 0
vsize: 26248
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 6990 0 0 0 113969 51 0 0 25 0 1 0 511802680 26877952 6258 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 6258 231 231 0 6331 0
vsize: 26248
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 7010 0 0 0 114969 51 0 0 25 0 1 0 511802680 26877952 6278 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 6278 231 231 0 6331 0
vsize: 26248
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 7014 0 0 0 115968 51 0 0 25 0 1 0 511802680 26877952 6282 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 6282 231 231 0 6331 0
vsize: 26248
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 7025 0 0 0 116968 52 0 0 25 0 1 0 511802680 27017216 6293 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6596 6293 231 231 0 6365 0
vsize: 26384
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 7040 0 0 0 117968 52 0 0 25 0 1 0 511802680 27168768 6308 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6633 6308 231 231 0 6402 0
vsize: 26532
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 7062 0 0 0 118968 52 0 0 25 0 1 0 511802680 27168768 6330 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6633 6330 231 231 0 6402 0
vsize: 26532
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 3323
Raw data (stat): 3321 (PBS4) R 3320 11931 11930 0 -1 0 7067 0 0 0 119968 53 0 0 25 0 1 0 511802680 27168768 6335 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6633 6335 231 231 0 6402 0
vsize: 26532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.99 0.89 1/54 3323
Raw data (stat): 3321 (PBS4) Z 3320 11931 11930 0 -1 1036 7067 0 0 0 119968 54 0 0 25 0 1 0 511802680 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.23
CPU user time (s): 1199.68
CPU system time (s): 0.545917
CPU usage (%): 100.016
Max. virtual memory (Kb): 26532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####