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-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
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	1176.34
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 19206

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        665568 kB
Buffers:         15580 kB
Cached:         328024 kB
SwapCached:        408 kB
Active:          54588 kB
Inactive:       291616 kB
HighTotal:      131008 kB
HighFree:        22092 kB
LowTotal:       903652 kB
LowFree:        643476 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            17312 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 18:37:37 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 16893 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-l152lav.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.93 0.97 0.98 2/55 1842
Raw data (stat): 1842 (runsolver) R 1841 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547184354 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 428 0 0 0 996 3 0 0 25 0 1 0 547184354 2445312 424 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 597 424 231 231 0 366 0
vsize: 2388
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 548 0 0 0 1996 3 0 0 25 0 1 0 547184354 3121152 544 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 762 544 231 231 0 531 0
vsize: 3048
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 661 0 0 0 2995 4 0 0 25 0 1 0 547184354 4169728 657 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1018 657 231 231 0 787 0
vsize: 4072
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 794 0 0 0 3995 4 0 0 25 0 1 0 547184354 4325376 790 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1056 790 231 231 0 825 0
vsize: 4224
[startup+50.0006 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 947 0 0 0 4994 6 0 0 25 0 1 0 547184354 4460544 943 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1089 943 231 231 0 858 0
vsize: 4356
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1084 0 0 0 5992 7 0 0 25 0 1 0 547184354 6828032 1080 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 1080 231 231 0 1436 0
vsize: 6668
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1188 0 0 0 6992 8 0 0 25 0 1 0 547184354 6828032 1184 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 1184 231 231 0 1436 0
vsize: 6668
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 1842
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1304 0 0 0 7991 9 0 0 25 0 1 0 547184354 6963200 1300 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 1300 231 231 0 1469 0
vsize: 6800
[startup+90.001 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1438 0 0 0 8991 10 0 0 25 0 1 0 547184354 7299072 1434 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1782 1434 231 231 0 1551 0
vsize: 7128
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1548 0 0 0 9989 11 0 0 25 0 1 0 547184354 7299072 1544 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1782 1544 231 231 0 1551 0
vsize: 7128
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1638 0 0 0 10989 12 0 0 25 0 1 0 547184354 11493376 1634 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2806 1634 231 231 0 2575 0
vsize: 11224
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1766 0 0 0 11987 14 0 0 25 0 1 0 547184354 11493376 1762 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2806 1762 231 231 0 2575 0
vsize: 11224
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 1924 0 0 0 12986 15 0 0 25 0 1 0 547184354 11628544 1920 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2839 1920 231 231 0 2608 0
vsize: 11356
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 2072 0 0 0 13986 16 0 0 25 0 1 0 547184354 11628544 2068 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2839 2068 231 231 0 2608 0
vsize: 11356
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 2239 0 0 0 14985 17 0 0 25 0 1 0 547184354 11628544 2235 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2839 2235 231 231 0 2608 0
vsize: 11356
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 2322 0 0 0 15983 19 0 0 25 0 1 0 547184354 11763712 2318 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2872 2318 231 231 0 2641 0
vsize: 11488
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 2578 0 0 0 16982 20 0 0 25 0 1 0 547184354 11894784 2574 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2904 2574 231 231 0 2673 0
vsize: 11616
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 2744 0 0 0 17981 22 0 0 25 0 1 0 547184354 12091392 2691 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2952 2691 231 231 0 2721 0
vsize: 11808
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 2876 0 0 0 18979 23 0 0 25 0 1 0 547184354 20611072 2823 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5032 2823 231 231 0 4801 0
vsize: 20128
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3042 0 0 0 19977 25 0 0 25 0 1 0 547184354 20611072 2989 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5032 2989 231 231 0 4801 0
vsize: 20128
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3137 0 0 0 20977 26 0 0 25 0 1 0 547184354 20746240 3084 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5065 3084 231 231 0 4834 0
vsize: 20260
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3243 0 0 0 21975 27 0 0 25 0 1 0 547184354 20746240 3190 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5065 3190 231 231 0 4834 0
vsize: 20260
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3307 0 0 0 22974 29 0 0 25 0 1 0 547184354 20881408 3254 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5098 3254 231 231 0 4867 0
vsize: 20392
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3409 0 0 0 23973 30 0 0 25 0 1 0 547184354 20881408 3356 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5098 3356 231 231 0 4867 0
vsize: 20392
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3564 0 0 0 24972 32 0 0 25 0 1 0 547184354 21159936 3511 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5166 3511 231 231 0 4935 0
vsize: 20664
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3568 0 0 0 25971 33 0 0 25 0 1 0 547184354 21159936 3515 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5166 3515 231 231 0 4935 0
vsize: 20664
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3572 0 0 0 26969 34 0 0 25 0 1 0 547184354 21159936 3519 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5166 3519 231 231 0 4935 0
vsize: 20664
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3586 0 0 0 27969 35 0 0 25 0 1 0 547184354 21159936 3533 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5166 3533 231 231 0 4935 0
vsize: 20664
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3595 0 0 0 28968 36 0 0 25 0 1 0 547184354 21159936 3542 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5166 3542 231 231 0 4935 0
vsize: 20664
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3603 0 0 0 29967 37 0 0 25 0 1 0 547184354 21159936 3550 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5166 3550 231 231 0 4935 0
vsize: 20664
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3640 0 0 0 30966 38 0 0 25 0 1 0 547184354 21327872 3587 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5207 3587 231 231 0 4976 0
vsize: 20828
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3645 0 0 0 31966 39 0 0 25 0 1 0 547184354 21327872 3592 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5207 3592 231 231 0 4976 0
vsize: 20828
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3650 0 0 0 32966 39 0 0 25 0 1 0 547184354 21327872 3597 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5207 3597 231 231 0 4976 0
vsize: 20828
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3657 0 0 0 33965 40 0 0 25 0 1 0 547184354 21475328 3604 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5243 3604 231 231 0 5012 0
vsize: 20972
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3662 0 0 0 34965 40 0 0 25 0 1 0 547184354 21475328 3609 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5243 3609 231 231 0 5012 0
vsize: 20972
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3678 0 0 0 35964 41 0 0 25 0 1 0 547184354 21475328 3625 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5243 3625 231 231 0 5012 0
vsize: 20972
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3681 0 0 0 36962 43 0 0 25 0 1 0 547184354 21475328 3628 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5243 3628 231 231 0 5012 0
vsize: 20972
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 1844
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3688 0 0 0 37962 44 0 0 25 0 1 0 547184354 21475328 3635 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5243 3635 231 231 0 5012 0
vsize: 20972
[startup+390 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3787 0 0 0 38961 45 0 0 25 0 1 0 547184354 21868544 3637 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5339 3637 231 231 0 5108 0
vsize: 21356
[startup+399.999 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3795 0 0 0 39960 46 0 0 25 0 1 0 547184354 21868544 3645 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5339 3645 231 231 0 5108 0
vsize: 21356
[startup+409.999 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3797 0 0 0 40959 47 0 0 25 0 1 0 547184354 21868544 3647 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5339 3647 231 231 0 5108 0
vsize: 21356
[startup+420 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3805 0 0 0 41959 48 0 0 25 0 1 0 547184354 22003712 3655 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5372 3655 231 231 0 5141 0
vsize: 21488
[startup+430 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3809 0 0 0 42959 48 0 0 25 0 1 0 547184354 22003712 3659 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5372 3659 231 231 0 5141 0
vsize: 21488
[startup+440 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3815 0 0 0 43957 49 0 0 25 0 1 0 547184354 22003712 3665 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5372 3665 231 231 0 5141 0
vsize: 21488
[startup+450 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3823 0 0 0 44957 50 0 0 25 0 1 0 547184354 22003712 3673 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5372 3673 231 231 0 5141 0
vsize: 21488
[startup+460 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3830 0 0 0 45956 51 0 0 25 0 1 0 547184354 22003712 3680 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5372 3680 231 231 0 5141 0
vsize: 21488
[startup+470 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3837 0 0 0 46955 53 0 0 25 0 1 0 547184354 22003712 3687 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5372 3687 231 231 0 5141 0
vsize: 21488
[startup+480 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3860 0 0 0 47953 54 0 0 25 0 1 0 547184354 22163456 3710 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3710 231 231 0 5180 0
vsize: 21644
[startup+490 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3862 0 0 0 48953 55 0 0 25 0 1 0 547184354 22163456 3712 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3712 231 231 0 5180 0
vsize: 21644
[startup+500 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3869 0 0 0 49952 56 0 0 25 0 1 0 547184354 22163456 3719 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3719 231 231 0 5180 0
vsize: 21644
[startup+510 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3872 0 0 0 50952 56 0 0 25 0 1 0 547184354 22163456 3722 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3722 231 231 0 5180 0
vsize: 21644
[startup+520 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3878 0 0 0 51951 57 0 0 25 0 1 0 547184354 22163456 3728 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3728 231 231 0 5180 0
vsize: 21644
[startup+530.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3884 0 0 0 52951 57 0 0 25 0 1 0 547184354 22163456 3734 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3734 231 231 0 5180 0
vsize: 21644
[startup+540 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3889 0 0 0 53951 58 0 0 25 0 1 0 547184354 22163456 3739 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3739 231 231 0 5180 0
vsize: 21644
[startup+550 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3896 0 0 0 54951 58 0 0 25 0 1 0 547184354 22163456 3746 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3746 231 231 0 5180 0
vsize: 21644
[startup+560.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3905 0 0 0 55950 59 0 0 25 0 1 0 547184354 22163456 3755 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3755 231 231 0 5180 0
vsize: 21644
[startup+570 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3908 0 0 0 56950 60 0 0 25 0 1 0 547184354 22163456 3758 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 3758 231 231 0 5180 0
vsize: 21644
[startup+580 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3919 0 0 0 57949 61 0 0 25 0 1 0 547184354 22298624 3769 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5444 3769 231 231 0 5213 0
vsize: 21776
[startup+590 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3923 0 0 0 58948 61 0 0 25 0 1 0 547184354 22298624 3773 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5444 3773 231 231 0 5213 0
vsize: 21776
[startup+600 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3966 0 0 0 59947 62 0 0 25 0 1 0 547184354 22450176 3816 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3816 231 231 0 5250 0
vsize: 21924
[startup+609.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3970 0 0 0 60947 63 0 0 25 0 1 0 547184354 22450176 3820 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3820 231 231 0 5250 0
vsize: 21924
[startup+619.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3974 0 0 0 61946 64 0 0 25 0 1 0 547184354 22450176 3824 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3824 231 231 0 5250 0
vsize: 21924
[startup+629.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3979 0 0 0 62946 65 0 0 25 0 1 0 547184354 22450176 3829 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3829 231 231 0 5250 0
vsize: 21924
[startup+639.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3982 0 0 0 63945 65 0 0 25 0 1 0 547184354 22450176 3832 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3832 231 231 0 5250 0
vsize: 21924
[startup+649.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3986 0 0 0 64945 65 0 0 25 0 1 0 547184354 22450176 3836 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3836 231 231 0 5250 0
vsize: 21924
[startup+659.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 3991 0 0 0 65945 66 0 0 25 0 1 0 547184354 22450176 3841 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3841 231 231 0 5250 0
vsize: 21924
[startup+669.999 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4000 0 0 0 66943 68 0 0 25 0 1 0 547184354 22450176 3850 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3850 231 231 0 5250 0
vsize: 21924
[startup+680 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1846
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4013 0 0 0 67942 69 0 0 25 0 1 0 547184354 22585344 3863 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 3863 231 231 0 5283 0
vsize: 22056
[startup+690 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4027 0 0 0 68942 70 0 0 25 0 1 0 547184354 22585344 3877 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 3877 231 231 0 5283 0
vsize: 22056
[startup+700 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4031 0 0 0 69941 71 0 0 25 0 1 0 547184354 22585344 3881 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 3881 231 231 0 5283 0
vsize: 22056
[startup+710 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4041 0 0 0 70940 72 0 0 25 0 1 0 547184354 22585344 3891 4294967295 134512640 135450300 3221224624 3221223536 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 3891 231 231 0 5283 0
vsize: 22056
[startup+720 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4049 0 0 0 71939 73 0 0 25 0 1 0 547184354 22720512 3899 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5547 3899 231 231 0 5316 0
vsize: 22188
[startup+730 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4058 0 0 0 72938 74 0 0 25 0 1 0 547184354 22720512 3908 4294967295 134512640 135450300 3221224624 3221223360 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5547 3908 231 231 0 5316 0
vsize: 22188
[startup+740 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4065 0 0 0 73938 75 0 0 25 0 1 0 547184354 22720512 3915 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5547 3915 231 231 0 5316 0
vsize: 22188
[startup+750 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4074 0 0 0 74937 76 0 0 25 0 1 0 547184354 22720512 3924 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5547 3924 231 231 0 5316 0
vsize: 22188
[startup+760 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4083 0 0 0 75937 76 0 0 25 0 1 0 547184354 22720512 3933 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5547 3933 231 231 0 5316 0
vsize: 22188
[startup+770 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4092 0 0 0 76937 76 0 0 25 0 1 0 547184354 22855680 3942 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5580 3942 231 231 0 5349 0
vsize: 22320
[startup+780 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4112 0 0 0 77936 77 0 0 25 0 1 0 547184354 22855680 3962 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5580 3962 231 231 0 5349 0
vsize: 22320
[startup+790.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4117 0 0 0 78935 78 0 0 25 0 1 0 547184354 22855680 3967 4294967295 134512640 135450300 3221224624 3221223440 134546776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5580 3967 231 231 0 5349 0
vsize: 22320
[startup+800.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4120 0 0 0 79935 79 0 0 25 0 1 0 547184354 22855680 3970 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5580 3970 231 231 0 5349 0
vsize: 22320
[startup+810.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4316 0 0 0 80934 80 0 0 25 0 1 0 547184354 23642112 3973 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 3973 231 231 0 5541 0
vsize: 23088
[startup+820.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4323 0 0 0 81933 81 0 0 25 0 1 0 547184354 23642112 3980 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 3980 231 231 0 5541 0
vsize: 23088
[startup+830.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4355 0 0 0 82932 82 0 0 25 0 1 0 547184354 23822336 4012 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4012 231 231 0 5585 0
vsize: 23264
[startup+840.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4360 0 0 0 83931 83 0 0 25 0 1 0 547184354 23822336 4017 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4017 231 231 0 5585 0
vsize: 23264
[startup+850.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4361 0 0 0 84931 84 0 0 25 0 1 0 547184354 23822336 4018 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4018 231 231 0 5585 0
vsize: 23264
[startup+860.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4365 0 0 0 85930 85 0 0 25 0 1 0 547184354 23822336 4022 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4022 231 231 0 5585 0
vsize: 23264
[startup+870.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4375 0 0 0 86929 86 0 0 25 0 1 0 547184354 23822336 4032 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4032 231 231 0 5585 0
vsize: 23264
[startup+880.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4378 0 0 0 87929 86 0 0 25 0 1 0 547184354 23822336 4035 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4035 231 231 0 5585 0
vsize: 23264
[startup+890.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4381 0 0 0 88929 87 0 0 25 0 1 0 547184354 23822336 4038 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4038 231 231 0 5585 0
vsize: 23264
[startup+900.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4383 0 0 0 89928 88 0 0 25 0 1 0 547184354 23822336 4040 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4040 231 231 0 5585 0
vsize: 23264
[startup+910.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4386 0 0 0 90928 88 0 0 25 0 1 0 547184354 23822336 4043 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4043 231 231 0 5585 0
vsize: 23264
[startup+920.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4388 0 0 0 91928 88 0 0 25 0 1 0 547184354 23822336 4045 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 4045 231 231 0 5585 0
vsize: 23264
[startup+930.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4393 0 0 0 92927 89 0 0 25 0 1 0 547184354 23957504 4050 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4050 231 231 0 5618 0
vsize: 23396
[startup+940.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4401 0 0 0 93926 90 0 0 25 0 1 0 547184354 23957504 4058 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4058 231 231 0 5618 0
vsize: 23396
[startup+950.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4407 0 0 0 94925 91 0 0 25 0 1 0 547184354 23957504 4064 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4064 231 231 0 5618 0
vsize: 23396
[startup+960.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4412 0 0 0 95925 92 0 0 25 0 1 0 547184354 23957504 4069 4294967295 134512640 135450300 3221224624 3221223456 134549447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4069 231 231 0 5618 0
vsize: 23396
[startup+970.001 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4416 0 0 0 96924 93 0 0 25 0 1 0 547184354 23957504 4073 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4073 231 231 0 5618 0
vsize: 23396
[startup+980.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1848
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4422 0 0 0 97924 94 0 0 25 0 1 0 547184354 23957504 4079 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4079 231 231 0 5618 0
vsize: 23396
[startup+990.002 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4431 0 0 0 98923 94 0 0 25 0 1 0 547184354 23957504 4088 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4088 231 231 0 5618 0
vsize: 23396
[startup+1000 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4438 0 0 0 99922 95 0 0 25 0 1 0 547184354 23957504 4095 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5849 4095 231 231 0 5618 0
vsize: 23396
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4445 0 0 0 100922 96 0 0 25 0 1 0 547184354 24092672 4102 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 4102 231 231 0 5651 0
vsize: 23528
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4479 0 0 0 101920 98 0 0 25 0 1 0 547184354 24092672 4136 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 4136 231 231 0 5651 0
vsize: 23528
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4484 0 0 0 102919 99 0 0 25 0 1 0 547184354 24092672 4141 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 4141 231 231 0 5651 0
vsize: 23528
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4486 0 0 0 103919 100 0 0 25 0 1 0 547184354 24092672 4143 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 4143 231 231 0 5651 0
vsize: 23528
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4489 0 0 0 104918 101 0 0 25 0 1 0 547184354 24092672 4146 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 4146 231 231 0 5651 0
vsize: 23528
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4492 0 0 0 105917 101 0 0 25 0 1 0 547184354 24092672 4149 4294967295 134512640 135450300 3221224624 3221223232 134537606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5882 4149 231 231 0 5651 0
vsize: 23528
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4579 0 0 0 106916 102 0 0 25 0 1 0 547184354 24227840 4236 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4236 231 231 0 5684 0
vsize: 23660
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4602 0 0 0 107916 103 0 0 25 0 1 0 547184354 24227840 4259 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4259 231 231 0 5684 0
vsize: 23660
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4605 0 0 0 108915 104 0 0 25 0 1 0 547184354 24227840 4262 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4262 231 231 0 5684 0
vsize: 23660
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4612 0 0 0 109915 105 0 0 25 0 1 0 547184354 24227840 4269 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4269 231 231 0 5684 0
vsize: 23660
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4614 0 0 0 110914 105 0 0 25 0 1 0 547184354 24227840 4271 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4271 231 231 0 5684 0
vsize: 23660
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4617 0 0 0 111913 106 0 0 25 0 1 0 547184354 24227840 4274 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4274 231 231 0 5684 0
vsize: 23660
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4622 0 0 0 112912 107 0 0 25 0 1 0 547184354 24227840 4279 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4279 231 231 0 5684 0
vsize: 23660
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4627 0 0 0 113912 108 0 0 25 0 1 0 547184354 24227840 4284 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 4284 231 231 0 5684 0
vsize: 23660
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4654 0 0 0 114911 109 0 0 25 0 1 0 547184354 24420352 4311 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 4311 231 231 0 5731 0
vsize: 23848
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4656 0 0 0 115910 110 0 0 25 0 1 0 547184354 24420352 4313 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 4313 231 231 0 5731 0
vsize: 23848
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4663 0 0 0 116909 112 0 0 25 0 1 0 547184354 24420352 4320 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 4320 231 231 0 5731 0
vsize: 23848
[startup+1180 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4667 0 0 0 117908 113 0 0 25 0 1 0 547184354 24420352 4324 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 4324 231 231 0 5731 0
vsize: 23848
[startup+1190 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4669 0 0 0 118908 113 0 0 25 0 1 0 547184354 24420352 4326 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 4326 231 231 0 5731 0
vsize: 23848
[startup+1200 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 1850
Raw data (stat): 1842 (PBS4) R 1841 20838 20837 0 -1 0 4680 0 0 0 119906 115 0 0 25 0 1 0 547184354 24420352 4337 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5962 4337 231 231 0 5731 0
vsize: 23848
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 1850
Raw data (stat): 1842 (PBS4) Z 1841 20838 20837 0 -1 1036 4680 0 0 0 119906 116 0 0 25 0 1 0 547184354 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.01
CPU time (s): 1200.23
CPU user time (s): 1199.07
CPU system time (s): 1.16182
CPU usage (%): 100.018
Max. virtual memory (Kb): 23848
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####