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/miplib/normalized-mps-v2-13-7-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
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.78
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 19285

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 18:43:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17036 boxname=wulflinc27 idbench=1311 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 17036
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        779144 kB
Buffers:         17532 kB
Cached:         214924 kB
SwapCached:        512 kB
Active:          33692 kB
Inactive:       200696 kB
HighTotal:      131008 kB
HighFree:         5292 kB
LowTotal:       903652 kB
LowFree:        773852 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15392 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 19:03:23 (client local time) WITH STATUS 0 IN 1200.13 SECONDS
stats: 17036 7 1200.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc27/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.91 0.95 0.90 2/54 23538
Raw data (stat): 23538 (runsolver) R 23537 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547327992 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.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 462 0 0 0 996 3 0 0 25 0 1 0 547327992 2555904 458 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 624 458 231 231 0 393 0
vsize: 2496
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 516 0 0 0 1995 4 0 0 25 0 1 0 547327992 2953216 512 4294967295 134512640 135450300 3221224624 3221222976 134533236 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.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 598 0 0 0 2994 5 0 0 25 0 1 0 547327992 3112960 594 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 760 594 231 231 0 529 0
vsize: 3040
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 737 0 0 0 3992 7 0 0 25 0 1 0 547327992 3637248 733 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 888 733 231 231 0 657 0
vsize: 3552
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 754 0 0 0 4990 9 0 0 25 0 1 0 547327992 3772416 750 4294967295 134512640 135450300 3221224624 3221223232 134537603 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.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 766 0 0 0 5989 10 0 0 25 0 1 0 547327992 3772416 762 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 921 762 231 231 0 690 0
vsize: 3684
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 822 0 0 0 6988 11 0 0 25 0 1 0 547327992 4820992 818 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1177 818 231 231 0 946 0
vsize: 4708
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 910 0 0 0 7986 12 0 0 25 0 1 0 547327992 4952064 906 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1209 906 231 231 0 978 0
vsize: 4836
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 969 0 0 0 8985 14 0 0 25 0 1 0 547327992 5087232 965 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1242 965 231 231 0 1011 0
vsize: 4968
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1015 0 0 0 9985 14 0 0 25 0 1 0 547327992 5087232 1011 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1242 1011 231 231 0 1011 0
vsize: 4968
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1053 0 0 0 10984 15 0 0 25 0 1 0 547327992 5218304 1049 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1274 1049 231 231 0 1043 0
vsize: 5096
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1136 0 0 0 11983 16 0 0 25 0 1 0 547327992 7315456 1132 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1786 1132 231 231 0 1555 0
vsize: 7144
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1180 0 0 0 12982 18 0 0 25 0 1 0 547327992 7446528 1176 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1818 1176 231 231 0 1587 0
vsize: 7272
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1213 0 0 0 13981 19 0 0 25 0 1 0 547327992 7446528 1209 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1818 1209 231 231 0 1587 0
vsize: 7272
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1262 0 0 0 14980 21 0 0 25 0 1 0 547327992 7577600 1258 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1850 1258 231 231 0 1619 0
vsize: 7400
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1306 0 0 0 15979 22 0 0 25 0 1 0 547327992 7708672 1302 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 1302 231 231 0 1651 0
vsize: 7528
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1361 0 0 0 16978 22 0 0 25 0 1 0 547327992 7708672 1357 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 1357 231 231 0 1651 0
vsize: 7528
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1395 0 0 0 17977 23 0 0 25 0 1 0 547327992 7708672 1391 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 1391 231 231 0 1651 0
vsize: 7528
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1433 0 0 0 18977 24 0 0 25 0 1 0 547327992 7843840 1429 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 1429 231 231 0 1684 0
vsize: 7660
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1527 0 0 0 19975 26 0 0 25 0 1 0 547327992 7843840 1523 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1915 1523 231 231 0 1684 0
vsize: 7660
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1551 0 0 0 20975 26 0 0 25 0 1 0 547327992 7974912 1547 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1547 231 231 0 1716 0
vsize: 7788
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1577 0 0 0 21974 27 0 0 25 0 1 0 547327992 7974912 1573 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1573 231 231 0 1716 0
vsize: 7788
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1597 0 0 0 22974 28 0 0 25 0 1 0 547327992 7974912 1593 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1593 231 231 0 1716 0
vsize: 7788
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1672 0 0 0 23973 29 0 0 25 0 1 0 547327992 8175616 1668 4294967295 134512640 135450300 3221224624 3221223456 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1996 1668 231 231 0 1765 0
vsize: 7984
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1703 0 0 0 24972 30 0 0 25 0 1 0 547327992 8175616 1699 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1996 1699 231 231 0 1765 0
vsize: 7984
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1722 0 0 0 25972 30 0 0 25 0 1 0 547327992 8175616 1718 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1996 1718 231 231 0 1765 0
vsize: 7984
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1748 0 0 0 26971 31 0 0 25 0 1 0 547327992 8175616 1744 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1996 1744 231 231 0 1765 0
vsize: 7984
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1784 0 0 0 27970 32 0 0 25 0 1 0 547327992 8310784 1780 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1780 231 231 0 1798 0
vsize: 8116
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1818 0 0 0 28968 34 0 0 25 0 1 0 547327992 8310784 1814 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1814 231 231 0 1798 0
vsize: 8116
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1851 0 0 0 29968 35 0 0 25 0 1 0 547327992 8310784 1847 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1847 231 231 0 1798 0
vsize: 8116
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1880 0 0 0 30967 36 0 0 25 0 1 0 547327992 12505088 1876 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3053 1876 231 231 0 2822 0
vsize: 12212
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1916 0 0 0 31966 37 0 0 25 0 1 0 547327992 12640256 1912 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3086 1912 231 231 0 2855 0
vsize: 12344
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 1986 0 0 0 32965 38 0 0 25 0 1 0 547327992 12640256 1982 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3086 1982 231 231 0 2855 0
vsize: 12344
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2044 0 0 0 33964 39 0 0 25 0 1 0 547327992 12640256 2040 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3086 2040 231 231 0 2855 0
vsize: 12344
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2081 0 0 0 34964 40 0 0 25 0 1 0 547327992 12775424 2077 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2077 231 231 0 2888 0
vsize: 12476
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2125 0 0 0 35963 41 0 0 25 0 1 0 547327992 12775424 2121 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2121 231 231 0 2888 0
vsize: 12476
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2157 0 0 0 36962 42 0 0 25 0 1 0 547327992 12775424 2153 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2153 231 231 0 2888 0
vsize: 12476
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2200 0 0 0 37962 42 0 0 25 0 1 0 547327992 12910592 2196 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2196 231 231 0 2921 0
vsize: 12608
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2226 0 0 0 38961 43 0 0 25 0 1 0 547327992 12910592 2222 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2222 231 231 0 2921 0
vsize: 12608
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2260 0 0 0 39960 44 0 0 25 0 1 0 547327992 12910592 2256 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2256 231 231 0 2921 0
vsize: 12608
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2348 0 0 0 40959 46 0 0 25 0 1 0 547327992 12910592 2344 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2344 231 231 0 2921 0
vsize: 12608
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2406 0 0 0 41958 47 0 0 25 0 1 0 547327992 13037568 2402 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2402 231 231 0 2952 0
vsize: 12732
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2450 0 0 0 42957 48 0 0 25 0 1 0 547327992 13037568 2446 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2446 231 231 0 2952 0
vsize: 12732
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2471 0 0 0 43957 49 0 0 25 0 1 0 547327992 13037568 2467 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2467 231 231 0 2952 0
vsize: 12732
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2506 0 0 0 44956 50 0 0 25 0 1 0 547327992 13037568 2502 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2502 231 231 0 2952 0
vsize: 12732
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2545 0 0 0 45955 51 0 0 25 0 1 0 547327992 13037568 2541 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2541 231 231 0 2952 0
vsize: 12732
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2614 0 0 0 46954 51 0 0 25 0 1 0 547327992 13037568 2610 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2610 231 231 0 2952 0
vsize: 12732
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2650 0 0 0 47953 52 0 0 25 0 1 0 547327992 13037568 2646 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2646 231 231 0 2952 0
vsize: 12732
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2675 0 0 0 48953 53 0 0 25 0 1 0 547327992 13037568 2671 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2671 231 231 0 2952 0
vsize: 12732
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2741 0 0 0 49952 54 0 0 25 0 1 0 547327992 13172736 2737 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2737 231 231 0 2985 0
vsize: 12864
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2822 0 0 0 50951 55 0 0 25 0 1 0 547327992 13369344 2769 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2769 231 231 0 3033 0
vsize: 13056
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2852 0 0 0 51951 56 0 0 25 0 1 0 547327992 13369344 2799 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2799 231 231 0 3033 0
vsize: 13056
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2886 0 0 0 52950 57 0 0 25 0 1 0 547327992 13369344 2833 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2833 231 231 0 3033 0
vsize: 13056
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 2922 0 0 0 53949 57 0 0 25 0 1 0 547327992 13369344 2869 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2869 231 231 0 3033 0
vsize: 13056
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3034 0 0 0 54949 58 0 0 25 0 1 0 547327992 13369344 2981 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2981 231 231 0 3033 0
vsize: 13056
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3065 0 0 0 55948 59 0 0 25 0 1 0 547327992 13369344 3012 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 3012 231 231 0 3033 0
vsize: 13056
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3114 0 0 0 56948 60 0 0 25 0 1 0 547327992 13504512 3061 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3061 231 231 0 3066 0
vsize: 13188
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3152 0 0 0 57947 60 0 0 25 0 1 0 547327992 13504512 3099 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3099 231 231 0 3066 0
vsize: 13188
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3158 0 0 0 58946 61 0 0 25 0 1 0 547327992 13504512 3105 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3105 231 231 0 3066 0
vsize: 13188
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3165 0 0 0 59946 62 0 0 25 0 1 0 547327992 13504512 3112 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3112 231 231 0 3066 0
vsize: 13188
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3173 0 0 0 60944 63 0 0 25 0 1 0 547327992 13504512 3120 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 3120 231 231 0 3066 0
vsize: 13188
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3181 0 0 0 61943 64 0 0 25 0 1 0 547327992 13639680 3128 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3330 3128 231 231 0 3099 0
vsize: 13320
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3189 0 0 0 62943 64 0 0 25 0 1 0 547327992 13639680 3136 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3136 231 231 0 3099 0
vsize: 13320
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3194 0 0 0 63942 65 0 0 25 0 1 0 547327992 13639680 3141 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3141 231 231 0 3099 0
vsize: 13320
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3200 0 0 0 64941 66 0 0 25 0 1 0 547327992 13639680 3147 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3147 231 231 0 3099 0
vsize: 13320
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3205 0 0 0 65941 67 0 0 25 0 1 0 547327992 13639680 3152 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 3152 231 231 0 3099 0
vsize: 13320
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3216 0 0 0 66940 68 0 0 25 0 1 0 547327992 13774848 3163 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3163 231 231 0 3132 0
vsize: 13452
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3221 0 0 0 67939 69 0 0 25 0 1 0 547327992 13774848 3168 4294967295 134512640 135450300 3221224624 3221223360 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3363 3168 231 231 0 3132 0
vsize: 13452
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3229 0 0 0 68938 70 0 0 25 0 1 0 547327992 13774848 3176 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3176 231 231 0 3132 0
vsize: 13452
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3239 0 0 0 69937 71 0 0 25 0 1 0 547327992 13774848 3186 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3186 231 231 0 3132 0
vsize: 13452
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3247 0 0 0 70937 71 0 0 25 0 1 0 547327992 13774848 3194 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 3194 231 231 0 3132 0
vsize: 13452
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3253 0 0 0 71936 72 0 0 25 0 1 0 547327992 13910016 3200 4294967295 134512640 135450300 3221224624 3221223360 134538418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 3200 231 231 0 3165 0
vsize: 13584
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3258 0 0 0 72936 73 0 0 25 0 1 0 547327992 13910016 3205 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 3205 231 231 0 3165 0
vsize: 13584
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3268 0 0 0 73935 73 0 0 25 0 1 0 547327992 13910016 3215 4294967295 134512640 135450300 3221224624 3221223360 134538415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3396 3215 231 231 0 3165 0
vsize: 13584
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3277 0 0 0 74934 74 0 0 25 0 1 0 547327992 13910016 3224 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3396 3224 231 231 0 3165 0
vsize: 13584
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3282 0 0 0 75932 76 0 0 25 0 1 0 547327992 13910016 3229 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3396 3229 231 231 0 3165 0
vsize: 13584
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3288 0 0 0 76929 77 0 0 25 0 1 0 547327992 14045184 3235 4294967295 134512640 135450300 3221224624 3221223456 134549462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3235 231 231 0 3198 0
vsize: 13716
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3298 0 0 0 77928 78 0 0 25 0 1 0 547327992 14045184 3245 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3245 231 231 0 3198 0
vsize: 13716
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3304 0 0 0 78928 79 0 0 25 0 1 0 547327992 14045184 3251 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3251 231 231 0 3198 0
vsize: 13716
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3313 0 0 0 79927 80 0 0 25 0 1 0 547327992 14045184 3260 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3260 231 231 0 3198 0
vsize: 13716
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3320 0 0 0 80926 81 0 0 25 0 1 0 547327992 14045184 3267 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3429 3267 231 231 0 3198 0
vsize: 13716
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3326 0 0 0 81925 81 0 0 25 0 1 0 547327992 14180352 3273 4294967295 134512640 135450300 3221224624 3221223232 134537694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 3273 231 231 0 3231 0
vsize: 13848
[startup+830.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3336 0 0 0 82924 82 0 0 25 0 1 0 547327992 14180352 3283 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3462 3283 231 231 0 3231 0
vsize: 13848
[startup+840.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3350 0 0 0 83923 83 0 0 25 0 1 0 547327992 14180352 3297 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3462 3297 231 231 0 3231 0
vsize: 13848
[startup+850.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3358 0 0 0 84923 83 0 0 25 0 1 0 547327992 14180352 3305 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 3305 231 231 0 3231 0
vsize: 13848
[startup+860.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3366 0 0 0 85922 84 0 0 25 0 1 0 547327992 14315520 3313 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 3313 231 231 0 3264 0
vsize: 13980
[startup+870.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3371 0 0 0 86921 85 0 0 25 0 1 0 547327992 14315520 3318 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3495 3318 231 231 0 3264 0
vsize: 13980
[startup+880.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3408 0 0 0 87921 86 0 0 25 0 1 0 547327992 22704128 3355 4294967295 134512640 135450300 3221224624 3221223360 134538029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 3355 231 231 0 5312 0
vsize: 22172
[startup+890.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3434 0 0 0 88920 87 0 0 25 0 1 0 547327992 22704128 3381 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 3381 231 231 0 5312 0
vsize: 22172
[startup+900.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3580 0 0 0 89919 88 0 0 25 0 1 0 547327992 22704128 3527 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 3527 231 231 0 5312 0
vsize: 22172
[startup+910.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3739 0 0 0 90918 89 0 0 25 0 1 0 547327992 22822912 3686 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3686 231 231 0 5341 0
vsize: 22288
[startup+920.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3765 0 0 0 91917 90 0 0 25 0 1 0 547327992 22822912 3712 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3712 231 231 0 5341 0
vsize: 22288
[startup+930.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3795 0 0 0 92916 91 0 0 25 0 1 0 547327992 22822912 3742 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3742 231 231 0 5341 0
vsize: 22288
[startup+940.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3838 0 0 0 93916 92 0 0 25 0 1 0 547327992 22822912 3785 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3785 231 231 0 5341 0
vsize: 22288
[startup+950.018 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3882 0 0 0 94915 93 0 0 25 0 1 0 547327992 22822912 3829 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3829 231 231 0 5341 0
vsize: 22288
[startup+960.018 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3919 0 0 0 95914 94 0 0 25 0 1 0 547327992 22822912 3866 4294967295 134512640 135450300 3221224624 3221223360 134538446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5572 3866 231 231 0 5341 0
vsize: 22288
[startup+970.017 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 3992 0 0 0 96914 94 0 0 25 0 1 0 547327992 22945792 3939 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 3939 231 231 0 5371 0
vsize: 22408
[startup+980.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4053 0 0 0 97914 95 0 0 25 0 1 0 547327992 22945792 4000 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 4000 231 231 0 5371 0
vsize: 22408
[startup+990.018 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4196 0 0 0 98913 96 0 0 25 0 1 0 547327992 22945792 4143 4294967295 134512640 135450300 3221224624 3221223440 134546249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 4143 231 231 0 5371 0
vsize: 22408
[startup+1000.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 23538
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4435 0 0 0 99911 97 0 0 25 0 1 0 547327992 23515136 4285 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4285 231 231 0 5510 0
vsize: 22964
[startup+1010.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 23591
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4472 0 0 0 100909 98 0 0 25 0 1 0 547327992 23515136 4322 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4322 231 231 0 5510 0
vsize: 22964
[startup+1020.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23591
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4566 0 0 0 101909 99 0 0 25 0 1 0 547327992 23515136 4416 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4416 231 231 0 5510 0
vsize: 22964
[startup+1030.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23591
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4654 0 0 0 102909 99 0 0 25 0 1 0 547327992 23515136 4504 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4504 231 231 0 5510 0
vsize: 22964
[startup+1040.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 23591
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4667 0 0 0 103908 100 0 0 25 0 1 0 547327992 23515136 4517 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4517 231 231 0 5510 0
vsize: 22964
[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23591
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4668 0 0 0 104908 101 0 0 25 0 1 0 547327992 23515136 4518 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4518 231 231 0 5510 0
vsize: 22964
[startup+1060.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23591
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4670 0 0 0 105907 102 0 0 25 0 1 0 547327992 23515136 4520 4294967295 134512640 135450300 3221224624 3221223360 134538032 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.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4670 0 0 0 106906 103 0 0 25 0 1 0 547327992 23515136 4520 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4520 231 231 0 5510 0
vsize: 22964
[startup+1080.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4671 0 0 0 107906 103 0 0 25 0 1 0 547327992 23515136 4521 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4521 231 231 0 5510 0
vsize: 22964
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4674 0 0 0 108905 104 0 0 25 0 1 0 547327992 23515136 4524 4294967295 134512640 135450300 3221224624 3221223360 134537993 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.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4675 0 0 0 109905 104 0 0 25 0 1 0 547327992 23515136 4525 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5741 4525 231 231 0 5510 0
vsize: 22964
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4678 0 0 0 110905 105 0 0 25 0 1 0 547327992 23633920 4528 4294967295 134512640 135450300 3221224624 3221223500 135126769 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.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4678 0 0 0 111904 106 0 0 25 0 1 0 547327992 23633920 4528 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4528 231 231 0 5539 0
vsize: 23080
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4679 0 0 0 112903 107 0 0 25 0 1 0 547327992 23633920 4529 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4529 231 231 0 5539 0
vsize: 23080
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4681 0 0 0 113902 108 0 0 25 0 1 0 547327992 23633920 4531 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4531 231 231 0 5539 0
vsize: 23080
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4684 0 0 0 114902 108 0 0 25 0 1 0 547327992 23633920 4534 4294967295 134512640 135450300 3221224624 3221223500 135126769 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.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4684 0 0 0 115901 109 0 0 25 0 1 0 547327992 23633920 4534 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4534 231 231 0 5539 0
vsize: 23080
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4685 0 0 0 116900 110 0 0 25 0 1 0 547327992 23633920 4535 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4535 231 231 0 5539 0
vsize: 23080
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4686 0 0 0 117900 111 0 0 25 0 1 0 547327992 23633920 4536 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4536 231 231 0 5539 0
vsize: 23080
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4688 0 0 0 118900 111 0 0 25 0 1 0 547327992 23633920 4538 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5770 4538 231 231 0 5539 0
vsize: 23080
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 23593
Raw data (stat): 23538 (PBS4) R 23537 18865 18864 0 -1 0 4694 0 0 0 119900 112 0 0 25 0 1 0 547327992 23633920 4544 4294967295 134512640 135450300 3221224624 3221223500 135126769 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.03 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 23593
Raw data (stat): 23538 (PBS4) Z 23537 18865 18864 0 -1 1036 4694 0 0 0 119900 112 0 0 25 0 1 0 547327992 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.03
CPU time (s): 1200.13
CPU user time (s): 1199
CPU system time (s): 1.12883
CPU usage (%): 100.008
Max. virtual memory (Kb): 23080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####