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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
MD5SUM	e3892e1941a878802a8ccbbd36201a02
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-27
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27842
Number of constraints which are clauses	27842
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	2
Trace number 7889

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-17 17:00:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2895 boxname=wulflinc28 idbench=322 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  e3892e1941a878802a8ccbbd36201a02  /oldhome/oroussel/tmp/wulflinc28/normalized-frb35-17-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc28/normalized-frb35-17-4.opb
IDLAUNCH: 2895
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        839332 kB
Buffers:         37384 kB
Cached:         119760 kB
SwapCached:          4 kB
Active:          73312 kB
Inactive:        87560 kB
HighTotal:      131008 kB
HighFree:         6804 kB
LowTotal:       903652 kB
LowFree:        832528 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            28992 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:20:27 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2895 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc28/normalized-frb35-17-4.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 0.97 0.91 2/54 7221
Raw data (stat): 7221 (runsolver) R 7220 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512153099 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99953 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7221
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 2811 0 0 0 989 9 0 0 25 0 1 0 512153099 19353600 2656 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4725 2656 231 231 0 4494 0
vsize: 18900
[startup+20.0002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7221
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 4405 0 0 0 1986 13 0 0 25 0 1 0 512153099 19492864 4250 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4759 4250 231 231 0 4528 0
vsize: 19036
[startup+30.0001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7221
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 5685 0 0 0 2983 16 0 0 25 0 1 0 512153099 36548608 5530 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8923 5531 231 231 0 8692 0
vsize: 35692
[startup+39.9995 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7221
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 6868 0 0 0 3982 17 0 0 25 0 1 0 512153099 37482496 6520 4294967295 134512640 135450300 3221224640 3221223548 134539771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 6520 231 231 0 8920 0
vsize: 36604
[startup+50.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7221
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 8050 0 0 0 4979 21 0 0 25 0 1 0 512153099 37482496 7702 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 7702 231 231 0 8920 0
vsize: 36604
[startup+59.9999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 9124 0 0 0 5977 23 0 0 25 0 1 0 512153099 37920768 8776 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 8776 231 231 0 9027 0
vsize: 37032
[startup+70.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 10404 0 0 0 6973 27 0 0 25 0 1 0 512153099 72364032 10056 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17667 10056 231 231 0 17436 0
vsize: 70668
[startup+80.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 11664 0 0 0 7971 29 0 0 25 0 1 0 512153099 72777728 11316 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17768 11316 231 231 0 17537 0
vsize: 71072
[startup+90.0001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 12810 0 0 0 8968 32 0 0 25 0 1 0 512153099 73052160 12462 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17835 12462 231 231 0 17604 0
vsize: 71340
[startup+100.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 13050 0 0 0 9967 33 0 0 25 0 1 0 512153099 73326592 12702 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17902 12702 231 231 0 17671 0
vsize: 71608
[startup+110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 13157 0 0 0 10967 34 0 0 25 0 1 0 512153099 73744384 12809 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18004 12809 231 231 0 17773 0
vsize: 72016
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 13217 0 0 0 11967 34 0 0 25 0 1 0 512153099 74018816 12869 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18071 12869 231 231 0 17840 0
vsize: 72284
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 14365 0 0 0 12965 36 0 0 25 0 1 0 512153099 74153984 14017 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18104 14017 231 231 0 17873 0
vsize: 72416
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 14461 0 0 0 13964 37 0 0 25 0 1 0 512153099 74452992 14113 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18177 14113 231 231 0 17946 0
vsize: 72708
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 14495 0 0 0 14964 37 0 0 25 0 1 0 512153099 74596352 14147 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18212 14147 231 231 0 17981 0
vsize: 72848
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 14746 0 0 0 15963 38 0 0 25 0 1 0 512153099 75390976 14398 4294967295 134512640 135450300 3221224640 3221223104 134532599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18406 14398 231 231 0 18175 0
vsize: 73624
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 15503 0 0 0 16962 40 0 0 25 0 1 0 512153099 75550720 15155 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18445 15155 231 231 0 18214 0
vsize: 73780
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 15568 0 0 0 17961 40 0 0 25 0 1 0 512153099 75845632 15220 4294967295 134512640 135450300 3221224640 3221223472 134549447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18517 15220 231 231 0 18286 0
vsize: 74068
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 15587 0 0 0 18961 41 0 0 25 0 1 0 512153099 75845632 15239 4294967295 134512640 135450300 3221224640 3221223116 134571948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18517 15239 231 231 0 18286 0
vsize: 74068
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 15650 0 0 0 19961 41 0 0 25 0 1 0 512153099 76144640 15302 4294967295 134512640 135450300 3221224640 3221223116 134571965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18590 15302 231 231 0 18359 0
vsize: 74360
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 16323 0 0 0 20959 43 0 0 25 0 1 0 512153099 76308480 15975 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18630 15975 231 231 0 18399 0
vsize: 74520
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 16338 0 0 0 21959 44 0 0 25 0 1 0 512153099 76308480 15990 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18630 15990 231 231 0 18399 0
vsize: 74520
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 16399 0 0 0 22959 44 0 0 25 0 1 0 512153099 76599296 16051 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18701 16051 231 231 0 18470 0
vsize: 74804
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 16541 0 0 0 23958 45 0 0 25 0 1 0 512153099 76734464 16193 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18734 16193 231 231 0 18503 0
vsize: 74936
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 16857 0 0 0 24957 46 0 0 25 0 1 0 512153099 76734464 16509 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18734 16509 231 231 0 18503 0
vsize: 74936
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 16962 0 0 0 25956 47 0 0 25 0 1 0 512153099 77348864 16614 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18884 16614 231 231 0 18653 0
vsize: 75536
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 16990 0 0 0 26956 48 0 0 25 0 1 0 512153099 77500416 16642 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18921 16642 231 231 0 18690 0
vsize: 75684
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17223 0 0 0 27955 48 0 0 25 0 1 0 512153099 77656064 16875 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18959 16875 231 231 0 18728 0
vsize: 75836
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17357 0 0 0 28955 49 0 0 25 0 1 0 512153099 77791232 17009 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18992 17009 231 231 0 18761 0
vsize: 75968
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17422 0 0 0 29955 49 0 0 25 0 1 0 512153099 78073856 17074 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19061 17074 231 231 0 18830 0
vsize: 76244
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17478 0 0 0 30954 50 0 0 25 0 1 0 512153099 78221312 17130 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19097 17130 231 231 0 18866 0
vsize: 76388
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7223
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17715 0 0 0 31953 51 0 0 25 0 1 0 512153099 78389248 17367 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19138 17367 231 231 0 18907 0
vsize: 76552
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17769 0 0 0 32953 52 0 0 25 0 1 0 512153099 78684160 17421 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19210 17421 231 231 0 18979 0
vsize: 76840
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17813 0 0 0 33953 52 0 0 25 0 1 0 512153099 78831616 17465 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19246 17465 231 231 0 19015 0
vsize: 76984
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 17836 0 0 0 34953 52 0 0 25 0 1 0 512153099 78831616 17488 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19246 17488 231 231 0 19015 0
vsize: 76984
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18036 0 0 0 35952 53 0 0 25 0 1 0 512153099 79122432 17688 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19317 17688 231 231 0 19086 0
vsize: 77268
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18093 0 0 0 36952 53 0 0 25 0 1 0 512153099 79269888 17745 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19353 17745 231 231 0 19122 0
vsize: 77412
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18116 0 0 0 37952 54 0 0 25 0 1 0 512153099 79413248 17768 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19388 17768 231 231 0 19157 0
vsize: 77552
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18532 0 0 0 38951 55 0 0 25 0 1 0 512153099 80986112 17799 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19772 17799 231 231 0 19541 0
vsize: 79088
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18893 0 0 0 39950 56 0 0 25 0 1 0 512153099 81297408 18160 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19848 18160 231 231 0 19617 0
vsize: 79392
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18941 0 0 0 40950 56 0 0 25 0 1 0 512153099 81444864 18208 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19884 18208 231 231 0 19653 0
vsize: 79536
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18960 0 0 0 41950 56 0 0 25 0 1 0 512153099 81444864 18227 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19884 18227 231 231 0 19653 0
vsize: 79536
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 18977 0 0 0 42950 57 0 0 25 0 1 0 512153099 81580032 18244 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19917 18244 231 231 0 19686 0
vsize: 79668
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19077 0 0 0 43949 57 0 0 25 0 1 0 512153099 81727488 18344 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19953 18344 231 231 0 19722 0
vsize: 79812
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19111 0 0 0 44949 58 0 0 25 0 1 0 512153099 81862656 18378 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19986 18378 231 231 0 19755 0
vsize: 79944
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19137 0 0 0 45949 58 0 0 25 0 1 0 512153099 82010112 18404 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20022 18404 231 231 0 19791 0
vsize: 80088
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19153 0 0 0 46949 58 0 0 25 0 1 0 512153099 82010112 18420 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20022 18420 231 231 0 19791 0
vsize: 80088
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19239 0 0 0 47949 59 0 0 25 0 1 0 512153099 82153472 18506 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20057 18506 231 231 0 19826 0
vsize: 80228
[startup+490 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19256 0 0 0 48948 59 0 0 25 0 1 0 512153099 82153472 18523 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20057 18523 231 231 0 19826 0
vsize: 80228
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19296 0 0 0 49948 60 0 0 25 0 1 0 512153099 82493440 18563 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20140 18563 231 231 0 19909 0
vsize: 80560
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19322 0 0 0 50947 60 0 0 25 0 1 0 512153099 82493440 18589 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20140 18589 231 231 0 19909 0
vsize: 80560
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19382 0 0 0 51947 61 0 0 25 0 1 0 512153099 82821120 18649 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20220 18649 231 231 0 19989 0
vsize: 80880
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19399 0 0 0 52947 61 0 0 25 0 1 0 512153099 82821120 18666 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20220 18666 231 231 0 19989 0
vsize: 80880
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19422 0 0 0 53946 62 0 0 25 0 1 0 512153099 82968576 18689 4294967295 134512640 135450300 3221224640 3221223116 134572367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20256 18689 231 231 0 20025 0
vsize: 81024
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19445 0 0 0 54946 62 0 0 25 0 1 0 512153099 82968576 18712 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20256 18712 231 231 0 20025 0
vsize: 81024
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19460 0 0 0 55946 62 0 0 25 0 1 0 512153099 83152896 18727 4294967295 134512640 135450300 3221224640 3221223456 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20301 18727 231 231 0 20070 0
vsize: 81204
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19473 0 0 0 56946 63 0 0 25 0 1 0 512153099 83152896 18740 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20301 18740 231 231 0 20070 0
vsize: 81204
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19493 0 0 0 57946 63 0 0 25 0 1 0 512153099 83152896 18760 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20301 18760 231 231 0 20070 0
vsize: 81204
[startup+590 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19510 0 0 0 58946 63 0 0 25 0 1 0 512153099 83152896 18777 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20301 18777 231 231 0 20070 0
vsize: 81204
[startup+600 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19539 0 0 0 59946 63 0 0 25 0 1 0 512153099 83329024 18806 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20344 18806 231 231 0 20113 0
vsize: 81376
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19563 0 0 0 60946 63 0 0 25 0 1 0 512153099 83329024 18830 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20344 18830 231 231 0 20113 0
vsize: 81376
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19585 0 0 0 61946 64 0 0 25 0 1 0 512153099 83329024 18852 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20344 18852 231 231 0 20113 0
vsize: 81376
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19605 0 0 0 62946 64 0 0 25 0 1 0 512153099 83476480 18872 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20380 18872 231 231 0 20149 0
vsize: 81520
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19630 0 0 0 63946 64 0 0 25 0 1 0 512153099 83619840 18897 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20415 18897 231 231 0 20184 0
vsize: 81660
[startup+649.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19652 0 0 0 64946 64 0 0 25 0 1 0 512153099 83619840 18919 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20415 18919 231 231 0 20184 0
vsize: 81660
[startup+659.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19674 0 0 0 65945 65 0 0 25 0 1 0 512153099 83783680 18941 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20455 18941 231 231 0 20224 0
vsize: 81820
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19699 0 0 0 66945 65 0 0 25 0 1 0 512153099 83783680 18966 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20455 18966 231 231 0 20224 0
vsize: 81820
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 19718 0 0 0 67945 66 0 0 25 0 1 0 512153099 83968000 18985 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20500 18985 231 231 0 20269 0
vsize: 82000
[startup+689.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20012 0 0 0 68944 66 0 0 25 0 1 0 512153099 83968000 19279 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20500 19279 231 231 0 20269 0
vsize: 82000
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20021 0 0 0 69944 67 0 0 25 0 1 0 512153099 83968000 19288 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20500 19288 231 231 0 20269 0
vsize: 82000
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20043 0 0 0 70944 67 0 0 25 0 1 0 512153099 83968000 19310 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20500 19310 231 231 0 20269 0
vsize: 82000
[startup+719.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20051 0 0 0 71944 68 0 0 25 0 1 0 512153099 83968000 19318 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20500 19318 231 231 0 20269 0
vsize: 82000
[startup+729.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20086 0 0 0 72944 68 0 0 25 0 1 0 512153099 84156416 19353 4294967295 134512640 135450300 3221224640 3221223168 134544107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20546 19353 231 231 0 20315 0
vsize: 82184
[startup+739.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20105 0 0 0 73944 68 0 0 25 0 1 0 512153099 84303872 19372 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20582 19372 231 231 0 20351 0
vsize: 82328
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20139 0 0 0 74944 68 0 0 25 0 1 0 512153099 84303872 19406 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20582 19406 231 231 0 20351 0
vsize: 82328
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20154 0 0 0 75944 68 0 0 25 0 1 0 512153099 84467712 19421 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20622 19421 231 231 0 20391 0
vsize: 82488
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20169 0 0 0 76944 69 0 0 25 0 1 0 512153099 84467712 19436 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20622 19436 231 231 0 20391 0
vsize: 82488
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20378 0 0 0 77943 69 0 0 25 0 1 0 512153099 84611072 19645 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20657 19645 231 231 0 20426 0
vsize: 82628
[startup+789.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20432 0 0 0 78943 69 0 0 25 0 1 0 512153099 84938752 19699 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20737 19699 231 231 0 20506 0
vsize: 82948
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20459 0 0 0 79943 70 0 0 25 0 1 0 512153099 84938752 19726 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20737 19726 231 231 0 20506 0
vsize: 82948
[startup+810 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20481 0 0 0 80943 70 0 0 25 0 1 0 512153099 84938752 19748 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20737 19748 231 231 0 20506 0
vsize: 82948
[startup+820 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20500 0 0 0 81943 70 0 0 25 0 1 0 512153099 85237760 19767 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20810 19767 231 231 0 20579 0
vsize: 83240
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20515 0 0 0 82943 71 0 0 25 0 1 0 512153099 85237760 19782 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20810 19782 231 231 0 20579 0
vsize: 83240
[startup+840.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20524 0 0 0 83943 71 0 0 25 0 1 0 512153099 85237760 19791 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20810 19791 231 231 0 20579 0
vsize: 83240
[startup+850.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20550 0 0 0 84942 71 0 0 25 0 1 0 512153099 85237760 19817 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20810 19817 231 231 0 20579 0
vsize: 83240
[startup+860.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20562 0 0 0 85942 72 0 0 25 0 1 0 512153099 85237760 19829 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20810 19829 231 231 0 20579 0
vsize: 83240
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20571 0 0 0 86943 72 0 0 25 0 1 0 512153099 85442560 19838 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20860 19838 231 231 0 20629 0
vsize: 83440
[startup+880.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20587 0 0 0 87942 72 0 0 25 0 1 0 512153099 85442560 19854 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20860 19854 231 231 0 20629 0
vsize: 83440
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20604 0 0 0 88943 72 0 0 25 0 1 0 512153099 85442560 19871 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20860 19871 231 231 0 20629 0
vsize: 83440
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20624 0 0 0 89943 72 0 0 25 0 1 0 512153099 85442560 19891 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20860 19891 231 231 0 20629 0
vsize: 83440
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20639 0 0 0 90943 72 0 0 25 0 1 0 512153099 85442560 19906 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20860 19906 231 231 0 20629 0
vsize: 83440
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20655 0 0 0 91943 73 0 0 25 0 1 0 512153099 85590016 19922 4294967295 134512640 135450300 3221224640 3221223360 134535989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 19922 231 231 0 20665 0
vsize: 83584
[startup+930.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20667 0 0 0 92943 73 0 0 25 0 1 0 512153099 85590016 19934 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 19934 231 231 0 20665 0
vsize: 83584
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20687 0 0 0 93943 73 0 0 25 0 1 0 512153099 85737472 19954 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20932 19954 231 231 0 20701 0
vsize: 83728
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20704 0 0 0 94943 73 0 0 25 0 1 0 512153099 85737472 19971 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20932 19971 231 231 0 20701 0
vsize: 83728
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20725 0 0 0 95942 74 0 0 25 0 1 0 512153099 85737472 19992 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20932 19992 231 231 0 20701 0
vsize: 83728
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20739 0 0 0 96943 74 0 0 25 0 1 0 512153099 85884928 20006 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20968 20006 231 231 0 20737 0
vsize: 83872
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20761 0 0 0 97942 74 0 0 25 0 1 0 512153099 86040576 20028 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21006 20028 231 231 0 20775 0
vsize: 84024
[startup+990.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20779 0 0 0 98942 74 0 0 25 0 1 0 512153099 86040576 20046 4294967295 134512640 135450300 3221224640 3221223024 134579356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21006 20046 231 231 0 20775 0
vsize: 84024
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20787 0 0 0 99942 75 0 0 25 0 1 0 512153099 86040576 20054 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21006 20054 231 231 0 20775 0
vsize: 84024
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20802 0 0 0 100942 75 0 0 25 0 1 0 512153099 86040576 20069 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21006 20069 231 231 0 20775 0
vsize: 84024
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20815 0 0 0 101942 75 0 0 25 0 1 0 512153099 86040576 20082 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21006 20082 231 231 0 20775 0
vsize: 84024
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20846 0 0 0 102942 76 0 0 25 0 1 0 512153099 86204416 20113 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21046 20113 231 231 0 20815 0
vsize: 84184
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20870 0 0 0 103942 76 0 0 25 0 1 0 512153099 86368256 20137 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21086 20137 231 231 0 20855 0
vsize: 84344
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20889 0 0 0 104942 76 0 0 25 0 1 0 512153099 86528000 20156 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21125 20156 231 231 0 20894 0
vsize: 84500
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20897 0 0 0 105942 76 0 0 25 0 1 0 512153099 86528000 20164 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21125 20164 231 231 0 20894 0
vsize: 84500
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20922 0 0 0 106942 77 0 0 25 0 1 0 512153099 86528000 20189 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21125 20189 231 231 0 20894 0
vsize: 84500
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20936 0 0 0 107942 77 0 0 25 0 1 0 512153099 86528000 20203 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21125 20203 231 231 0 20894 0
vsize: 84500
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20955 0 0 0 108942 77 0 0 25 0 1 0 512153099 86528000 20222 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21125 20222 231 231 0 20894 0
vsize: 84500
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20978 0 0 0 109942 77 0 0 25 0 1 0 512153099 86691840 20245 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21165 20245 231 231 0 20934 0
vsize: 84660
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 20993 0 0 0 110941 78 0 0 25 0 1 0 512153099 86831104 20260 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21199 20260 231 231 0 20968 0
vsize: 84796
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21002 0 0 0 111941 78 0 0 25 0 1 0 512153099 86831104 20269 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21199 20269 231 231 0 20968 0
vsize: 84796
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21018 0 0 0 112941 78 0 0 25 0 1 0 512153099 86831104 20285 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21199 20285 231 231 0 20968 0
vsize: 84796
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21048 0 0 0 113941 78 0 0 25 0 1 0 512153099 86994944 20315 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21239 20315 231 231 0 21008 0
vsize: 84956
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21053 0 0 0 114941 78 0 0 25 0 1 0 512153099 86994944 20320 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21239 20320 231 231 0 21008 0
vsize: 84956
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21071 0 0 0 115941 78 0 0 25 0 1 0 512153099 86994944 20338 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21239 20338 231 231 0 21008 0
vsize: 84956
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21075 0 0 0 116941 79 0 0 25 0 1 0 512153099 86994944 20342 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21239 20342 231 231 0 21008 0
vsize: 84956
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21087 0 0 0 117941 79 0 0 25 0 1 0 512153099 87142400 20354 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20354 231 231 0 21044 0
vsize: 85100
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21864 0 0 0 118940 80 0 0 25 0 1 0 512153099 90288128 20362 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22043 20362 231 231 0 21812 0
vsize: 88172
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7225
Raw data (stat): 7221 (PBS4) R 7220 10614 10613 0 -1 0 21875 0 0 0 119940 81 0 0 25 0 1 0 512153099 90288128 20373 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22043 20373 231 231 0 21812 0
vsize: 88172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7225
Raw data (stat): 7221 (PBS4) Z 7220 10614 10613 0 -1 1036 21875 0 0 0 119940 84 0 0 25 0 1 0 512153099 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.04
CPU time (s): 1200.25
CPU user time (s): 1199.4
CPU system time (s): 0.84887
CPU usage (%): 100.017
Max. virtual memory (Kb): 88172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####