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/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM	5b41c3eb79e4b3bf301d25b20a1c7b76
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	62704
Total number of constraints	187107
Number of constraints which are clauses	186603
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	504
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 7875

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-17 16:47:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2571 boxname=wulflinc22 idbench=286 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  5b41c3eb79e4b3bf301d25b20a1c7b76  /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.opb
IDLAUNCH: 2571
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        805288 kB
Buffers:         34112 kB
Cached:         151392 kB
SwapCached:          0 kB
Active:          76212 kB
Inactive:       112176 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        805036 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            35448 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:07:57 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2571 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.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.84 0.91 0.90 2/54 17936
Raw data (stat): 17936 (runsolver) R 17935 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512071703 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.91 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 7798 0 0 0 978 21 0 0 25 0 1 0 512071703 31334400 6145 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7650 6145 231 231 0 7419 0
vsize: 30600
[startup+20.001 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 8813 0 0 0 1975 24 0 0 25 0 1 0 512071703 35975168 7028 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8783 7028 231 231 0 8552 0
vsize: 35132
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 9826 0 0 0 2972 27 0 0 25 0 1 0 512071703 40902656 7975 4294967295 134512640 135450300 3221224640 3221223500 134539316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9986 7975 231 231 0 9755 0
vsize: 39944
[startup+40.001 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 11078 0 0 0 3969 30 0 0 25 0 1 0 512071703 45813760 8930 4294967295 134512640 135450300 3221224640 3221223536 134539774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11185 8930 231 231 0 10954 0
vsize: 44740
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 11466 0 0 0 4969 31 0 0 25 0 1 0 512071703 46563328 9195 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11368 9195 231 231 0 11137 0
vsize: 45472
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 12758 0 0 0 5965 34 0 0 25 0 1 0 512071703 52187136 10223 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12741 10223 231 231 0 12510 0
vsize: 50964
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 13044 0 0 0 6964 36 0 0 25 0 1 0 512071703 53374976 10476 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13031 10476 231 231 0 12800 0
vsize: 52124
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 13969 0 0 0 7961 39 0 0 25 0 1 0 512071703 57102336 11229 4294967295 134512640 135450300 3221224640 3221223392 135068531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11229 231 231 0 13710 0
vsize: 55764
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 14381 0 0 0 8959 41 0 0 25 0 1 0 512071703 58773504 11575 4294967295 134512640 135450300 3221224640 3221223116 134534888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14349 11575 231 231 0 14118 0
vsize: 57396
[startup+100.004 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 14790 0 0 0 9957 43 0 0 25 0 1 0 512071703 60108800 11861 4294967295 134512640 135450300 3221224640 3221223376 134538889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14675 11861 231 231 0 14444 0
vsize: 58700
[startup+110.005 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 15188 0 0 0 10956 44 0 0 25 0 1 0 512071703 61722624 12193 4294967295 134512640 135450300 3221224640 3221223580 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15069 12193 231 231 0 14838 0
vsize: 60276
[startup+120.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 15711 0 0 0 11954 46 0 0 25 0 1 0 512071703 63496192 12494 4294967295 134512640 135450300 3221224640 3221223376 134537902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15502 12494 231 231 0 15271 0
vsize: 62008
[startup+130.007 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 16249 0 0 0 12953 48 0 0 25 0 1 0 512071703 66015232 13032 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16117 13032 231 231 0 15886 0
vsize: 64468
[startup+140.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 16842 0 0 0 13951 50 0 0 25 0 1 0 512071703 68689920 13493 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16770 13493 231 231 0 16539 0
vsize: 67080
[startup+150.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 17464 0 0 0 14949 52 0 0 25 0 1 0 512071703 70672384 13818 4294967295 134512640 135450300 3221224640 3221223580 134530263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 13818 231 231 0 17023 0
vsize: 69016
[startup+160.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 17954 0 0 0 15948 53 0 0 25 0 1 0 512071703 72552448 14209 4294967295 134512640 135450300 3221224640 3221223504 134539158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17713 14209 231 231 0 17482 0
vsize: 70852
[startup+170.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18141 0 0 0 16947 55 0 0 25 0 1 0 512071703 81747968 14396 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19958 14396 231 231 0 19727 0
vsize: 79832
[startup+180.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18296 0 0 0 17946 56 0 0 25 0 1 0 512071703 82014208 14518 4294967295 134512640 135450300 3221224640 3221223468 134537814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20023 14518 231 231 0 19792 0
vsize: 80092
[startup+190.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18475 0 0 0 18944 57 0 0 25 0 1 0 512071703 82554880 14697 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20155 14697 231 231 0 19924 0
vsize: 80620
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18769 0 0 0 19944 58 0 0 25 0 1 0 512071703 83628032 14925 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20417 14925 231 231 0 20186 0
vsize: 81668
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19025 0 0 0 20943 59 0 0 25 0 1 0 512071703 84430848 15115 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20613 15115 231 231 0 20382 0
vsize: 82452
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19232 0 0 0 21941 61 0 0 25 0 1 0 512071703 85102592 15289 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20777 15289 231 231 0 20546 0
vsize: 83108
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19445 0 0 0 22940 62 0 0 25 0 1 0 512071703 85762048 15403 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20938 15403 231 231 0 20707 0
vsize: 83752
[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19717 0 0 0 23939 63 0 0 25 0 1 0 512071703 86949888 15609 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21228 15609 231 231 0 20997 0
vsize: 84912
[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20085 0 0 0 24937 65 0 0 25 0 1 0 512071703 87941120 15845 4294967295 134512640 135450300 3221224640 3221223376 134537851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21470 15845 231 231 0 21239 0
vsize: 85880
[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20255 0 0 0 25936 66 0 0 25 0 1 0 512071703 88203264 15949 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21534 15949 231 231 0 21303 0
vsize: 86136
[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20438 0 0 0 26936 67 0 0 25 0 1 0 512071703 88870912 16132 4294967295 134512640 135450300 3221224640 3221223052 134533356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21697 16132 231 231 0 21466 0
vsize: 86788
[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20606 0 0 0 27934 69 0 0 25 0 1 0 512071703 89133056 16234 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21761 16234 231 231 0 21530 0
vsize: 87044
[startup+290.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20747 0 0 0 28933 70 0 0 25 0 1 0 512071703 89395200 16309 4294967295 134512640 135450300 3221224640 3221223500 134539310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21825 16309 231 231 0 21594 0
vsize: 87300
[startup+300.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20844 0 0 0 29933 71 0 0 25 0 1 0 512071703 89530368 16406 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21858 16406 231 231 0 21627 0
vsize: 87432
[startup+310.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21046 0 0 0 30931 72 0 0 25 0 1 0 512071703 89530368 16485 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21858 16485 231 231 0 21627 0
vsize: 87432
[startup+320.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21308 0 0 0 31930 74 0 0 25 0 1 0 512071703 90054656 16615 4294967295 134512640 135450300 3221224640 3221223376 134538438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21986 16615 231 231 0 21755 0
vsize: 87944
[startup+330.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21562 0 0 0 32929 75 0 0 25 0 1 0 512071703 90980352 16737 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22212 16737 231 231 0 21981 0
vsize: 88848
[startup+340.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21730 0 0 0 33927 77 0 0 25 0 1 0 512071703 91377664 16839 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22309 16839 231 231 0 22078 0
vsize: 89236
[startup+350.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22076 0 0 0 34925 78 0 0 25 0 1 0 512071703 92315648 17062 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22538 17062 231 231 0 22307 0
vsize: 90152
[startup+360.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22218 0 0 0 35924 80 0 0 25 0 1 0 512071703 92852224 17171 4294967295 134512640 135450300 3221224640 3221223484 134538634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22669 17171 231 231 0 22438 0
vsize: 90676
[startup+370.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22220 0 0 0 36924 80 0 0 25 0 1 0 512071703 92852224 17173 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22669 17173 231 231 0 22438 0
vsize: 90676
[startup+380.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22222 0 0 0 37924 81 0 0 25 0 1 0 512071703 92852224 17175 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22669 17175 231 231 0 22438 0
vsize: 90676
[startup+390.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22255 0 0 0 38923 82 0 0 25 0 1 0 512071703 92852224 17208 4294967295 134512640 135450300 3221224640 3221223484 134538066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22669 17208 231 231 0 22438 0
vsize: 90676
[startup+400.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22298 0 0 0 39922 82 0 0 25 0 1 0 512071703 92983296 17218 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22701 17218 231 231 0 22470 0
vsize: 90804
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22383 0 0 0 40922 83 0 0 25 0 1 0 512071703 92983296 17303 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22701 17303 231 231 0 22470 0
vsize: 90804
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22609 0 0 0 41921 83 0 0 25 0 1 0 512071703 92983296 17406 4294967295 134512640 135450300 3221224640 3221223312 134529277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22701 17406 231 231 0 22470 0
vsize: 90804
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22704 0 0 0 42920 85 0 0 25 0 1 0 512071703 93253632 17501 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22767 17501 231 231 0 22536 0
vsize: 91068
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22806 0 0 0 43919 86 0 0 25 0 1 0 512071703 93519872 17603 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22832 17603 231 231 0 22601 0
vsize: 91328
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22864 0 0 0 44918 87 0 0 25 0 1 0 512071703 93519872 17661 4294967295 134512640 135450300 3221224640 3221223376 134537890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22832 17661 231 231 0 22601 0
vsize: 91328
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22943 0 0 0 45918 88 0 0 25 0 1 0 512071703 93650944 17707 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22864 17707 231 231 0 22633 0
vsize: 91456
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22991 0 0 0 46917 89 0 0 25 0 1 0 512071703 93650944 17755 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22864 17755 231 231 0 22633 0
vsize: 91456
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23110 0 0 0 47916 89 0 0 25 0 1 0 512071703 93917184 17874 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22929 17874 231 231 0 22698 0
vsize: 91716
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23163 0 0 0 48915 90 0 0 25 0 1 0 512071703 93917184 17927 4294967295 134512640 135450300 3221224640 3221223504 134539260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22929 17927 231 231 0 22698 0
vsize: 91716
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23236 0 0 0 49915 91 0 0 25 0 1 0 512071703 94052352 18000 4294967295 134512640 135450300 3221224640 3221223232 134844232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22962 18000 231 231 0 22731 0
vsize: 91848
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23317 0 0 0 50914 92 0 0 25 0 1 0 512071703 94318592 18081 4294967295 134512640 135450300 3221224640 3221223568 134539679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23027 18081 231 231 0 22796 0
vsize: 92108
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23370 0 0 0 51913 93 0 0 25 0 1 0 512071703 94318592 18134 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23027 18134 231 231 0 22796 0
vsize: 92108
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23416 0 0 0 52913 94 0 0 25 0 1 0 512071703 94318592 18180 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23027 18180 231 231 0 22796 0
vsize: 92108
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23486 0 0 0 53912 94 0 0 25 0 1 0 512071703 94318592 18250 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23027 18250 231 231 0 22796 0
vsize: 92108
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23694 0 0 0 54911 95 0 0 25 0 1 0 512071703 94318592 18335 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23027 18335 231 231 0 22796 0
vsize: 92108
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24038 0 0 0 55910 97 0 0 25 0 1 0 512071703 94584832 18523 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23092 18523 231 231 0 22861 0
vsize: 92368
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24163 0 0 0 56910 97 0 0 25 0 1 0 512071703 94584832 18648 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23092 18648 231 231 0 22861 0
vsize: 92368
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24446 0 0 0 57908 99 0 0 25 0 1 0 512071703 94720000 18808 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23125 18808 231 231 0 22894 0
vsize: 92500
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24584 0 0 0 58907 100 0 0 25 0 1 0 512071703 111632384 18946 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27254 18946 231 231 0 27023 0
vsize: 109016
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24860 0 0 0 59906 101 0 0 25 0 1 0 512071703 111632384 19099 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27254 19099 231 231 0 27023 0
vsize: 109016
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24868 0 0 0 60906 102 0 0 25 0 1 0 512071703 111632384 19107 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27254 19107 231 231 0 27023 0
vsize: 109016
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25015 0 0 0 61905 103 0 0 25 0 1 0 512071703 111767552 19131 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27287 19131 231 231 0 27056 0
vsize: 109148
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25079 0 0 0 62903 104 0 0 25 0 1 0 512071703 112033792 19162 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27352 19162 231 231 0 27121 0
vsize: 109408
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25120 0 0 0 63903 105 0 0 25 0 1 0 512071703 112164864 19170 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27384 19170 231 231 0 27153 0
vsize: 109536
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25123 0 0 0 64902 106 0 0 25 0 1 0 512071703 112164864 19173 4294967295 134512640 135450300 3221224640 3221223376 134538380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27384 19173 231 231 0 27153 0
vsize: 109536
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25124 0 0 0 65902 106 0 0 25 0 1 0 512071703 112164864 19174 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27384 19174 231 231 0 27153 0
vsize: 109536
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25172 0 0 0 66901 107 0 0 25 0 1 0 512071703 112431104 19222 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27449 19222 231 231 0 27218 0
vsize: 109796
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25231 0 0 0 67901 107 0 0 25 0 1 0 512071703 112697344 19281 4294967295 134512640 135450300 3221224640 3221223088 134533413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27514 19281 231 231 0 27283 0
vsize: 110056
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25283 0 0 0 68901 108 0 0 25 0 1 0 512071703 112828416 19300 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27546 19300 231 231 0 27315 0
vsize: 110184
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25287 0 0 0 69900 109 0 0 25 0 1 0 512071703 112828416 19304 4294967295 134512640 135450300 3221224640 3221222992 134533084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27546 19304 231 231 0 27315 0
vsize: 110184
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25390 0 0 0 70900 109 0 0 25 0 1 0 512071703 113496064 19407 4294967295 134512640 135450300 3221224640 3221223504 134539179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27709 19407 231 231 0 27478 0
vsize: 110836
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25496 0 0 0 71899 110 0 0 25 0 1 0 512071703 113893376 19480 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27806 19480 231 231 0 27575 0
vsize: 111224
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17936
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25711 0 0 0 72899 111 0 0 25 0 1 0 512071703 114556928 19662 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27968 19662 231 231 0 27737 0
vsize: 111872
[startup+740.022 s]
Raw data (loadavg): 1.22 1.02 0.93 2/56 17979
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25968 0 0 0 73897 113 0 0 25 0 1 0 512071703 114556928 19796 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27968 19796 231 231 0 27737 0
vsize: 111872
[startup+750.022 s]
Raw data (loadavg): 1.26 1.04 0.93 2/54 17989
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26071 0 0 0 74896 113 0 0 25 0 1 0 512071703 114823168 19899 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28033 19899 231 231 0 27802 0
vsize: 112132
[startup+760.023 s]
Raw data (loadavg): 1.22 1.03 0.93 2/54 17989
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26200 0 0 0 75896 114 0 0 25 0 1 0 512071703 114823168 20028 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28033 20028 231 231 0 27802 0
vsize: 112132
[startup+770.022 s]
Raw data (loadavg): 1.19 1.03 0.93 2/54 17989
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26411 0 0 0 76895 115 0 0 25 0 1 0 512071703 114823168 20116 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28033 20116 231 231 0 27802 0
vsize: 112132
[startup+780.022 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 17989
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26491 0 0 0 77894 116 0 0 25 0 1 0 512071703 114823168 20196 4294967295 134512640 135450300 3221224640 3221223052 134533356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28033 20196 231 231 0 27802 0
vsize: 112132
[startup+790.022 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 17989
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26559 0 0 0 78893 117 0 0 25 0 1 0 512071703 114823168 20264 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28033 20264 231 231 0 27802 0
vsize: 112132
[startup+800.022 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 17989
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26635 0 0 0 79892 118 0 0 25 0 1 0 512071703 114823168 20340 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28033 20340 231 231 0 27802 0
vsize: 112132
[startup+810.022 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26734 0 0 0 80891 119 0 0 25 0 1 0 512071703 114954240 20406 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28065 20406 231 231 0 27834 0
vsize: 112260
[startup+820.021 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26827 0 0 0 81890 120 0 0 25 0 1 0 512071703 114954240 20499 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28065 20499 231 231 0 27834 0
vsize: 112260
[startup+830.022 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26926 0 0 0 82890 121 0 0 25 0 1 0 512071703 115089408 20598 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28098 20598 231 231 0 27867 0
vsize: 112392
[startup+840.022 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27158 0 0 0 83889 122 0 0 25 0 1 0 512071703 115224576 20707 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28131 20707 231 231 0 27900 0
vsize: 112524
[startup+850.022 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27261 0 0 0 84888 123 0 0 25 0 1 0 512071703 115490816 20810 4294967295 134512640 135450300 3221224640 3221223492 134902020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28196 20810 231 231 0 27965 0
vsize: 112784
[startup+860.022 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27320 0 0 0 85887 124 0 0 25 0 1 0 512071703 115490816 20869 4294967295 134512640 135450300 3221224640 3221223468 134538630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28196 20869 231 231 0 27965 0
vsize: 112784
[startup+870.022 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27389 0 0 0 86887 124 0 0 25 0 1 0 512071703 115625984 20938 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28229 20938 231 231 0 27998 0
vsize: 112916
[startup+880.022 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27440 0 0 0 87887 125 0 0 25 0 1 0 512071703 115625984 20989 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28229 20989 231 231 0 27998 0
vsize: 112916
[startup+890.021 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27483 0 0 0 88887 125 0 0 25 0 1 0 512071703 115625984 21032 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28229 21032 231 231 0 27998 0
vsize: 112916
[startup+900.022 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27540 0 0 0 89887 125 0 0 25 0 1 0 512071703 115625984 21089 4294967295 134512640 135450300 3221224640 3221223120 134534885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28229 21089 231 231 0 27998 0
vsize: 112916
[startup+910.021 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27599 0 0 0 90886 126 0 0 25 0 1 0 512071703 115625984 21148 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28229 21148 231 231 0 27998 0
vsize: 112916
[startup+920.021 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27662 0 0 0 91885 127 0 0 25 0 1 0 512071703 115761152 21211 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28262 21211 231 231 0 28031 0
vsize: 113048
[startup+930.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27698 0 0 0 92885 128 0 0 25 0 1 0 512071703 115761152 21247 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28262 21247 231 231 0 28031 0
vsize: 113048
[startup+940.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27760 0 0 0 93885 128 0 0 25 0 1 0 512071703 115761152 21309 4294967295 134512640 135450300 3221224640 3221223504 134539216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28262 21309 231 231 0 28031 0
vsize: 113048
[startup+950.023 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27813 0 0 0 94884 129 0 0 25 0 1 0 512071703 115761152 21362 4294967295 134512640 135450300 3221224640 3221223376 134538969 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28262 21362 231 231 0 28031 0
vsize: 113048
[startup+960.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27972 0 0 0 95884 129 0 0 25 0 1 0 512071703 115761152 21398 4294967295 134512640 135450300 3221224640 3221223504 134539260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28262 21398 231 231 0 28031 0
vsize: 113048
[startup+970.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28037 0 0 0 96883 130 0 0 25 0 1 0 512071703 116162560 21463 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28360 21463 231 231 0 28129 0
vsize: 113440
[startup+980.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28038 0 0 0 97883 130 0 0 25 0 1 0 512071703 116162560 21464 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28360 21464 231 231 0 28129 0
vsize: 113440
[startup+990.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28051 0 0 0 98883 131 0 0 25 0 1 0 512071703 116162560 21477 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28360 21477 231 231 0 28129 0
vsize: 113440
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28052 0 0 0 99883 131 0 0 25 0 1 0 512071703 116162560 21478 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28360 21478 231 231 0 28129 0
vsize: 113440
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28106 0 0 0 100882 132 0 0 25 0 1 0 512071703 116293632 21499 4294967295 134512640 135450300 3221224640 3221223568 134539671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28392 21499 231 231 0 28161 0
vsize: 113568
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.01 0.93 3/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28294 0 0 0 101882 132 0 0 25 0 1 0 512071703 116748288 21531 4294967295 134512640 135450300 3221224640 3221223376 134538803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28503 21531 231 231 0 28272 0
vsize: 114012
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28298 0 0 0 102881 133 0 0 25 0 1 0 512071703 116748288 21535 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28503 21535 231 231 0 28272 0
vsize: 114012
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28299 0 0 0 103881 134 0 0 25 0 1 0 512071703 116748288 21536 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28503 21536 231 231 0 28272 0
vsize: 114012
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17991
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28300 0 0 0 104880 135 0 0 25 0 1 0 512071703 116748288 21537 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28503 21537 231 231 0 28272 0
vsize: 114012
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28302 0 0 0 105880 135 0 0 25 0 1 0 512071703 116748288 21539 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28503 21539 231 231 0 28272 0
vsize: 114012
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28514 0 0 0 106878 137 0 0 25 0 1 0 512071703 117010432 21562 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28567 21562 231 231 0 28336 0
vsize: 114268
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28517 0 0 0 107878 138 0 0 25 0 1 0 512071703 117010432 21565 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28567 21565 231 231 0 28336 0
vsize: 114268
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28520 0 0 0 108878 138 0 0 25 0 1 0 512071703 117010432 21568 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28567 21568 231 231 0 28336 0
vsize: 114268
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28646 0 0 0 109877 139 0 0 25 0 1 0 512071703 117010432 21571 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28567 21571 231 231 0 28336 0
vsize: 114268
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28683 0 0 0 110876 140 0 0 25 0 1 0 512071703 117276672 21608 4294967295 134512640 135450300 3221224640 3221223580 134530260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28632 21608 231 231 0 28401 0
vsize: 114528
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28816 0 0 0 111876 141 0 0 25 0 1 0 512071703 117276672 21618 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28632 21618 231 231 0 28401 0
vsize: 114528
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28826 0 0 0 112875 141 0 0 25 0 1 0 512071703 117276672 21628 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28632 21628 231 231 0 28401 0
vsize: 114528
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28894 0 0 0 113875 142 0 0 25 0 1 0 512071703 117407744 21663 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 21663 231 231 0 28433 0
vsize: 114656
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28963 0 0 0 114874 142 0 0 25 0 1 0 512071703 117407744 21732 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 21732 231 231 0 28433 0
vsize: 114656
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29011 0 0 0 115874 143 0 0 25 0 1 0 512071703 117407744 21780 4294967295 134512640 135450300 3221224640 3221222992 134533084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 21780 231 231 0 28433 0
vsize: 114656
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29042 0 0 0 116874 143 0 0 25 0 1 0 512071703 117407744 21811 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 21811 231 231 0 28433 0
vsize: 114656
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29078 0 0 0 117874 144 0 0 25 0 1 0 512071703 117407744 21847 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 21847 231 231 0 28433 0
vsize: 114656
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29112 0 0 0 118873 145 0 0 25 0 1 0 512071703 117407744 21881 4294967295 134512640 135450300 3221224640 3221223580 134530387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 21881 231 231 0 28433 0
vsize: 114656
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 17993
Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29170 0 0 0 119871 146 0 0 25 0 1 0 512071703 117407744 21939 4294967295 134512640 135450300 3221224640 3221223376 134538496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28664 21939 231 231 0 28433 0
vsize: 114656
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 17993
Raw data (stat): 17936 (PBS4) Z 17935 26298 26297 0 -1 1036 29170 0 0 0 119871 151 0 0 25 0 1 0 512071703 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.07
CPU time (s): 1200.23
CPU user time (s): 1198.72
CPU system time (s): 1.51177
CPU usage (%): 100.014
Max. virtual memory (Kb): 114656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####