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-ii32d2.opb
MD5SUM	a483fc3761bb4050329265bf3a3a7ca5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	372
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	808
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.04284
Number of variables	808
Total number of constraints	5557
Number of constraints which are clauses	5557
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 7745

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-17 16:03:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1401 boxname=wulflinc12 idbench=156 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a483fc3761bb4050329265bf3a3a7ca5  /oldhome/oroussel/tmp/wulflinc12/normalized-ii32d2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc12/normalized-ii32d2.opb
IDLAUNCH: 1401
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        863552 kB
Buffers:         37132 kB
Cached:         113336 kB
SwapCached:         16 kB
Active:          74952 kB
Inactive:        78416 kB
HighTotal:      131008 kB
HighFree:        13664 kB
LowTotal:       903652 kB
LowFree:        849888 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12260 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:23:02 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1401 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc12/normalized-ii32d2.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): 1.02 1.00 0.71 2/54 17627
Raw data (stat): 17627 (runsolver) R 17626 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453579259 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.02 1.00 0.72 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 638 0 0 0 997 2 0 0 25 0 1 0 453579259 3284992 583 4294967295 134512640 135450300 3221224640 3221223360 134536004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 802 583 231 231 0 571 0
vsize: 3208
[startup+20.001 s]
Raw data (loadavg): 1.01 1.00 0.72 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 983 0 0 0 1995 3 0 0 25 0 1 0 453579259 4603904 928 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1124 928 231 231 0 893 0
vsize: 4496
[startup+30.0011 s]
Raw data (loadavg): 1.01 1.00 0.72 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1224 0 0 0 2993 5 0 0 25 0 1 0 453579259 6979584 1169 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1704 1169 231 231 0 1473 0
vsize: 6816
[startup+40.0006 s]
Raw data (loadavg): 1.01 1.00 0.73 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1374 0 0 0 3993 6 0 0 25 0 1 0 453579259 7507968 1222 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1833 1222 231 231 0 1602 0
vsize: 7332
[startup+50.0014 s]
Raw data (loadavg): 1.01 1.00 0.73 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1427 0 0 0 4991 8 0 0 25 0 1 0 453579259 7651328 1275 4294967295 134512640 135450300 3221224640 3221223532 134539104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1868 1275 231 231 0 1637 0
vsize: 7472
[startup+60.0016 s]
Raw data (loadavg): 1.00 1.00 0.73 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1531 0 0 0 5990 9 0 0 25 0 1 0 453579259 7786496 1379 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1901 1379 231 231 0 1670 0
vsize: 7604
[startup+70.002 s]
Raw data (loadavg): 1.00 1.00 0.73 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1571 0 0 0 6990 10 0 0 25 0 1 0 453579259 7786496 1419 4294967295 134512640 135450300 3221224640 3221223376 134538601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1901 1419 231 231 0 1670 0
vsize: 7604
[startup+80.0029 s]
Raw data (loadavg): 1.00 1.00 0.73 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1603 0 0 0 7989 11 0 0 25 0 1 0 453579259 7942144 1451 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1939 1451 231 231 0 1708 0
vsize: 7756
[startup+90.003 s]
Raw data (loadavg): 1.00 1.00 0.74 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1776 0 0 0 8987 13 0 0 25 0 1 0 453579259 8089600 1624 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1975 1624 231 231 0 1744 0
vsize: 7900
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 0.74 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1896 0 0 0 9987 14 0 0 25 0 1 0 453579259 8089600 1744 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1975 1744 231 231 0 1744 0
vsize: 7900
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 0.74 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1967 0 0 0 10986 15 0 0 25 0 1 0 453579259 8228864 1815 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2009 1815 231 231 0 1778 0
vsize: 8036
[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 0.74 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 2192 0 0 0 11986 15 0 0 25 0 1 0 453579259 9158656 1847 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2236 1847 231 231 0 2005 0
vsize: 8944
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.74 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 2291 0 0 0 12985 16 0 0 25 0 1 0 453579259 13352960 1946 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 1946 231 231 0 3029 0
vsize: 13040
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 2950 0 0 0 13983 17 0 0 25 0 1 0 453579259 13352960 2605 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 2605 231 231 0 3029 0
vsize: 13040
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3018 0 0 0 14983 18 0 0 25 0 1 0 453579259 13508608 2673 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2673 231 231 0 3067 0
vsize: 13192
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3037 0 0 0 15982 20 0 0 25 0 1 0 453579259 13508608 2692 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2692 231 231 0 3067 0
vsize: 13192
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3106 0 0 0 16981 20 0 0 25 0 1 0 453579259 13643776 2761 4294967295 134512640 135450300 3221224640 3221223456 134537203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2761 231 231 0 3100 0
vsize: 13324
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.75 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3686 0 0 0 17980 22 0 0 25 0 1 0 453579259 22167552 3341 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3341 231 231 0 5181 0
vsize: 21648
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 4124 0 0 0 18978 24 0 0 25 0 1 0 453579259 22167552 3779 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5412 3779 231 231 0 5181 0
vsize: 21648
[startup+200.005 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 17627
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 4722 0 0 0 19977 25 0 0 25 0 1 0 453579259 22302720 4377 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5445 4377 231 231 0 5214 0
vsize: 21780
[startup+210.005 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5291 0 0 0 20975 27 0 0 25 0 1 0 453579259 22302720 4946 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5445 4946 231 231 0 5214 0
vsize: 21780
[startup+220.005 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5583 0 0 0 21974 29 0 0 25 0 1 0 453579259 22577152 5238 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5512 5238 231 231 0 5281 0
vsize: 22048
[startup+230.005 s]
Raw data (loadavg): 1.00 1.00 0.76 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5606 0 0 0 22973 29 0 0 25 0 1 0 453579259 22704128 5261 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 5261 231 231 0 5312 0
vsize: 22172
[startup+240.005 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5610 0 0 0 23973 29 0 0 25 0 1 0 453579259 22704128 5265 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 5265 231 231 0 5312 0
vsize: 22172
[startup+250.006 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5633 0 0 0 24973 30 0 0 25 0 1 0 453579259 22839296 5288 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 5288 231 231 0 5345 0
vsize: 22304
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5639 0 0 0 25973 30 0 0 25 0 1 0 453579259 22839296 5294 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 5294 231 231 0 5345 0
vsize: 22304
[startup+270.006 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5649 0 0 0 26973 30 0 0 25 0 1 0 453579259 22839296 5304 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 5304 231 231 0 5345 0
vsize: 22304
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 0.77 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5659 0 0 0 27973 31 0 0 25 0 1 0 453579259 22839296 5314 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 5314 231 231 0 5345 0
vsize: 22304
[startup+290.006 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5709 0 0 0 28972 31 0 0 25 0 1 0 453579259 22974464 5364 4294967295 134512640 135450300 3221224640 3221223376 134538481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5609 5364 231 231 0 5378 0
vsize: 22436
[startup+300.006 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5763 0 0 0 29972 32 0 0 25 0 1 0 453579259 23240704 5418 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 5418 231 231 0 5443 0
vsize: 22696
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5769 0 0 0 30972 32 0 0 25 0 1 0 453579259 23240704 5424 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 5424 231 231 0 5443 0
vsize: 22696
[startup+320.007 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5774 0 0 0 31971 33 0 0 25 0 1 0 453579259 23240704 5429 4294967295 134512640 135450300 3221224640 3221223472 134549307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 5429 231 231 0 5443 0
vsize: 22696
[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 0.78 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5781 0 0 0 32972 33 0 0 25 0 1 0 453579259 23240704 5436 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 5436 231 231 0 5443 0
vsize: 22696
[startup+340.007 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5802 0 0 0 33971 33 0 0 25 0 1 0 453579259 23240704 5457 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 5457 231 231 0 5443 0
vsize: 22696
[startup+350.007 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5841 0 0 0 34971 34 0 0 25 0 1 0 453579259 23420928 5496 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5718 5496 231 231 0 5487 0
vsize: 22872
[startup+360.008 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5857 0 0 0 35971 34 0 0 25 0 1 0 453579259 23576576 5512 4294967295 134512640 135450300 3221224640 3221222832 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5756 5512 231 231 0 5525 0
vsize: 23024
[startup+370.009 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5876 0 0 0 36970 35 0 0 25 0 1 0 453579259 23576576 5531 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5756 5531 231 231 0 5525 0
vsize: 23024
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 0.79 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5884 0 0 0 37970 35 0 0 25 0 1 0 453579259 23576576 5539 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5756 5539 231 231 0 5525 0
vsize: 23024
[startup+390.008 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5893 0 0 0 38970 36 0 0 25 0 1 0 453579259 23576576 5548 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5756 5548 231 231 0 5525 0
vsize: 23024
[startup+400.009 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5934 0 0 0 39969 36 0 0 25 0 1 0 453579259 23711744 5589 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5789 5589 231 231 0 5558 0
vsize: 23156
[startup+410.009 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5939 0 0 0 40969 37 0 0 25 0 1 0 453579259 23711744 5594 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5789 5594 231 231 0 5558 0
vsize: 23156
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5947 0 0 0 41969 37 0 0 25 0 1 0 453579259 23851008 5602 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5823 5602 231 231 0 5592 0
vsize: 23292
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 0.80 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5953 0 0 0 42969 37 0 0 25 0 1 0 453579259 23851008 5608 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5823 5608 231 231 0 5592 0
vsize: 23292
[startup+440.01 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5976 0 0 0 43969 37 0 0 25 0 1 0 453579259 23851008 5631 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5823 5631 231 231 0 5592 0
vsize: 23292
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6032 0 0 0 44969 38 0 0 25 0 1 0 453579259 24121344 5687 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5889 5687 231 231 0 5658 0
vsize: 23556
[startup+460.011 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6078 0 0 0 45969 38 0 0 25 0 1 0 453579259 24260608 5733 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5923 5733 231 231 0 5692 0
vsize: 23692
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6483 0 0 0 46967 40 0 0 25 0 1 0 453579259 25833472 5753 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5753 231 231 0 6076 0
vsize: 25228
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6490 0 0 0 47966 41 0 0 25 0 1 0 453579259 25833472 5760 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5760 231 231 0 6076 0
vsize: 25228
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.81 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6496 0 0 0 48966 42 0 0 25 0 1 0 453579259 25833472 5766 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5766 231 231 0 6076 0
vsize: 25228
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6504 0 0 0 49966 42 0 0 25 0 1 0 453579259 25833472 5774 4294967295 134512640 135450300 3221224640 3221223436 134535392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5774 231 231 0 6076 0
vsize: 25228
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6509 0 0 0 50966 42 0 0 25 0 1 0 453579259 25833472 5779 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5779 231 231 0 6076 0
vsize: 25228
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6521 0 0 0 51965 43 0 0 25 0 1 0 453579259 25968640 5791 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6340 5791 231 231 0 6109 0
vsize: 25360
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6527 0 0 0 52965 43 0 0 25 0 1 0 453579259 42745856 5797 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10436 5797 231 231 0 10205 0
vsize: 41744
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7041 0 0 0 53964 45 0 0 25 0 1 0 453579259 42745856 6311 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10436 6311 231 231 0 10205 0
vsize: 41744
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7439 0 0 0 54962 47 0 0 25 0 1 0 453579259 42745856 6709 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10436 6709 231 231 0 10205 0
vsize: 41744
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7857 0 0 0 55961 48 0 0 25 0 1 0 453579259 43061248 7127 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10513 7127 231 231 0 10282 0
vsize: 42052
[startup+570.015 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7994 0 0 0 56961 49 0 0 25 0 1 0 453579259 43061248 7264 4294967295 134512640 135450300 3221224640 3221223472 134549267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10513 7264 231 231 0 10282 0
vsize: 42052
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8017 0 0 0 57960 49 0 0 25 0 1 0 453579259 43061248 7287 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10513 7287 231 231 0 10282 0
vsize: 42052
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8027 0 0 0 58960 50 0 0 25 0 1 0 453579259 43061248 7297 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10513 7297 231 231 0 10282 0
vsize: 42052
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8031 0 0 0 59960 50 0 0 25 0 1 0 453579259 43061248 7301 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10513 7301 231 231 0 10282 0
vsize: 42052
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8035 0 0 0 60960 50 0 0 25 0 1 0 453579259 43061248 7305 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10513 7305 231 231 0 10282 0
vsize: 42052
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8043 0 0 0 61960 50 0 0 25 0 1 0 453579259 43196416 7313 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10546 7313 231 231 0 10315 0
vsize: 42184
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8049 0 0 0 62960 51 0 0 25 0 1 0 453579259 43196416 7319 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10546 7319 231 231 0 10315 0
vsize: 42184
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8066 0 0 0 63960 51 0 0 25 0 1 0 453579259 43196416 7336 4294967295 134512640 135450300 3221224640 3221223376 134538803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10546 7336 231 231 0 10315 0
vsize: 42184
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8100 0 0 0 64960 51 0 0 25 0 1 0 453579259 43347968 7370 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7370 231 231 0 10352 0
vsize: 42332
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8105 0 0 0 65960 52 0 0 25 0 1 0 453579259 43347968 7375 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7375 231 231 0 10352 0
vsize: 42332
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8110 0 0 0 66959 52 0 0 25 0 1 0 453579259 43347968 7380 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7380 231 231 0 10352 0
vsize: 42332
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8117 0 0 0 67959 52 0 0 25 0 1 0 453579259 43347968 7387 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7387 231 231 0 10352 0
vsize: 42332
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8122 0 0 0 68959 53 0 0 25 0 1 0 453579259 43347968 7392 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7392 231 231 0 10352 0
vsize: 42332
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8129 0 0 0 69959 53 0 0 25 0 1 0 453579259 43347968 7399 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7399 231 231 0 10352 0
vsize: 42332
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8148 0 0 0 70959 53 0 0 25 0 1 0 453579259 43347968 7418 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7418 231 231 0 10352 0
vsize: 42332
[startup+720.022 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8153 0 0 0 71958 54 0 0 25 0 1 0 453579259 43347968 7423 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7423 231 231 0 10352 0
vsize: 42332
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8156 0 0 0 72958 55 0 0 25 0 1 0 453579259 43347968 7426 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 7426 231 231 0 10352 0
vsize: 42332
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8193 0 0 0 73958 55 0 0 25 0 1 0 453579259 43483136 7463 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10616 7463 231 231 0 10385 0
vsize: 42464
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8383 0 0 0 74957 56 0 0 25 0 1 0 453579259 43483136 7653 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10616 7653 231 231 0 10385 0
vsize: 42464
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8692 0 0 0 75956 57 0 0 25 0 1 0 453579259 43618304 7962 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10649 7962 231 231 0 10418 0
vsize: 42596
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8957 0 0 0 76956 58 0 0 25 0 1 0 453579259 43618304 8227 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10649 8227 231 231 0 10418 0
vsize: 42596
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9231 0 0 0 77955 58 0 0 25 0 1 0 453579259 44113920 8501 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 8501 231 231 0 10539 0
vsize: 43080
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9615 0 0 0 78955 59 0 0 25 0 1 0 453579259 44113920 8885 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 8885 231 231 0 10539 0
vsize: 43080
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9949 0 0 0 79954 60 0 0 25 0 1 0 453579259 44113920 9219 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9219 231 231 0 10539 0
vsize: 43080
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9954 0 0 0 80954 60 0 0 25 0 1 0 453579259 44113920 9224 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9224 231 231 0 10539 0
vsize: 43080
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9961 0 0 0 81954 61 0 0 25 0 1 0 453579259 44113920 9231 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9231 231 231 0 10539 0
vsize: 43080
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9963 0 0 0 82953 61 0 0 25 0 1 0 453579259 44113920 9233 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9233 231 231 0 10539 0
vsize: 43080
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9970 0 0 0 83953 61 0 0 25 0 1 0 453579259 44113920 9240 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9240 231 231 0 10539 0
vsize: 43080
[startup+850.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9976 0 0 0 84953 62 0 0 25 0 1 0 453579259 44113920 9246 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9246 231 231 0 10539 0
vsize: 43080
[startup+860.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9981 0 0 0 85953 62 0 0 25 0 1 0 453579259 44113920 9251 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9251 231 231 0 10539 0
vsize: 43080
[startup+870.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10001 0 0 0 86953 62 0 0 25 0 1 0 453579259 44113920 9271 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9271 231 231 0 10539 0
vsize: 43080
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10008 0 0 0 87953 63 0 0 25 0 1 0 453579259 44113920 9278 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 9278 231 231 0 10539 0
vsize: 43080
[startup+890.025 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10030 0 0 0 88953 63 0 0 25 0 1 0 453579259 44240896 9300 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10801 9300 231 231 0 10570 0
vsize: 43204
[startup+900.025 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10089 0 0 0 89953 63 0 0 25 0 1 0 453579259 44515328 9359 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9359 231 231 0 10637 0
vsize: 43472
[startup+910.025 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10092 0 0 0 90952 64 0 0 25 0 1 0 453579259 44515328 9362 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9362 231 231 0 10637 0
vsize: 43472
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10099 0 0 0 91952 64 0 0 25 0 1 0 453579259 44515328 9369 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9369 231 231 0 10637 0
vsize: 43472
[startup+930.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10108 0 0 0 92952 64 0 0 25 0 1 0 453579259 44515328 9378 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9378 231 231 0 10637 0
vsize: 43472
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10113 0 0 0 93952 65 0 0 25 0 1 0 453579259 44515328 9383 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9383 231 231 0 10637 0
vsize: 43472
[startup+950.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10117 0 0 0 94952 65 0 0 25 0 1 0 453579259 44515328 9387 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9387 231 231 0 10637 0
vsize: 43472
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10121 0 0 0 95952 65 0 0 25 0 1 0 453579259 44515328 9391 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9391 231 231 0 10637 0
vsize: 43472
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10128 0 0 0 96951 66 0 0 25 0 1 0 453579259 44515328 9398 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9398 231 231 0 10637 0
vsize: 43472
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10133 0 0 0 97951 66 0 0 25 0 1 0 453579259 44515328 9403 4294967295 134512640 135450300 3221224640 3221223248 134537606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9403 231 231 0 10637 0
vsize: 43472
[startup+990.027 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10137 0 0 0 98951 66 0 0 25 0 1 0 453579259 44515328 9407 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9407 231 231 0 10637 0
vsize: 43472
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10144 0 0 0 99951 66 0 0 25 0 1 0 453579259 44515328 9414 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9414 231 231 0 10637 0
vsize: 43472
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10157 0 0 0 100951 67 0 0 25 0 1 0 453579259 44515328 9427 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9427 231 231 0 10637 0
vsize: 43472
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10219 0 0 0 101951 67 0 0 25 0 1 0 453579259 44974080 9489 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9489 231 231 0 10749 0
vsize: 43920
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10227 0 0 0 102951 67 0 0 25 0 1 0 453579259 44974080 9497 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9497 231 231 0 10749 0
vsize: 43920
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10231 0 0 0 103951 68 0 0 25 0 1 0 453579259 44974080 9501 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9501 231 231 0 10749 0
vsize: 43920
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10235 0 0 0 104951 68 0 0 25 0 1 0 453579259 44974080 9505 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9505 231 231 0 10749 0
vsize: 43920
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10722 0 0 0 105950 69 0 0 25 0 1 0 453579259 44974080 9992 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 9992 231 231 0 10749 0
vsize: 43920
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10749 0 0 0 106950 69 0 0 25 0 1 0 453579259 44974080 10019 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10019 231 231 0 10749 0
vsize: 43920
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10753 0 0 0 107950 69 0 0 25 0 1 0 453579259 44974080 10023 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10023 231 231 0 10749 0
vsize: 43920
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10758 0 0 0 108951 69 0 0 25 0 1 0 453579259 44974080 10028 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10028 231 231 0 10749 0
vsize: 43920
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10764 0 0 0 109950 69 0 0 25 0 1 0 453579259 44974080 10034 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10034 231 231 0 10749 0
vsize: 43920
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10768 0 0 0 110951 69 0 0 25 0 1 0 453579259 44974080 10038 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10980 10038 231 231 0 10749 0
vsize: 43920
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10786 0 0 0 111950 69 0 0 25 0 1 0 453579259 45113344 10056 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11014 10056 231 231 0 10783 0
vsize: 44056
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10807 0 0 0 112950 70 0 0 25 0 1 0 453579259 45113344 10077 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11014 10077 231 231 0 10783 0
vsize: 44056
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10810 0 0 0 113950 70 0 0 25 0 1 0 453579259 45113344 10080 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11014 10080 231 231 0 10783 0
vsize: 44056
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10866 0 0 0 114950 71 0 0 25 0 1 0 453579259 45395968 10136 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11083 10136 231 231 0 10852 0
vsize: 44332
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10869 0 0 0 115950 71 0 0 25 0 1 0 453579259 45395968 10139 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11083 10139 231 231 0 10852 0
vsize: 44332
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10873 0 0 0 116950 71 0 0 25 0 1 0 453579259 45395968 10143 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11083 10143 231 231 0 10852 0
vsize: 44332
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10876 0 0 0 117950 71 0 0 25 0 1 0 453579259 45395968 10146 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11083 10146 231 231 0 10852 0
vsize: 44332
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10880 0 0 0 118950 71 0 0 25 0 1 0 453579259 45395968 10150 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11083 10150 231 231 0 10852 0
vsize: 44332
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 17629
Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10888 0 0 0 119950 72 0 0 25 0 1 0 453579259 45395968 10158 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11083 10158 231 231 0 10852 0
vsize: 44332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.89 1/54 17629
Raw data (stat): 17627 (PBS4) Z 17626 25285 25284 0 -1 1036 10888 0 0 0 119950 73 0 0 25 0 1 0 453579259 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.05
CPU time (s): 1200.24
CPU user time (s): 1199.5
CPU system time (s): 0.738887
CPU usage (%): 100.016
Max. virtual memory (Kb): 44332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####