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-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 18024

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        795584 kB
Buffers:         18716 kB
Cached:         199260 kB
SwapCached:        508 kB
Active:          42784 kB
Inactive:       177260 kB
HighTotal:      131008 kB
HighFree:        43540 kB
LowTotal:       903652 kB
LowFree:        752044 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            13436 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 13:31:15 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 18700 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-13-7-p0201.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.85 0.97 0.92 2/54 29937
Raw data (stat): 29937 (runsolver) R 29936 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487112764 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.0003 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 775 0 0 0 995 3 0 0 25 0 1 0 487112764 5922816 771 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1446 771 231 231 0 1215 0
vsize: 5784
[startup+20.0015 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 1147 0 0 0 1993 6 0 0 25 0 1 0 487112764 6389760 1094 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1560 1094 231 231 0 1329 0
vsize: 6240
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 1491 0 0 0 2991 8 0 0 25 0 1 0 487112764 10723328 1438 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2618 1438 231 231 0 2387 0
vsize: 10472
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 1832 0 0 0 3989 10 0 0 25 0 1 0 487112764 11255808 1682 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2748 1682 231 231 0 2517 0
vsize: 10992
[startup+50.003 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 2075 0 0 0 4987 12 0 0 25 0 1 0 487112764 11255808 1925 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2748 1925 231 231 0 2517 0
vsize: 10992
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 2334 0 0 0 5986 14 0 0 25 0 1 0 487112764 11390976 2184 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2781 2184 231 231 0 2550 0
vsize: 11124
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 2586 0 0 0 6984 16 0 0 25 0 1 0 487112764 11390976 2436 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2781 2436 231 231 0 2550 0
vsize: 11124
[startup+80.0055 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 2841 0 0 0 7982 17 0 0 25 0 1 0 487112764 20049920 2691 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4895 2691 231 231 0 4664 0
vsize: 19580
[startup+90.0064 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 3047 0 0 0 8981 19 0 0 25 0 1 0 487112764 20049920 2897 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4895 2897 231 231 0 4664 0
vsize: 19580
[startup+100.006 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 3226 0 0 0 9980 20 0 0 25 0 1 0 487112764 20189184 3076 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 3076 231 231 0 4698 0
vsize: 19716
[startup+110.007 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 3458 0 0 0 10979 21 0 0 25 0 1 0 487112764 20189184 3308 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 3308 231 231 0 4698 0
vsize: 19716
[startup+120.008 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 3551 0 0 0 11978 22 0 0 25 0 1 0 487112764 20328448 3401 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 3401 231 231 0 4732 0
vsize: 19852
[startup+130.008 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 3920 0 0 0 12977 24 0 0 25 0 1 0 487112764 21254144 3577 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5189 3577 231 231 0 4958 0
vsize: 20756
[startup+140.008 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4087 0 0 0 13975 25 0 0 25 0 1 0 487112764 21254144 3744 4294967295 134512640 135450300 3221224640 3221223248 134537664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 3744 231 231 0 4958 0
vsize: 20756
[startup+150.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4132 0 0 0 14975 26 0 0 25 0 1 0 487112764 21254144 3789 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5189 3789 231 231 0 4958 0
vsize: 20756
[startup+160.009 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4323 0 0 0 15974 27 0 0 25 0 1 0 487112764 21393408 3980 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 3980 231 231 0 4992 0
vsize: 20892
[startup+170.009 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4401 0 0 0 16974 27 0 0 25 0 1 0 487112764 21393408 4058 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4058 231 231 0 4992 0
vsize: 20892
[startup+180.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4552 0 0 0 17973 28 0 0 25 0 1 0 487112764 21528576 4209 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4209 231 231 0 5025 0
vsize: 21024
[startup+190.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4654 0 0 0 18973 29 0 0 25 0 1 0 487112764 21528576 4311 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4311 231 231 0 5025 0
vsize: 21024
[startup+200.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4762 0 0 0 19972 30 0 0 25 0 1 0 487112764 21692416 4419 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4419 231 231 0 5065 0
vsize: 21184
[startup+210.011 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4894 0 0 0 20971 31 0 0 25 0 1 0 487112764 21692416 4551 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4551 231 231 0 5065 0
vsize: 21184
[startup+220.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 4996 0 0 0 21971 32 0 0 25 0 1 0 487112764 21692416 4653 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5296 4653 231 231 0 5065 0
vsize: 21184
[startup+230.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5131 0 0 0 22971 32 0 0 25 0 1 0 487112764 21839872 4788 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4788 231 231 0 5101 0
vsize: 21328
[startup+240.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5255 0 0 0 23970 32 0 0 25 0 1 0 487112764 21839872 4912 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4912 231 231 0 5101 0
vsize: 21328
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5334 0 0 0 24970 33 0 0 25 0 1 0 487112764 21839872 4991 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4991 231 231 0 5101 0
vsize: 21328
[startup+260.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5419 0 0 0 25969 34 0 0 25 0 1 0 487112764 21979136 5076 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5366 5076 231 231 0 5135 0
vsize: 21464
[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5538 0 0 0 26969 35 0 0 25 0 1 0 487112764 38756352 5195 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 5195 231 231 0 9231 0
vsize: 37848
[startup+280.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5652 0 0 0 27968 36 0 0 25 0 1 0 487112764 38756352 5309 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 5309 231 231 0 9231 0
vsize: 37848
[startup+290.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5744 0 0 0 28967 36 0 0 25 0 1 0 487112764 38756352 5401 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 5401 231 231 0 9231 0
vsize: 37848
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5850 0 0 0 29967 37 0 0 25 0 1 0 487112764 38903808 5507 4294967295 134512640 135450300 3221224640 3221223376 134538438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 5507 231 231 0 9267 0
vsize: 37992
[startup+310.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 5970 0 0 0 30966 38 0 0 25 0 1 0 487112764 38903808 5627 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 5627 231 231 0 9267 0
vsize: 37992
[startup+320.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6043 0 0 0 31966 39 0 0 25 0 1 0 487112764 38903808 5700 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 5700 231 231 0 9267 0
vsize: 37992
[startup+330.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6072 0 0 0 32965 39 0 0 25 0 1 0 487112764 39038976 5729 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9531 5729 231 231 0 9300 0
vsize: 38124
[startup+340.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6130 0 0 0 33965 39 0 0 25 0 1 0 487112764 39186432 5787 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9567 5787 231 231 0 9336 0
vsize: 38268
[startup+350.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6237 0 0 0 34964 40 0 0 25 0 1 0 487112764 39337984 5894 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 5894 231 231 0 9373 0
vsize: 38416
[startup+360.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6296 0 0 0 35964 41 0 0 25 0 1 0 487112764 39337984 5953 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 5953 231 231 0 9373 0
vsize: 38416
[startup+370.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6359 0 0 0 36964 41 0 0 25 0 1 0 487112764 39337984 6016 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 6016 231 231 0 9373 0
vsize: 38416
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6453 0 0 0 37964 42 0 0 25 0 1 0 487112764 39337984 6110 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 6110 231 231 0 9373 0
vsize: 38416
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6565 0 0 0 38963 43 0 0 25 0 1 0 487112764 39485440 6222 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9640 6222 231 231 0 9409 0
vsize: 38560
[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6636 0 0 0 39962 43 0 0 25 0 1 0 487112764 39628800 6293 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9675 6293 231 231 0 9444 0
vsize: 38700
[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6720 0 0 0 40962 43 0 0 25 0 1 0 487112764 39776256 6377 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6377 231 231 0 9480 0
vsize: 38844
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6779 0 0 0 41962 44 0 0 25 0 1 0 487112764 39776256 6436 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6436 231 231 0 9480 0
vsize: 38844
[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6848 0 0 0 42962 44 0 0 25 0 1 0 487112764 39776256 6505 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6505 231 231 0 9480 0
vsize: 38844
[startup+440.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 6925 0 0 0 43962 45 0 0 25 0 1 0 487112764 39776256 6582 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 6582 231 231 0 9480 0
vsize: 38844
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7339 0 0 0 44961 45 0 0 25 0 1 0 487112764 41496576 6611 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10131 6611 231 231 0 9900 0
vsize: 40524
[startup+460.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7442 0 0 0 45961 46 0 0 25 0 1 0 487112764 41660416 6714 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10171 6714 231 231 0 9940 0
vsize: 40684
[startup+470.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7558 0 0 0 46960 47 0 0 25 0 1 0 487112764 41660416 6830 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10171 6830 231 231 0 9940 0
vsize: 40684
[startup+480.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7650 0 0 0 47960 48 0 0 25 0 1 0 487112764 41807872 6922 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10207 6922 231 231 0 9976 0
vsize: 40828
[startup+490.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7676 0 0 0 48960 48 0 0 25 0 1 0 487112764 41807872 6948 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10207 6948 231 231 0 9976 0
vsize: 40828
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7694 0 0 0 49960 48 0 0 25 0 1 0 487112764 41951232 6966 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 6966 231 231 0 10011 0
vsize: 40968
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7733 0 0 0 50959 49 0 0 25 0 1 0 487112764 42094592 7005 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 7005 231 231 0 10046 0
vsize: 41108
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7754 0 0 0 51959 49 0 0 25 0 1 0 487112764 42094592 7026 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 7026 231 231 0 10046 0
vsize: 41108
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7775 0 0 0 52959 50 0 0 25 0 1 0 487112764 42242048 7047 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10313 7047 231 231 0 10082 0
vsize: 41252
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7798 0 0 0 53959 50 0 0 25 0 1 0 487112764 42389504 7070 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7070 231 231 0 10118 0
vsize: 41396
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7803 0 0 0 54959 50 0 0 25 0 1 0 487112764 42389504 7075 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7075 231 231 0 10118 0
vsize: 41396
[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7821 0 0 0 55959 50 0 0 25 0 1 0 487112764 42389504 7093 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7093 231 231 0 10118 0
vsize: 41396
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 7947 0 0 0 56958 51 0 0 25 0 1 0 487112764 42389504 7219 4294967295 134512640 135450300 3221224640 3221223456 134547171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10349 7219 231 231 0 10118 0
vsize: 41396
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8079 0 0 0 57958 52 0 0 25 0 1 0 487112764 42536960 7351 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7351 231 231 0 10154 0
vsize: 41540
[startup+590.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8221 0 0 0 58957 52 0 0 25 0 1 0 487112764 42536960 7493 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10385 7493 231 231 0 10154 0
vsize: 41540
[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8347 0 0 0 59957 53 0 0 25 0 1 0 487112764 42700800 7619 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7619 231 231 0 10194 0
vsize: 41700
[startup+610.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8440 0 0 0 60957 53 0 0 25 0 1 0 487112764 42700800 7712 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7712 231 231 0 10194 0
vsize: 41700
[startup+620.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8519 0 0 0 61956 54 0 0 25 0 1 0 487112764 42700800 7791 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7791 231 231 0 10194 0
vsize: 41700
[startup+630.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8604 0 0 0 62956 54 0 0 25 0 1 0 487112764 42700800 7876 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10425 7876 231 231 0 10194 0
vsize: 41700
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8708 0 0 0 63956 55 0 0 25 0 1 0 487112764 42848256 7980 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 7980 231 231 0 10230 0
vsize: 41844
[startup+650.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8783 0 0 0 64956 55 0 0 25 0 1 0 487112764 42848256 8055 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8055 231 231 0 10230 0
vsize: 41844
[startup+660.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8904 0 0 0 65955 56 0 0 25 0 1 0 487112764 42848256 8176 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8176 231 231 0 10230 0
vsize: 41844
[startup+670.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 8937 0 0 0 66955 57 0 0 25 0 1 0 487112764 42848256 8209 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8209 231 231 0 10230 0
vsize: 41844
[startup+680.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9037 0 0 0 67954 57 0 0 25 0 1 0 487112764 42848256 8309 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8309 231 231 0 10230 0
vsize: 41844
[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9155 0 0 0 68954 58 0 0 25 0 1 0 487112764 42848256 8427 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8427 231 231 0 10230 0
vsize: 41844
[startup+700.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9245 0 0 0 69953 59 0 0 25 0 1 0 487112764 42848256 8517 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8517 231 231 0 10230 0
vsize: 41844
[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9328 0 0 0 70953 59 0 0 25 0 1 0 487112764 42848256 8600 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 8600 231 231 0 10230 0
vsize: 41844
[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9386 0 0 0 71953 59 0 0 25 0 1 0 487112764 42995712 8658 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10497 8658 231 231 0 10266 0
vsize: 41988
[startup+730.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9433 0 0 0 72953 60 0 0 25 0 1 0 487112764 42995712 8705 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10497 8705 231 231 0 10266 0
vsize: 41988
[startup+740.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9566 0 0 0 73952 60 0 0 25 0 1 0 487112764 43147264 8838 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 8838 231 231 0 10303 0
vsize: 42136
[startup+750.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9698 0 0 0 74952 61 0 0 25 0 1 0 487112764 43147264 8970 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 8970 231 231 0 10303 0
vsize: 42136
[startup+760.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9789 0 0 0 75952 61 0 0 25 0 1 0 487112764 43147264 9061 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9061 231 231 0 10303 0
vsize: 42136
[startup+770.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9842 0 0 0 76951 62 0 0 25 0 1 0 487112764 43147264 9114 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9114 231 231 0 10303 0
vsize: 42136
[startup+780.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9891 0 0 0 77951 63 0 0 25 0 1 0 487112764 43147264 9163 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10534 9163 231 231 0 10303 0
vsize: 42136
[startup+790.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9953 0 0 0 78951 63 0 0 25 0 1 0 487112764 43335680 9225 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9225 231 231 0 10349 0
vsize: 42320
[startup+800.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9963 0 0 0 79951 63 0 0 25 0 1 0 487112764 43335680 9235 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9235 231 231 0 10349 0
vsize: 42320
[startup+810.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9971 0 0 0 80951 63 0 0 25 0 1 0 487112764 43335680 9243 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9243 231 231 0 10349 0
vsize: 42320
[startup+820.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9991 0 0 0 81950 64 0 0 25 0 1 0 487112764 43335680 9263 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9263 231 231 0 10349 0
vsize: 42320
[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 9995 0 0 0 82950 64 0 0 25 0 1 0 487112764 43335680 9267 4294967295 134512640 135450300 3221224640 3221223552 134597348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9267 231 231 0 10349 0
vsize: 42320
[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10022 0 0 0 83950 65 0 0 25 0 1 0 487112764 43499520 9294 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10620 9294 231 231 0 10389 0
vsize: 42480
[startup+850.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10043 0 0 0 84950 65 0 0 25 0 1 0 487112764 43499520 9315 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10620 9315 231 231 0 10389 0
vsize: 42480
[startup+860.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10133 0 0 0 85950 65 0 0 25 0 1 0 487112764 43638784 9405 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9405 231 231 0 10423 0
vsize: 42616
[startup+870.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10196 0 0 0 86950 65 0 0 25 0 1 0 487112764 43638784 9468 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10654 9468 231 231 0 10423 0
vsize: 42616
[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10270 0 0 0 87950 66 0 0 25 0 1 0 487112764 43802624 9542 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9542 231 231 0 10463 0
vsize: 42776
[startup+890.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10337 0 0 0 88949 66 0 0 25 0 1 0 487112764 43802624 9609 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9609 231 231 0 10463 0
vsize: 42776
[startup+900.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10348 0 0 0 89949 67 0 0 25 0 1 0 487112764 43802624 9620 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9620 231 231 0 10463 0
vsize: 42776
[startup+910.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10359 0 0 0 90949 67 0 0 25 0 1 0 487112764 43802624 9631 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9631 231 231 0 10463 0
vsize: 42776
[startup+920.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10363 0 0 0 91949 67 0 0 25 0 1 0 487112764 43802624 9635 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10694 9635 231 231 0 10463 0
vsize: 42776
[startup+930.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10416 0 0 0 92949 67 0 0 25 0 1 0 487112764 43941888 9688 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9688 231 231 0 10497 0
vsize: 42912
[startup+940.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10466 0 0 0 93949 67 0 0 25 0 1 0 487112764 43941888 9738 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9738 231 231 0 10497 0
vsize: 42912
[startup+950.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10562 0 0 0 94949 68 0 0 25 0 1 0 487112764 43941888 9834 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9834 231 231 0 10497 0
vsize: 42912
[startup+960.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10565 0 0 0 95949 68 0 0 25 0 1 0 487112764 43941888 9837 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9837 231 231 0 10497 0
vsize: 42912
[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10569 0 0 0 96949 68 0 0 25 0 1 0 487112764 43941888 9841 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10728 9841 231 231 0 10497 0
vsize: 42912
[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10648 0 0 0 97949 68 0 0 25 0 1 0 487112764 44105728 9920 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 9920 231 231 0 10537 0
vsize: 43072
[startup+990.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10756 0 0 0 98949 69 0 0 25 0 1 0 487112764 44105728 10028 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10028 231 231 0 10537 0
vsize: 43072
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10853 0 0 0 99948 70 0 0 25 0 1 0 487112764 44105728 10125 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10125 231 231 0 10537 0
vsize: 43072
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10898 0 0 0 100948 70 0 0 25 0 1 0 487112764 44105728 10170 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10170 231 231 0 10537 0
vsize: 43072
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 10942 0 0 0 101948 71 0 0 25 0 1 0 487112764 44105728 10214 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10214 231 231 0 10537 0
vsize: 43072
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11031 0 0 0 102947 71 0 0 25 0 1 0 487112764 44105728 10303 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 10303 231 231 0 10537 0
vsize: 43072
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11112 0 0 0 103946 72 0 0 25 0 1 0 487112764 77824000 10384 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10384 231 231 0 18769 0
vsize: 76000
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11152 0 0 0 104946 72 0 0 25 0 1 0 487112764 77824000 10424 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10424 231 231 0 18769 0
vsize: 76000
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11154 0 0 0 105946 72 0 0 25 0 1 0 487112764 77824000 10426 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10426 231 231 0 18769 0
vsize: 76000
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11172 0 0 0 106946 73 0 0 25 0 1 0 487112764 77824000 10444 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10444 231 231 0 18769 0
vsize: 76000
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11207 0 0 0 107946 73 0 0 25 0 1 0 487112764 77824000 10479 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19000 10479 231 231 0 18769 0
vsize: 76000
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11278 0 0 0 108946 73 0 0 25 0 1 0 487112764 77987840 10550 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10550 231 231 0 18809 0
vsize: 76160
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11340 0 0 0 109946 74 0 0 25 0 1 0 487112764 77987840 10612 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10612 231 231 0 18809 0
vsize: 76160
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11426 0 0 0 110946 74 0 0 25 0 1 0 487112764 77987840 10698 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10698 231 231 0 18809 0
vsize: 76160
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11432 0 0 0 111946 74 0 0 25 0 1 0 487112764 77987840 10704 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10704 231 231 0 18809 0
vsize: 76160
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11448 0 0 0 112945 75 0 0 25 0 1 0 487112764 77987840 10720 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10720 231 231 0 18809 0
vsize: 76160
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11453 0 0 0 113945 75 0 0 25 0 1 0 487112764 77987840 10725 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10725 231 231 0 18809 0
vsize: 76160
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11487 0 0 0 114945 75 0 0 25 0 1 0 487112764 77987840 10759 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10759 231 231 0 18809 0
vsize: 76160
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11551 0 0 0 115945 75 0 0 25 0 1 0 487112764 77987840 10823 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10823 231 231 0 18809 0
vsize: 76160
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11612 0 0 0 116945 76 0 0 25 0 1 0 487112764 77987840 10884 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19040 10884 231 231 0 18809 0
vsize: 76160
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11625 0 0 0 117945 76 0 0 25 0 1 0 487112764 78168064 10897 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 10897 231 231 0 18853 0
vsize: 76336
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11662 0 0 0 118945 76 0 0 25 0 1 0 487112764 78168064 10934 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 10934 231 231 0 18853 0
vsize: 76336
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 29937
Raw data (stat): 29937 (PBS4) R 29936 25285 25284 0 -1 0 11752 0 0 0 119945 77 0 0 25 0 1 0 487112764 78168064 11024 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19084 11024 231 231 0 18853 0
vsize: 76336
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 29937
Raw data (stat): 29937 (PBS4) Z 29936 25285 25284 0 -1 1036 11752 0 0 0 119945 79 0 0 24 0 1 0 487112764 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.09
CPU time (s): 1200.25
CPU user time (s): 1199.45
CPU system time (s): 0.793879
CPU usage (%): 100.013
Max. virtual memory (Kb): 76336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####