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/aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 7678

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        735716 kB
Buffers:         37356 kB
Cached:         226148 kB
SwapCached:       2376 kB
Active:          65344 kB
Inactive:       203548 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        735436 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           7044 kB
Slab:            24528 kB
Committed_AS:    63700 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:58:57 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 501 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-fpga45_44_sat_pb.cnf.cr.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.00 0.00 0.00 2/55 16706
Raw data (stat): 16706 (runsolver) R 16705 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511667103 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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 s]
Raw data (loadavg): 0.15 0.03 0.01 2/55 16706
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 1372 0 0 0 989 10 0 0 25 0 1 0 511667103 6762496 1368 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1651 1368 231 231 0 1420 0
vsize: 6604
[startup+20.0006 s]
Raw data (loadavg): 0.28 0.06 0.02 2/55 16706
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 2242 0 0 0 1985 14 0 0 25 0 1 0 511667103 11227136 2238 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2741 2238 231 231 0 2510 0
vsize: 10964
[startup+30.0091 s]
Raw data (loadavg): 0.39 0.09 0.03 2/55 16706
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 3121 0 0 0 2984 16 0 0 25 0 1 0 511667103 19750912 3117 4294967295 134512640 135450300 3221224624 3221223344 134536052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4822 3117 231 231 0 4591 0
vsize: 19288
[startup+40.0088 s]
Raw data (loadavg): 0.49 0.12 0.04 2/55 16706
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 4026 0 0 0 3981 19 0 0 25 0 1 0 511667103 19750912 4022 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4822 4022 231 231 0 4591 0
vsize: 19288
[startup+50.0094 s]
Raw data (loadavg): 0.56 0.15 0.05 2/55 16706
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 4903 0 0 0 4978 22 0 0 25 0 1 0 511667103 36663296 4899 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8951 4899 231 231 0 8720 0
vsize: 35804
[startup+60.0093 s]
Raw data (loadavg): 0.63 0.18 0.06 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 5784 0 0 0 5976 25 0 0 25 0 1 0 511667103 36798464 5780 4294967295 134512640 135450300 3221224624 3221223152 134544136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8984 5780 231 231 0 8753 0
vsize: 35936
[startup+70.0096 s]
Raw data (loadavg): 0.69 0.21 0.07 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 6679 0 0 0 6973 28 0 0 25 0 1 0 511667103 36999168 6675 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9033 6675 231 231 0 8802 0
vsize: 36132
[startup+80.0092 s]
Raw data (loadavg): 0.73 0.23 0.08 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 7550 0 0 0 7971 30 0 0 25 0 1 0 511667103 37842944 7546 4294967295 134512640 135450300 3221224624 3221223456 134549440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9239 7546 231 231 0 9008 0
vsize: 36956
[startup+90.0091 s]
Raw data (loadavg): 0.77 0.26 0.09 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 8283 0 0 0 8969 32 0 0 25 0 1 0 511667103 38248448 8279 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9338 8279 231 231 0 9107 0
vsize: 37352
[startup+100.009 s]
Raw data (loadavg): 0.81 0.28 0.10 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 8860 0 0 0 9968 33 0 0 25 0 1 0 511667103 38662144 8856 4294967295 134512640 135450300 3221224624 3221223456 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9439 8856 231 231 0 9208 0
vsize: 37756
[startup+110.009 s]
Raw data (loadavg): 0.84 0.30 0.11 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 9650 0 0 0 10966 36 0 0 25 0 1 0 511667103 72773632 9646 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 9646 231 231 0 17536 0
vsize: 71068
[startup+120.009 s]
Raw data (loadavg): 0.86 0.33 0.12 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 10292 0 0 0 11963 39 0 0 25 0 1 0 511667103 73048064 10288 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17834 10288 231 231 0 17603 0
vsize: 71336
[startup+130.008 s]
Raw data (loadavg): 0.88 0.35 0.12 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 10971 0 0 0 12962 40 0 0 25 0 1 0 511667103 73621504 10967 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17974 10967 231 231 0 17743 0
vsize: 71896
[startup+140.008 s]
Raw data (loadavg): 0.90 0.37 0.13 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 11798 0 0 0 13959 43 0 0 25 0 1 0 511667103 73768960 11794 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18010 11794 231 231 0 17779 0
vsize: 72040
[startup+150.008 s]
Raw data (loadavg): 0.92 0.39 0.14 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 12684 0 0 0 14957 45 0 0 25 0 1 0 511667103 73768960 12680 4294967295 134512640 135450300 3221224624 3221223152 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18010 12680 231 231 0 17779 0
vsize: 72040
[startup+160.008 s]
Raw data (loadavg): 0.93 0.41 0.15 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 13293 0 0 0 15954 48 0 0 25 0 1 0 511667103 74047488 13289 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 13289 231 231 0 17847 0
vsize: 72312
[startup+170.008 s]
Raw data (loadavg): 0.94 0.43 0.16 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 14044 0 0 0 16951 51 0 0 25 0 1 0 511667103 74047488 14040 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 14040 231 231 0 17847 0
vsize: 72312
[startup+180.008 s]
Raw data (loadavg): 0.95 0.45 0.17 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 14816 0 0 0 17950 53 0 0 25 0 1 0 511667103 74047488 14812 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 14812 231 231 0 17847 0
vsize: 72312
[startup+190.008 s]
Raw data (loadavg): 0.95 0.46 0.18 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 15621 0 0 0 18948 55 0 0 25 0 1 0 511667103 74047488 15617 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 15617 231 231 0 17847 0
vsize: 72312
[startup+200.008 s]
Raw data (loadavg): 0.96 0.48 0.19 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 16347 0 0 0 19946 57 0 0 25 0 1 0 511667103 74047488 16343 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 16343 231 231 0 17847 0
vsize: 72312
[startup+210.008 s]
Raw data (loadavg): 0.97 0.50 0.19 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 17110 0 0 0 20944 59 0 0 25 0 1 0 511667103 74047488 17106 4294967295 134512640 135450300 3221224624 3221223344 134535989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 17106 231 231 0 17847 0
vsize: 72312
[startup+220.008 s]
Raw data (loadavg): 0.97 0.51 0.20 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 17739 0 0 0 21943 60 0 0 25 0 1 0 511667103 74047488 17735 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 17735 231 231 0 17847 0
vsize: 72312
[startup+230.007 s]
Raw data (loadavg): 0.98 0.53 0.21 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 18398 0 0 0 22940 63 0 0 25 0 1 0 511667103 141672448 18345 4294967295 134512640 135450300 3221224624 3221223440 134547914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34588 18345 231 231 0 34357 0
vsize: 138352
[startup+240.007 s]
Raw data (loadavg): 0.98 0.54 0.22 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 19151 0 0 0 23938 66 0 0 25 0 1 0 511667103 142835712 19098 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34872 19098 231 231 0 34641 0
vsize: 139488
[startup+250.007 s]
Raw data (loadavg): 0.98 0.56 0.22 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 19745 0 0 0 24937 67 0 0 25 0 1 0 511667103 143581184 19692 4294967295 134512640 135450300 3221224624 3221223456 134549466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35054 19692 231 231 0 34823 0
vsize: 140216
[startup+260.007 s]
Raw data (loadavg): 0.98 0.57 0.23 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20250 0 0 0 25935 69 0 0 25 0 1 0 511667103 144023552 20197 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35162 20197 231 231 0 34931 0
vsize: 140648
[startup+270.007 s]
Raw data (loadavg): 0.99 0.59 0.24 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20706 0 0 0 26934 70 0 0 25 0 1 0 511667103 144326656 20653 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 20653 231 231 0 35005 0
vsize: 140944
[startup+280.007 s]
Raw data (loadavg): 0.99 0.60 0.25 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20707 0 0 0 27934 70 0 0 25 0 1 0 511667103 144326656 20654 4294967295 134512640 135450300 3221224624 3221223104 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 20654 231 231 0 35005 0
vsize: 140944
[startup+290.007 s]
Raw data (loadavg): 0.99 0.61 0.26 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20708 0 0 0 28934 70 0 0 25 0 1 0 511667103 144326656 20655 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 20655 231 231 0 35005 0
vsize: 140944
[startup+300.007 s]
Raw data (loadavg): 0.99 0.62 0.26 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20709 0 0 0 29934 70 0 0 25 0 1 0 511667103 144326656 20656 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 20656 231 231 0 35005 0
vsize: 140944
[startup+310.007 s]
Raw data (loadavg): 0.99 0.64 0.27 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20735 0 0 0 30934 71 0 0 25 0 1 0 511667103 144326656 20682 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 20682 231 231 0 35005 0
vsize: 140944
[startup+320.008 s]
Raw data (loadavg): 0.99 0.65 0.28 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20736 0 0 0 31935 71 0 0 25 0 1 0 511667103 144326656 20683 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 20683 231 231 0 35005 0
vsize: 140944
[startup+330.007 s]
Raw data (loadavg): 0.99 0.66 0.29 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20738 0 0 0 32935 71 0 0 25 0 1 0 511667103 144326656 20685 4294967295 134512640 135450300 3221224624 3221223564 134530278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 20685 231 231 0 35005 0
vsize: 140944
[startup+340.007 s]
Raw data (loadavg): 0.99 0.67 0.29 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20742 0 0 0 33935 71 0 0 25 0 1 0 511667103 144461824 20689 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35269 20689 231 231 0 35038 0
vsize: 141076
[startup+350.008 s]
Raw data (loadavg): 0.99 0.68 0.30 2/55 16708
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20793 0 0 0 34935 71 0 0 25 0 1 0 511667103 144596992 20740 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35302 20740 231 231 0 35071 0
vsize: 141208
[startup+360.007 s]
Raw data (loadavg): 0.99 0.69 0.31 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20794 0 0 0 35935 71 0 0 25 0 1 0 511667103 144596992 20741 4294967295 134512640 135450300 3221224624 3221223456 134549466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35302 20741 231 231 0 35071 0
vsize: 141208
[startup+370.008 s]
Raw data (loadavg): 0.99 0.70 0.31 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20797 0 0 0 36935 72 0 0 25 0 1 0 511667103 144596992 20744 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35302 20744 231 231 0 35071 0
vsize: 141208
[startup+380.007 s]
Raw data (loadavg): 0.99 0.71 0.32 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20799 0 0 0 37935 72 0 0 25 0 1 0 511667103 144596992 20746 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35302 20746 231 231 0 35071 0
vsize: 141208
[startup+390.007 s]
Raw data (loadavg): 0.99 0.72 0.33 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20820 0 0 0 38935 72 0 0 25 0 1 0 511667103 144736256 20767 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35336 20767 231 231 0 35105 0
vsize: 141344
[startup+400.006 s]
Raw data (loadavg): 0.99 0.73 0.33 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20821 0 0 0 39935 72 0 0 25 0 1 0 511667103 144736256 20768 4294967295 134512640 135450300 3221224624 3221223440 134547889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35336 20768 231 231 0 35105 0
vsize: 141344
[startup+410.006 s]
Raw data (loadavg): 0.99 0.74 0.34 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20822 0 0 0 40935 72 0 0 25 0 1 0 511667103 144736256 20769 4294967295 134512640 135450300 3221224624 3221223344 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35336 20769 231 231 0 35105 0
vsize: 141344
[startup+420.006 s]
Raw data (loadavg): 0.99 0.74 0.35 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 20824 0 0 0 41935 72 0 0 25 0 1 0 511667103 144736256 20771 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35336 20771 231 231 0 35105 0
vsize: 141344
[startup+430.006 s]
Raw data (loadavg): 0.99 0.75 0.35 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21002 0 0 0 42934 73 0 0 25 0 1 0 511667103 145465344 20949 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35514 20949 231 231 0 35283 0
vsize: 142056
[startup+440.006 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21003 0 0 0 43934 73 0 0 25 0 1 0 511667103 145465344 20950 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35514 20950 231 231 0 35283 0
vsize: 142056
[startup+450.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21005 0 0 0 44935 73 0 0 25 0 1 0 511667103 145465344 20952 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35514 20952 231 231 0 35283 0
vsize: 142056
[startup+460.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21046 0 0 0 45935 73 0 0 25 0 1 0 511667103 145600512 20993 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35547 20993 231 231 0 35316 0
vsize: 142188
[startup+470.006 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21047 0 0 0 46935 73 0 0 25 0 1 0 511667103 145600512 20994 4294967295 134512640 135450300 3221224624 3221223088 134532747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35547 20994 231 231 0 35316 0
vsize: 142188
[startup+480.005 s]
Raw data (loadavg): 0.99 0.79 0.38 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21049 0 0 0 47935 73 0 0 25 0 1 0 511667103 145600512 20996 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35547 20996 231 231 0 35316 0
vsize: 142188
[startup+490.005 s]
Raw data (loadavg): 0.99 0.79 0.39 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21050 0 0 0 48935 74 0 0 25 0 1 0 511667103 145600512 20997 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35547 20997 231 231 0 35316 0
vsize: 142188
[startup+500.006 s]
Raw data (loadavg): 0.99 0.80 0.40 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21210 0 0 0 49935 74 0 0 25 0 1 0 511667103 146337792 21157 4294967295 134512640 135450300 3221224624 3221223360 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35727 21157 231 231 0 35496 0
vsize: 142908
[startup+510.005 s]
Raw data (loadavg): 0.99 0.81 0.40 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21232 0 0 0 50935 74 0 0 25 0 1 0 511667103 146337792 21179 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35727 21179 231 231 0 35496 0
vsize: 142908
[startup+520.005 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21234 0 0 0 51935 74 0 0 25 0 1 0 511667103 146337792 21181 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35727 21181 231 231 0 35496 0
vsize: 142908
[startup+530.005 s]
Raw data (loadavg): 0.99 0.82 0.41 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21234 0 0 0 52935 74 0 0 25 0 1 0 511667103 146337792 21181 4294967295 134512640 135450300 3221224624 3221223344 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35727 21181 231 231 0 35496 0
vsize: 142908
[startup+540.005 s]
Raw data (loadavg): 0.99 0.82 0.42 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21235 0 0 0 53935 74 0 0 25 0 1 0 511667103 146337792 21182 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35727 21182 231 231 0 35496 0
vsize: 142908
[startup+550.005 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21378 0 0 0 54934 75 0 0 25 0 1 0 511667103 146927616 21325 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35871 21325 231 231 0 35640 0
vsize: 143484
[startup+560.005 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 21494 0 0 0 55934 75 0 0 25 0 1 0 511667103 146927616 21441 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35871 21441 231 231 0 35640 0
vsize: 143484
[startup+570.005 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 22102 0 0 0 56933 77 0 0 25 0 1 0 511667103 146927616 22049 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35871 22049 231 231 0 35640 0
vsize: 143484
[startup+580.005 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 22508 0 0 0 57932 78 0 0 25 0 1 0 511667103 146927616 22455 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35871 22455 231 231 0 35640 0
vsize: 143484
[startup+590.005 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 23157 0 0 0 58930 80 0 0 25 0 1 0 511667103 147210240 23104 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35940 23104 231 231 0 35709 0
vsize: 143760
[startup+600.005 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 23747 0 0 0 59928 82 0 0 25 0 1 0 511667103 147210240 23694 4294967295 134512640 135450300 3221224624 3221223344 134535537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35940 23694 231 231 0 35709 0
vsize: 143760
[startup+610.005 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 24326 0 0 0 60927 84 0 0 25 0 1 0 511667103 147210240 24273 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35940 24273 231 231 0 35709 0
vsize: 143760
[startup+620.006 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 24774 0 0 0 61926 85 0 0 25 0 1 0 511667103 147210240 24721 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35940 24721 231 231 0 35709 0
vsize: 143760
[startup+630.005 s]
Raw data (loadavg): 0.99 0.86 0.47 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 25314 0 0 0 62925 86 0 0 25 0 1 0 511667103 147357696 25261 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35976 25261 231 231 0 35745 0
vsize: 143904
[startup+640.005 s]
Raw data (loadavg): 0.99 0.87 0.47 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 25939 0 0 0 63923 88 0 0 25 0 1 0 511667103 147357696 25886 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35976 25886 231 231 0 35745 0
vsize: 143904
[startup+650.004 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 16710
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 26517 0 0 0 64922 90 0 0 25 0 1 0 511667103 147357696 26464 4294967295 134512640 135450300 3221224624 3221223440 134547909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35976 26464 231 231 0 35745 0
vsize: 143904
[startup+660.005 s]
Raw data (loadavg): 0.99 0.88 0.48 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 27012 0 0 0 65921 90 0 0 25 0 1 0 511667103 147357696 26959 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35976 26959 231 231 0 35745 0
vsize: 143904
[startup+670.006 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 27227 0 0 0 66921 91 0 0 25 0 1 0 511667103 148832256 27174 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36336 27174 231 231 0 36105 0
vsize: 145344
[startup+680.005 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 27325 0 0 0 67921 91 0 0 25 0 1 0 511667103 149225472 27175 4294967295 134512640 135450300 3221224624 3221223344 134536028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36432 27175 231 231 0 36201 0
vsize: 145728
[startup+690.005 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 27326 0 0 0 68921 91 0 0 25 0 1 0 511667103 149225472 27176 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36432 27176 231 231 0 36201 0
vsize: 145728
[startup+700.004 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 27771 0 0 0 69920 92 0 0 25 0 1 0 511667103 149225472 27621 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36432 27621 231 231 0 36201 0
vsize: 145728
[startup+710.004 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 28185 0 0 0 70919 93 0 0 25 0 1 0 511667103 149389312 28035 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36472 28035 231 231 0 36241 0
vsize: 145888
[startup+720.004 s]
Raw data (loadavg): 0.99 0.90 0.51 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 28826 0 0 0 71918 95 0 0 25 0 1 0 511667103 149389312 28676 4294967295 134512640 135450300 3221224624 3221223440 134547900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36472 28676 231 231 0 36241 0
vsize: 145888
[startup+730.004 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 29419 0 0 0 72917 96 0 0 25 0 1 0 511667103 149389312 29269 4294967295 134512640 135450300 3221224624 3221223344 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36472 29269 231 231 0 36241 0
vsize: 145888
[startup+740.004 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 29968 0 0 0 73916 97 0 0 25 0 1 0 511667103 149389312 29818 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36472 29818 231 231 0 36241 0
vsize: 145888
[startup+750.003 s]
Raw data (loadavg): 0.99 0.90 0.53 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 30925 0 0 0 74914 99 0 0 25 0 1 0 511667103 152354816 30775 4294967295 134512640 135450300 3221224624 3221223344 134536004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37196 30775 231 231 0 36965 0
vsize: 148784
[startup+760.003 s]
Raw data (loadavg): 0.99 0.91 0.53 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 31578 0 0 0 75913 100 0 0 25 0 1 0 511667103 152354816 31428 4294967295 134512640 135450300 3221224624 3221223100 134572338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37196 31428 231 231 0 36965 0
vsize: 148784
[startup+770.002 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 32171 0 0 0 76912 102 0 0 25 0 1 0 511667103 152354816 32021 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37196 32021 231 231 0 36965 0
vsize: 148784
[startup+780.002 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 32694 0 0 0 77910 104 0 0 25 0 1 0 511667103 152354816 32544 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37196 32544 231 231 0 36965 0
vsize: 148784
[startup+790.002 s]
Raw data (loadavg): 0.99 0.91 0.55 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 33033 0 0 0 78909 104 0 0 25 0 1 0 511667103 152518656 32883 4294967295 134512640 135450300 3221224624 3221223092 134580040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37236 32883 231 231 0 37005 0
vsize: 148944
[startup+800.002 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 33648 0 0 0 79908 106 0 0 25 0 1 0 511667103 152666112 33498 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37272 33498 231 231 0 37041 0
vsize: 149088
[startup+810.002 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 34250 0 0 0 80908 106 0 0 25 0 1 0 511667103 152666112 34100 4294967295 134512640 135450300 3221224624 3221223360 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37272 34100 231 231 0 37041 0
vsize: 149088
[startup+820.002 s]
Raw data (loadavg): 1.07 0.94 0.56 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 34799 0 0 0 81906 108 0 0 25 0 1 0 511667103 152666112 34649 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37272 34649 231 231 0 37041 0
vsize: 149088
[startup+830.003 s]
Raw data (loadavg): 1.06 0.94 0.57 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 35102 0 0 0 82906 109 0 0 25 0 1 0 511667103 152829952 34952 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37312 34952 231 231 0 37081 0
vsize: 149248
[startup+840.003 s]
Raw data (loadavg): 1.05 0.94 0.57 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 35741 0 0 0 83904 110 0 0 25 0 1 0 511667103 152977408 35591 4294967295 134512640 135450300 3221224624 3221223344 134536009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37348 35591 231 231 0 37117 0
vsize: 149392
[startup+850.002 s]
Raw data (loadavg): 1.04 0.94 0.58 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 36321 0 0 0 84903 112 0 0 25 0 1 0 511667103 152977408 36171 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37348 36171 231 231 0 37117 0
vsize: 149392
[startup+860.003 s]
Raw data (loadavg): 1.03 0.94 0.58 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 36890 0 0 0 85902 113 0 0 25 0 1 0 511667103 287195136 36740 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70116 36740 231 231 0 69885 0
vsize: 280464
[startup+870.003 s]
Raw data (loadavg): 1.03 0.94 0.58 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37442 0 0 0 86901 114 0 0 25 0 1 0 511667103 287195136 37292 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70116 37292 231 231 0 69885 0
vsize: 280464
[startup+880.003 s]
Raw data (loadavg): 1.02 0.95 0.59 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37555 0 0 0 87901 114 0 0 25 0 1 0 511667103 287805440 37405 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70265 37405 231 231 0 70034 0
vsize: 281060
[startup+890.003 s]
Raw data (loadavg): 1.02 0.95 0.59 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37584 0 0 0 88901 114 0 0 25 0 1 0 511667103 287969280 37434 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70305 37434 231 231 0 70074 0
vsize: 281220
[startup+900.003 s]
Raw data (loadavg): 1.02 0.95 0.60 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37585 0 0 0 89902 114 0 0 25 0 1 0 511667103 287969280 37435 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70305 37435 231 231 0 70074 0
vsize: 281220
[startup+910.003 s]
Raw data (loadavg): 1.01 0.95 0.60 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37586 0 0 0 90902 114 0 0 25 0 1 0 511667103 287969280 37436 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70305 37436 231 231 0 70074 0
vsize: 281220
[startup+920.003 s]
Raw data (loadavg): 1.01 0.95 0.60 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37587 0 0 0 91902 114 0 0 25 0 1 0 511667103 287969280 37437 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70305 37437 231 231 0 70074 0
vsize: 281220
[startup+930.003 s]
Raw data (loadavg): 1.01 0.95 0.61 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37694 0 0 0 92902 115 0 0 25 0 1 0 511667103 288460800 37544 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70425 37544 231 231 0 70194 0
vsize: 281700
[startup+940.003 s]
Raw data (loadavg): 1.01 0.95 0.61 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37695 0 0 0 93902 115 0 0 25 0 1 0 511667103 288460800 37545 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70425 37545 231 231 0 70194 0
vsize: 281700
[startup+950.002 s]
Raw data (loadavg): 1.00 0.95 0.62 2/55 16712
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37696 0 0 0 94902 115 0 0 25 0 1 0 511667103 288460800 37546 4294967295 134512640 135450300 3221224624 3221223344 134536028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70425 37546 231 231 0 70194 0
vsize: 281700
[startup+960.002 s]
Raw data (loadavg): 1.00 0.95 0.62 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37697 0 0 0 95902 115 0 0 25 0 1 0 511667103 288460800 37547 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70425 37547 231 231 0 70194 0
vsize: 281700
[startup+970.003 s]
Raw data (loadavg): 1.00 0.95 0.62 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37725 0 0 0 96902 115 0 0 25 0 1 0 511667103 288608256 37575 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70461 37575 231 231 0 70230 0
vsize: 281844
[startup+980.002 s]
Raw data (loadavg): 1.00 0.95 0.63 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37727 0 0 0 97902 115 0 0 25 0 1 0 511667103 288608256 37577 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70461 37577 231 231 0 70230 0
vsize: 281844
[startup+990.001 s]
Raw data (loadavg): 1.00 0.96 0.63 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37728 0 0 0 98902 115 0 0 25 0 1 0 511667103 288608256 37578 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70461 37578 231 231 0 70230 0
vsize: 281844
[startup+1000 s]
Raw data (loadavg): 1.00 0.96 0.64 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 37750 0 0 0 99902 115 0 0 25 0 1 0 511667103 288608256 37600 4294967295 134512640 135450300 3221224624 3221223440 134537238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70461 37600 231 231 0 70230 0
vsize: 281844
[startup+1010 s]
Raw data (loadavg): 1.00 0.96 0.64 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 38626 0 0 0 100901 117 0 0 25 0 1 0 511667103 290426880 38476 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70905 38476 231 231 0 70674 0
vsize: 283620
[startup+1020 s]
Raw data (loadavg): 1.00 0.96 0.64 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 39286 0 0 0 101900 118 0 0 25 0 1 0 511667103 290426880 39136 4294967295 134512640 135450300 3221224624 3221223440 134547889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70905 39136 231 231 0 70674 0
vsize: 283620
[startup+1030 s]
Raw data (loadavg): 1.00 0.96 0.64 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 39873 0 0 0 102899 119 0 0 25 0 1 0 511667103 290426880 39723 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70905 39723 231 231 0 70674 0
vsize: 283620
[startup+1040 s]
Raw data (loadavg): 1.00 0.96 0.65 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 40393 0 0 0 103898 120 0 0 25 0 1 0 511667103 290426880 40243 4294967295 134512640 135450300 3221224624 3221223344 134536028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70905 40243 231 231 0 70674 0
vsize: 283620
[startup+1050 s]
Raw data (loadavg): 1.00 0.96 0.65 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 40687 0 0 0 104897 121 0 0 25 0 1 0 511667103 290697216 40537 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70971 40537 231 231 0 70740 0
vsize: 283884
[startup+1060 s]
Raw data (loadavg): 1.00 0.96 0.65 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 41355 0 0 0 105896 123 0 0 25 0 1 0 511667103 290697216 41205 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70971 41205 231 231 0 70740 0
vsize: 283884
[startup+1070 s]
Raw data (loadavg): 1.00 0.96 0.66 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 41944 0 0 0 106894 125 0 0 25 0 1 0 511667103 290697216 41794 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70971 41794 231 231 0 70740 0
vsize: 283884
[startup+1080 s]
Raw data (loadavg): 1.00 0.96 0.66 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 42499 0 0 0 107893 125 0 0 25 0 1 0 511667103 290697216 42349 4294967295 134512640 135450300 3221224624 3221223456 134549490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70971 42349 231 231 0 70740 0
vsize: 283884
[startup+1090 s]
Raw data (loadavg): 1.00 0.97 0.66 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 42715 0 0 0 108893 126 0 0 25 0 1 0 511667103 290697216 42565 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70971 42565 231 231 0 70740 0
vsize: 283884
[startup+1100 s]
Raw data (loadavg): 1.00 0.97 0.66 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 42763 0 0 0 109893 126 0 0 25 0 1 0 511667103 291024896 42613 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71051 42613 231 231 0 70820 0
vsize: 284204
[startup+1110 s]
Raw data (loadavg): 1.00 0.97 0.67 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 42764 0 0 0 110893 126 0 0 25 0 1 0 511667103 291024896 42614 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71051 42614 231 231 0 70820 0
vsize: 284204
[startup+1120 s]
Raw data (loadavg): 1.00 0.97 0.67 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 42766 0 0 0 111894 126 0 0 25 0 1 0 511667103 291024896 42616 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71051 42616 231 231 0 70820 0
vsize: 284204
[startup+1130 s]
Raw data (loadavg): 1.00 0.97 0.67 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 42766 0 0 0 112894 126 0 0 25 0 1 0 511667103 291024896 42616 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71051 42616 231 231 0 70820 0
vsize: 284204
[startup+1140 s]
Raw data (loadavg): 1.00 0.97 0.68 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 43374 0 0 0 113893 127 0 0 25 0 1 0 511667103 293679104 43224 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71699 43224 231 231 0 71468 0
vsize: 286796
[startup+1150 s]
Raw data (loadavg): 1.00 0.97 0.68 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 43375 0 0 0 114893 127 0 0 25 0 1 0 511667103 293679104 43225 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71699 43225 231 231 0 71468 0
vsize: 286796
[startup+1160 s]
Raw data (loadavg): 1.00 0.97 0.68 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 43376 0 0 0 115893 128 0 0 25 0 1 0 511667103 293679104 43226 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71699 43226 231 231 0 71468 0
vsize: 286796
[startup+1170 s]
Raw data (loadavg): 1.00 0.97 0.69 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 43377 0 0 0 116893 128 0 0 25 0 1 0 511667103 293679104 43227 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71699 43227 231 231 0 71468 0
vsize: 286796
[startup+1180 s]
Raw data (loadavg): 1.00 0.97 0.69 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 43412 0 0 0 117893 128 0 0 25 0 1 0 511667103 293982208 43262 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71773 43262 231 231 0 71542 0
vsize: 287092
[startup+1190 s]
Raw data (loadavg): 1.00 0.97 0.69 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 43426 0 0 0 118893 128 0 0 25 0 1 0 511667103 293982208 43276 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71773 43276 231 231 0 71542 0
vsize: 287092
[startup+1200 s]
Raw data (loadavg): 1.00 0.97 0.69 2/55 16714
Raw data (stat): 16706 (PBS4) R 16705 20838 20837 0 -1 0 43427 0 0 0 119893 128 0 0 25 0 1 0 511667103 293982208 43277 4294967295 134512640 135450300 3221224624 3221223344 134535518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71773 43277 231 231 0 71542 0
vsize: 287092
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 0.69 1/55 16714
Raw data (stat): 16706 (PBS4) Z 16705 20838 20837 0 -1 1036 43427 0 0 0 119893 136 0 0 25 0 1 0 511667103 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.08
CPU time (s): 1200.3
CPU user time (s): 1198.94
CPU system time (s): 1.36579
CPU usage (%): 100.018
Max. virtual memory (Kb): 287092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####