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-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2000
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	2000
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	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
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	3
Trace number 7703

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-17 15:58:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1140 boxname=wulflinc13 idbench=127 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc13/normalized-f1000.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc13/normalized-f1000.opb
IDLAUNCH: 1140
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        861032 kB
Buffers:         36544 kB
Cached:         115656 kB
SwapCached:        392 kB
Active:          65736 kB
Inactive:        89728 kB
HighTotal:      131008 kB
HighFree:        11340 kB
LowTotal:       903652 kB
LowFree:        849692 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            12532 kB
Committed_AS:    63468 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:18:16 (client local time) WITH STATUS 0 IN 1200.52 SECONDS
stats: 1140 7 1200.52 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc13/normalized-f1000.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.73 0.91 0.72 2/54 23487
Raw data (stat): 23487 (runsolver) R 23486 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453557798 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0003 s]
Raw data (loadavg): 0.77 0.91 0.72 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 456 0 0 0 998 1 0 0 25 0 1 0 453557798 2543616 448 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 621 448 231 231 0 390 0
vsize: 2484
[startup+20.0006 s]
Raw data (loadavg): 0.81 0.91 0.72 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 579 0 0 0 1996 2 0 0 25 0 1 0 453557798 3203072 571 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 782 571 231 231 0 551 0
vsize: 3128
[startup+30.0005 s]
Raw data (loadavg): 0.84 0.92 0.72 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 680 0 0 0 2995 3 0 0 25 0 1 0 453557798 4251648 672 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1038 672 231 231 0 807 0
vsize: 4152
[startup+40.0012 s]
Raw data (loadavg): 0.86 0.92 0.73 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 830 0 0 0 3995 4 0 0 25 0 1 0 453557798 4579328 773 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1118 773 231 231 0 887 0
vsize: 4472
[startup+50.0015 s]
Raw data (loadavg): 0.88 0.92 0.73 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 919 0 0 0 4994 5 0 0 25 0 1 0 453557798 4714496 862 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1151 862 231 231 0 920 0
vsize: 4604
[startup+60.0014 s]
Raw data (loadavg): 0.90 0.92 0.73 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 999 0 0 0 5992 7 0 0 25 0 1 0 453557798 4849664 942 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1184 942 231 231 0 953 0
vsize: 4736
[startup+70.0021 s]
Raw data (loadavg): 0.91 0.92 0.73 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1070 0 0 0 6991 8 0 0 25 0 1 0 453557798 6946816 1013 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1696 1013 231 231 0 1465 0
vsize: 6784
[startup+80.0014 s]
Raw data (loadavg): 0.93 0.93 0.74 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1135 0 0 0 7990 10 0 0 25 0 1 0 453557798 7094272 1078 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 1078 231 231 0 1501 0
vsize: 6928
[startup+90.0014 s]
Raw data (loadavg): 0.94 0.93 0.74 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1148 0 0 0 8989 11 0 0 25 0 1 0 453557798 7094272 1091 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 1091 231 231 0 1501 0
vsize: 6928
[startup+100.001 s]
Raw data (loadavg): 0.95 0.93 0.74 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1166 0 0 0 9987 13 0 0 25 0 1 0 453557798 7094272 1109 4294967295 134512640 135450300 3221224640 3221223472 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 1109 231 231 0 1501 0
vsize: 6928
[startup+110.001 s]
Raw data (loadavg): 0.95 0.93 0.74 2/54 23487
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1187 0 0 0 10986 14 0 0 25 0 1 0 453557798 7217152 1130 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1130 231 231 0 1531 0
vsize: 7048
[startup+120.194 s]
Raw data (loadavg): 1.04 0.95 0.75 2/56 23527
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1200 0 0 0 12003 17 0 0 25 0 1 0 453557798 7217152 1143 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1143 231 231 0 1531 0
vsize: 7048
[startup+130.196 s]
Raw data (loadavg): 1.03 0.95 0.75 2/58 23530
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1312 0 0 0 13002 18 0 0 25 0 1 0 453557798 7610368 1158 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1858 1158 231 231 0 1627 0
vsize: 7432
[startup+140.295 s]
Raw data (loadavg): 1.26 1.00 0.77 4/59 23539
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1326 0 0 0 14011 19 0 0 25 0 1 0 453557798 7741440 1172 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 1172 231 231 0 1659 0
vsize: 7560
[startup+150.295 s]
Raw data (loadavg): 1.30 1.02 0.78 2/54 23540
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1346 0 0 0 15009 21 0 0 25 0 1 0 453557798 7741440 1192 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1890 1192 231 231 0 1659 0
vsize: 7560
[startup+160.294 s]
Raw data (loadavg): 1.25 1.02 0.78 2/54 23540
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1359 0 0 0 16008 22 0 0 25 0 1 0 453557798 7876608 1205 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1205 231 231 0 1692 0
vsize: 7692
[startup+170.295 s]
Raw data (loadavg): 1.21 1.02 0.78 2/54 23540
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1374 0 0 0 17008 23 0 0 25 0 1 0 453557798 7876608 1220 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1220 231 231 0 1692 0
vsize: 7692
[startup+180.294 s]
Raw data (loadavg): 1.18 1.01 0.78 2/54 23540
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1386 0 0 0 18006 25 0 0 25 0 1 0 453557798 7876608 1232 4294967295 134512640 135450300 3221224640 3221222992 134533246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1232 231 231 0 1692 0
vsize: 7692
[startup+190.294 s]
Raw data (loadavg): 1.15 1.01 0.78 2/54 23540
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1399 0 0 0 19005 26 0 0 25 0 1 0 453557798 7876608 1245 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1923 1245 231 231 0 1692 0
vsize: 7692
[startup+200.294 s]
Raw data (loadavg): 1.13 1.01 0.79 2/54 23540
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1439 0 0 0 20003 28 0 0 25 0 1 0 453557798 8011776 1285 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1956 1285 231 231 0 1725 0
vsize: 7824
[startup+210.295 s]
Raw data (loadavg): 1.11 1.01 0.79 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1452 0 0 0 21002 30 0 0 25 0 1 0 453557798 8011776 1298 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1956 1298 231 231 0 1725 0
vsize: 7824
[startup+220.296 s]
Raw data (loadavg): 1.09 1.01 0.79 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1462 0 0 0 22000 31 0 0 25 0 1 0 453557798 8011776 1308 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1956 1308 231 231 0 1725 0
vsize: 7824
[startup+230.296 s]
Raw data (loadavg): 1.08 1.01 0.79 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1519 0 0 0 22999 33 0 0 25 0 1 0 453557798 8011776 1365 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1956 1365 231 231 0 1725 0
vsize: 7824
[startup+240.296 s]
Raw data (loadavg): 1.06 1.01 0.79 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1581 0 0 0 23997 35 0 0 25 0 1 0 453557798 8130560 1427 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1985 1427 231 231 0 1754 0
vsize: 7940
[startup+250.295 s]
Raw data (loadavg): 1.05 1.01 0.80 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1599 0 0 0 24996 36 0 0 25 0 1 0 453557798 8130560 1445 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1985 1445 231 231 0 1754 0
vsize: 7940
[startup+260.296 s]
Raw data (loadavg): 1.04 1.01 0.80 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1612 0 0 0 25995 37 0 0 25 0 1 0 453557798 8130560 1458 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1985 1458 231 231 0 1754 0
vsize: 7940
[startup+270.296 s]
Raw data (loadavg): 1.04 1.01 0.80 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1649 0 0 0 26995 38 0 0 25 0 1 0 453557798 8265728 1495 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2018 1495 231 231 0 1787 0
vsize: 8072
[startup+280.295 s]
Raw data (loadavg): 1.03 1.00 0.80 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1707 0 0 0 27994 39 0 0 25 0 1 0 453557798 8265728 1553 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2018 1553 231 231 0 1787 0
vsize: 8072
[startup+290.296 s]
Raw data (loadavg): 1.03 1.00 0.80 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1733 0 0 0 28992 41 0 0 25 0 1 0 453557798 8265728 1579 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2018 1579 231 231 0 1787 0
vsize: 8072
[startup+300.296 s]
Raw data (loadavg): 1.02 1.00 0.81 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1754 0 0 0 29991 42 0 0 25 0 1 0 453557798 8400896 1600 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2051 1600 231 231 0 1820 0
vsize: 8204
[startup+310.296 s]
Raw data (loadavg): 1.02 1.00 0.81 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 1797 0 0 0 30990 43 0 0 25 0 1 0 453557798 8400896 1643 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2051 1643 231 231 0 1820 0
vsize: 8204
[startup+320.296 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2046 0 0 0 31988 45 0 0 25 0 1 0 453557798 9187328 1699 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 1699 231 231 0 2012 0
vsize: 8972
[startup+330.296 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2081 0 0 0 32987 46 0 0 25 0 1 0 453557798 9187328 1734 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2243 1734 231 231 0 2012 0
vsize: 8972
[startup+340.296 s]
Raw data (loadavg): 1.01 1.00 0.81 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2096 0 0 0 33986 47 0 0 25 0 1 0 453557798 9355264 1749 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2284 1749 231 231 0 2053 0
vsize: 9136
[startup+350.296 s]
Raw data (loadavg): 1.01 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2118 0 0 0 34985 49 0 0 25 0 1 0 453557798 9355264 1771 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2284 1771 231 231 0 2053 0
vsize: 9136
[startup+360.297 s]
Raw data (loadavg): 1.01 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2178 0 0 0 35984 50 0 0 25 0 1 0 453557798 9355264 1831 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2284 1831 231 231 0 2053 0
vsize: 9136
[startup+370.296 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2228 0 0 0 36983 51 0 0 25 0 1 0 453557798 9515008 1881 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2323 1881 231 231 0 2092 0
vsize: 9292
[startup+380.296 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2238 0 0 0 37982 52 0 0 25 0 1 0 453557798 9515008 1891 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2323 1891 231 231 0 2092 0
vsize: 9292
[startup+390.296 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2250 0 0 0 38981 53 0 0 25 0 1 0 453557798 9515008 1903 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2323 1903 231 231 0 2092 0
vsize: 9292
[startup+400.296 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2277 0 0 0 39980 55 0 0 25 0 1 0 453557798 9515008 1930 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2323 1930 231 231 0 2092 0
vsize: 9292
[startup+410.297 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2344 0 0 0 40979 56 0 0 25 0 1 0 453557798 9650176 1997 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2356 1997 231 231 0 2125 0
vsize: 9424
[startup+420.296 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2358 0 0 0 41979 57 0 0 25 0 1 0 453557798 9650176 2011 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2356 2011 231 231 0 2125 0
vsize: 9424
[startup+430.296 s]
Raw data (loadavg): 1.00 1.00 0.82 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2372 0 0 0 42977 58 0 0 25 0 1 0 453557798 9650176 2025 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2356 2025 231 231 0 2125 0
vsize: 9424
[startup+440.296 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2407 0 0 0 43976 60 0 0 25 0 1 0 453557798 9650176 2060 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2356 2060 231 231 0 2125 0
vsize: 9424
[startup+450.296 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23542
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2468 0 0 0 44974 62 0 0 25 0 1 0 453557798 13991936 2121 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2121 231 231 0 3185 0
vsize: 13664
[startup+460.297 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2501 0 0 0 45973 63 0 0 25 0 1 0 453557798 13991936 2154 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2154 231 231 0 3185 0
vsize: 13664
[startup+470.298 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2513 0 0 0 46972 64 0 0 25 0 1 0 453557798 13991936 2166 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2166 231 231 0 3185 0
vsize: 13664
[startup+480.297 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2528 0 0 0 47970 66 0 0 25 0 1 0 453557798 13991936 2181 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2181 231 231 0 3185 0
vsize: 13664
[startup+490.298 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2556 0 0 0 48970 67 0 0 25 0 1 0 453557798 13991936 2209 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3416 2209 231 231 0 3185 0
vsize: 13664
[startup+500.298 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2608 0 0 0 49969 68 0 0 25 0 1 0 453557798 14159872 2261 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2261 231 231 0 3226 0
vsize: 13828
[startup+510.298 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2620 0 0 0 50968 69 0 0 25 0 1 0 453557798 14159872 2273 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2273 231 231 0 3226 0
vsize: 13828
[startup+520.298 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2634 0 0 0 51967 70 0 0 25 0 1 0 453557798 14159872 2287 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2287 231 231 0 3226 0
vsize: 13828
[startup+530.298 s]
Raw data (loadavg): 1.00 1.00 0.83 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2673 0 0 0 52966 72 0 0 25 0 1 0 453557798 14159872 2326 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2326 231 231 0 3226 0
vsize: 13828
[startup+540.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2733 0 0 0 53964 73 0 0 25 0 1 0 453557798 14295040 2386 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2386 231 231 0 3259 0
vsize: 13960
[startup+550.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2761 0 0 0 54963 75 0 0 25 0 1 0 453557798 14295040 2414 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2414 231 231 0 3259 0
vsize: 13960
[startup+560.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2776 0 0 0 55961 77 0 0 25 0 1 0 453557798 14295040 2429 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2429 231 231 0 3259 0
vsize: 13960
[startup+570.299 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2790 0 0 0 56960 78 0 0 25 0 1 0 453557798 14426112 2443 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2443 231 231 0 3291 0
vsize: 14088
[startup+580.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2829 0 0 0 57960 79 0 0 25 0 1 0 453557798 14426112 2482 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2482 231 231 0 3291 0
vsize: 14088
[startup+590.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2880 0 0 0 58959 80 0 0 25 0 1 0 453557798 14426112 2533 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2533 231 231 0 3291 0
vsize: 14088
[startup+600.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2890 0 0 0 59957 81 0 0 25 0 1 0 453557798 14573568 2543 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3558 2543 231 231 0 3327 0
vsize: 14232
[startup+610.299 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2903 0 0 0 60957 82 0 0 25 0 1 0 453557798 14573568 2556 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3558 2556 231 231 0 3327 0
vsize: 14232
[startup+620.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2927 0 0 0 61957 82 0 0 25 0 1 0 453557798 14573568 2580 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3558 2580 231 231 0 3327 0
vsize: 14232
[startup+630.298 s]
Raw data (loadavg): 1.00 1.00 0.84 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 2981 0 0 0 62955 84 0 0 25 0 1 0 453557798 14573568 2634 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3558 2634 231 231 0 3327 0
vsize: 14232
[startup+640.298 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3015 0 0 0 63954 86 0 0 25 0 1 0 453557798 14573568 2668 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3558 2668 231 231 0 3327 0
vsize: 14232
[startup+650.298 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3027 0 0 0 64953 87 0 0 25 0 1 0 453557798 14704640 2680 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2680 231 231 0 3359 0
vsize: 14360
[startup+660.299 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3042 0 0 0 65952 88 0 0 25 0 1 0 453557798 14704640 2695 4294967295 134512640 135450300 3221224640 3221223504 134539263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3590 2695 231 231 0 3359 0
vsize: 14360
[startup+670.298 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3084 0 0 0 66951 89 0 0 25 0 1 0 453557798 14823424 2737 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2737 231 231 0 3388 0
vsize: 14476
[startup+680.298 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3146 0 0 0 67949 91 0 0 25 0 1 0 453557798 14823424 2799 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2799 231 231 0 3388 0
vsize: 14476
[startup+690.299 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3159 0 0 0 68948 92 0 0 25 0 1 0 453557798 14823424 2812 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2812 231 231 0 3388 0
vsize: 14476
[startup+700.298 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3171 0 0 0 69947 93 0 0 25 0 1 0 453557798 14823424 2824 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2824 231 231 0 3388 0
vsize: 14476
[startup+710.299 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3190 0 0 0 70947 94 0 0 25 0 1 0 453557798 14950400 2843 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3650 2843 231 231 0 3419 0
vsize: 14600
[startup+720.3 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3246 0 0 0 71946 95 0 0 25 0 1 0 453557798 14950400 2899 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3650 2899 231 231 0 3419 0
vsize: 14600
[startup+730.299 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3281 0 0 0 72944 97 0 0 25 0 1 0 453557798 14950400 2934 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3650 2934 231 231 0 3419 0
vsize: 14600
[startup+740.299 s]
Raw data (loadavg): 1.00 1.00 0.85 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3680 0 0 0 73942 100 0 0 25 0 1 0 453557798 16642048 2948 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2948 231 231 0 3832 0
vsize: 16252
[startup+750.3 s]
Raw data (loadavg): 1.00 1.00 0.86 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3692 0 0 0 74941 101 0 0 25 0 1 0 453557798 16642048 2960 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 2960 231 231 0 3832 0
vsize: 16252
[startup+760.3 s]
Raw data (loadavg): 1.07 1.02 0.86 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3739 0 0 0 75939 103 0 0 25 0 1 0 453557798 16642048 3007 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 3007 231 231 0 3832 0
vsize: 16252
[startup+770.3 s]
Raw data (loadavg): 1.06 1.02 0.86 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3798 0 0 0 76938 104 0 0 25 0 1 0 453557798 16642048 3066 4294967295 134512640 135450300 3221224640 3221223376 134538912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 3066 231 231 0 3832 0
vsize: 16252
[startup+780.3 s]
Raw data (loadavg): 1.05 1.01 0.86 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3821 0 0 0 77937 105 0 0 25 0 1 0 453557798 16793600 3089 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4100 3089 231 231 0 3869 0
vsize: 16400
[startup+790.3 s]
Raw data (loadavg): 1.04 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3832 0 0 0 78937 106 0 0 25 0 1 0 453557798 16793600 3100 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4100 3100 231 231 0 3869 0
vsize: 16400
[startup+800.3 s]
Raw data (loadavg): 1.04 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3843 0 0 0 79936 107 0 0 25 0 1 0 453557798 16793600 3111 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4100 3111 231 231 0 3869 0
vsize: 16400
[startup+810.301 s]
Raw data (loadavg): 1.03 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3864 0 0 0 80935 108 0 0 25 0 1 0 453557798 16793600 3132 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4100 3132 231 231 0 3869 0
vsize: 16400
[startup+820.301 s]
Raw data (loadavg): 1.02 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3919 0 0 0 81933 110 0 0 25 0 1 0 453557798 16932864 3187 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3187 231 231 0 3903 0
vsize: 16536
[startup+830.301 s]
Raw data (loadavg): 1.02 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3935 0 0 0 82931 111 0 0 25 0 1 0 453557798 16932864 3203 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3203 231 231 0 3903 0
vsize: 16536
[startup+840.302 s]
Raw data (loadavg): 1.02 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3948 0 0 0 83930 113 0 0 25 0 1 0 453557798 16932864 3216 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4134 3216 231 231 0 3903 0
vsize: 16536
[startup+850.302 s]
Raw data (loadavg): 1.01 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 3979 0 0 0 84928 115 0 0 25 0 1 0 453557798 17088512 3247 4294967295 134512640 135450300 3221224640 3221223376 134538490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3247 231 231 0 3941 0
vsize: 16688
[startup+860.303 s]
Raw data (loadavg): 1.01 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4035 0 0 0 85927 116 0 0 25 0 1 0 453557798 17088512 3303 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3303 231 231 0 3941 0
vsize: 16688
[startup+870.302 s]
Raw data (loadavg): 1.01 1.01 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4080 0 0 0 86926 117 0 0 25 0 1 0 453557798 17088512 3348 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3348 231 231 0 3941 0
vsize: 16688
[startup+880.302 s]
Raw data (loadavg): 1.01 1.00 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4091 0 0 0 87925 119 0 0 25 0 1 0 453557798 17088512 3359 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3359 231 231 0 3941 0
vsize: 16688
[startup+890.303 s]
Raw data (loadavg): 1.01 1.00 0.87 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4101 0 0 0 88925 119 0 0 25 0 1 0 453557798 17088512 3369 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3369 231 231 0 3941 0
vsize: 16688
[startup+900.302 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4112 0 0 0 89923 121 0 0 25 0 1 0 453557798 17088512 3380 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3380 231 231 0 3941 0
vsize: 16688
[startup+910.303 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4146 0 0 0 90921 123 0 0 25 0 1 0 453557798 17227776 3414 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4206 3414 231 231 0 3975 0
vsize: 16824
[startup+920.302 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4185 0 0 0 91920 125 0 0 25 0 1 0 453557798 17227776 3453 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4206 3453 231 231 0 3975 0
vsize: 16824
[startup+930.302 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4199 0 0 0 92918 127 0 0 25 0 1 0 453557798 17362944 3467 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3467 231 231 0 4008 0
vsize: 16956
[startup+940.303 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4210 0 0 0 93917 128 0 0 25 0 1 0 453557798 17362944 3478 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3478 231 231 0 4008 0
vsize: 16956
[startup+950.303 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4231 0 0 0 94916 129 0 0 25 0 1 0 453557798 17362944 3499 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3499 231 231 0 4008 0
vsize: 16956
[startup+960.303 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4287 0 0 0 95914 131 0 0 25 0 1 0 453557798 17362944 3555 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3555 231 231 0 4008 0
vsize: 16956
[startup+970.303 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4313 0 0 0 96913 132 0 0 25 0 1 0 453557798 17362944 3581 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3581 231 231 0 4008 0
vsize: 16956
[startup+980.302 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4325 0 0 0 97913 133 0 0 25 0 1 0 453557798 17362944 3593 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3593 231 231 0 4008 0
vsize: 16956
[startup+990.302 s]
Raw data (loadavg): 1.00 1.00 0.88 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4337 0 0 0 98912 134 0 0 25 0 1 0 453557798 17362944 3605 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4239 3605 231 231 0 4008 0
vsize: 16956
[startup+1000.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4366 0 0 0 99910 135 0 0 25 0 1 0 453557798 17575936 3634 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3634 231 231 0 4060 0
vsize: 17164
[startup+1010.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4423 0 0 0 100909 137 0 0 25 0 1 0 453557798 17575936 3691 4294967295 134512640 135450300 3221224640 3221223476 134538064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3691 231 231 0 4060 0
vsize: 17164
[startup+1020.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4456 0 0 0 101908 139 0 0 25 0 1 0 453557798 17711104 3724 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3724 231 231 0 4093 0
vsize: 17296
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4466 0 0 0 102906 140 0 0 25 0 1 0 453557798 17711104 3734 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3734 231 231 0 4093 0
vsize: 17296
[startup+1040.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4480 0 0 0 103906 141 0 0 25 0 1 0 453557798 17711104 3748 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3748 231 231 0 4093 0
vsize: 17296
[startup+1050.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4517 0 0 0 104904 142 0 0 25 0 1 0 453557798 17711104 3785 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3785 231 231 0 4093 0
vsize: 17296
[startup+1060.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4568 0 0 0 105903 144 0 0 25 0 1 0 453557798 17711104 3836 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3836 231 231 0 4093 0
vsize: 17296
[startup+1070.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4589 0 0 0 106901 146 0 0 25 0 1 0 453557798 17846272 3857 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 3857 231 231 0 4126 0
vsize: 17428
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4603 0 0 0 107900 147 0 0 25 0 1 0 453557798 17846272 3871 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 3871 231 231 0 4126 0
vsize: 17428
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.89 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4616 0 0 0 108899 148 0 0 25 0 1 0 453557798 17969152 3884 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3884 231 231 0 4156 0
vsize: 17548
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4651 0 0 0 109898 150 0 0 25 0 1 0 453557798 17969152 3919 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3919 231 231 0 4156 0
vsize: 17548
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4711 0 0 0 110898 150 0 0 25 0 1 0 453557798 17969152 3979 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3979 231 231 0 4156 0
vsize: 17548
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4727 0 0 0 111897 152 0 0 25 0 1 0 453557798 17969152 3995 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 3995 231 231 0 4156 0
vsize: 17548
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4739 0 0 0 112896 153 0 0 25 0 1 0 453557798 17969152 4007 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 4007 231 231 0 4156 0
vsize: 17548
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4750 0 0 0 113894 154 0 0 25 0 1 0 453557798 17969152 4018 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 4018 231 231 0 4156 0
vsize: 17548
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4760 0 0 0 114893 155 0 0 25 0 1 0 453557798 17969152 4028 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4387 4028 231 231 0 4156 0
vsize: 17548
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4813 0 0 0 115892 157 0 0 25 0 1 0 453557798 26484736 4081 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6466 4081 231 231 0 6235 0
vsize: 25864
[startup+1170.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4826 0 0 0 116891 158 0 0 25 0 1 0 453557798 26619904 4094 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6499 4094 231 231 0 6268 0
vsize: 25996
[startup+1180.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4843 0 0 0 117890 159 0 0 25 0 1 0 453557798 26619904 4111 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6499 4111 231 231 0 6268 0
vsize: 25996
[startup+1190.3 s]
Raw data (loadavg): 1.00 1.00 0.90 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4854 0 0 0 118889 160 0 0 25 0 1 0 453557798 26619904 4122 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6499 4122 231 231 0 6268 0
vsize: 25996
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 23544
Raw data (stat): 23487 (PBS4) R 23486 30701 30700 0 -1 0 4899 0 0 0 119888 162 0 0 25 0 1 0 453557798 26619904 4167 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6499 4167 231 231 0 6268 0
vsize: 25996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 23544
Raw data (stat): 23487 (PBS4) Z 23486 30701 30700 0 -1 1036 4899 0 0 0 119888 162 0 0 25 0 1 0 453557798 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.31
CPU time (s): 1200.52
CPU user time (s): 1198.89
CPU system time (s): 1.62975
CPU usage (%): 100.017
Max. virtual memory (Kb): 25996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####