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/submitted/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
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.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65
Trace number 7968

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-17 17:40:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5154 boxname=wulflinc29 idbench=397 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc29/normalized-p0201.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-p0201.opb
IDLAUNCH: 5154
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        778000 kB
Buffers:         38048 kB
Cached:         179812 kB
SwapCached:         12 kB
Active:          84124 kB
Inactive:       136628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        777748 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            30220 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 18:00:12 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 5154 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-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.70 0.89 0.89 2/54 19681
Raw data (stat): 19681 (runsolver) R 19680 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512384146 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0012 s]
Raw data (loadavg): 0.74 0.90 0.89 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 756 0 0 0 995 4 0 0 25 0 1 0 512384146 3751936 752 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 916 752 231 231 0 685 0
vsize: 3664
[startup+20.0015 s]
Raw data (loadavg): 0.78 0.90 0.89 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 1270 0 0 0 1992 7 0 0 25 0 1 0 512384146 6324224 1217 4294967295 134512640 135450300 3221224640 3221223248 134537627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1544 1217 231 231 0 1313 0
vsize: 6176
[startup+30.0022 s]
Raw data (loadavg): 0.81 0.90 0.89 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 1657 0 0 0 2990 8 0 0 25 0 1 0 512384146 10792960 1604 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1604 231 231 0 2404 0
vsize: 10540
[startup+40.0023 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 2064 0 0 0 3988 10 0 0 25 0 1 0 512384146 11186176 1914 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1914 231 231 0 2500 0
vsize: 10924
[startup+50.0018 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 2355 0 0 0 4987 11 0 0 25 0 1 0 512384146 11321344 2205 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2764 2205 231 231 0 2533 0
vsize: 11056
[startup+60.0015 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 2639 0 0 0 5986 13 0 0 25 0 1 0 512384146 11460608 2489 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2798 2489 231 231 0 2567 0
vsize: 11192
[startup+70.0016 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 2882 0 0 0 6984 15 0 0 25 0 1 0 512384146 19996672 2732 4294967295 134512640 135450300 3221224640 3221223156 135077522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 2732 231 231 0 4651 0
vsize: 19528
[startup+80.002 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 3091 0 0 0 7983 16 0 0 25 0 1 0 512384146 19996672 2941 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 2941 231 231 0 4651 0
vsize: 19528
[startup+90.0018 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 3321 0 0 0 8982 18 0 0 25 0 1 0 512384146 20131840 3171 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4915 3171 231 231 0 4684 0
vsize: 19660
[startup+100.002 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 3519 0 0 0 9981 19 0 0 25 0 1 0 512384146 20131840 3369 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4915 3369 231 231 0 4684 0
vsize: 19660
[startup+110.002 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 3989 0 0 0 10980 20 0 0 25 0 1 0 512384146 21196800 3646 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 3646 231 231 0 4944 0
vsize: 20700
[startup+120.002 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 4227 0 0 0 11979 22 0 0 25 0 1 0 512384146 21331968 3884 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 3884 231 231 0 4977 0
vsize: 20832
[startup+130.002 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 4412 0 0 0 12977 23 0 0 25 0 1 0 512384146 21331968 4069 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5208 4069 231 231 0 4977 0
vsize: 20832
[startup+140.002 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 4605 0 0 0 13977 24 0 0 25 0 1 0 512384146 21467136 4262 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5241 4262 231 231 0 5010 0
vsize: 20964
[startup+150.001 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 4778 0 0 0 14976 24 0 0 25 0 1 0 512384146 21467136 4435 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5241 4435 231 231 0 5010 0
vsize: 20964
[startup+160.002 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 4936 0 0 0 15976 25 0 0 25 0 1 0 512384146 21467136 4593 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5241 4593 231 231 0 5010 0
vsize: 20964
[startup+170.001 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 5045 0 0 0 16975 26 0 0 25 0 1 0 512384146 21602304 4702 4294967295 134512640 135450300 3221224640 3221223376 134538081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 4702 231 231 0 5043 0
vsize: 21096
[startup+180.001 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 5207 0 0 0 17974 27 0 0 25 0 1 0 512384146 21745664 4864 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5309 4864 231 231 0 5078 0
vsize: 21236
[startup+190.001 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 5354 0 0 0 18973 28 0 0 25 0 1 0 512384146 21745664 5011 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5309 5011 231 231 0 5078 0
vsize: 21236
[startup+200 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 5493 0 0 0 19972 29 0 0 25 0 1 0 512384146 38662144 5150 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9439 5150 231 231 0 9208 0
vsize: 37756
[startup+210 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 5631 0 0 0 20971 30 0 0 25 0 1 0 512384146 38662144 5288 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9439 5288 231 231 0 9208 0
vsize: 37756
[startup+220 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 5801 0 0 0 21970 32 0 0 25 0 1 0 512384146 38801408 5458 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9473 5458 231 231 0 9242 0
vsize: 37892
[startup+230.001 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 5903 0 0 0 22970 32 0 0 25 0 1 0 512384146 38801408 5560 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9473 5560 231 231 0 9242 0
vsize: 37892
[startup+240 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6065 0 0 0 23969 33 0 0 25 0 1 0 512384146 38940672 5722 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9507 5722 231 231 0 9276 0
vsize: 38028
[startup+250 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6192 0 0 0 24968 34 0 0 25 0 1 0 512384146 38940672 5849 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9507 5849 231 231 0 9276 0
vsize: 38028
[startup+260.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6320 0 0 0 25967 35 0 0 25 0 1 0 512384146 39075840 5977 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9540 5977 231 231 0 9309 0
vsize: 38160
[startup+270.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6429 0 0 0 26967 36 0 0 25 0 1 0 512384146 39075840 6086 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9540 6086 231 231 0 9309 0
vsize: 38160
[startup+280.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6545 0 0 0 27966 37 0 0 25 0 1 0 512384146 39075840 6202 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9540 6202 231 231 0 9309 0
vsize: 38160
[startup+290.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6640 0 0 0 28965 38 0 0 25 0 1 0 512384146 39211008 6297 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 6297 231 231 0 9342 0
vsize: 38292
[startup+300.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6767 0 0 0 29965 38 0 0 25 0 1 0 512384146 39358464 6424 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 6424 231 231 0 9378 0
vsize: 38436
[startup+310.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6865 0 0 0 30964 39 0 0 25 0 1 0 512384146 39358464 6522 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 6522 231 231 0 9378 0
vsize: 38436
[startup+320.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6951 0 0 0 31964 40 0 0 25 0 1 0 512384146 39358464 6608 4294967295 134512640 135450300 3221224640 3221223456 134547879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9609 6608 231 231 0 9378 0
vsize: 38436
[startup+330.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 6982 0 0 0 32963 40 0 0 25 0 1 0 512384146 39497728 6639 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9643 6639 231 231 0 9412 0
vsize: 38572
[startup+340.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 7099 0 0 0 33963 41 0 0 25 0 1 0 512384146 39497728 6756 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9643 6756 231 231 0 9412 0
vsize: 38572
[startup+350.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 7190 0 0 0 34962 42 0 0 25 0 1 0 512384146 39645184 6847 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9679 6847 231 231 0 9448 0
vsize: 38716
[startup+360.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 7303 0 0 0 35962 43 0 0 25 0 1 0 512384146 39792640 6960 4294967295 134512640 135450300 3221224640 3221223248 134537771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9715 6960 231 231 0 9484 0
vsize: 38860
[startup+370.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 7387 0 0 0 36961 43 0 0 25 0 1 0 512384146 39792640 7044 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9715 7044 231 231 0 9484 0
vsize: 38860
[startup+380.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 7890 0 0 0 37960 45 0 0 25 0 1 0 512384146 41500672 7162 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10132 7162 231 231 0 9901 0
vsize: 40528
[startup+390.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 7935 0 0 0 38960 45 0 0 25 0 1 0 512384146 41500672 7207 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10132 7207 231 231 0 9901 0
vsize: 40528
[startup+400.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8017 0 0 0 39960 45 0 0 25 0 1 0 512384146 41500672 7289 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10132 7289 231 231 0 9901 0
vsize: 40528
[startup+410.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8107 0 0 0 40959 46 0 0 25 0 1 0 512384146 41500672 7379 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10132 7379 231 231 0 9901 0
vsize: 40528
[startup+420.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8123 0 0 0 41959 47 0 0 25 0 1 0 512384146 41648128 7395 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10168 7395 231 231 0 9937 0
vsize: 40672
[startup+430.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8240 0 0 0 42958 47 0 0 25 0 1 0 512384146 41648128 7512 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10168 7512 231 231 0 9937 0
vsize: 40672
[startup+440.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8319 0 0 0 43958 48 0 0 25 0 1 0 512384146 41648128 7591 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10168 7591 231 231 0 9937 0
vsize: 40672
[startup+450.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8407 0 0 0 44958 48 0 0 25 0 1 0 512384146 41648128 7679 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10168 7679 231 231 0 9937 0
vsize: 40672
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8488 0 0 0 45958 49 0 0 25 0 1 0 512384146 41783296 7760 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10201 7760 231 231 0 9970 0
vsize: 40804
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8592 0 0 0 46957 49 0 0 25 0 1 0 512384146 41783296 7864 4294967295 134512640 135450300 3221224640 3221223472 134549287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10201 7864 231 231 0 9970 0
vsize: 40804
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8734 0 0 0 47957 50 0 0 25 0 1 0 512384146 41930752 8006 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 8006 231 231 0 10006 0
vsize: 40948
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8777 0 0 0 48956 50 0 0 25 0 1 0 512384146 41930752 8049 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 8049 231 231 0 10006 0
vsize: 40948
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8856 0 0 0 49956 51 0 0 25 0 1 0 512384146 41930752 8128 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 8128 231 231 0 10006 0
vsize: 40948
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 8998 0 0 0 50956 51 0 0 25 0 1 0 512384146 41930752 8270 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 8270 231 231 0 10006 0
vsize: 40948
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9120 0 0 0 51955 52 0 0 25 0 1 0 512384146 42094592 8392 4294967295 134512640 135450300 3221224640 3221223248 134537606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 8392 231 231 0 10046 0
vsize: 41108
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9173 0 0 0 52955 52 0 0 25 0 1 0 512384146 42094592 8445 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 8445 231 231 0 10046 0
vsize: 41108
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9181 0 0 0 53955 52 0 0 25 0 1 0 512384146 42094592 8453 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 8453 231 231 0 10046 0
vsize: 41108
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9229 0 0 0 54955 53 0 0 25 0 1 0 512384146 42094592 8501 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 8501 231 231 0 10046 0
vsize: 41108
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9302 0 0 0 55954 54 0 0 25 0 1 0 512384146 42094592 8574 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 8574 231 231 0 10046 0
vsize: 41108
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9371 0 0 0 56954 54 0 0 25 0 1 0 512384146 42258432 8643 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10317 8643 231 231 0 10086 0
vsize: 41268
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9437 0 0 0 57954 54 0 0 25 0 1 0 512384146 42258432 8709 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10317 8709 231 231 0 10086 0
vsize: 41268
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9464 0 0 0 58954 55 0 0 25 0 1 0 512384146 42258432 8736 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10317 8736 231 231 0 10086 0
vsize: 41268
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9529 0 0 0 59953 55 0 0 25 0 1 0 512384146 42258432 8801 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10317 8801 231 231 0 10086 0
vsize: 41268
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9590 0 0 0 60954 55 0 0 25 0 1 0 512384146 42422272 8862 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10357 8862 231 231 0 10126 0
vsize: 41428
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9667 0 0 0 61953 56 0 0 25 0 1 0 512384146 42422272 8939 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10357 8939 231 231 0 10126 0
vsize: 41428
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9735 0 0 0 62952 57 0 0 25 0 1 0 512384146 42422272 9007 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10357 9007 231 231 0 10126 0
vsize: 41428
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9789 0 0 0 63952 57 0 0 25 0 1 0 512384146 42422272 9061 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10357 9061 231 231 0 10126 0
vsize: 41428
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9863 0 0 0 64952 58 0 0 25 0 1 0 512384146 42422272 9135 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10357 9135 231 231 0 10126 0
vsize: 41428
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 9933 0 0 0 65952 58 0 0 25 0 1 0 512384146 42422272 9205 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10357 9205 231 231 0 10126 0
vsize: 41428
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10028 0 0 0 66952 58 0 0 25 0 1 0 512384146 42569728 9300 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10393 9300 231 231 0 10162 0
vsize: 41572
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10093 0 0 0 67952 58 0 0 25 0 1 0 512384146 42569728 9365 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10393 9365 231 231 0 10162 0
vsize: 41572
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10184 0 0 0 68952 58 0 0 25 0 1 0 512384146 42725376 9456 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10431 9456 231 231 0 10200 0
vsize: 41724
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10214 0 0 0 69952 59 0 0 25 0 1 0 512384146 42725376 9486 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10431 9486 231 231 0 10200 0
vsize: 41724
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10223 0 0 0 70952 59 0 0 25 0 1 0 512384146 42725376 9495 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10431 9495 231 231 0 10200 0
vsize: 41724
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10248 0 0 0 71951 59 0 0 25 0 1 0 512384146 42921984 9520 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10479 9520 231 231 0 10248 0
vsize: 41916
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10279 0 0 0 72951 60 0 0 25 0 1 0 512384146 42921984 9551 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10479 9551 231 231 0 10248 0
vsize: 41916
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10359 0 0 0 73951 60 0 0 25 0 1 0 512384146 43249664 9631 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10559 9631 231 231 0 10328 0
vsize: 42236
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10377 0 0 0 74951 61 0 0 25 0 1 0 512384146 43405312 9649 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 9649 231 231 0 10366 0
vsize: 42388
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10390 0 0 0 75950 61 0 0 25 0 1 0 512384146 43405312 9662 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 9662 231 231 0 10366 0
vsize: 42388
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10394 0 0 0 76950 62 0 0 25 0 1 0 512384146 43405312 9666 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 9666 231 231 0 10366 0
vsize: 42388
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10402 0 0 0 77950 62 0 0 25 0 1 0 512384146 43405312 9674 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 9674 231 231 0 10366 0
vsize: 42388
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10405 0 0 0 78950 62 0 0 25 0 1 0 512384146 43405312 9677 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 9677 231 231 0 10366 0
vsize: 42388
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10411 0 0 0 79950 63 0 0 25 0 1 0 512384146 43405312 9683 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10597 9683 231 231 0 10366 0
vsize: 42388
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10455 0 0 0 80949 63 0 0 25 0 1 0 512384146 43712512 9727 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10672 9727 231 231 0 10441 0
vsize: 42688
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10465 0 0 0 81949 63 0 0 25 0 1 0 512384146 43712512 9737 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10672 9737 231 231 0 10441 0
vsize: 42688
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10473 0 0 0 82949 64 0 0 25 0 1 0 512384146 43712512 9745 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10672 9745 231 231 0 10441 0
vsize: 42688
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10477 0 0 0 83949 64 0 0 25 0 1 0 512384146 43712512 9749 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10672 9749 231 231 0 10441 0
vsize: 42688
[startup+850.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10509 0 0 0 84949 64 0 0 25 0 1 0 512384146 43712512 9781 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10672 9781 231 231 0 10441 0
vsize: 42688
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10537 0 0 0 85949 64 0 0 25 0 1 0 512384146 43876352 9809 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10712 9809 231 231 0 10481 0
vsize: 42848
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10564 0 0 0 86949 65 0 0 25 0 1 0 512384146 44023808 9836 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 9836 231 231 0 10517 0
vsize: 42992
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10582 0 0 0 87949 65 0 0 25 0 1 0 512384146 44023808 9854 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 9854 231 231 0 10517 0
vsize: 42992
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10590 0 0 0 88949 66 0 0 25 0 1 0 512384146 44023808 9862 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 9862 231 231 0 10517 0
vsize: 42992
[startup+900.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10594 0 0 0 89949 66 0 0 25 0 1 0 512384146 44023808 9866 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 9866 231 231 0 10517 0
vsize: 42992
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10598 0 0 0 90949 66 0 0 25 0 1 0 512384146 44023808 9870 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 9870 231 231 0 10517 0
vsize: 42992
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10630 0 0 0 91949 66 0 0 25 0 1 0 512384146 44163072 9902 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10782 9902 231 231 0 10551 0
vsize: 43128
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10687 0 0 0 92949 66 0 0 25 0 1 0 512384146 44347392 9959 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10827 9959 231 231 0 10596 0
vsize: 43308
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10692 0 0 0 93949 67 0 0 25 0 1 0 512384146 44347392 9964 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10827 9964 231 231 0 10596 0
vsize: 43308
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10699 0 0 0 94949 67 0 0 25 0 1 0 512384146 44482560 9971 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 9971 231 231 0 10629 0
vsize: 43440
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10715 0 0 0 95948 67 0 0 25 0 1 0 512384146 44482560 9987 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 9987 231 231 0 10629 0
vsize: 43440
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10720 0 0 0 96949 67 0 0 25 0 1 0 512384146 44482560 9992 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 9992 231 231 0 10629 0
vsize: 43440
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10725 0 0 0 97949 67 0 0 25 0 1 0 512384146 44482560 9997 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 9997 231 231 0 10629 0
vsize: 43440
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10729 0 0 0 98948 68 0 0 25 0 1 0 512384146 44482560 10001 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 10001 231 231 0 10629 0
vsize: 43440
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10735 0 0 0 99948 68 0 0 25 0 1 0 512384146 44482560 10007 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 10007 231 231 0 10629 0
vsize: 43440
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10739 0 0 0 100949 68 0 0 25 0 1 0 512384146 44482560 10011 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 10011 231 231 0 10629 0
vsize: 43440
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10755 0 0 0 101949 68 0 0 25 0 1 0 512384146 44482560 10027 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10860 10027 231 231 0 10629 0
vsize: 43440
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10769 0 0 0 102949 68 0 0 25 0 1 0 512384146 44646400 10041 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10041 231 231 0 10669 0
vsize: 43600
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10772 0 0 0 103949 68 0 0 25 0 1 0 512384146 44646400 10044 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10044 231 231 0 10669 0
vsize: 43600
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10788 0 0 0 104949 68 0 0 25 0 1 0 512384146 44646400 10060 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10060 231 231 0 10669 0
vsize: 43600
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10791 0 0 0 105949 69 0 0 25 0 1 0 512384146 44646400 10063 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10063 231 231 0 10669 0
vsize: 43600
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10798 0 0 0 106949 69 0 0 25 0 1 0 512384146 44646400 10070 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10070 231 231 0 10669 0
vsize: 43600
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10801 0 0 0 107949 69 0 0 25 0 1 0 512384146 44646400 10073 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10073 231 231 0 10669 0
vsize: 43600
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10805 0 0 0 108949 69 0 0 25 0 1 0 512384146 44646400 10077 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10077 231 231 0 10669 0
vsize: 43600
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10809 0 0 0 109949 69 0 0 25 0 1 0 512384146 44646400 10081 4294967295 134512640 135450300 3221224640 3221223376 134538015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10081 231 231 0 10669 0
vsize: 43600
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10834 0 0 0 110949 70 0 0 25 0 1 0 512384146 44843008 10106 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10948 10106 231 231 0 10717 0
vsize: 43792
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10855 0 0 0 111948 70 0 0 25 0 1 0 512384146 44843008 10127 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10948 10127 231 231 0 10717 0
vsize: 43792
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10894 0 0 0 112948 71 0 0 25 0 1 0 512384146 45027328 10166 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10993 10166 231 231 0 10762 0
vsize: 43972
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10930 0 0 0 113947 72 0 0 25 0 1 0 512384146 45191168 10202 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 10202 231 231 0 10802 0
vsize: 44132
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10965 0 0 0 114947 72 0 0 25 0 1 0 512384146 45191168 10237 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 10237 231 231 0 10802 0
vsize: 44132
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10972 0 0 0 115947 72 0 0 25 0 1 0 512384146 45191168 10244 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 10244 231 231 0 10802 0
vsize: 44132
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10975 0 0 0 116947 72 0 0 25 0 1 0 512384146 45191168 10247 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 10247 231 231 0 10802 0
vsize: 44132
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 10983 0 0 0 117947 72 0 0 25 0 1 0 512384146 45191168 10255 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11033 10255 231 231 0 10802 0
vsize: 44132
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19681
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 11006 0 0 0 118947 72 0 0 25 0 1 0 512384146 45379584 10278 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11079 10278 231 231 0 10848 0
vsize: 44316
[startup+1200.09 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 19717
Raw data (stat): 19681 (PBS4) R 19680 27222 27221 0 -1 0 11015 0 0 0 119954 73 0 0 25 0 1 0 512384146 45379584 10287 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11079 10287 231 231 0 10848 0
vsize: 44316
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 19717
Raw data (stat): 19681 (PBS4) Z 19680 27222 27221 0 -1 1036 11015 0 0 0 119954 75 0 0 25 0 1 0 512384146 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.11
CPU time (s): 1200.3
CPU user time (s): 1199.55
CPU system time (s): 0.753885
CPU usage (%): 100.016
Max. virtual memory (Kb): 44316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####