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-10teams.opb
MD5SUM	130bea0863cb3f92addf09aabe15daa3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	912
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.97
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 18376

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-21 14:36:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18141 boxname=wulflinc24 idbench=1396 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 18141
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        802916 kB
Buffers:         25016 kB
Cached:         182676 kB
SwapCached:        524 kB
Active:          66760 kB
Inactive:       142916 kB
HighTotal:      131008 kB
HighFree:         8624 kB
LowTotal:       903652 kB
LowFree:        794292 kB
SwapTotal:     2097892 kB
SwapFree:      2096476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            16548 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 14:56:13 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 18141 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-10teams.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.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (runsolver) R 11460 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545844192 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.0006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 997 0 0 0 985 14 0 0 25 0 1 0 545844192 5099520 993 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1245 993 231 231 0 1014 0
vsize: 4980
[startup+20.001 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 1358 0 0 0 1977 21 0 0 25 0 1 0 545844192 7532544 1354 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1839 1354 231 231 0 1608 0
vsize: 7356
[startup+30.0017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 1678 0 0 0 2968 31 0 0 25 0 1 0 545844192 7958528 1674 4294967295 134512640 135450300 3221224624 3221223456 134549498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 1674 231 231 0 1712 0
vsize: 7772
[startup+40.0017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 1873 0 0 0 3961 38 0 0 25 0 1 0 545844192 8290304 1820 4294967295 134512640 135450300 3221224624 3221223360 134538793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2024 1820 231 231 0 1793 0
vsize: 8096
[startup+50.0021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 1905 0 0 0 4955 44 0 0 25 0 1 0 545844192 8290304 1852 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2024 1852 231 231 0 1793 0
vsize: 8096
[startup+60.0018 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 1938 0 0 0 5946 53 0 0 25 0 1 0 545844192 8425472 1885 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2057 1885 231 231 0 1826 0
vsize: 8228
[startup+70.0028 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 1995 0 0 0 6939 60 0 0 25 0 1 0 545844192 8560640 1942 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2090 1942 231 231 0 1859 0
vsize: 8360
[startup+80.0032 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2137 0 0 0 7931 67 0 0 25 0 1 0 545844192 13312000 1987 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3250 1987 231 231 0 3019 0
vsize: 13000
[startup+90.0029 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2168 0 0 0 8926 73 0 0 25 0 1 0 545844192 13451264 2018 4294967295 134512640 135450300 3221224624 3221223360 134538693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 2018 231 231 0 3053 0
vsize: 13136
[startup+100.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2243 0 0 0 9920 79 0 0 25 0 1 0 545844192 13451264 2093 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 2093 231 231 0 3053 0
vsize: 13136
[startup+110.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2272 0 0 0 10914 85 0 0 25 0 1 0 545844192 13586432 2122 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2122 231 231 0 3086 0
vsize: 13268
[startup+120.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2311 0 0 0 11910 90 0 0 25 0 1 0 545844192 13709312 2161 4294967295 134512640 135450300 3221224624 3221223104 134534885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2161 231 231 0 3116 0
vsize: 13388
[startup+130.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2341 0 0 0 12903 97 0 0 25 0 1 0 545844192 13709312 2191 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3347 2191 231 231 0 3116 0
vsize: 13388
[startup+140.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2412 0 0 0 13897 103 0 0 25 0 1 0 545844192 13856768 2262 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2262 231 231 0 3152 0
vsize: 13532
[startup+150.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2433 0 0 0 14891 109 0 0 25 0 1 0 545844192 13856768 2283 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2283 231 231 0 3152 0
vsize: 13532
[startup+160.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2532 0 0 0 15885 116 0 0 25 0 1 0 545844192 13856768 2382 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2382 231 231 0 3152 0
vsize: 13532
[startup+170.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2558 0 0 0 16878 123 0 0 25 0 1 0 545844192 14024704 2408 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2408 231 231 0 3193 0
vsize: 13696
[startup+180.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2770 0 0 0 17872 129 0 0 25 0 1 0 545844192 14811136 2427 4294967295 134512640 135450300 3221224624 3221223360 134538745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3616 2427 231 231 0 3385 0
vsize: 14464
[startup+190.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2785 0 0 0 18868 133 0 0 25 0 1 0 545844192 14811136 2442 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3616 2442 231 231 0 3385 0
vsize: 14464
[startup+200.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2824 0 0 0 19861 140 0 0 25 0 1 0 545844192 14811136 2481 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3616 2481 231 231 0 3385 0
vsize: 14464
[startup+210.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2942 0 0 0 20857 145 0 0 25 0 1 0 545844192 14970880 2599 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2599 231 231 0 3424 0
vsize: 14620
[startup+220.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2961 0 0 0 21851 151 0 0 25 0 1 0 545844192 14970880 2618 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2618 231 231 0 3424 0
vsize: 14620
[startup+230.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 2976 0 0 0 22845 157 0 0 25 0 1 0 545844192 14970880 2633 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2633 231 231 0 3424 0
vsize: 14620
[startup+240.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3009 0 0 0 23840 162 0 0 25 0 1 0 545844192 15122432 2666 4294967295 134512640 135450300 3221224624 3221223360 134538774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3692 2666 231 231 0 3461 0
vsize: 14768
[startup+250.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3172 0 0 0 24834 169 0 0 25 0 1 0 545844192 15122432 2829 4294967295 134512640 135450300 3221224624 3221223360 134538809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3692 2829 231 231 0 3461 0
vsize: 14768
[startup+260.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3241 0 0 0 25828 174 0 0 25 0 1 0 545844192 15122432 2898 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3692 2898 231 231 0 3461 0
vsize: 14768
[startup+270.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3259 0 0 0 26823 179 0 0 25 0 1 0 545844192 15319040 2916 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3740 2916 231 231 0 3509 0
vsize: 14960
[startup+280.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3279 0 0 0 27816 186 0 0 25 0 1 0 545844192 15319040 2936 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3740 2936 231 231 0 3509 0
vsize: 14960
[startup+290.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3296 0 0 0 28811 192 0 0 25 0 1 0 545844192 15319040 2953 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3740 2953 231 231 0 3509 0
vsize: 14960
[startup+300.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3318 0 0 0 29805 198 0 0 25 0 1 0 545844192 15319040 2975 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3740 2975 231 231 0 3509 0
vsize: 14960
[startup+310.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3344 0 0 0 30799 204 0 0 25 0 1 0 545844192 15441920 3001 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3770 3001 231 231 0 3539 0
vsize: 15080
[startup+320.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3359 0 0 0 31794 210 0 0 25 0 1 0 545844192 15441920 3016 4294967295 134512640 135450300 3221224624 3221223008 134602272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3770 3016 231 231 0 3539 0
vsize: 15080
[startup+330.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3384 0 0 0 32787 216 0 0 25 0 1 0 545844192 15560704 3041 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3041 231 231 0 3568 0
vsize: 15196
[startup+340.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3401 0 0 0 33782 222 0 0 25 0 1 0 545844192 15560704 3058 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3058 231 231 0 3568 0
vsize: 15196
[startup+350.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3420 0 0 0 34775 229 0 0 25 0 1 0 545844192 15560704 3077 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 3077 231 231 0 3568 0
vsize: 15196
[startup+360.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3447 0 0 0 35770 234 0 0 25 0 1 0 545844192 15679488 3104 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3828 3104 231 231 0 3597 0
vsize: 15312
[startup+370.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3469 0 0 0 36763 241 0 0 25 0 1 0 545844192 15679488 3126 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3828 3126 231 231 0 3597 0
vsize: 15312
[startup+380.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3488 0 0 0 37757 248 0 0 25 0 1 0 545844192 15896576 3145 4294967295 134512640 135450300 3221224624 3221223360 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3881 3145 231 231 0 3650 0
vsize: 15524
[startup+390.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3506 0 0 0 38749 256 0 0 25 0 1 0 545844192 15896576 3163 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3881 3163 231 231 0 3650 0
vsize: 15524
[startup+400.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3913 0 0 0 39742 263 0 0 25 0 1 0 545844192 17469440 3185 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4265 3185 231 231 0 4034 0
vsize: 17060
[startup+410.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3935 0 0 0 40737 268 0 0 25 0 1 0 545844192 17604608 3207 4294967295 134512640 135450300 3221224624 3221223232 134537761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3207 231 231 0 4067 0
vsize: 17192
[startup+420.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3956 0 0 0 41730 275 0 0 25 0 1 0 545844192 17604608 3228 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3228 231 231 0 4067 0
vsize: 17192
[startup+430.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3971 0 0 0 42726 280 0 0 25 0 1 0 545844192 17604608 3243 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3243 231 231 0 4067 0
vsize: 17192
[startup+440.009 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 3982 0 0 0 43720 286 0 0 25 0 1 0 545844192 17604608 3254 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3254 231 231 0 4067 0
vsize: 17192
[startup+450.009 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4010 0 0 0 44715 291 0 0 25 0 1 0 545844192 17756160 3282 4294967295 134512640 135450300 3221224624 3221223360 134538424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4335 3282 231 231 0 4104 0
vsize: 17340
[startup+460.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4029 0 0 0 45709 297 0 0 25 0 1 0 545844192 17756160 3301 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4335 3301 231 231 0 4104 0
vsize: 17340
[startup+470.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4049 0 0 0 46703 303 0 0 25 0 1 0 545844192 17756160 3321 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4335 3321 231 231 0 4104 0
vsize: 17340
[startup+480.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4074 0 0 0 47696 311 0 0 25 0 1 0 545844192 17895424 3346 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3346 231 231 0 4138 0
vsize: 17476
[startup+490.024 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4089 0 0 0 48692 317 0 0 25 0 1 0 545844192 17895424 3361 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3361 231 231 0 4138 0
vsize: 17476
[startup+500.036 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4104 0 0 0 49688 322 0 0 25 0 1 0 545844192 17895424 3376 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3376 231 231 0 4138 0
vsize: 17476
[startup+510.041 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4122 0 0 0 50684 326 0 0 25 0 1 0 545844192 17895424 3394 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 3394 231 231 0 4138 0
vsize: 17476
[startup+520.052 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4133 0 0 0 51680 331 0 0 25 0 1 0 545844192 18034688 3405 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3405 231 231 0 4172 0
vsize: 17612
[startup+530.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4156 0 0 0 52675 337 0 0 25 0 1 0 545844192 18034688 3428 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3428 231 231 0 4172 0
vsize: 17612
[startup+540.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4175 0 0 0 53670 342 0 0 25 0 1 0 545844192 18034688 3447 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3447 231 231 0 4172 0
vsize: 17612
[startup+550.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4193 0 0 0 54665 347 0 0 25 0 1 0 545844192 18034688 3465 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4403 3465 231 231 0 4172 0
vsize: 17612
[startup+560.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4211 0 0 0 55660 353 0 0 25 0 1 0 545844192 18182144 3483 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4439 3483 231 231 0 4208 0
vsize: 17756
[startup+570.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4231 0 0 0 56656 357 0 0 25 0 1 0 545844192 18182144 3503 4294967295 134512640 135450300 3221224624 3221223360 134538714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4439 3503 231 231 0 4208 0
vsize: 17756
[startup+580.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4250 0 0 0 57650 363 0 0 25 0 1 0 545844192 18182144 3522 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4439 3522 231 231 0 4208 0
vsize: 17756
[startup+590.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4269 0 0 0 58643 370 0 0 25 0 1 0 545844192 18182144 3541 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4439 3541 231 231 0 4208 0
vsize: 17756
[startup+600.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4288 0 0 0 59638 375 0 0 25 0 1 0 545844192 18337792 3560 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3560 231 231 0 4246 0
vsize: 17908
[startup+610.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4308 0 0 0 60633 381 0 0 25 0 1 0 545844192 18337792 3580 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3580 231 231 0 4246 0
vsize: 17908
[startup+620.053 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4326 0 0 0 61627 387 0 0 25 0 1 0 545844192 18337792 3598 4294967295 134512640 135450300 3221224624 3221223008 134579530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3598 231 231 0 4246 0
vsize: 17908
[startup+630.057 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4348 0 0 0 62622 393 0 0 25 0 1 0 545844192 18337792 3620 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3620 231 231 0 4246 0
vsize: 17908
[startup+640.062 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4365 0 0 0 63615 400 0 0 25 0 1 0 545844192 18501632 3637 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4517 3637 231 231 0 4286 0
vsize: 18068
[startup+650.062 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4383 0 0 0 64609 406 0 0 25 0 1 0 545844192 18501632 3655 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4517 3655 231 231 0 4286 0
vsize: 18068
[startup+660.062 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4406 0 0 0 65603 412 0 0 25 0 1 0 545844192 18501632 3678 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4517 3678 231 231 0 4286 0
vsize: 18068
[startup+670.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4426 0 0 0 66599 417 0 0 25 0 1 0 545844192 18501632 3698 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4517 3698 231 231 0 4286 0
vsize: 18068
[startup+680.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4448 0 0 0 67594 421 0 0 25 0 1 0 545844192 18677760 3720 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3720 231 231 0 4329 0
vsize: 18240
[startup+690.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4463 0 0 0 68588 428 0 0 25 0 1 0 545844192 18677760 3735 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3735 231 231 0 4329 0
vsize: 18240
[startup+700.064 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4489 0 0 0 69582 434 0 0 25 0 1 0 545844192 18677760 3761 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3761 231 231 0 4329 0
vsize: 18240
[startup+710.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4505 0 0 0 70576 440 0 0 25 0 1 0 545844192 18677760 3777 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3777 231 231 0 4329 0
vsize: 18240
[startup+720.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4528 0 0 0 71570 447 0 0 25 0 1 0 545844192 18980864 3800 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3800 231 231 0 4403 0
vsize: 18536
[startup+730.064 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4547 0 0 0 72562 454 0 0 25 0 1 0 545844192 18980864 3819 4294967295 134512640 135450300 3221224624 3221223360 134537905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3819 231 231 0 4403 0
vsize: 18536
[startup+740.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4561 0 0 0 73558 459 0 0 25 0 1 0 545844192 18980864 3833 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3833 231 231 0 4403 0
vsize: 18536
[startup+750.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4584 0 0 0 74552 465 0 0 25 0 1 0 545844192 18980864 3856 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3856 231 231 0 4403 0
vsize: 18536
[startup+760.064 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4599 0 0 0 75546 471 0 0 25 0 1 0 545844192 18980864 3871 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3871 231 231 0 4403 0
vsize: 18536
[startup+770.063 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4623 0 0 0 76540 477 0 0 25 0 1 0 545844192 18980864 3895 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3895 231 231 0 4403 0
vsize: 18536
[startup+780.074 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4642 0 0 0 77535 484 0 0 25 0 1 0 545844192 19177472 3914 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3914 231 231 0 4451 0
vsize: 18728
[startup+790.083 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4660 0 0 0 78531 488 0 0 25 0 1 0 545844192 19177472 3932 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3932 231 231 0 4451 0
vsize: 18728
[startup+800.083 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4677 0 0 0 79525 495 0 0 25 0 1 0 545844192 19177472 3949 4294967295 134512640 135450300 3221224624 3221223360 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3949 231 231 0 4451 0
vsize: 18728
[startup+810.087 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4697 0 0 0 80519 501 0 0 25 0 1 0 545844192 19177472 3969 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3969 231 231 0 4451 0
vsize: 18728
[startup+820.091 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 4718 0 0 0 81512 509 0 0 25 0 1 0 545844192 19177472 3990 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3990 231 231 0 4451 0
vsize: 18728
[startup+830.092 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5506 0 0 0 82507 514 0 0 25 0 1 0 545844192 22532096 4009 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5501 4009 231 231 0 5270 0
vsize: 22004
[startup+840.094 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5530 0 0 0 83501 520 0 0 25 0 1 0 545844192 22532096 4033 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5501 4033 231 231 0 5270 0
vsize: 22004
[startup+850.108 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5542 0 0 0 84497 526 0 0 25 0 1 0 545844192 22532096 4045 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5501 4045 231 231 0 5270 0
vsize: 22004
[startup+860.108 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5553 0 0 0 85491 532 0 0 25 0 1 0 545844192 22532096 4056 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5501 4056 231 231 0 5270 0
vsize: 22004
[startup+870.109 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5576 0 0 0 86485 539 0 0 25 0 1 0 545844192 22532096 4079 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5501 4079 231 231 0 5270 0
vsize: 22004
[startup+880.116 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5596 0 0 0 87480 544 0 0 25 0 1 0 545844192 22532096 4099 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5501 4099 231 231 0 5270 0
vsize: 22004
[startup+890.12 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5616 0 0 0 88477 549 0 0 25 0 1 0 545844192 22753280 4119 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5555 4119 231 231 0 5324 0
vsize: 22220
[startup+900.12 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5632 0 0 0 89471 554 0 0 25 0 1 0 545844192 22753280 4135 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5555 4135 231 231 0 5324 0
vsize: 22220
[startup+910.119 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5657 0 0 0 90467 559 0 0 25 0 1 0 545844192 22753280 4160 4294967295 134512640 135450300 3221224624 3221223440 134537149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5555 4160 231 231 0 5324 0
vsize: 22220
[startup+920.126 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5676 0 0 0 91462 564 0 0 25 0 1 0 545844192 22872064 4179 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4179 231 231 0 5353 0
vsize: 22336
[startup+930.146 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5692 0 0 0 92459 570 0 0 25 0 1 0 545844192 22872064 4195 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4195 231 231 0 5353 0
vsize: 22336
[startup+940.145 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5714 0 0 0 93453 576 0 0 25 0 1 0 545844192 22872064 4217 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4217 231 231 0 5353 0
vsize: 22336
[startup+950.145 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5733 0 0 0 94448 581 0 0 25 0 1 0 545844192 22872064 4236 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4236 231 231 0 5353 0
vsize: 22336
[startup+960.147 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5742 0 0 0 95442 587 0 0 25 0 1 0 545844192 22872064 4245 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5584 4245 231 231 0 5353 0
vsize: 22336
[startup+970.146 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5768 0 0 0 96438 592 0 0 25 0 1 0 545844192 23109632 4271 4294967295 134512640 135450300 3221224624 3221223360 134537893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4271 231 231 0 5411 0
vsize: 22568
[startup+980.146 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5786 0 0 0 97432 597 0 0 25 0 1 0 545844192 23109632 4289 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4289 231 231 0 5411 0
vsize: 22568
[startup+990.146 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5809 0 0 0 98427 603 0 0 25 0 1 0 545844192 23109632 4312 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4312 231 231 0 5411 0
vsize: 22568
[startup+1000.15 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5825 0 0 0 99421 609 0 0 25 0 1 0 545844192 23109632 4328 4294967295 134512640 135450300 3221224624 3221222976 134533233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4328 231 231 0 5411 0
vsize: 22568
[startup+1010.15 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5842 0 0 0 100416 614 0 0 25 0 1 0 545844192 23109632 4345 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4345 231 231 0 5411 0
vsize: 22568
[startup+1020.19 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5864 0 0 0 101416 618 0 0 25 0 1 0 545844192 23359488 4367 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4367 231 231 0 5472 0
vsize: 22812
[startup+1030.2 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5888 0 0 0 102412 624 0 0 25 0 1 0 545844192 23359488 4391 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4391 231 231 0 5472 0
vsize: 22812
[startup+1040.2 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5897 0 0 0 103406 630 0 0 25 0 1 0 545844192 23359488 4400 4294967295 134512640 135450300 3221224624 3221223540 134539752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4400 231 231 0 5472 0
vsize: 22812
[startup+1050.22 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5919 0 0 0 104402 635 0 0 25 0 1 0 545844192 23359488 4422 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4422 231 231 0 5472 0
vsize: 22812
[startup+1060.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5934 0 0 0 105397 642 0 0 25 0 1 0 545844192 23359488 4437 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4437 231 231 0 5472 0
vsize: 22812
[startup+1070.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5955 0 0 0 106392 648 0 0 25 0 1 0 545844192 23359488 4458 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4458 231 231 0 5472 0
vsize: 22812
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5970 0 0 0 107385 654 0 0 25 0 1 0 545844192 23359488 4473 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4473 231 231 0 5472 0
vsize: 22812
[startup+1090.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 5987 0 0 0 108379 661 0 0 25 0 1 0 545844192 23625728 4490 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 4490 231 231 0 5537 0
vsize: 23072
[startup+1100.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6001 0 0 0 109374 666 0 0 25 0 1 0 545844192 23625728 4504 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 4504 231 231 0 5537 0
vsize: 23072
[startup+1110.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6024 0 0 0 110369 671 0 0 25 0 1 0 545844192 23625728 4527 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 4527 231 231 0 5537 0
vsize: 23072
[startup+1120.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6039 0 0 0 111361 679 0 0 25 0 1 0 545844192 23625728 4542 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 4542 231 231 0 5537 0
vsize: 23072
[startup+1130.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6056 0 0 0 112357 683 0 0 25 0 1 0 545844192 23625728 4559 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 4559 231 231 0 5537 0
vsize: 23072
[startup+1140.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6071 0 0 0 113352 689 0 0 25 0 1 0 545844192 23625728 4574 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 4574 231 231 0 5537 0
vsize: 23072
[startup+1150.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6098 0 0 0 114346 695 0 0 25 0 1 0 545844192 23625728 4601 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5768 4601 231 231 0 5537 0
vsize: 23072
[startup+1160.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6117 0 0 0 115341 700 0 0 25 0 1 0 545844192 23908352 4620 4294967295 134512640 135450300 3221224624 3221223376 135068531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5837 4620 231 231 0 5606 0
vsize: 23348
[startup+1170.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6134 0 0 0 116335 707 0 0 25 0 1 0 545844192 23908352 4637 4294967295 134512640 135450300 3221224624 3221223504 134529364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5837 4637 231 231 0 5606 0
vsize: 23348
[startup+1180.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6154 0 0 0 117328 713 0 0 25 0 1 0 545844192 24027136 4657 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5866 4657 231 231 0 5635 0
vsize: 23464
[startup+1190.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6172 0 0 0 118321 720 0 0 25 0 1 0 545844192 24027136 4675 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5866 4675 231 231 0 5635 0
vsize: 23464
[startup+1200.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11461
Raw data (stat): 11461 (PBS4) R 11460 28546 28545 0 -1 0 6185 0 0 0 119316 726 0 0 25 0 1 0 545844192 24027136 4688 4294967295 134512640 135450300 3221224624 3221223456 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5866 4688 231 231 0 5635 0
vsize: 23464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 11461
Raw data (stat): 11461 (PBS4) Z 11460 28546 28545 0 -1 1036 6185 0 0 0 119316 727 0 0 25 0 1 0 545844192 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.25
CPU time (s): 1200.44
CPU user time (s): 1193.17
CPU system time (s): 7.27289
CPU usage (%): 100.016
Max. virtual memory (Kb): 23464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####