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-ii8d2.opb
MD5SUM	44910688b6ba81ef96bbced304e8624c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	540
Optimality of the best value was proved	NO
Number of terms in the objective function	1860
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	1860
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	1860
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	1.07284
Number of variables	1860
Total number of constraints	7477
Number of constraints which are clauses	7477
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	10
Trace number 7787

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-17 16:19:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1563 boxname=wulflinc5 idbench=174 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  44910688b6ba81ef96bbced304e8624c  /oldhome/oroussel/tmp/wulflinc5/normalized-ii8d2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-ii8d2.opb
IDLAUNCH: 1563
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        855068 kB
Buffers:         36700 kB
Cached:         120148 kB
SwapCached:       2272 kB
Active:          67016 kB
Inactive:        94924 kB
HighTotal:      131008 kB
HighFree:         7000 kB
LowTotal:       903652 kB
LowFree:        848068 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12112 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:39:10 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1563 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-ii8d2.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.97 1.00 0.90 2/54 15190
Raw data (stat): 15190 (runsolver) R 15189 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453679619 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.0004 s]
Raw data (loadavg): 0.97 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 603 0 0 0 997 1 0 0 25 0 1 0 453679619 3956736 595 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 966 595 231 231 0 735 0
vsize: 3864
[startup+20.0006 s]
Raw data (loadavg): 0.97 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 853 0 0 0 1996 2 0 0 25 0 1 0 453679619 6053888 845 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1478 845 231 231 0 1247 0
vsize: 5912
[startup+30.0016 s]
Raw data (loadavg): 0.98 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 1101 0 0 0 2995 3 0 0 25 0 1 0 453679619 6053888 1093 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1478 1093 231 231 0 1247 0
vsize: 5912
[startup+40.0013 s]
Raw data (loadavg): 0.98 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 1401 0 0 0 3995 4 0 0 25 0 1 0 453679619 10444800 1344 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2550 1344 231 231 0 2319 0
vsize: 10200
[startup+50.0017 s]
Raw data (loadavg): 0.98 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 1661 0 0 0 4994 4 0 0 25 0 1 0 453679619 10571776 1604 4294967295 134512640 135450300 3221224640 3221223376 134538979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2581 1604 231 231 0 2350 0
vsize: 10324
[startup+60.0018 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 1940 0 0 0 5994 5 0 0 25 0 1 0 453679619 10571776 1883 4294967295 134512640 135450300 3221224640 3221223168 134544632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2581 1883 231 231 0 2350 0
vsize: 10324
[startup+70.0025 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 2232 0 0 0 6994 5 0 0 25 0 1 0 453679619 10571776 2175 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2581 2175 231 231 0 2350 0
vsize: 10324
[startup+80.0029 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 2479 0 0 0 7993 6 0 0 25 0 1 0 453679619 18960384 2422 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 2422 231 231 0 4398 0
vsize: 18516
[startup+90.0029 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 2726 0 0 0 8992 7 0 0 25 0 1 0 453679619 18960384 2669 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 2669 231 231 0 4398 0
vsize: 18516
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 2978 0 0 0 9992 7 0 0 25 0 1 0 453679619 18960384 2921 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 2921 231 231 0 4398 0
vsize: 18516
[startup+110.003 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 3237 0 0 0 10992 7 0 0 25 0 1 0 453679619 18960384 3180 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 3180 231 231 0 4398 0
vsize: 18516
[startup+120.004 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 3522 0 0 0 11992 8 0 0 25 0 1 0 453679619 18960384 3465 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 3465 231 231 0 4398 0
vsize: 18516
[startup+130.004 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 3811 0 0 0 12991 9 0 0 25 0 1 0 453679619 18960384 3754 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 3754 231 231 0 4398 0
vsize: 18516
[startup+140.004 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 4051 0 0 0 13991 10 0 0 25 0 1 0 453679619 18960384 3994 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 3994 231 231 0 4398 0
vsize: 18516
[startup+150.004 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 4295 0 0 0 14990 10 0 0 25 0 1 0 453679619 18960384 4238 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4629 4238 231 231 0 4398 0
vsize: 18516
[startup+160.004 s]
Raw data (loadavg): 0.99 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 4542 0 0 0 15990 11 0 0 25 0 1 0 453679619 35737600 4485 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 4485 231 231 0 8494 0
vsize: 34900
[startup+170.004 s]
Raw data (loadavg): 1.07 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 4793 0 0 0 16989 12 0 0 25 0 1 0 453679619 35737600 4736 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 4736 231 231 0 8494 0
vsize: 34900
[startup+180.004 s]
Raw data (loadavg): 1.06 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 5056 0 0 0 17989 12 0 0 25 0 1 0 453679619 35737600 4999 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 4999 231 231 0 8494 0
vsize: 34900
[startup+190.003 s]
Raw data (loadavg): 1.05 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 5350 0 0 0 18988 13 0 0 25 0 1 0 453679619 35737600 5293 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 5293 231 231 0 8494 0
vsize: 34900
[startup+200.003 s]
Raw data (loadavg): 1.04 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 5595 0 0 0 19988 14 0 0 25 0 1 0 453679619 35737600 5538 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 5538 231 231 0 8494 0
vsize: 34900
[startup+210.003 s]
Raw data (loadavg): 1.03 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 5838 0 0 0 20988 14 0 0 25 0 1 0 453679619 35737600 5781 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 5781 231 231 0 8494 0
vsize: 34900
[startup+220.003 s]
Raw data (loadavg): 1.03 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 6081 0 0 0 21987 14 0 0 25 0 1 0 453679619 35737600 6024 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 6024 231 231 0 8494 0
vsize: 34900
[startup+230.003 s]
Raw data (loadavg): 1.02 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 6333 0 0 0 22987 15 0 0 25 0 1 0 453679619 35737600 6276 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 6276 231 231 0 8494 0
vsize: 34900
[startup+240.003 s]
Raw data (loadavg): 1.02 1.01 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 6611 0 0 0 23986 16 0 0 25 0 1 0 453679619 35737600 6554 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 6554 231 231 0 8494 0
vsize: 34900
[startup+250.003 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 6882 0 0 0 24985 17 0 0 25 0 1 0 453679619 35737600 6825 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 6825 231 231 0 8494 0
vsize: 34900
[startup+260.003 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 7111 0 0 0 25985 18 0 0 25 0 1 0 453679619 35737600 7054 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 7054 231 231 0 8494 0
vsize: 34900
[startup+270.004 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 7344 0 0 0 26984 18 0 0 25 0 1 0 453679619 35737600 7287 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 7287 231 231 0 8494 0
vsize: 34900
[startup+280.004 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 7587 0 0 0 27984 19 0 0 25 0 1 0 453679619 35737600 7530 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 7530 231 231 0 8494 0
vsize: 34900
[startup+290.004 s]
Raw data (loadavg): 1.08 1.02 0.92 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 7855 0 0 0 28984 19 0 0 25 0 1 0 453679619 35737600 7798 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 7798 231 231 0 8494 0
vsize: 34900
[startup+300.004 s]
Raw data (loadavg): 1.07 1.02 0.92 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 8161 0 0 0 29983 20 0 0 25 0 1 0 453679619 35737600 8104 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 8104 231 231 0 8494 0
vsize: 34900
[startup+310.004 s]
Raw data (loadavg): 1.06 1.02 0.92 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 8405 0 0 0 30983 21 0 0 25 0 1 0 453679619 35737600 8348 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8725 8348 231 231 0 8494 0
vsize: 34900
[startup+320.004 s]
Raw data (loadavg): 1.20 1.05 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 8634 0 0 0 31983 21 0 0 25 0 1 0 453679619 69292032 8577 4294967295 134512640 135450300 3221224640 3221223120 134580007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16917 8577 231 231 0 16686 0
vsize: 67668
[startup+330.005 s]
Raw data (loadavg): 1.17 1.05 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 8869 0 0 0 32982 22 0 0 25 0 1 0 453679619 69292032 8812 4294967295 134512640 135450300 3221224640 3221223104 134532734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16917 8812 231 231 0 16686 0
vsize: 67668
[startup+340.004 s]
Raw data (loadavg): 1.14 1.04 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 9111 0 0 0 33982 22 0 0 25 0 1 0 453679619 69292032 9054 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16917 9054 231 231 0 16686 0
vsize: 67668
[startup+350.004 s]
Raw data (loadavg): 1.12 1.04 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 9381 0 0 0 34981 23 0 0 25 0 1 0 453679619 69292032 9324 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16917 9324 231 231 0 16686 0
vsize: 67668
[startup+360.005 s]
Raw data (loadavg): 1.10 1.04 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 9662 0 0 0 35980 24 0 0 25 0 1 0 453679619 69292032 9605 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16917 9605 231 231 0 16686 0
vsize: 67668
[startup+370.005 s]
Raw data (loadavg): 1.09 1.04 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 9879 0 0 0 36980 24 0 0 25 0 1 0 453679619 69292032 9822 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16917 9822 231 231 0 16686 0
vsize: 67668
[startup+380.005 s]
Raw data (loadavg): 1.07 1.04 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10103 0 0 0 37979 25 0 0 25 0 1 0 453679619 69292032 10046 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16917 10046 231 231 0 16686 0
vsize: 67668
[startup+390.005 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10265 0 0 0 38979 26 0 0 25 0 1 0 453679619 69419008 10208 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16948 10208 231 231 0 16717 0
vsize: 67792
[startup+400.005 s]
Raw data (loadavg): 1.05 1.03 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10374 0 0 0 39979 26 0 0 25 0 1 0 453679619 69419008 10317 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16948 10317 231 231 0 16717 0
vsize: 67792
[startup+410.005 s]
Raw data (loadavg): 1.04 1.03 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10479 0 0 0 40979 26 0 0 25 0 1 0 453679619 69419008 10422 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16948 10422 231 231 0 16717 0
vsize: 67792
[startup+420.006 s]
Raw data (loadavg): 1.04 1.03 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10606 0 0 0 41979 26 0 0 25 0 1 0 453679619 69554176 10549 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 10549 231 231 0 16750 0
vsize: 67924
[startup+430.007 s]
Raw data (loadavg): 1.03 1.03 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10735 0 0 0 42979 26 0 0 25 0 1 0 453679619 69554176 10678 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 10678 231 231 0 16750 0
vsize: 67924
[startup+440.007 s]
Raw data (loadavg): 1.02 1.03 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10808 0 0 0 43980 26 0 0 25 0 1 0 453679619 69554176 10751 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 10751 231 231 0 16750 0
vsize: 67924
[startup+450.007 s]
Raw data (loadavg): 1.02 1.03 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10872 0 0 0 44980 26 0 0 25 0 1 0 453679619 69554176 10815 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 10815 231 231 0 16750 0
vsize: 67924
[startup+460.007 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 10945 0 0 0 45980 27 0 0 25 0 1 0 453679619 69554176 10888 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 10888 231 231 0 16750 0
vsize: 67924
[startup+470.008 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11022 0 0 0 46980 27 0 0 25 0 1 0 453679619 69554176 10965 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 10965 231 231 0 16750 0
vsize: 67924
[startup+480.008 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11093 0 0 0 47979 27 0 0 25 0 1 0 453679619 69554176 11036 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 11036 231 231 0 16750 0
vsize: 67924
[startup+490.007 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11157 0 0 0 48979 27 0 0 25 0 1 0 453679619 69554176 11100 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16981 11100 231 231 0 16750 0
vsize: 67924
[startup+500.008 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11250 0 0 0 49979 28 0 0 25 0 1 0 453679619 69697536 11193 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17016 11193 231 231 0 16785 0
vsize: 68064
[startup+510.008 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11252 0 0 0 50977 31 0 0 25 0 1 0 453679619 69697536 11195 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17016 11195 231 231 0 16785 0
vsize: 68064
[startup+520.008 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11254 0 0 0 51976 31 0 0 25 0 1 0 453679619 69832704 11197 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 11197 231 231 0 16818 0
vsize: 68196
[startup+530.008 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11256 0 0 0 52976 32 0 0 25 0 1 0 453679619 69832704 11199 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 11199 231 231 0 16818 0
vsize: 68196
[startup+540.008 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11259 0 0 0 53976 32 0 0 25 0 1 0 453679619 69832704 11202 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 11202 231 231 0 16818 0
vsize: 68196
[startup+550.008 s]
Raw data (loadavg): 1.00 1.02 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11267 0 0 0 54975 33 0 0 25 0 1 0 453679619 69832704 11210 4294967295 134512640 135450300 3221224640 3221223024 134602249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 11210 231 231 0 16818 0
vsize: 68196
[startup+560.008 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11272 0 0 0 55972 36 0 0 25 0 1 0 453679619 69832704 11215 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 11215 231 231 0 16818 0
vsize: 68196
[startup+570.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11273 0 0 0 56972 36 0 0 25 0 1 0 453679619 69832704 11216 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17049 11216 231 231 0 16818 0
vsize: 68196
[startup+580.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11371 0 0 0 57972 36 0 0 25 0 1 0 453679619 70225920 11217 4294967295 134512640 135450300 3221224640 3221223360 134535548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11217 231 231 0 16914 0
vsize: 68580
[startup+590.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11380 0 0 0 58970 39 0 0 25 0 1 0 453679619 70225920 11226 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11226 231 231 0 16914 0
vsize: 68580
[startup+600.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11382 0 0 0 59968 41 0 0 25 0 1 0 453679619 70225920 11228 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11228 231 231 0 16914 0
vsize: 68580
[startup+610.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11383 0 0 0 60968 41 0 0 25 0 1 0 453679619 70225920 11229 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11229 231 231 0 16914 0
vsize: 68580
[startup+620.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11384 0 0 0 61968 41 0 0 25 0 1 0 453679619 70225920 11230 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11230 231 231 0 16914 0
vsize: 68580
[startup+630.011 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11392 0 0 0 62967 42 0 0 25 0 1 0 453679619 70225920 11238 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11238 231 231 0 16914 0
vsize: 68580
[startup+640.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11395 0 0 0 63965 45 0 0 25 0 1 0 453679619 70225920 11241 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11241 231 231 0 16914 0
vsize: 68580
[startup+650.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11397 0 0 0 64965 45 0 0 25 0 1 0 453679619 70225920 11243 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11243 231 231 0 16914 0
vsize: 68580
[startup+660.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11398 0 0 0 65965 45 0 0 25 0 1 0 453679619 70225920 11244 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17145 11244 231 231 0 16914 0
vsize: 68580
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11405 0 0 0 66964 46 0 0 25 0 1 0 453679619 70352896 11251 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11251 231 231 0 16945 0
vsize: 68704
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11406 0 0 0 67962 48 0 0 25 0 1 0 453679619 70352896 11252 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11252 231 231 0 16945 0
vsize: 68704
[startup+690.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11409 0 0 0 68962 49 0 0 25 0 1 0 453679619 70352896 11255 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11255 231 231 0 16945 0
vsize: 68704
[startup+700.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11410 0 0 0 69962 49 0 0 25 0 1 0 453679619 70352896 11256 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11256 231 231 0 16945 0
vsize: 68704
[startup+710.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11416 0 0 0 70961 50 0 0 25 0 1 0 453679619 70352896 11262 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11262 231 231 0 16945 0
vsize: 68704
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11417 0 0 0 71958 53 0 0 25 0 1 0 453679619 70352896 11263 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11263 231 231 0 16945 0
vsize: 68704
[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11419 0 0 0 72958 53 0 0 25 0 1 0 453679619 70352896 11265 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11265 231 231 0 16945 0
vsize: 68704
[startup+740.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11420 0 0 0 73958 53 0 0 25 0 1 0 453679619 70352896 11266 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11266 231 231 0 16945 0
vsize: 68704
[startup+750.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11431 0 0 0 74958 54 0 0 25 0 1 0 453679619 70352896 11277 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11277 231 231 0 16945 0
vsize: 68704
[startup+760.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11434 0 0 0 75956 56 0 0 25 0 1 0 453679619 70352896 11280 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11280 231 231 0 16945 0
vsize: 68704
[startup+770.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11435 0 0 0 76955 57 0 0 25 0 1 0 453679619 70352896 11281 4294967295 134512640 135450300 3221224640 3221223360 134535523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11281 231 231 0 16945 0
vsize: 68704
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11437 0 0 0 77955 57 0 0 25 0 1 0 453679619 70352896 11283 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17176 11283 231 231 0 16945 0
vsize: 68704
[startup+790.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11447 0 0 0 78954 59 0 0 25 0 1 0 453679619 70488064 11293 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11293 231 231 0 16978 0
vsize: 68836
[startup+800.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11450 0 0 0 79952 61 0 0 25 0 1 0 453679619 70488064 11296 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11296 231 231 0 16978 0
vsize: 68836
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11452 0 0 0 80952 61 0 0 25 0 1 0 453679619 70488064 11298 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11298 231 231 0 16978 0
vsize: 68836
[startup+820.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11457 0 0 0 81952 61 0 0 25 0 1 0 453679619 70488064 11303 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11303 231 231 0 16978 0
vsize: 68836
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11458 0 0 0 82949 65 0 0 25 0 1 0 453679619 70488064 11304 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11304 231 231 0 16978 0
vsize: 68836
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11461 0 0 0 83947 67 0 0 25 0 1 0 453679619 70488064 11307 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11307 231 231 0 16978 0
vsize: 68836
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11462 0 0 0 84947 67 0 0 25 0 1 0 453679619 70488064 11308 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11308 231 231 0 16978 0
vsize: 68836
[startup+860.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11464 0 0 0 85947 68 0 0 25 0 1 0 453679619 70488064 11310 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11310 231 231 0 16978 0
vsize: 68836
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11471 0 0 0 86945 69 0 0 25 0 1 0 453679619 70488064 11317 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11317 231 231 0 16978 0
vsize: 68836
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11472 0 0 0 87942 72 0 0 25 0 1 0 453679619 70488064 11318 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11318 231 231 0 16978 0
vsize: 68836
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11473 0 0 0 88942 72 0 0 25 0 1 0 453679619 70488064 11319 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11319 231 231 0 16978 0
vsize: 68836
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11474 0 0 0 89942 72 0 0 25 0 1 0 453679619 70488064 11320 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11320 231 231 0 16978 0
vsize: 68836
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11478 0 0 0 90941 74 0 0 25 0 1 0 453679619 70488064 11324 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11324 231 231 0 16978 0
vsize: 68836
[startup+920.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11481 0 0 0 91938 77 0 0 25 0 1 0 453679619 70488064 11327 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11327 231 231 0 16978 0
vsize: 68836
[startup+930.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11483 0 0 0 92938 77 0 0 25 0 1 0 453679619 70488064 11329 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11329 231 231 0 16978 0
vsize: 68836
[startup+940.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11485 0 0 0 93938 77 0 0 25 0 1 0 453679619 70488064 11331 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17209 11331 231 231 0 16978 0
vsize: 68836
[startup+950.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11494 0 0 0 94937 79 0 0 25 0 1 0 453679619 70631424 11340 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11340 231 231 0 17013 0
vsize: 68976
[startup+960.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11496 0 0 0 95934 81 0 0 25 0 1 0 453679619 70631424 11342 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11342 231 231 0 17013 0
vsize: 68976
[startup+970.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11498 0 0 0 96935 82 0 0 25 0 1 0 453679619 70631424 11344 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11344 231 231 0 17013 0
vsize: 68976
[startup+980.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11501 0 0 0 97935 82 0 0 25 0 1 0 453679619 70631424 11347 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11347 231 231 0 17013 0
vsize: 68976
[startup+990.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11507 0 0 0 98932 84 0 0 25 0 1 0 453679619 70631424 11353 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11353 231 231 0 17013 0
vsize: 68976
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11508 0 0 0 99930 87 0 0 25 0 1 0 453679619 70631424 11354 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11354 231 231 0 17013 0
vsize: 68976
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11509 0 0 0 100930 87 0 0 25 0 1 0 453679619 70631424 11355 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11355 231 231 0 17013 0
vsize: 68976
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11510 0 0 0 101929 88 0 0 25 0 1 0 453679619 70631424 11356 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11356 231 231 0 17013 0
vsize: 68976
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11517 0 0 0 102926 91 0 0 25 0 1 0 453679619 70631424 11363 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11363 231 231 0 17013 0
vsize: 68976
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11518 0 0 0 103925 92 0 0 25 0 1 0 453679619 70631424 11364 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11364 231 231 0 17013 0
vsize: 68976
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11519 0 0 0 104925 92 0 0 25 0 1 0 453679619 70631424 11365 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11365 231 231 0 17013 0
vsize: 68976
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11520 0 0 0 105926 92 0 0 25 0 1 0 453679619 70631424 11366 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11366 231 231 0 17013 0
vsize: 68976
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11526 0 0 0 106922 96 0 0 25 0 1 0 453679619 70631424 11372 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11372 231 231 0 17013 0
vsize: 68976
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11527 0 0 0 107920 98 0 0 25 0 1 0 453679619 70631424 11373 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11373 231 231 0 17013 0
vsize: 68976
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11528 0 0 0 108920 98 0 0 25 0 1 0 453679619 70631424 11374 4294967295 134512640 135450300 3221224640 3221223024 134602266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11374 231 231 0 17013 0
vsize: 68976
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11538 0 0 0 109920 98 0 0 25 0 1 0 453679619 70631424 11384 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11384 231 231 0 17013 0
vsize: 68976
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11539 0 0 0 110919 100 0 0 25 0 1 0 453679619 70631424 11385 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11385 231 231 0 17013 0
vsize: 68976
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11540 0 0 0 111916 103 0 0 25 0 1 0 453679619 70631424 11386 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11386 231 231 0 17013 0
vsize: 68976
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11541 0 0 0 112917 103 0 0 25 0 1 0 453679619 70631424 11387 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11387 231 231 0 17013 0
vsize: 68976
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11542 0 0 0 113916 103 0 0 25 0 1 0 453679619 70631424 11388 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11388 231 231 0 17013 0
vsize: 68976
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11545 0 0 0 114914 106 0 0 25 0 1 0 453679619 70631424 11391 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11391 231 231 0 17013 0
vsize: 68976
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11546 0 0 0 115910 110 0 0 25 0 1 0 453679619 70631424 11392 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11392 231 231 0 17013 0
vsize: 68976
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11547 0 0 0 116910 110 0 0 25 0 1 0 453679619 70631424 11393 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11393 231 231 0 17013 0
vsize: 68976
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11548 0 0 0 117910 110 0 0 25 0 1 0 453679619 70631424 11394 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17244 11394 231 231 0 17013 0
vsize: 68976
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11556 0 0 0 118907 113 0 0 25 0 1 0 453679619 70762496 11402 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17276 11402 231 231 0 17045 0
vsize: 69104
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15190
Raw data (stat): 15190 (PBS4) R 15189 24215 24214 0 -1 0 11557 0 0 0 119904 116 0 0 25 0 1 0 453679619 70762496 11403 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17276 11403 231 231 0 17045 0
vsize: 69104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 15190
Raw data (stat): 15190 (PBS4) Z 15189 24215 24214 0 -1 1036 11557 0 0 0 119904 118 0 0 25 0 1 0 453679619 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.24
CPU user time (s): 1199.05
CPU system time (s): 1.18982
CPU usage (%): 100.016
Max. virtual memory (Kb): 69104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####