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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.18
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 18070

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-21 13:20:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18635 boxname=wulflinc6 idbench=1434 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 18635
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        761776 kB
Buffers:         28936 kB
Cached:         222996 kB
SwapCached:        552 kB
Active:          36780 kB
Inactive:       217188 kB
HighTotal:      131008 kB
HighFree:        36204 kB
LowTotal:       903652 kB
LowFree:        725572 kB
SwapTotal:     2097136 kB
SwapFree:      2095720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            13284 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 13:40:56 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 18635 7 1200.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-mod010.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.92 0.96 0.92 2/54 16645
Raw data (stat): 16645 (runsolver) R 16644 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487173808 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 464 0 0 0 996 3 0 0 25 0 1 0 487173808 2555904 460 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 624 460 231 231 0 393 0
vsize: 2496
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 516 0 0 0 1995 4 0 0 25 0 1 0 487173808 2953216 512 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 721 512 231 231 0 490 0
vsize: 2884
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 601 0 0 0 2994 5 0 0 25 0 1 0 487173808 3112960 597 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 760 597 231 231 0 529 0
vsize: 3040
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 738 0 0 0 3993 7 0 0 25 0 1 0 487173808 3637248 734 4294967295 134512640 135450300 3221224640 3221223456 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 888 734 231 231 0 657 0
vsize: 3552
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 754 0 0 0 4992 8 0 0 25 0 1 0 487173808 3772416 750 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 921 750 231 231 0 690 0
vsize: 3684
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 768 0 0 0 5991 10 0 0 25 0 1 0 487173808 3772416 764 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 921 764 231 231 0 690 0
vsize: 3684
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 824 0 0 0 6990 11 0 0 25 0 1 0 487173808 4820992 820 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1177 820 231 231 0 946 0
vsize: 4708
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 912 0 0 0 7989 13 0 0 25 0 1 0 487173808 4952064 908 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1209 908 231 231 0 978 0
vsize: 4836
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 970 0 0 0 8988 14 0 0 25 0 1 0 487173808 5087232 966 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1242 966 231 231 0 1011 0
vsize: 4968
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1017 0 0 0 9987 15 0 0 25 0 1 0 487173808 5087232 1013 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1242 1013 231 231 0 1011 0
vsize: 4968
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1054 0 0 0 10987 15 0 0 25 0 1 0 487173808 5218304 1050 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1274 1050 231 231 0 1043 0
vsize: 5096
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1140 0 0 0 11987 16 0 0 25 0 1 0 487173808 7315456 1136 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1786 1136 231 231 0 1555 0
vsize: 7144
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1184 0 0 0 12987 17 0 0 25 0 1 0 487173808 7446528 1180 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1818 1180 231 231 0 1587 0
vsize: 7272
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1215 0 0 0 13986 18 0 0 25 0 1 0 487173808 7446528 1211 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1818 1211 231 231 0 1587 0
vsize: 7272
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1265 0 0 0 14986 18 0 0 25 0 1 0 487173808 7577600 1261 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1850 1261 231 231 0 1619 0
vsize: 7400
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1311 0 0 0 15985 20 0 0 25 0 1 0 487173808 7708672 1307 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 1307 231 231 0 1651 0
vsize: 7528
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1365 0 0 0 16985 20 0 0 25 0 1 0 487173808 7708672 1361 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 1361 231 231 0 1651 0
vsize: 7528
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1399 0 0 0 17984 21 0 0 25 0 1 0 487173808 7708672 1395 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 1395 231 231 0 1651 0
vsize: 7528
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1435 0 0 0 18984 22 0 0 25 0 1 0 487173808 7843840 1431 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 1431 231 231 0 1684 0
vsize: 7660
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1529 0 0 0 19983 23 0 0 25 0 1 0 487173808 7843840 1525 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 1525 231 231 0 1684 0
vsize: 7660
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1554 0 0 0 20982 25 0 0 25 0 1 0 487173808 7974912 1550 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1550 231 231 0 1716 0
vsize: 7788
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1580 0 0 0 21981 25 0 0 25 0 1 0 487173808 7974912 1576 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1576 231 231 0 1716 0
vsize: 7788
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1600 0 0 0 22981 26 0 0 25 0 1 0 487173808 7974912 1596 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1596 231 231 0 1716 0
vsize: 7788
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1689 0 0 0 23980 27 0 0 25 0 1 0 487173808 8175616 1685 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1996 1685 231 231 0 1765 0
vsize: 7984
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1704 0 0 0 24980 28 0 0 25 0 1 0 487173808 8175616 1700 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1996 1700 231 231 0 1765 0
vsize: 7984
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1727 0 0 0 25980 28 0 0 25 0 1 0 487173808 8175616 1723 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1996 1723 231 231 0 1765 0
vsize: 7984
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1753 0 0 0 26979 29 0 0 25 0 1 0 487173808 8310784 1749 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1749 231 231 0 1798 0
vsize: 8116
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1788 0 0 0 27979 30 0 0 25 0 1 0 487173808 8310784 1784 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1784 231 231 0 1798 0
vsize: 8116
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1824 0 0 0 28978 31 0 0 25 0 1 0 487173808 8310784 1820 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1820 231 231 0 1798 0
vsize: 8116
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1856 0 0 0 29978 32 0 0 25 0 1 0 487173808 8310784 1852 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1852 231 231 0 1798 0
vsize: 8116
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1887 0 0 0 30977 33 0 0 25 0 1 0 487173808 12505088 1883 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3053 1883 231 231 0 2822 0
vsize: 12212
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1950 0 0 0 31976 34 0 0 25 0 1 0 487173808 12640256 1946 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3086 1946 231 231 0 2855 0
vsize: 12344
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 1990 0 0 0 32976 35 0 0 25 0 1 0 487173808 12640256 1986 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3086 1986 231 231 0 2855 0
vsize: 12344
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2053 0 0 0 33975 36 0 0 25 0 1 0 487173808 12640256 2049 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3086 2049 231 231 0 2855 0
vsize: 12344
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2089 0 0 0 34975 37 0 0 25 0 1 0 487173808 12775424 2085 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2085 231 231 0 2888 0
vsize: 12476
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2132 0 0 0 35974 38 0 0 25 0 1 0 487173808 12775424 2128 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2128 231 231 0 2888 0
vsize: 12476
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2165 0 0 0 36974 39 0 0 25 0 1 0 487173808 12775424 2161 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2161 231 231 0 2888 0
vsize: 12476
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2208 0 0 0 37973 40 0 0 25 0 1 0 487173808 12910592 2204 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2204 231 231 0 2921 0
vsize: 12608
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2235 0 0 0 38972 41 0 0 25 0 1 0 487173808 12910592 2231 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2231 231 231 0 2921 0
vsize: 12608
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2275 0 0 0 39972 42 0 0 25 0 1 0 487173808 12910592 2271 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2271 231 231 0 2921 0
vsize: 12608
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2366 0 0 0 40971 43 0 0 25 0 1 0 487173808 12910592 2362 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2362 231 231 0 2921 0
vsize: 12608
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2412 0 0 0 41970 44 0 0 25 0 1 0 487173808 13037568 2408 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2408 231 231 0 2952 0
vsize: 12732
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2457 0 0 0 42970 44 0 0 25 0 1 0 487173808 13037568 2453 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2453 231 231 0 2952 0
vsize: 12732
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2486 0 0 0 43969 46 0 0 25 0 1 0 487173808 13037568 2482 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2482 231 231 0 2952 0
vsize: 12732
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2512 0 0 0 44969 47 0 0 25 0 1 0 487173808 13037568 2508 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2508 231 231 0 2952 0
vsize: 12732
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2576 0 0 0 45968 47 0 0 25 0 1 0 487173808 13037568 2572 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2572 231 231 0 2952 0
vsize: 12732
[startup+470.02 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2623 0 0 0 46968 48 0 0 25 0 1 0 487173808 13037568 2619 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2619 231 231 0 2952 0
vsize: 12732
[startup+480.02 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2658 0 0 0 47967 49 0 0 25 0 1 0 487173808 13037568 2654 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2654 231 231 0 2952 0
vsize: 12732
[startup+490.021 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2698 0 0 0 48967 50 0 0 25 0 1 0 487173808 13172736 2694 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2694 231 231 0 2985 0
vsize: 12864
[startup+500.022 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2751 0 0 0 49966 51 0 0 25 0 1 0 487173808 13172736 2747 4294967295 134512640 135450300 3221224640 3221223248 134537651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2747 231 231 0 2985 0
vsize: 12864
[startup+510.022 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2832 0 0 0 50965 52 0 0 25 0 1 0 487173808 13369344 2779 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2779 231 231 0 3033 0
vsize: 13056
[startup+520.023 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2861 0 0 0 51965 53 0 0 25 0 1 0 487173808 13369344 2808 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2808 231 231 0 3033 0
vsize: 13056
[startup+530.023 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2897 0 0 0 52964 54 0 0 25 0 1 0 487173808 13369344 2844 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2844 231 231 0 3033 0
vsize: 13056
[startup+540.024 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 2942 0 0 0 53963 55 0 0 25 0 1 0 487173808 13369344 2889 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2889 231 231 0 3033 0
vsize: 13056
[startup+550.024 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3041 0 0 0 54964 56 0 0 25 0 1 0 487173808 13369344 2988 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2988 231 231 0 3033 0
vsize: 13056
[startup+560.025 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3093 0 0 0 55963 56 0 0 25 0 1 0 487173808 13369344 3040 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 3040 231 231 0 3033 0
vsize: 13056
[startup+570.025 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3122 0 0 0 56963 56 0 0 25 0 1 0 487173808 13504512 3069 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3069 231 231 0 3066 0
vsize: 13188
[startup+580.026 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3153 0 0 0 57963 57 0 0 25 0 1 0 487173808 13504512 3100 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3100 231 231 0 3066 0
vsize: 13188
[startup+590.026 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3161 0 0 0 58963 58 0 0 25 0 1 0 487173808 13504512 3108 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3108 231 231 0 3066 0
vsize: 13188
[startup+600.026 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3167 0 0 0 59962 58 0 0 25 0 1 0 487173808 13504512 3114 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3114 231 231 0 3066 0
vsize: 13188
[startup+610.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3177 0 0 0 60962 59 0 0 25 0 1 0 487173808 13639680 3124 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3124 231 231 0 3099 0
vsize: 13320
[startup+620.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3184 0 0 0 61962 60 0 0 25 0 1 0 487173808 13639680 3131 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3131 231 231 0 3099 0
vsize: 13320
[startup+630.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3193 0 0 0 62962 61 0 0 25 0 1 0 487173808 13639680 3140 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3140 231 231 0 3099 0
vsize: 13320
[startup+640.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3197 0 0 0 63961 62 0 0 25 0 1 0 487173808 13639680 3144 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3144 231 231 0 3099 0
vsize: 13320
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3202 0 0 0 64961 63 0 0 25 0 1 0 487173808 13639680 3149 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3149 231 231 0 3099 0
vsize: 13320
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3212 0 0 0 65960 64 0 0 25 0 1 0 487173808 13639680 3159 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3159 231 231 0 3099 0
vsize: 13320
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3217 0 0 0 66960 65 0 0 25 0 1 0 487173808 13774848 3164 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3164 231 231 0 3132 0
vsize: 13452
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3224 0 0 0 67960 65 0 0 25 0 1 0 487173808 13774848 3171 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3171 231 231 0 3132 0
vsize: 13452
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3231 0 0 0 68960 66 0 0 25 0 1 0 487173808 13774848 3178 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3178 231 231 0 3132 0
vsize: 13452
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3242 0 0 0 69960 66 0 0 25 0 1 0 487173808 13774848 3189 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3189 231 231 0 3132 0
vsize: 13452
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3250 0 0 0 70959 67 0 0 25 0 1 0 487173808 13774848 3197 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3197 231 231 0 3132 0
vsize: 13452
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3255 0 0 0 71959 68 0 0 25 0 1 0 487173808 13910016 3202 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 3202 231 231 0 3165 0
vsize: 13584
[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3264 0 0 0 72958 68 0 0 25 0 1 0 487173808 13910016 3211 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 3211 231 231 0 3165 0
vsize: 13584
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3273 0 0 0 73958 70 0 0 25 0 1 0 487173808 13910016 3220 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 3220 231 231 0 3165 0
vsize: 13584
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3279 0 0 0 74957 70 0 0 25 0 1 0 487173808 13910016 3226 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 3226 231 231 0 3165 0
vsize: 13584
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3284 0 0 0 75957 71 0 0 25 0 1 0 487173808 13910016 3231 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 3231 231 231 0 3165 0
vsize: 13584
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3294 0 0 0 76957 71 0 0 25 0 1 0 487173808 14045184 3241 4294967295 134512640 135450300 3221224640 3221223568 134539797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3241 231 231 0 3198 0
vsize: 13716
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3300 0 0 0 77957 72 0 0 25 0 1 0 487173808 14045184 3247 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3247 231 231 0 3198 0
vsize: 13716
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3309 0 0 0 78957 72 0 0 25 0 1 0 487173808 14045184 3256 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3256 231 231 0 3198 0
vsize: 13716
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3316 0 0 0 79956 73 0 0 25 0 1 0 487173808 14045184 3263 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3263 231 231 0 3198 0
vsize: 13716
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3323 0 0 0 80956 74 0 0 25 0 1 0 487173808 14045184 3270 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3270 231 231 0 3198 0
vsize: 13716
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3331 0 0 0 81955 75 0 0 25 0 1 0 487173808 14180352 3278 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 3278 231 231 0 3231 0
vsize: 13848
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3345 0 0 0 82955 76 0 0 25 0 1 0 487173808 14180352 3292 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 3292 231 231 0 3231 0
vsize: 13848
[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3355 0 0 0 83954 77 0 0 25 0 1 0 487173808 14180352 3302 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 3302 231 231 0 3231 0
vsize: 13848
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3363 0 0 0 84954 77 0 0 25 0 1 0 487173808 14315520 3310 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 3310 231 231 0 3264 0
vsize: 13980
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3368 0 0 0 85954 78 0 0 25 0 1 0 487173808 14315520 3315 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 3315 231 231 0 3264 0
vsize: 13980
[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3377 0 0 0 86953 79 0 0 25 0 1 0 487173808 14315520 3324 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 3324 231 231 0 3264 0
vsize: 13980
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3421 0 0 0 87953 80 0 0 25 0 1 0 487173808 22704128 3368 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 3368 231 231 0 5312 0
vsize: 22172
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3502 0 0 0 88952 81 0 0 25 0 1 0 487173808 22704128 3449 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 3449 231 231 0 5312 0
vsize: 22172
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3673 0 0 0 89952 81 0 0 25 0 1 0 487173808 22822912 3620 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3620 231 231 0 5341 0
vsize: 22288
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3751 0 0 0 90952 82 0 0 25 0 1 0 487173808 22822912 3698 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3698 231 231 0 5341 0
vsize: 22288
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3777 0 0 0 91951 83 0 0 25 0 1 0 487173808 22822912 3724 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3724 231 231 0 5341 0
vsize: 22288
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3805 0 0 0 92951 83 0 0 25 0 1 0 487173808 22822912 3752 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3752 231 231 0 5341 0
vsize: 22288
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3859 0 0 0 93950 84 0 0 25 0 1 0 487173808 22822912 3806 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3806 231 231 0 5341 0
vsize: 22288
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3900 0 0 0 94950 85 0 0 25 0 1 0 487173808 22822912 3847 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3847 231 231 0 5341 0
vsize: 22288
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 3947 0 0 0 95950 86 0 0 25 0 1 0 487173808 22822912 3894 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3894 231 231 0 5341 0
vsize: 22288
[startup+970.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4030 0 0 0 96950 86 0 0 25 0 1 0 487173808 22945792 3977 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 3977 231 231 0 5371 0
vsize: 22408
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4168 0 0 0 97950 87 0 0 25 0 1 0 487173808 22945792 4115 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 4115 231 231 0 5371 0
vsize: 22408
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4407 0 0 0 98948 88 0 0 25 0 1 0 487173808 23515136 4257 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4257 231 231 0 5510 0
vsize: 22964
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4455 0 0 0 99948 89 0 0 25 0 1 0 487173808 23515136 4305 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4305 231 231 0 5510 0
vsize: 22964
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4491 0 0 0 100947 90 0 0 25 0 1 0 487173808 23515136 4341 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4341 231 231 0 5510 0
vsize: 22964
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4640 0 0 0 101947 90 0 0 25 0 1 0 487173808 23515136 4490 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4490 231 231 0 5510 0
vsize: 22964
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4666 0 0 0 102946 92 0 0 25 0 1 0 487173808 23515136 4516 4294967295 134512640 135450300 3221224640 3221223360 134536011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4516 231 231 0 5510 0
vsize: 22964
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4668 0 0 0 103946 92 0 0 25 0 1 0 487173808 23515136 4518 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4518 231 231 0 5510 0
vsize: 22964
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4669 0 0 0 104946 93 0 0 25 0 1 0 487173808 23515136 4519 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4519 231 231 0 5510 0
vsize: 22964
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4670 0 0 0 105945 94 0 0 25 0 1 0 487173808 23515136 4520 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4520 231 231 0 5510 0
vsize: 22964
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4671 0 0 0 106945 95 0 0 25 0 1 0 487173808 23515136 4521 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4521 231 231 0 5510 0
vsize: 22964
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4673 0 0 0 107945 95 0 0 25 0 1 0 487173808 23515136 4523 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4523 231 231 0 5510 0
vsize: 22964
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4674 0 0 0 108944 96 0 0 25 0 1 0 487173808 23515136 4524 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4524 231 231 0 5510 0
vsize: 22964
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4678 0 0 0 109944 96 0 0 25 0 1 0 487173808 23633920 4528 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4528 231 231 0 5539 0
vsize: 23080
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4678 0 0 0 110945 97 0 0 25 0 1 0 487173808 23633920 4528 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4528 231 231 0 5539 0
vsize: 23080
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4679 0 0 0 111944 97 0 0 25 0 1 0 487173808 23633920 4529 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4529 231 231 0 5539 0
vsize: 23080
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4680 0 0 0 112944 98 0 0 25 0 1 0 487173808 23633920 4530 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4530 231 231 0 5539 0
vsize: 23080
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4683 0 0 0 113944 98 0 0 25 0 1 0 487173808 23633920 4533 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4533 231 231 0 5539 0
vsize: 23080
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4684 0 0 0 114943 100 0 0 25 0 1 0 487173808 23633920 4534 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4534 231 231 0 5539 0
vsize: 23080
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4685 0 0 0 115943 100 0 0 25 0 1 0 487173808 23633920 4535 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4535 231 231 0 5539 0
vsize: 23080
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4686 0 0 0 116943 101 0 0 25 0 1 0 487173808 23633920 4536 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4536 231 231 0 5539 0
vsize: 23080
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4687 0 0 0 117943 101 0 0 25 0 1 0 487173808 23633920 4537 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4537 231 231 0 5539 0
vsize: 23080
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4694 0 0 0 118943 101 0 0 25 0 1 0 487173808 23633920 4544 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4544 231 231 0 5539 0
vsize: 23080
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16645
Raw data (stat): 16645 (PBS4) R 16644 29653 29652 0 -1 0 4694 0 0 0 119943 102 0 0 25 0 1 0 487173808 23633920 4544 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4544 231 231 0 5539 0
vsize: 23080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 16645
Raw data (stat): 16645 (PBS4) Z 16644 29653 29652 0 -1 1036 4694 0 0 0 119943 103 0 0 25 0 1 0 487173808 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.47
CPU user time (s): 1199.43
CPU system time (s): 1.03184
CPU usage (%): 100.033
Max. virtual memory (Kb): 23080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####