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/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58579
Number of constraints which are clauses	58579
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 7903

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-17 17:04:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2994 boxname=wulflinc18 idbench=333 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc18/normalized-frb45-21-5.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc18/normalized-frb45-21-5.opb
IDLAUNCH: 2994
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        819900 kB
Buffers:         36416 kB
Cached:         140880 kB
SwapCached:        320 kB
Active:          75348 kB
Inactive:       105164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819648 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            28512 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:24:49 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 2994 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc18/normalized-frb45-21-5.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.99 0.94 2/55 16883
Raw data (stat): 16883 (runsolver) R 16882 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512166499 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.0008 s]
Raw data (loadavg): 0.87 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 3407 0 0 0 989 10 0 0 25 0 1 0 512166499 20611072 3059 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5032 3059 231 231 0 4801 0
vsize: 20128
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 4882 0 0 0 1984 14 0 0 25 0 1 0 512166499 20746240 4534 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5065 4534 231 231 0 4834 0
vsize: 20260
[startup+30.002 s]
Raw data (loadavg): 0.91 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 7038 0 0 0 2979 19 0 0 25 0 1 0 512166499 37933056 6690 4294967295 134512640 135450300 3221224640 3221223104 134532715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9261 6690 231 231 0 9030 0
vsize: 37044
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 9044 0 0 0 3974 24 0 0 25 0 1 0 512166499 38072320 8696 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9295 8696 231 231 0 9064 0
vsize: 37180
[startup+50.0031 s]
Raw data (loadavg): 0.93 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 10885 0 0 0 4969 30 0 0 25 0 1 0 512166499 71761920 10537 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17520 10537 231 231 0 17289 0
vsize: 70080
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 12682 0 0 0 5964 35 0 0 25 0 1 0 512166499 72036352 12334 4294967295 134512640 135450300 3221224640 3221223108 134580040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17587 12334 231 231 0 17356 0
vsize: 70348
[startup+70.004 s]
Raw data (loadavg): 0.95 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 14593 0 0 0 6960 39 0 0 25 0 1 0 512166499 73609216 13860 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17971 13860 231 231 0 17740 0
vsize: 71884
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.99 0.94 2/55 16883
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 15973 0 0 0 7957 43 0 0 25 0 1 0 512166499 74174464 15240 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18109 15240 231 231 0 17878 0
vsize: 72436
[startup+90.0045 s]
Raw data (loadavg): 0.96 0.99 0.94 2/55 16885
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 17339 0 0 0 8953 46 0 0 25 0 1 0 512166499 74756096 16606 4294967295 134512640 135450300 3221224640 3221223280 134582384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18251 16606 231 231 0 18020 0
vsize: 73004
[startup+100.005 s]
Raw data (loadavg): 0.97 0.99 0.94 2/55 16885
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 17423 0 0 0 9953 47 0 0 25 0 1 0 512166499 75038720 16690 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18320 16690 231 231 0 18089 0
vsize: 73280
[startup+110.006 s]
Raw data (loadavg): 0.97 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 18137 0 0 0 10951 49 0 0 25 0 1 0 512166499 75321344 17404 4294967295 134512640 135450300 3221224640 3221223360 134535546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18389 17404 231 231 0 18158 0
vsize: 73556
[startup+120.006 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 19585 0 0 0 11947 54 0 0 25 0 1 0 512166499 142712832 18852 4294967295 134512640 135450300 3221224640 3221223168 134543663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34842 18852 231 231 0 34611 0
vsize: 139368
[startup+130.006 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 20929 0 0 0 12943 57 0 0 25 0 1 0 512166499 142856192 20196 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34877 20196 231 231 0 34646 0
vsize: 139508
[startup+140.008 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 21394 0 0 0 13942 58 0 0 25 0 1 0 512166499 143003648 20661 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34913 20661 231 231 0 34682 0
vsize: 139652
[startup+150.008 s]
Raw data (loadavg): 0.98 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 21440 0 0 0 14943 58 0 0 25 0 1 0 512166499 143290368 20707 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34983 20707 231 231 0 34752 0
vsize: 139932
[startup+160.008 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 21481 0 0 0 15942 59 0 0 25 0 1 0 512166499 143425536 20748 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35016 20748 231 231 0 34785 0
vsize: 140064
[startup+170.008 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 22066 0 0 0 16941 60 0 0 25 0 1 0 512166499 144007168 21333 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35158 21333 231 231 0 34927 0
vsize: 140632
[startup+180.008 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 22161 0 0 0 17941 61 0 0 25 0 1 0 512166499 144617472 21428 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35307 21428 231 231 0 35076 0
vsize: 141228
[startup+190.008 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 22235 0 0 0 18941 61 0 0 25 0 1 0 512166499 144924672 21502 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35382 21502 231 231 0 35151 0
vsize: 141528
[startup+200.008 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 22300 0 0 0 19941 61 0 0 25 0 1 0 512166499 145203200 21567 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35450 21567 231 231 0 35219 0
vsize: 141800
[startup+210.008 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 23392 0 0 0 20938 64 0 0 25 0 1 0 512166499 145514496 22659 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35526 22659 231 231 0 35295 0
vsize: 142104
[startup+220.01 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 24681 0 0 0 21936 66 0 0 25 0 1 0 512166499 145821696 23948 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35601 23948 231 231 0 35370 0
vsize: 142404
[startup+230.009 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 24703 0 0 0 22936 66 0 0 25 0 1 0 512166499 145821696 23970 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35601 23970 231 231 0 35370 0
vsize: 142404
[startup+240.01 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 24751 0 0 0 23936 66 0 0 25 0 1 0 512166499 146112512 24018 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35672 24018 231 231 0 35441 0
vsize: 142688
[startup+250.01 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 24839 0 0 0 24936 66 0 0 25 0 1 0 512166499 146391040 24106 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35740 24106 231 231 0 35509 0
vsize: 142960
[startup+260.012 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 24887 0 0 0 25937 66 0 0 25 0 1 0 512166499 146685952 24154 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35812 24154 231 231 0 35581 0
vsize: 143248
[startup+270.012 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 25243 0 0 0 26936 67 0 0 25 0 1 0 512166499 146833408 24510 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35848 24510 231 231 0 35617 0
vsize: 143392
[startup+280.012 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 25936 0 0 0 27934 69 0 0 25 0 1 0 512166499 147124224 25203 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35919 25203 231 231 0 35688 0
vsize: 143676
[startup+290.013 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 25973 0 0 0 28934 70 0 0 25 0 1 0 512166499 147271680 25240 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35955 25240 231 231 0 35724 0
vsize: 143820
[startup+300.013 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 26014 0 0 0 29934 70 0 0 25 0 1 0 512166499 147415040 25281 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35990 25281 231 231 0 35759 0
vsize: 143960
[startup+310.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 26047 0 0 0 30934 70 0 0 25 0 1 0 512166499 147693568 25314 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36058 25314 231 231 0 35827 0
vsize: 144232
[startup+320.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 26340 0 0 0 31933 71 0 0 25 0 1 0 512166499 147984384 25607 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36129 25607 231 231 0 35898 0
vsize: 144516
[startup+330.013 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 26869 0 0 0 32933 72 0 0 25 0 1 0 512166499 148131840 26136 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36165 26136 231 231 0 35934 0
vsize: 144660
[startup+340.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 26924 0 0 0 33933 72 0 0 25 0 1 0 512166499 148434944 26191 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36239 26191 231 231 0 36008 0
vsize: 144956
[startup+350.014 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 26955 0 0 0 34933 72 0 0 25 0 1 0 512166499 148582400 26222 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36275 26222 231 231 0 36044 0
vsize: 145100
[startup+360.015 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27013 0 0 0 35933 72 0 0 25 0 1 0 512166499 148873216 26280 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36346 26280 231 231 0 36115 0
vsize: 145384
[startup+370.016 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27057 0 0 0 36933 73 0 0 25 0 1 0 512166499 149045248 26324 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36388 26324 231 231 0 36157 0
vsize: 145552
[startup+380.016 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16887
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27554 0 0 0 37932 74 0 0 25 0 1 0 512166499 149045248 26821 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36388 26821 231 231 0 36157 0
vsize: 145552
[startup+390.017 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27573 0 0 0 38932 74 0 0 25 0 1 0 512166499 149045248 26840 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36388 26840 231 231 0 36157 0
vsize: 145552
[startup+400.018 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27617 0 0 0 39932 74 0 0 25 0 1 0 512166499 149192704 26884 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36424 26884 231 231 0 36193 0
vsize: 145696
[startup+410.019 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27630 0 0 0 40932 74 0 0 25 0 1 0 512166499 149356544 26897 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36464 26897 231 231 0 36233 0
vsize: 145856
[startup+420.018 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27671 0 0 0 41931 75 0 0 25 0 1 0 512166499 149495808 26938 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36498 26938 231 231 0 36267 0
vsize: 145992
[startup+430.018 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 27694 0 0 0 42931 75 0 0 25 0 1 0 512166499 149643264 26961 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36534 26961 231 231 0 36303 0
vsize: 146136
[startup+440.02 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28099 0 0 0 43931 76 0 0 25 0 1 0 512166499 149782528 27366 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36568 27366 231 231 0 36337 0
vsize: 146272
[startup+450.019 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28135 0 0 0 44931 76 0 0 25 0 1 0 512166499 149946368 27402 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36608 27402 231 231 0 36377 0
vsize: 146432
[startup+460.02 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28139 0 0 0 45931 76 0 0 25 0 1 0 512166499 149946368 27406 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36608 27406 231 231 0 36377 0
vsize: 146432
[startup+470.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28179 0 0 0 46930 77 0 0 25 0 1 0 512166499 150110208 27446 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36648 27446 231 231 0 36417 0
vsize: 146592
[startup+480.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28216 0 0 0 47930 77 0 0 25 0 1 0 512166499 150253568 27483 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36683 27483 231 231 0 36452 0
vsize: 146732
[startup+490.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28287 0 0 0 48929 78 0 0 25 0 1 0 512166499 150564864 27554 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36759 27554 231 231 0 36528 0
vsize: 147036
[startup+500.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28617 0 0 0 49929 79 0 0 25 0 1 0 512166499 150712320 27884 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36795 27884 231 231 0 36564 0
vsize: 147180
[startup+510.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28653 0 0 0 50929 79 0 0 25 0 1 0 512166499 150859776 27920 4294967295 134512640 135450300 3221224640 3221223168 134544983 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36831 27920 231 231 0 36600 0
vsize: 147324
[startup+520.021 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28708 0 0 0 51929 80 0 0 25 0 1 0 512166499 151023616 27975 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36871 27975 231 231 0 36640 0
vsize: 147484
[startup+530.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28720 0 0 0 52928 80 0 0 25 0 1 0 512166499 151175168 27987 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36908 27987 231 231 0 36677 0
vsize: 147632
[startup+540.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28731 0 0 0 53928 80 0 0 25 0 1 0 512166499 151175168 27998 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36908 27998 231 231 0 36677 0
vsize: 147632
[startup+550.022 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28745 0 0 0 54929 80 0 0 25 0 1 0 512166499 151175168 28012 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36908 28012 231 231 0 36677 0
vsize: 147632
[startup+560.024 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28963 0 0 0 55928 81 0 0 25 0 1 0 512166499 151322624 28230 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36944 28230 231 231 0 36713 0
vsize: 147776
[startup+570.024 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 28990 0 0 0 56928 81 0 0 25 0 1 0 512166499 151511040 28257 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36990 28257 231 231 0 36759 0
vsize: 147960
[startup+580.024 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29013 0 0 0 57927 82 0 0 25 0 1 0 512166499 151511040 28280 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36990 28280 231 231 0 36759 0
vsize: 147960
[startup+590.024 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29024 0 0 0 58927 82 0 0 25 0 1 0 512166499 151511040 28291 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36990 28291 231 231 0 36759 0
vsize: 147960
[startup+600.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29050 0 0 0 59927 82 0 0 25 0 1 0 512166499 151658496 28317 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37026 28317 231 231 0 36795 0
vsize: 148104
[startup+610.026 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29173 0 0 0 60927 83 0 0 25 0 1 0 512166499 151658496 28440 4294967295 134512640 135450300 3221224640 3221223552 134597367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37026 28440 231 231 0 36795 0
vsize: 148104
[startup+620.026 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29209 0 0 0 61927 83 0 0 25 0 1 0 512166499 151797760 28476 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37060 28476 231 231 0 36829 0
vsize: 148240
[startup+630.025 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29249 0 0 0 62927 83 0 0 25 0 1 0 512166499 151961600 28516 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37100 28516 231 231 0 36869 0
vsize: 148400
[startup+640.026 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29259 0 0 0 63927 84 0 0 25 0 1 0 512166499 151961600 28526 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37100 28526 231 231 0 36869 0
vsize: 148400
[startup+650.027 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29273 0 0 0 64927 84 0 0 25 0 1 0 512166499 152137728 28540 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37143 28540 231 231 0 36912 0
vsize: 148572
[startup+660.027 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29286 0 0 0 65927 84 0 0 25 0 1 0 512166499 152137728 28553 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37143 28553 231 231 0 36912 0
vsize: 148572
[startup+670.028 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29464 0 0 0 66926 85 0 0 25 0 1 0 512166499 152465408 28731 4294967295 134512640 135450300 3221224640 3221223104 134532638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37223 28731 231 231 0 36992 0
vsize: 148892
[startup+680.029 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16889
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29494 0 0 0 67926 85 0 0 25 0 1 0 512166499 152629248 28761 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37263 28761 231 231 0 37032 0
vsize: 149052
[startup+690.029 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29523 0 0 0 68926 85 0 0 25 0 1 0 512166499 152793088 28790 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37303 28790 231 231 0 37072 0
vsize: 149212
[startup+700.03 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29574 0 0 0 69926 86 0 0 25 0 1 0 512166499 152956928 28841 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37343 28841 231 231 0 37112 0
vsize: 149372
[startup+710.031 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29605 0 0 0 70926 86 0 0 25 0 1 0 512166499 153120768 28872 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37383 28872 231 231 0 37152 0
vsize: 149532
[startup+720.031 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29700 0 0 0 71925 87 0 0 25 0 1 0 512166499 153120768 28967 4294967295 134512640 135450300 3221224640 3221223168 134543701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37383 28967 231 231 0 37152 0
vsize: 149532
[startup+730.03 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29717 0 0 0 72925 87 0 0 25 0 1 0 512166499 153288704 28984 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37424 28984 231 231 0 37193 0
vsize: 149696
[startup+740.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29731 0 0 0 73925 88 0 0 25 0 1 0 512166499 153288704 28998 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37424 28998 231 231 0 37193 0
vsize: 149696
[startup+750.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29774 0 0 0 74925 88 0 0 25 0 1 0 512166499 153452544 29041 4294967295 134512640 135450300 3221224640 3221223376 134538743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37464 29041 231 231 0 37233 0
vsize: 149856
[startup+760.033 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29782 0 0 0 75925 88 0 0 25 0 1 0 512166499 153452544 29049 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37464 29049 231 231 0 37233 0
vsize: 149856
[startup+770.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29854 0 0 0 76925 88 0 0 25 0 1 0 512166499 153452544 29121 4294967295 134512640 135450300 3221224640 3221223552 134597069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37464 29121 231 231 0 37233 0
vsize: 149856
[startup+780.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29884 0 0 0 77925 88 0 0 25 0 1 0 512166499 153616384 29151 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37504 29151 231 231 0 37273 0
vsize: 150016
[startup+790.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29912 0 0 0 78925 89 0 0 25 0 1 0 512166499 153759744 29179 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37539 29179 231 231 0 37308 0
vsize: 150156
[startup+800.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29931 0 0 0 79925 89 0 0 25 0 1 0 512166499 153759744 29198 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37539 29198 231 231 0 37308 0
vsize: 150156
[startup+810.036 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29955 0 0 0 80925 89 0 0 25 0 1 0 512166499 153759744 29222 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37539 29222 231 231 0 37308 0
vsize: 150156
[startup+820.036 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 29980 0 0 0 81925 89 0 0 25 0 1 0 512166499 154050560 29247 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37610 29247 231 231 0 37379 0
vsize: 150440
[startup+830.036 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30050 0 0 0 82925 89 0 0 25 0 1 0 512166499 154050560 29317 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37610 29317 231 231 0 37379 0
vsize: 150440
[startup+840.037 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30054 0 0 0 83925 90 0 0 25 0 1 0 512166499 154050560 29321 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37610 29321 231 231 0 37379 0
vsize: 150440
[startup+850.036 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30080 0 0 0 84925 90 0 0 25 0 1 0 512166499 154214400 29347 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37650 29347 231 231 0 37419 0
vsize: 150600
[startup+860.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30111 0 0 0 85925 90 0 0 25 0 1 0 512166499 154378240 29378 4294967295 134512640 135450300 3221224640 3221223360 134535944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37690 29378 231 231 0 37459 0
vsize: 150760
[startup+870.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30153 0 0 0 86924 91 0 0 25 0 1 0 512166499 154525696 29420 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37726 29420 231 231 0 37495 0
vsize: 150904
[startup+880.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30170 0 0 0 87924 91 0 0 25 0 1 0 512166499 154525696 29437 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37726 29437 231 231 0 37495 0
vsize: 150904
[startup+890.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30231 0 0 0 88924 92 0 0 25 0 1 0 512166499 154660864 29498 4294967295 134512640 135450300 3221224640 3221223376 134538485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37759 29498 231 231 0 37528 0
vsize: 151036
[startup+900.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30250 0 0 0 89924 92 0 0 25 0 1 0 512166499 154660864 29517 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37759 29517 231 231 0 37528 0
vsize: 151036
[startup+910.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30262 0 0 0 90924 92 0 0 25 0 1 0 512166499 154824704 29529 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37799 29529 231 231 0 37568 0
vsize: 151196
[startup+920.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30295 0 0 0 91924 92 0 0 25 0 1 0 512166499 154988544 29562 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37839 29562 231 231 0 37608 0
vsize: 151356
[startup+930.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30314 0 0 0 92924 93 0 0 25 0 1 0 512166499 155144192 29581 4294967295 134512640 135450300 3221224640 3221223108 134580040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37877 29581 231 231 0 37646 0
vsize: 151508
[startup+940.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30374 0 0 0 93924 93 0 0 25 0 1 0 512166499 155308032 29641 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37917 29641 231 231 0 37686 0
vsize: 151668
[startup+950.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30416 0 0 0 94923 93 0 0 25 0 1 0 512166499 155471872 29683 4294967295 134512640 135450300 3221224640 3221223456 134547853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37957 29683 231 231 0 37726 0
vsize: 151828
[startup+960.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30452 0 0 0 95923 93 0 0 25 0 1 0 512166499 155635712 29719 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37997 29719 231 231 0 37766 0
vsize: 151988
[startup+970.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30474 0 0 0 96923 94 0 0 25 0 1 0 512166499 155635712 29741 4294967295 134512640 135450300 3221224640 3221223168 134544179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37997 29741 231 231 0 37766 0
vsize: 151988
[startup+980.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16891
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30501 0 0 0 97923 94 0 0 25 0 1 0 512166499 155799552 29768 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38037 29768 231 231 0 37806 0
vsize: 152148
[startup+990.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30522 0 0 0 98923 94 0 0 25 0 1 0 512166499 156024832 29789 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38092 29789 231 231 0 37861 0
vsize: 152368
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30536 0 0 0 99924 94 0 0 25 0 1 0 512166499 156024832 29803 4294967295 134512640 135450300 3221224640 3221223104 134532779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38092 29803 231 231 0 37861 0
vsize: 152368
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30558 0 0 0 100924 94 0 0 25 0 1 0 512166499 156024832 29825 4294967295 134512640 135450300 3221224640 3221223024 134602510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38092 29825 231 231 0 37861 0
vsize: 152368
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30581 0 0 0 101923 95 0 0 25 0 1 0 512166499 156024832 29848 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38092 29848 231 231 0 37861 0
vsize: 152368
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30602 0 0 0 102923 95 0 0 25 0 1 0 512166499 156188672 29869 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38132 29869 231 231 0 37901 0
vsize: 152528
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30610 0 0 0 103924 95 0 0 25 0 1 0 512166499 156188672 29877 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38132 29877 231 231 0 37901 0
vsize: 152528
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30635 0 0 0 104924 95 0 0 25 0 1 0 512166499 156188672 29902 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38132 29902 231 231 0 37901 0
vsize: 152528
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30648 0 0 0 105923 95 0 0 25 0 1 0 512166499 156389376 29915 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38181 29915 231 231 0 37950 0
vsize: 152724
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 30666 0 0 0 106924 95 0 0 25 0 1 0 512166499 156389376 29933 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38181 29933 231 231 0 37950 0
vsize: 152724
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31448 0 0 0 107922 97 0 0 25 0 1 0 512166499 159535104 29946 4294967295 134512640 135450300 3221224640 3221223472 134549475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38949 29946 231 231 0 38718 0
vsize: 155796
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31460 0 0 0 108922 97 0 0 25 0 1 0 512166499 159535104 29958 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38949 29958 231 231 0 38718 0
vsize: 155796
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31469 0 0 0 109922 97 0 0 25 0 1 0 512166499 159682560 29967 4294967295 134512640 135450300 3221224640 3221223472 134549311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38985 29967 231 231 0 38754 0
vsize: 155940
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31473 0 0 0 110922 97 0 0 25 0 1 0 512166499 159682560 29971 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38985 29971 231 231 0 38754 0
vsize: 155940
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31484 0 0 0 111922 98 0 0 25 0 1 0 512166499 159682560 29982 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38985 29982 231 231 0 38754 0
vsize: 155940
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31487 0 0 0 112922 98 0 0 25 0 1 0 512166499 159682560 29985 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38985 29985 231 231 0 38754 0
vsize: 155940
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31508 0 0 0 113922 98 0 0 25 0 1 0 512166499 159854592 30006 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39027 30006 231 231 0 38796 0
vsize: 156108
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31551 0 0 0 114922 98 0 0 25 0 1 0 512166499 160018432 30049 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39067 30049 231 231 0 38836 0
vsize: 156268
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31589 0 0 0 115922 98 0 0 25 0 1 0 512166499 160182272 30087 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39107 30087 231 231 0 38876 0
vsize: 156428
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31605 0 0 0 116922 99 0 0 25 0 1 0 512166499 160182272 30103 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39107 30103 231 231 0 38876 0
vsize: 156428
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31640 0 0 0 117922 99 0 0 25 0 1 0 512166499 160346112 30138 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39147 30138 231 231 0 38916 0
vsize: 156588
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31704 0 0 0 118921 100 0 0 25 0 1 0 512166499 160673792 30202 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39227 30202 231 231 0 38996 0
vsize: 156908
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.99 0.94 2/55 16893
Raw data (stat): 16883 (PBS4) R 16882 20024 20023 0 -1 0 31742 0 0 0 119921 100 0 0 25 0 1 0 512166499 160985088 30240 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39303 30240 231 231 0 39072 0
vsize: 157212
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.99 0.94 1/55 16893
Raw data (stat): 16883 (PBS4) Z 16882 20024 20023 0 -1 1036 31742 0 0 0 119921 106 0 0 25 0 1 0 512166499 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.1
CPU time (s): 1200.28
CPU user time (s): 1199.22
CPU system time (s): 1.06084
CPU usage (%): 100.015
Max. virtual memory (Kb): 157212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####