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/miplib2003/normalized-mps-v2-13-7-mzzv11.opb
MD5SUM	ec9eb8bc5f0ce888f87dfc271da55db8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-5109
Optimality of the best value was proved	NO
Number of terms in the objective function	773
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	76861
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1999
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	76861
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	11247
Total number of constraints	19739
Number of constraints which are clauses	77
Number of constraints which are cardinality constraints (but not clauses)	15744
Number of constraints which are nor clauses,nor cardinality constraints	3918
Minimum length of a constraint	1
Maximum length of a constraint	68
Trace number 15386

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 04:06:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17790 boxname=wulflinc27 idbench=1369 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ec9eb8bc5f0ce888f87dfc271da55db8  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mzzv11.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mzzv11.opb
IDLAUNCH: 17790
/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:        842192 kB
Buffers:         21076 kB
Cached:         142472 kB
SwapCached:        604 kB
Active:          32716 kB
Inactive:       132920 kB
HighTotal:      131008 kB
HighFree:        36652 kB
LowTotal:       903652 kB
LowFree:        805540 kB
SwapTotal:     2097892 kB
SwapFree:      2096484 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5236 kB
Slab:            21240 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 04:26:19 (client local time) WITH STATUS 0 IN 1200.71 SECONDS
stats: 17790 7 1200.71 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-mzzv11.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.86 0.97 0.94 2/54 11665
Raw data (stat): 11665 (runsolver) R 11664 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542064833 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.88 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2075 0 0 0 988 11 0 0 25 0 1 0 542064833 8888320 1913 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2170 1913 231 231 0 1939 0
vsize: 8680
[startup+20.0003 s]
Raw data (loadavg): 0.90 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2246 0 0 0 1983 15 0 0 25 0 1 0 542064833 9756672 2084 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2382 2084 231 231 0 2151 0
vsize: 9528
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2355 0 0 0 2980 19 0 0 25 0 1 0 542064833 10575872 2193 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2582 2193 231 231 0 2351 0
vsize: 10328
[startup+40.0006 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2463 0 0 0 3976 23 0 0 25 0 1 0 542064833 10866688 2301 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2653 2301 231 231 0 2422 0
vsize: 10612
[startup+50.0018 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2607 0 0 0 4973 26 0 0 25 0 1 0 542064833 11063296 2396 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2701 2396 231 231 0 2470 0
vsize: 10804
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2682 0 0 0 5968 31 0 0 25 0 1 0 542064833 12259328 2471 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2993 2471 231 231 0 2762 0
vsize: 11972
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2815 0 0 0 6965 35 0 0 25 0 1 0 542064833 12627968 2604 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2604 231 231 0 2852 0
vsize: 12332
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 2937 0 0 0 7961 38 0 0 25 0 1 0 542064833 12767232 2726 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3117 2726 231 231 0 2886 0
vsize: 12468
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3011 0 0 0 8958 42 0 0 25 0 1 0 542064833 12906496 2800 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3151 2800 231 231 0 2920 0
vsize: 12604
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3184 0 0 0 9953 47 0 0 25 0 1 0 542064833 13299712 2876 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3247 2876 231 231 0 3016 0
vsize: 12988
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3258 0 0 0 10948 52 0 0 25 0 1 0 542064833 15544320 2950 4294967295 134512640 135450300 3221224624 3221222976 134533219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2950 231 231 0 3564 0
vsize: 15180
[startup+120.132 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3344 0 0 0 11957 56 0 0 25 0 1 0 542064833 15753216 3036 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3846 3036 231 231 0 3615 0
vsize: 15384
[startup+130.132 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3398 0 0 0 12955 59 0 0 25 0 1 0 542064833 15753216 3090 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3846 3090 231 231 0 3615 0
vsize: 15384
[startup+140.132 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3446 0 0 0 13952 62 0 0 25 0 1 0 542064833 15753216 3138 4294967295 134512640 135450300 3221224624 3221223360 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3846 3138 231 231 0 3615 0
vsize: 15384
[startup+150.132 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3504 0 0 0 14949 65 0 0 25 0 1 0 542064833 15867904 3196 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3196 231 231 0 3643 0
vsize: 15496
[startup+160.132 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3517 0 0 0 15946 68 0 0 25 0 1 0 542064833 15867904 3209 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3209 231 231 0 3643 0
vsize: 15496
[startup+170.133 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3556 0 0 0 16944 70 0 0 25 0 1 0 542064833 15982592 3248 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3248 231 231 0 3671 0
vsize: 15608
[startup+180.133 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3565 0 0 0 17941 74 0 0 25 0 1 0 542064833 15982592 3257 4294967295 134512640 135450300 3221224624 3221223232 134537705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3257 231 231 0 3671 0
vsize: 15608
[startup+190.134 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3577 0 0 0 18938 77 0 0 25 0 1 0 542064833 15982592 3269 4294967295 134512640 135450300 3221224624 3221223232 134537667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3269 231 231 0 3671 0
vsize: 15608
[startup+200.134 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3619 0 0 0 19936 78 0 0 25 0 1 0 542064833 16142336 3311 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3941 3311 231 231 0 3710 0
vsize: 15764
[startup+210.136 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3697 0 0 0 20932 83 0 0 25 0 1 0 542064833 16265216 3389 4294967295 134512640 135450300 3221224624 3221223564 134530263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3971 3389 231 231 0 3740 0
vsize: 15884
[startup+220.136 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3722 0 0 0 21929 86 0 0 25 0 1 0 542064833 16265216 3414 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3971 3414 231 231 0 3740 0
vsize: 15884
[startup+230.26 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 3986 0 0 0 22939 89 0 0 25 0 1 0 542064833 17100800 3485 4294967295 134512640 135450300 3221224624 3221223360 134537943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4175 3485 231 231 0 3944 0
vsize: 16700
[startup+240.265 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4041 0 0 0 23937 92 0 0 25 0 1 0 542064833 17145856 3540 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4186 3540 231 231 0 3955 0
vsize: 16744
[startup+250.264 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4088 0 0 0 24934 94 0 0 25 0 1 0 542064833 17145856 3587 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4186 3587 231 231 0 3955 0
vsize: 16744
[startup+260.274 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4146 0 0 0 25933 97 0 0 25 0 1 0 542064833 17248256 3645 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3645 231 231 0 3980 0
vsize: 16844
[startup+270.274 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4163 0 0 0 26930 100 0 0 25 0 1 0 542064833 17248256 3662 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3662 231 231 0 3980 0
vsize: 16844
[startup+280.274 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4201 0 0 0 27926 104 0 0 25 0 1 0 542064833 17248256 3700 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3700 231 231 0 3980 0
vsize: 16844
[startup+290.285 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4253 0 0 0 28924 107 0 0 25 0 1 0 542064833 17248256 3752 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3752 231 231 0 3980 0
vsize: 16844
[startup+300.285 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4320 0 0 0 29922 110 0 0 25 0 1 0 542064833 17358848 3819 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4238 3819 231 231 0 4007 0
vsize: 16952
[startup+310.285 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4382 0 0 0 30919 113 0 0 25 0 1 0 542064833 21667840 3881 4294967295 134512640 135450300 3221224624 3221222976 134533206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 3881 231 231 0 5059 0
vsize: 21160
[startup+320.285 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4453 0 0 0 31917 114 0 0 25 0 1 0 542064833 21667840 3952 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5290 3952 231 231 0 5059 0
vsize: 21160
[startup+330.285 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4526 0 0 0 32915 117 0 0 25 0 1 0 542064833 21729280 4025 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 4025 231 231 0 5074 0
vsize: 21220
[startup+340.286 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4566 0 0 0 33912 120 0 0 25 0 1 0 542064833 21729280 4065 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 4065 231 231 0 5074 0
vsize: 21220
[startup+350.356 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4619 0 0 0 34916 123 0 0 25 0 1 0 542064833 21729280 4118 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5305 4118 231 231 0 5074 0
vsize: 21220
[startup+360.406 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4650 0 0 0 35919 125 0 0 25 0 1 0 542064833 21835776 4149 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 4149 231 231 0 5100 0
vsize: 21324
[startup+370.406 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4659 0 0 0 36916 128 0 0 25 0 1 0 542064833 21835776 4158 4294967295 134512640 135450300 3221224624 3221223232 134537675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5331 4158 231 231 0 5100 0
vsize: 21324
[startup+380.412 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4704 0 0 0 37914 131 0 0 25 0 1 0 542064833 22093824 4203 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5394 4203 231 231 0 5163 0
vsize: 21576
[startup+390.417 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4749 0 0 0 38913 133 0 0 25 0 1 0 542064833 22093824 4248 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5394 4248 231 231 0 5163 0
vsize: 21576
[startup+400.422 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4790 0 0 0 39911 136 0 0 25 0 1 0 542064833 22093824 4289 4294967295 134512640 135450300 3221224624 3221223344 134536009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5394 4289 231 231 0 5163 0
vsize: 21576
[startup+410.423 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4833 0 0 0 40908 139 0 0 25 0 1 0 542064833 22151168 4332 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5408 4332 231 231 0 5177 0
vsize: 21632
[startup+420.426 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4894 0 0 0 41905 142 0 0 25 0 1 0 542064833 22151168 4393 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5408 4393 231 231 0 5177 0
vsize: 21632
[startup+430.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4951 0 0 0 42904 145 0 0 25 0 1 0 542064833 22151168 4450 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5408 4450 231 231 0 5177 0
vsize: 21632
[startup+440.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 4986 0 0 0 43902 147 0 0 25 0 1 0 542064833 22200320 4485 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4485 231 231 0 5189 0
vsize: 21680
[startup+450.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5002 0 0 0 44900 149 0 0 25 0 1 0 542064833 22200320 4501 4294967295 134512640 135450300 3221224624 3221223360 134538490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4501 231 231 0 5189 0
vsize: 21680
[startup+460.431 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5007 0 0 0 45897 151 0 0 25 0 1 0 542064833 22200320 4506 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4506 231 231 0 5189 0
vsize: 21680
[startup+470.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5013 0 0 0 46895 154 0 0 25 0 1 0 542064833 22200320 4512 4294967295 134512640 135450300 3221224624 3221223360 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 4512 231 231 0 5189 0
vsize: 21680
[startup+480.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5018 0 0 0 47893 156 0 0 25 0 1 0 542064833 22323200 4517 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4517 231 231 0 5219 0
vsize: 21800
[startup+490.432 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5042 0 0 0 48891 159 0 0 25 0 1 0 542064833 22323200 4541 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4541 231 231 0 5219 0
vsize: 21800
[startup+500.433 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5057 0 0 0 49888 161 0 0 25 0 1 0 542064833 22323200 4556 4294967295 134512640 135450300 3221224624 3221223232 134537675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 4556 231 231 0 5219 0
vsize: 21800
[startup+510.434 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5071 0 0 0 50886 164 0 0 25 0 1 0 542064833 22388736 4570 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5466 4570 231 231 0 5235 0
vsize: 21864
[startup+520.433 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5075 0 0 0 51884 166 0 0 25 0 1 0 542064833 22388736 4574 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5466 4574 231 231 0 5235 0
vsize: 21864
[startup+530.434 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5093 0 0 0 52881 169 0 0 25 0 1 0 542064833 22388736 4592 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5466 4592 231 231 0 5235 0
vsize: 21864
[startup+540.435 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5147 0 0 0 53879 172 0 0 25 0 1 0 542064833 22437888 4646 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5478 4646 231 231 0 5247 0
vsize: 21912
[startup+550.435 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5166 0 0 0 54875 175 0 0 25 0 1 0 542064833 22437888 4665 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5478 4665 231 231 0 5247 0
vsize: 21912
[startup+560.454 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5171 0 0 0 55875 177 0 0 25 0 1 0 542064833 22437888 4670 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5478 4670 231 231 0 5247 0
vsize: 21912
[startup+570.472 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5199 0 0 0 56875 180 0 0 25 0 1 0 542064833 22540288 4698 4294967295 134512640 135450300 3221224624 3221223068 134572888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5503 4698 231 231 0 5272 0
vsize: 22012
[startup+580.473 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5236 0 0 0 57872 183 0 0 25 0 1 0 542064833 22540288 4735 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5503 4735 231 231 0 5272 0
vsize: 22012
[startup+590.481 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5278 0 0 0 58870 186 0 0 25 0 1 0 542064833 22609920 4777 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5520 4777 231 231 0 5289 0
vsize: 22080
[startup+600.481 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5281 0 0 0 59868 188 0 0 25 0 1 0 542064833 22609920 4780 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5520 4780 231 231 0 5289 0
vsize: 22080
[startup+610.482 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5323 0 0 0 60866 190 0 0 25 0 1 0 542064833 22609920 4822 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5520 4822 231 231 0 5289 0
vsize: 22080
[startup+620.482 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5376 0 0 0 61864 192 0 0 25 0 1 0 542064833 22609920 4875 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5520 4875 231 231 0 5289 0
vsize: 22080
[startup+630.482 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5811 0 0 0 62862 195 0 0 25 0 1 0 542064833 24256512 4925 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5922 4925 231 231 0 5691 0
vsize: 23688
[startup+640.483 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5856 0 0 0 63859 198 0 0 25 0 1 0 542064833 24256512 4970 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5922 4970 231 231 0 5691 0
vsize: 23688
[startup+650.483 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5902 0 0 0 64857 200 0 0 25 0 1 0 542064833 24428544 5016 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 5016 231 231 0 5733 0
vsize: 23856
[startup+660.484 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5946 0 0 0 65855 203 0 0 25 0 1 0 542064833 24428544 5060 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 5060 231 231 0 5733 0
vsize: 23856
[startup+670.484 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 5985 0 0 0 66852 205 0 0 25 0 1 0 542064833 24428544 5099 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 5099 231 231 0 5733 0
vsize: 23856
[startup+680.485 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6015 0 0 0 67851 207 0 0 25 0 1 0 542064833 24428544 5129 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 5129 231 231 0 5733 0
vsize: 23856
[startup+690.484 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6046 0 0 0 68848 210 0 0 25 0 1 0 542064833 24535040 5160 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 5160 231 231 0 5759 0
vsize: 23960
[startup+700.484 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6061 0 0 0 69846 212 0 0 25 0 1 0 542064833 24535040 5175 4294967295 134512640 135450300 3221224624 3221223080 134533409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 5175 231 231 0 5759 0
vsize: 23960
[startup+710.485 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6065 0 0 0 70844 214 0 0 25 0 1 0 542064833 24535040 5179 4294967295 134512640 135450300 3221224624 3221222976 134533314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5990 5179 231 231 0 5759 0
vsize: 23960
[startup+720.485 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6077 0 0 0 71842 216 0 0 25 0 1 0 542064833 24604672 5191 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6007 5191 231 231 0 5776 0
vsize: 24028
[startup+730.486 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6082 0 0 0 72839 220 0 0 25 0 1 0 542064833 24604672 5196 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6007 5196 231 231 0 5776 0
vsize: 24028
[startup+740.486 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6087 0 0 0 73836 222 0 0 25 0 1 0 542064833 24604672 5201 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6007 5201 231 231 0 5776 0
vsize: 24028
[startup+750.485 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6109 0 0 0 74833 226 0 0 25 0 1 0 542064833 24674304 5223 4294967295 134512640 135450300 3221224624 3221223360 134538878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6024 5223 231 231 0 5793 0
vsize: 24096
[startup+760.486 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6115 0 0 0 75831 229 0 0 25 0 1 0 542064833 24674304 5229 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6024 5229 231 231 0 5793 0
vsize: 24096
[startup+770.486 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6134 0 0 0 76829 230 0 0 25 0 1 0 542064833 24735744 5248 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6039 5248 231 231 0 5808 0
vsize: 24156
[startup+780.487 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6139 0 0 0 77827 233 0 0 25 0 1 0 542064833 24735744 5253 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6039 5253 231 231 0 5808 0
vsize: 24156
[startup+790.487 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6171 0 0 0 78823 237 0 0 25 0 1 0 542064833 24735744 5285 4294967295 134512640 135450300 3221224624 3221222976 134533196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6039 5285 231 231 0 5808 0
vsize: 24156
[startup+800.486 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6223 0 0 0 79822 238 0 0 25 0 1 0 542064833 24788992 5337 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 5337 231 231 0 5821 0
vsize: 24208
[startup+810.486 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6263 0 0 0 80820 241 0 0 25 0 1 0 542064833 24788992 5377 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 5377 231 231 0 5821 0
vsize: 24208
[startup+820.486 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6303 0 0 0 81818 243 0 0 25 0 1 0 542064833 24788992 5417 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 5417 231 231 0 5821 0
vsize: 24208
[startup+830.487 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6314 0 0 0 82816 244 0 0 25 0 1 0 542064833 24834048 5428 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6063 5428 231 231 0 5832 0
vsize: 24252
[startup+840.488 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6318 0 0 0 83814 247 0 0 25 0 1 0 542064833 24834048 5432 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6063 5432 231 231 0 5832 0
vsize: 24252
[startup+850.487 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6347 0 0 0 84812 249 0 0 25 0 1 0 542064833 24879104 5461 4294967295 134512640 135450300 3221224624 3221223360 134537882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 5461 231 231 0 5843 0
vsize: 24296
[startup+860.487 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6383 0 0 0 85809 252 0 0 25 0 1 0 542064833 24879104 5497 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 5497 231 231 0 5843 0
vsize: 24296
[startup+870.487 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6432 0 0 0 86807 254 0 0 25 0 1 0 542064833 33267712 5546 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8122 5546 231 231 0 7891 0
vsize: 32488
[startup+880.488 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6477 0 0 0 87805 256 0 0 25 0 1 0 542064833 33267712 5591 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8122 5591 231 231 0 7891 0
vsize: 32488
[startup+890.489 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6525 0 0 0 88802 259 0 0 25 0 1 0 542064833 33267712 5639 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8122 5639 231 231 0 7891 0
vsize: 32488
[startup+900.489 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6568 0 0 0 89799 263 0 0 25 0 1 0 542064833 33267712 5682 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8122 5682 231 231 0 7891 0
vsize: 32488
[startup+910.489 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6607 0 0 0 90798 264 0 0 25 0 1 0 542064833 33378304 5721 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8149 5721 231 231 0 7918 0
vsize: 32596
[startup+920.489 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6642 0 0 0 91796 266 0 0 25 0 1 0 542064833 33378304 5756 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8149 5756 231 231 0 7918 0
vsize: 32596
[startup+930.49 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6681 0 0 0 92793 270 0 0 25 0 1 0 542064833 33378304 5795 4294967295 134512640 135450300 3221224624 3221223232 134537698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8149 5795 231 231 0 7918 0
vsize: 32596
[startup+940.49 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6740 0 0 0 93791 272 0 0 25 0 1 0 542064833 33443840 5854 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8165 5854 231 231 0 7934 0
vsize: 32660
[startup+950.49 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6743 0 0 0 94789 274 0 0 25 0 1 0 542064833 33443840 5857 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8165 5857 231 231 0 7934 0
vsize: 32660
[startup+960.491 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6748 0 0 0 95787 276 0 0 25 0 1 0 542064833 33443840 5862 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8165 5862 231 231 0 7934 0
vsize: 32660
[startup+970.496 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6767 0 0 0 96786 278 0 0 25 0 1 0 542064833 33501184 5881 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8179 5881 231 231 0 7948 0
vsize: 32716
[startup+980.496 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6771 0 0 0 97783 281 0 0 25 0 1 0 542064833 33501184 5885 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8179 5885 231 231 0 7948 0
vsize: 32716
[startup+990.497 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6783 0 0 0 98781 284 0 0 25 0 1 0 542064833 33501184 5897 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8179 5897 231 231 0 7948 0
vsize: 32716
[startup+1000.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6841 0 0 0 99779 285 0 0 25 0 1 0 542064833 33554432 5955 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 5955 231 231 0 7961 0
vsize: 32768
[startup+1010.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6871 0 0 0 100777 287 0 0 25 0 1 0 542064833 33554432 5985 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 5985 231 231 0 7961 0
vsize: 32768
[startup+1020.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6876 0 0 0 101775 290 0 0 25 0 1 0 542064833 33554432 5990 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 5990 231 231 0 7961 0
vsize: 32768
[startup+1030.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6906 0 0 0 102773 292 0 0 25 0 1 0 542064833 33554432 6020 4294967295 134512640 135450300 3221224624 3221222900 135071403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6020 231 231 0 7961 0
vsize: 32768
[startup+1040.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6939 0 0 0 103771 294 0 0 25 0 1 0 542064833 33554432 6053 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8192 6053 231 231 0 7961 0
vsize: 32768
[startup+1050.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 6990 0 0 0 104769 296 0 0 25 0 1 0 542064833 33660928 6104 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8218 6104 231 231 0 7987 0
vsize: 32872
[startup+1060.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7025 0 0 0 105767 299 0 0 25 0 1 0 542064833 33660928 6139 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8218 6139 231 231 0 7987 0
vsize: 32872
[startup+1070.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7064 0 0 0 106765 301 0 0 25 0 1 0 542064833 33660928 6178 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8218 6178 231 231 0 7987 0
vsize: 32872
[startup+1080.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7098 0 0 0 107763 303 0 0 25 0 1 0 542064833 33660928 6212 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8218 6212 231 231 0 7987 0
vsize: 32872
[startup+1090.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7133 0 0 0 108761 306 0 0 25 0 1 0 542064833 33660928 6247 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8218 6247 231 231 0 7987 0
vsize: 32872
[startup+1100.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7169 0 0 0 109759 308 0 0 25 0 1 0 542064833 33660928 6283 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8218 6283 231 231 0 7987 0
vsize: 32872
[startup+1110.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7205 0 0 0 110756 311 0 0 25 0 1 0 542064833 33775616 6319 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8246 6319 231 231 0 8015 0
vsize: 32984
[startup+1120.5 s]
Raw data (loadavg): 0.99 0.97 0.94 3/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7239 0 0 0 111754 313 0 0 25 0 1 0 542064833 33775616 6353 4294967295 134512640 135450300 3221224624 3221223360 134538976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8246 6353 231 231 0 8015 0
vsize: 32984
[startup+1130.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7275 0 0 0 112752 315 0 0 25 0 1 0 542064833 33775616 6389 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8246 6389 231 231 0 8015 0
vsize: 32984
[startup+1140.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7312 0 0 0 113750 317 0 0 25 0 1 0 542064833 33775616 6426 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8246 6426 231 231 0 8015 0
vsize: 32984
[startup+1150.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7366 0 0 0 114748 319 0 0 25 0 1 0 542064833 33882112 6480 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8272 6480 231 231 0 8041 0
vsize: 33088
[startup+1160.51 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7403 0 0 0 115746 322 0 0 25 0 1 0 542064833 33882112 6517 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8272 6517 231 231 0 8041 0
vsize: 33088
[startup+1170.5 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7450 0 0 0 116743 325 0 0 25 0 1 0 542064833 33882112 6564 4294967295 134512640 135450300 3221224624 3221223324 134537783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8272 6564 231 231 0 8041 0
vsize: 33088
[startup+1180.51 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7516 0 0 0 117741 327 0 0 25 0 1 0 542064833 34136064 6630 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8334 6630 231 231 0 8103 0
vsize: 33336
[startup+1190.51 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7562 0 0 0 118739 329 0 0 25 0 1 0 542064833 34136064 6676 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8334 6676 231 231 0 8103 0
vsize: 33336
[startup+1200.51 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 11665
Raw data (stat): 11665 (PBS4) R 11664 18865 18864 0 -1 0 7596 0 0 0 119737 331 0 0 25 0 1 0 542064833 34136064 6710 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8334 6710 231 231 0 8103 0
vsize: 33336
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.57 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 11665
Raw data (stat): 11665 (PBS4) Z 11664 18865 18864 0 -1 1036 7596 0 0 0 119737 333 0 0 24 0 1 0 542064833 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.57
CPU time (s): 1200.71
CPU user time (s): 1197.38
CPU system time (s): 3.33049
CPU usage (%): 100.012
Max. virtual memory (Kb): 33336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####