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-ii32c1.opb
MD5SUM	8afff0cc8710524125079d5ef00fedc0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	450
Total number of constraints	1505
Number of constraints which are clauses	1505
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 7737

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-17 16:02:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1356 boxname=wulflinc15 idbench=151 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  8afff0cc8710524125079d5ef00fedc0  /oldhome/oroussel/tmp/wulflinc15/normalized-ii32c1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc15/normalized-ii32c1.opb
IDLAUNCH: 1356
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        835848 kB
Buffers:         38080 kB
Cached:         137664 kB
SwapCached:       2144 kB
Active:          89100 kB
Inactive:        91704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        835596 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12468 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:22:09 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1356 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc15/normalized-ii32c1.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.98 1.00 0.71 2/54 24569
Raw data (stat): 24569 (runsolver) R 24568 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453574053 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99973 s]
Raw data (loadavg): 0.98 1.00 0.71 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 640 0 0 0 997 2 0 0 25 0 1 0 453574053 3624960 636 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 885 636 231 231 0 654 0
vsize: 3540
[startup+19.9995 s]
Raw data (loadavg): 0.99 1.00 0.72 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 1030 0 0 0 1996 3 0 0 25 0 1 0 453574053 5722112 1026 4294967295 134512640 135450300 3221224640 3221223104 134532599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1397 1026 231 231 0 1166 0
vsize: 5588
[startup+30.0006 s]
Raw data (loadavg): 0.99 1.00 0.72 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 1450 0 0 0 2995 4 0 0 25 0 1 0 453574053 10117120 1446 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1446 231 231 0 2239 0
vsize: 9880
[startup+40.0001 s]
Raw data (loadavg): 0.99 1.00 0.72 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 1831 0 0 0 3994 5 0 0 25 0 1 0 453574053 10117120 1827 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1827 231 231 0 2239 0
vsize: 9880
[startup+50.0009 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 2204 0 0 0 4993 6 0 0 25 0 1 0 453574053 10117120 2200 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2470 2200 231 231 0 2239 0
vsize: 9880
[startup+60.001 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 2570 0 0 0 5992 7 0 0 25 0 1 0 453574053 18505728 2566 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4518 2566 231 231 0 4287 0
vsize: 18072
[startup+70.0005 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 2929 0 0 0 6991 8 0 0 25 0 1 0 453574053 18505728 2925 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4518 2925 231 231 0 4287 0
vsize: 18072
[startup+80.0013 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 3427 0 0 0 7988 11 0 0 25 0 1 0 453574053 18989056 3374 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3374 231 231 0 4405 0
vsize: 18544
[startup+90.0014 s]
Raw data (loadavg): 0.99 1.00 0.73 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 3796 0 0 0 8988 12 0 0 25 0 1 0 453574053 18989056 3743 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4636 3743 231 231 0 4405 0
vsize: 18544
[startup+100.002 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 4253 0 0 0 9986 14 0 0 25 0 1 0 453574053 19259392 4200 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4702 4200 231 231 0 4471 0
vsize: 18808
[startup+110.002 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 4463 0 0 0 10985 15 0 0 25 0 1 0 453574053 19259392 4410 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4702 4410 231 231 0 4471 0
vsize: 18808
[startup+120.002 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5008 0 0 0 11984 16 0 0 25 0 1 0 453574053 36319232 4955 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8867 4955 231 231 0 8636 0
vsize: 35468
[startup+130.001 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5127 0 0 0 12984 17 0 0 25 0 1 0 453574053 36319232 5074 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8867 5074 231 231 0 8636 0
vsize: 35468
[startup+140.001 s]
Raw data (loadavg): 0.99 1.00 0.74 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5520 0 0 0 13983 18 0 0 25 0 1 0 453574053 36462592 5467 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8902 5467 231 231 0 8671 0
vsize: 35608
[startup+150.002 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5613 0 0 0 14983 18 0 0 25 0 1 0 453574053 36462592 5560 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8902 5560 231 231 0 8671 0
vsize: 35608
[startup+160.002 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5707 0 0 0 15983 18 0 0 25 0 1 0 453574053 36462592 5654 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8902 5654 231 231 0 8671 0
vsize: 35608
[startup+170.002 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5758 0 0 0 16982 19 0 0 25 0 1 0 453574053 36605952 5705 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8937 5705 231 231 0 8706 0
vsize: 35748
[startup+180.002 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5800 0 0 0 17982 19 0 0 25 0 1 0 453574053 36741120 5747 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8970 5747 231 231 0 8739 0
vsize: 35880
[startup+190.001 s]
Raw data (loadavg): 0.99 1.00 0.75 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5802 0 0 0 18982 19 0 0 25 0 1 0 453574053 36741120 5749 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8970 5749 231 231 0 8739 0
vsize: 35880
[startup+200.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5933 0 0 0 19981 20 0 0 25 0 1 0 453574053 37269504 5783 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9099 5783 231 231 0 8868 0
vsize: 36396
[startup+210.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5945 0 0 0 20981 20 0 0 25 0 1 0 453574053 37269504 5795 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9099 5795 231 231 0 8868 0
vsize: 36396
[startup+220.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5946 0 0 0 21982 20 0 0 25 0 1 0 453574053 37269504 5796 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9099 5796 231 231 0 8868 0
vsize: 36396
[startup+230 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 5958 0 0 0 22982 21 0 0 25 0 1 0 453574053 37269504 5808 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9099 5808 231 231 0 8868 0
vsize: 36396
[startup+240.001 s]
Raw data (loadavg): 0.99 1.00 0.76 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6463 0 0 0 23980 22 0 0 25 0 1 0 453574053 37404672 6313 4294967295 134512640 135450300 3221224640 3221223552 134597050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9132 6313 231 231 0 8901 0
vsize: 36528
[startup+250.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6479 0 0 0 24980 22 0 0 25 0 1 0 453574053 37543936 6329 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6329 231 231 0 8935 0
vsize: 36664
[startup+260.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6492 0 0 0 25980 22 0 0 25 0 1 0 453574053 37543936 6342 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6342 231 231 0 8935 0
vsize: 36664
[startup+270.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 24569
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6494 0 0 0 26980 22 0 0 25 0 1 0 453574053 37543936 6344 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6344 231 231 0 8935 0
vsize: 36664
[startup+280.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6495 0 0 0 27980 23 0 0 25 0 1 0 453574053 37543936 6345 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6345 231 231 0 8935 0
vsize: 36664
[startup+290.001 s]
Raw data (loadavg): 0.99 1.00 0.77 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6513 0 0 0 28980 23 0 0 25 0 1 0 453574053 37679104 6363 4294967295 134512640 135450300 3221224640 3221223480 134538065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6363 231 231 0 8968 0
vsize: 36796
[startup+300.001 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6535 0 0 0 29979 24 0 0 25 0 1 0 453574053 37679104 6385 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6385 231 231 0 8968 0
vsize: 36796
[startup+310.001 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6536 0 0 0 30979 24 0 0 25 0 1 0 453574053 37679104 6386 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6386 231 231 0 8968 0
vsize: 36796
[startup+320.001 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6538 0 0 0 31980 24 0 0 25 0 1 0 453574053 37679104 6388 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6388 231 231 0 8968 0
vsize: 36796
[startup+330.002 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6544 0 0 0 32980 24 0 0 25 0 1 0 453574053 37679104 6394 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6394 231 231 0 8968 0
vsize: 36796
[startup+340.001 s]
Raw data (loadavg): 0.99 1.00 0.78 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6546 0 0 0 33980 24 0 0 25 0 1 0 453574053 37679104 6396 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6396 231 231 0 8968 0
vsize: 36796
[startup+350.001 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6547 0 0 0 34980 24 0 0 25 0 1 0 453574053 37679104 6397 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 6397 231 231 0 8968 0
vsize: 36796
[startup+360.001 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6565 0 0 0 35980 25 0 0 25 0 1 0 453574053 37814272 6415 4294967295 134512640 135450300 3221224640 3221223456 134536555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9232 6415 231 231 0 9001 0
vsize: 36928
[startup+370.001 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6568 0 0 0 36980 25 0 0 25 0 1 0 453574053 37814272 6418 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9232 6418 231 231 0 9001 0
vsize: 36928
[startup+380 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6569 0 0 0 37980 25 0 0 25 0 1 0 453574053 37814272 6419 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9232 6419 231 231 0 9001 0
vsize: 36928
[startup+390.001 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6577 0 0 0 38980 25 0 0 25 0 1 0 453574053 37814272 6427 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9232 6427 231 231 0 9001 0
vsize: 36928
[startup+400.001 s]
Raw data (loadavg): 0.99 1.00 0.79 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6580 0 0 0 39980 25 0 0 25 0 1 0 453574053 37814272 6430 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9232 6430 231 231 0 9001 0
vsize: 36928
[startup+410.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6581 0 0 0 40980 25 0 0 25 0 1 0 453574053 37814272 6431 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9232 6431 231 231 0 9001 0
vsize: 36928
[startup+420.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6632 0 0 0 41980 25 0 0 25 0 1 0 453574053 38092800 6482 4294967295 134512640 135450300 3221224640 3221223360 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9300 6482 231 231 0 9069 0
vsize: 37200
[startup+430.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6649 0 0 0 42980 26 0 0 25 0 1 0 453574053 38092800 6499 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9300 6499 231 231 0 9069 0
vsize: 37200
[startup+440.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6655 0 0 0 43980 26 0 0 25 0 1 0 453574053 38092800 6505 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9300 6505 231 231 0 9069 0
vsize: 37200
[startup+450.001 s]
Raw data (loadavg): 0.99 1.00 0.80 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6656 0 0 0 44979 26 0 0 25 0 1 0 453574053 38092800 6506 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9300 6506 231 231 0 9069 0
vsize: 37200
[startup+460.002 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6677 0 0 0 45980 26 0 0 25 0 1 0 453574053 38240256 6527 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6527 231 231 0 9105 0
vsize: 37344
[startup+470.002 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6678 0 0 0 46980 26 0 0 25 0 1 0 453574053 38240256 6528 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6528 231 231 0 9105 0
vsize: 37344
[startup+480.003 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6680 0 0 0 47980 27 0 0 25 0 1 0 453574053 38240256 6530 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6530 231 231 0 9105 0
vsize: 37344
[startup+490.002 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6694 0 0 0 48980 27 0 0 25 0 1 0 453574053 38240256 6544 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6544 231 231 0 9105 0
vsize: 37344
[startup+500.003 s]
Raw data (loadavg): 0.99 1.00 0.81 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6695 0 0 0 49980 27 0 0 25 0 1 0 453574053 38240256 6545 4294967295 134512640 135450300 3221224640 3221223360 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6545 231 231 0 9105 0
vsize: 37344
[startup+510.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6701 0 0 0 50980 27 0 0 25 0 1 0 453574053 38240256 6551 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6551 231 231 0 9105 0
vsize: 37344
[startup+520.003 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6707 0 0 0 51980 28 0 0 25 0 1 0 453574053 38240256 6557 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6557 231 231 0 9105 0
vsize: 37344
[startup+530.004 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6719 0 0 0 52980 28 0 0 25 0 1 0 453574053 38240256 6569 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6569 231 231 0 9105 0
vsize: 37344
[startup+540.004 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6728 0 0 0 53979 28 0 0 25 0 1 0 453574053 38379520 6578 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 6578 231 231 0 9139 0
vsize: 37480
[startup+550.004 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6730 0 0 0 54980 28 0 0 25 0 1 0 453574053 38379520 6580 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 6580 231 231 0 9139 0
vsize: 37480
[startup+560.004 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6757 0 0 0 55979 29 0 0 25 0 1 0 453574053 38379520 6607 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9370 6607 231 231 0 9139 0
vsize: 37480
[startup+570.004 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6766 0 0 0 56979 29 0 0 25 0 1 0 453574053 38518784 6616 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6616 231 231 0 9173 0
vsize: 37616
[startup+580.005 s]
Raw data (loadavg): 0.99 1.00 0.82 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6767 0 0 0 57979 29 0 0 25 0 1 0 453574053 38518784 6617 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6617 231 231 0 9173 0
vsize: 37616
[startup+590.004 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6781 0 0 0 58978 30 0 0 25 0 1 0 453574053 38518784 6631 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6631 231 231 0 9173 0
vsize: 37616
[startup+600.006 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6798 0 0 0 59979 30 0 0 25 0 1 0 453574053 38518784 6648 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6648 231 231 0 9173 0
vsize: 37616
[startup+610.006 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6800 0 0 0 60979 30 0 0 25 0 1 0 453574053 38518784 6650 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6650 231 231 0 9173 0
vsize: 37616
[startup+620.006 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6801 0 0 0 61979 30 0 0 25 0 1 0 453574053 38518784 6651 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6651 231 231 0 9173 0
vsize: 37616
[startup+630.006 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6808 0 0 0 62979 31 0 0 25 0 1 0 453574053 38518784 6658 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6658 231 231 0 9173 0
vsize: 37616
[startup+640.006 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 6810 0 0 0 63979 31 0 0 25 0 1 0 453574053 38518784 6660 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9404 6660 231 231 0 9173 0
vsize: 37616
[startup+650.006 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7004 0 0 0 64979 31 0 0 25 0 1 0 453574053 39305216 6661 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9596 6661 231 231 0 9365 0
vsize: 38384
[startup+660.007 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7053 0 0 0 65978 31 0 0 25 0 1 0 453574053 39473152 6710 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9637 6710 231 231 0 9406 0
vsize: 38548
[startup+670.007 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7175 0 0 0 66977 33 0 0 25 0 1 0 453574053 39612416 6832 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6832 231 231 0 9440 0
vsize: 38684
[startup+680.008 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7178 0 0 0 67977 33 0 0 25 0 1 0 453574053 39612416 6835 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6835 231 231 0 9440 0
vsize: 38684
[startup+690.008 s]
Raw data (loadavg): 0.99 1.00 0.83 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7179 0 0 0 68977 33 0 0 25 0 1 0 453574053 39612416 6836 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6836 231 231 0 9440 0
vsize: 38684
[startup+700.009 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7188 0 0 0 69977 33 0 0 25 0 1 0 453574053 39612416 6845 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6845 231 231 0 9440 0
vsize: 38684
[startup+710.009 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7199 0 0 0 70978 33 0 0 25 0 1 0 453574053 39612416 6856 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6856 231 231 0 9440 0
vsize: 38684
[startup+720.009 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7200 0 0 0 71978 33 0 0 25 0 1 0 453574053 39612416 6857 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6857 231 231 0 9440 0
vsize: 38684
[startup+730.01 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7205 0 0 0 72978 33 0 0 25 0 1 0 453574053 39612416 6862 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6862 231 231 0 9440 0
vsize: 38684
[startup+740.01 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7206 0 0 0 73978 33 0 0 25 0 1 0 453574053 39612416 6863 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6863 231 231 0 9440 0
vsize: 38684
[startup+750.01 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7210 0 0 0 74978 33 0 0 25 0 1 0 453574053 39612416 6867 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6867 231 231 0 9440 0
vsize: 38684
[startup+760.01 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7227 0 0 0 75978 34 0 0 25 0 1 0 453574053 39612416 6884 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6884 231 231 0 9440 0
vsize: 38684
[startup+770.01 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7228 0 0 0 76978 34 0 0 25 0 1 0 453574053 39612416 6885 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9671 6885 231 231 0 9440 0
vsize: 38684
[startup+780.011 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7243 0 0 0 77978 34 0 0 25 0 1 0 453574053 39751680 6900 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9705 6900 231 231 0 9474 0
vsize: 38820
[startup+790.011 s]
Raw data (loadavg): 0.99 1.00 0.84 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7290 0 0 0 78978 34 0 0 25 0 1 0 453574053 39751680 6947 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9705 6947 231 231 0 9474 0
vsize: 38820
[startup+800.011 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7546 0 0 0 79978 35 0 0 25 0 1 0 453574053 39751680 7203 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9705 7203 231 231 0 9474 0
vsize: 38820
[startup+810.011 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7641 0 0 0 80977 35 0 0 25 0 1 0 453574053 39751680 7298 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9705 7298 231 231 0 9474 0
vsize: 38820
[startup+820.011 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7662 0 0 0 81977 36 0 0 25 0 1 0 453574053 39911424 7319 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7319 231 231 0 9513 0
vsize: 38976
[startup+830.012 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7668 0 0 0 82977 36 0 0 25 0 1 0 453574053 39911424 7325 4294967295 134512640 135450300 3221224640 3221223360 134535965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7325 231 231 0 9513 0
vsize: 38976
[startup+840.012 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7670 0 0 0 83977 36 0 0 25 0 1 0 453574053 39911424 7327 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7327 231 231 0 9513 0
vsize: 38976
[startup+850.013 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7671 0 0 0 84977 36 0 0 25 0 1 0 453574053 39911424 7328 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7328 231 231 0 9513 0
vsize: 38976
[startup+860.012 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7674 0 0 0 85978 36 0 0 25 0 1 0 453574053 39911424 7331 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7331 231 231 0 9513 0
vsize: 38976
[startup+870.012 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7675 0 0 0 86978 36 0 0 25 0 1 0 453574053 39911424 7332 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7332 231 231 0 9513 0
vsize: 38976
[startup+880.013 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7676 0 0 0 87978 36 0 0 25 0 1 0 453574053 39911424 7333 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7333 231 231 0 9513 0
vsize: 38976
[startup+890.013 s]
Raw data (loadavg): 0.99 1.00 0.85 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7681 0 0 0 88978 36 0 0 25 0 1 0 453574053 39911424 7338 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7338 231 231 0 9513 0
vsize: 38976
[startup+900.013 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7682 0 0 0 89978 37 0 0 25 0 1 0 453574053 39911424 7339 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7339 231 231 0 9513 0
vsize: 38976
[startup+910.013 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7683 0 0 0 90978 37 0 0 25 0 1 0 453574053 39911424 7340 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7340 231 231 0 9513 0
vsize: 38976
[startup+920.013 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7687 0 0 0 91978 37 0 0 25 0 1 0 453574053 39911424 7344 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7344 231 231 0 9513 0
vsize: 38976
[startup+930.013 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7689 0 0 0 92978 37 0 0 25 0 1 0 453574053 39911424 7346 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7346 231 231 0 9513 0
vsize: 38976
[startup+940.013 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7690 0 0 0 93979 37 0 0 25 0 1 0 453574053 39911424 7347 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7347 231 231 0 9513 0
vsize: 38976
[startup+950.013 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7691 0 0 0 94979 37 0 0 25 0 1 0 453574053 39911424 7348 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7348 231 231 0 9513 0
vsize: 38976
[startup+960.014 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7702 0 0 0 95979 37 0 0 25 0 1 0 453574053 39911424 7359 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7359 231 231 0 9513 0
vsize: 38976
[startup+970.013 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7711 0 0 0 96978 38 0 0 25 0 1 0 453574053 39911424 7368 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 7368 231 231 0 9513 0
vsize: 38976
[startup+980.014 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7728 0 0 0 97978 38 0 0 25 0 1 0 453574053 40050688 7385 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9778 7385 231 231 0 9547 0
vsize: 39112
[startup+990.014 s]
Raw data (loadavg): 0.99 1.00 0.86 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7735 0 0 0 98978 38 0 0 25 0 1 0 453574053 40050688 7392 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9778 7392 231 231 0 9547 0
vsize: 39112
[startup+1000.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7754 0 0 0 99977 39 0 0 25 0 1 0 453574053 40050688 7411 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9778 7411 231 231 0 9547 0
vsize: 39112
[startup+1010.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7755 0 0 0 100977 39 0 0 25 0 1 0 453574053 40050688 7412 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9778 7412 231 231 0 9547 0
vsize: 39112
[startup+1020.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7768 0 0 0 101977 40 0 0 25 0 1 0 453574053 40214528 7425 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7425 231 231 0 9587 0
vsize: 39272
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7769 0 0 0 102977 40 0 0 25 0 1 0 453574053 40214528 7426 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7426 231 231 0 9587 0
vsize: 39272
[startup+1040.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7770 0 0 0 103977 40 0 0 25 0 1 0 453574053 40214528 7427 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7427 231 231 0 9587 0
vsize: 39272
[startup+1050.01 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7776 0 0 0 104977 40 0 0 25 0 1 0 453574053 40214528 7433 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7433 231 231 0 9587 0
vsize: 39272
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7777 0 0 0 105978 40 0 0 25 0 1 0 453574053 40214528 7434 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7434 231 231 0 9587 0
vsize: 39272
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7778 0 0 0 106978 40 0 0 25 0 1 0 453574053 40214528 7435 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7435 231 231 0 9587 0
vsize: 39272
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7786 0 0 0 107977 40 0 0 25 0 1 0 453574053 40214528 7443 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7443 231 231 0 9587 0
vsize: 39272
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7793 0 0 0 108977 41 0 0 25 0 1 0 453574053 40214528 7450 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7450 231 231 0 9587 0
vsize: 39272
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 0.87 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7794 0 0 0 109978 41 0 0 25 0 1 0 453574053 40214528 7451 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7451 231 231 0 9587 0
vsize: 39272
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7795 0 0 0 110978 41 0 0 25 0 1 0 453574053 40214528 7452 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7452 231 231 0 9587 0
vsize: 39272
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7796 0 0 0 111978 41 0 0 25 0 1 0 453574053 40214528 7453 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 7453 231 231 0 9587 0
vsize: 39272
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7809 0 0 0 112978 41 0 0 25 0 1 0 453574053 40353792 7466 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7466 231 231 0 9621 0
vsize: 39408
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7810 0 0 0 113978 41 0 0 25 0 1 0 453574053 40353792 7467 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7467 231 231 0 9621 0
vsize: 39408
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7812 0 0 0 114978 41 0 0 25 0 1 0 453574053 40353792 7469 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7469 231 231 0 9621 0
vsize: 39408
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7824 0 0 0 115978 41 0 0 25 0 1 0 453574053 40353792 7481 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7481 231 231 0 9621 0
vsize: 39408
[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7825 0 0 0 116978 41 0 0 25 0 1 0 453574053 40353792 7482 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7482 231 231 0 9621 0
vsize: 39408
[startup+1180.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7826 0 0 0 117979 41 0 0 25 0 1 0 453574053 40353792 7483 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7483 231 231 0 9621 0
vsize: 39408
[startup+1190.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7829 0 0 0 118979 41 0 0 25 0 1 0 453574053 40353792 7486 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7486 231 231 0 9621 0
vsize: 39408
[startup+1200.02 s]
Raw data (loadavg): 0.99 1.00 0.88 2/54 24571
Raw data (stat): 24569 (PBS4) R 24568 29151 29150 0 -1 0 7838 0 0 0 119979 42 0 0 25 0 1 0 453574053 40353792 7495 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9852 7495 231 231 0 9621 0
vsize: 39408
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 0.88 1/54 24571
Raw data (stat): 24569 (PBS4) Z 24568 29151 29150 0 -1 1036 7838 0 0 0 119979 43 0 0 25 0 1 0 453574053 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.04
CPU time (s): 1200.23
CPU user time (s): 1199.79
CPU system time (s): 0.434933
CPU usage (%): 100.016
Max. virtual memory (Kb): 39408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####