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/manquinho/primes-dimacs-cnf/normalized-ii8d1.opb
MD5SUM	f5ae067eec5cb4736f6ec50c87e4a015
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	343
Optimality of the best value was proved	NO
Number of terms in the objective function	1060
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	1060
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1060
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	1060
Total number of constraints	3737
Number of constraints which are clauses	3737
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	10
Trace number 7786

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-17 16:19:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1554 boxname=wulflinc24 idbench=173 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f5ae067eec5cb4736f6ec50c87e4a015  /oldhome/oroussel/tmp/wulflinc24/normalized-ii8d1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-ii8d1.opb
IDLAUNCH: 1554
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        799452 kB
Buffers:         36888 kB
Cached:         154784 kB
SwapCached:       3828 kB
Active:          72388 kB
Inactive:       125948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799200 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            31264 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:39:09 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 1554 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-ii8d1.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.92 0.98 0.88 2/54 22098
Raw data (stat): 22098 (runsolver) R 22097 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511897155 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+9.99968 s]
Raw data (loadavg): 0.93 0.98 0.88 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 1850 0 0 0 994 4 0 0 25 0 1 0 511897155 10108928 1846 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2468 1847 231 231 0 2237 0
vsize: 9872
[startup+20 s]
Raw data (loadavg): 0.94 0.98 0.88 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 3277 0 0 0 1991 7 0 0 25 0 1 0 511897155 18497536 3273 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4516 3273 231 231 0 4285 0
vsize: 18064
[startup+30 s]
Raw data (loadavg): 0.95 0.98 0.88 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 4542 0 0 0 2988 11 0 0 25 0 1 0 511897155 35606528 4489 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8693 4489 231 231 0 8462 0
vsize: 34772
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.98 0.88 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 5530 0 0 0 3986 13 0 0 25 0 1 0 511897155 35606528 5477 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8693 5477 231 231 0 8462 0
vsize: 34772
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 6221 0 0 0 4982 17 0 0 25 0 1 0 511897155 35606528 6168 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8693 6168 231 231 0 8462 0
vsize: 34772
[startup+60.001 s]
Raw data (loadavg): 0.97 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 6654 0 0 0 5980 20 0 0 25 0 1 0 511897155 35606528 6601 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8693 6601 231 231 0 8462 0
vsize: 34772
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 7138 0 0 0 6976 23 0 0 25 0 1 0 511897155 35880960 7085 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 7085 231 231 0 8529 0
vsize: 35040
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 7654 0 0 0 7972 28 0 0 25 0 1 0 511897155 35880960 7601 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 7601 231 231 0 8529 0
vsize: 35040
[startup+90.001 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8118 0 0 0 8969 31 0 0 25 0 1 0 511897155 35880960 8065 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 8066 231 231 0 8529 0
vsize: 35040
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8559 0 0 0 9966 34 0 0 25 0 1 0 511897155 35880960 8506 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 8506 231 231 0 8529 0
vsize: 35040
[startup+110 s]
Raw data (loadavg): 0.98 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8655 0 0 0 10965 36 0 0 25 0 1 0 511897155 35880960 8602 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8760 8602 231 231 0 8529 0
vsize: 35040
[startup+120 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8670 0 0 0 11963 37 0 0 25 0 1 0 511897155 36016128 8617 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8793 8617 231 231 0 8562 0
vsize: 35172
[startup+129.999 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8680 0 0 0 12962 39 0 0 25 0 1 0 511897155 36016128 8627 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8793 8627 231 231 0 8562 0
vsize: 35172
[startup+140 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8688 0 0 0 13959 41 0 0 25 0 1 0 511897155 36016128 8635 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8793 8635 231 231 0 8562 0
vsize: 35172
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.89 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8798 0 0 0 14958 43 0 0 25 0 1 0 511897155 36409344 8648 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 8648 231 231 0 8658 0
vsize: 35556
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8802 0 0 0 15958 44 0 0 25 0 1 0 511897155 36409344 8652 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 8652 231 231 0 8658 0
vsize: 35556
[startup+170 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8812 0 0 0 16956 45 0 0 25 0 1 0 511897155 36552704 8662 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 8662 231 231 0 8693 0
vsize: 35696
[startup+180 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8823 0 0 0 17954 48 0 0 25 0 1 0 511897155 36552704 8673 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 8673 231 231 0 8693 0
vsize: 35696
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8831 0 0 0 18952 50 0 0 25 0 1 0 511897155 36552704 8681 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 8681 231 231 0 8693 0
vsize: 35696
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8842 0 0 0 19951 51 0 0 25 0 1 0 511897155 36552704 8692 4294967295 134512640 135450300 3221224640 3221223360 134535965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 8692 231 231 0 8693 0
vsize: 35696
[startup+210 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8846 0 0 0 20950 52 0 0 25 0 1 0 511897155 36552704 8696 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 8696 231 231 0 8693 0
vsize: 35696
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8855 0 0 0 21948 54 0 0 25 0 1 0 511897155 36552704 8705 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 8705 231 231 0 8693 0
vsize: 35696
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8865 0 0 0 22947 56 0 0 25 0 1 0 511897155 36552704 8715 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 8715 231 231 0 8693 0
vsize: 35696
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8873 0 0 0 23945 58 0 0 25 0 1 0 511897155 36716544 8723 4294967295 134512640 135450300 3221224640 3221223456 134546464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8723 231 231 0 8733 0
vsize: 35856
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.90 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8876 0 0 0 24944 59 0 0 25 0 1 0 511897155 36716544 8726 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8726 231 231 0 8733 0
vsize: 35856
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8884 0 0 0 25941 62 0 0 25 0 1 0 511897155 36716544 8734 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8734 231 231 0 8733 0
vsize: 35856
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8893 0 0 0 26939 64 0 0 25 0 1 0 511897155 36716544 8743 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8743 231 231 0 8733 0
vsize: 35856
[startup+280.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8899 0 0 0 27939 65 0 0 25 0 1 0 511897155 36716544 8749 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8749 231 231 0 8733 0
vsize: 35856
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8905 0 0 0 28939 65 0 0 25 0 1 0 511897155 36716544 8755 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8755 231 231 0 8733 0
vsize: 35856
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8915 0 0 0 29938 66 0 0 25 0 1 0 511897155 36716544 8765 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8765 231 231 0 8733 0
vsize: 35856
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8924 0 0 0 30938 66 0 0 25 0 1 0 511897155 36716544 8774 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 8774 231 231 0 8733 0
vsize: 35856
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8933 0 0 0 31938 66 0 0 25 0 1 0 511897155 36876288 8783 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8783 231 231 0 8772 0
vsize: 36012
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8938 0 0 0 32938 67 0 0 25 0 1 0 511897155 36876288 8788 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8788 231 231 0 8772 0
vsize: 36012
[startup+340.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8946 0 0 0 33938 67 0 0 25 0 1 0 511897155 36876288 8796 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8796 231 231 0 8772 0
vsize: 36012
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8954 0 0 0 34938 67 0 0 25 0 1 0 511897155 36876288 8804 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8804 231 231 0 8772 0
vsize: 36012
[startup+360.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8958 0 0 0 35937 68 0 0 25 0 1 0 511897155 36876288 8808 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8808 231 231 0 8772 0
vsize: 36012
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8962 0 0 0 36937 68 0 0 25 0 1 0 511897155 36876288 8812 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8812 231 231 0 8772 0
vsize: 36012
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8972 0 0 0 37937 68 0 0 25 0 1 0 511897155 36876288 8822 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8822 231 231 0 8772 0
vsize: 36012
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8979 0 0 0 38937 69 0 0 25 0 1 0 511897155 36876288 8829 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8829 231 231 0 8772 0
vsize: 36012
[startup+400.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8985 0 0 0 39937 69 0 0 25 0 1 0 511897155 36876288 8835 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8835 231 231 0 8772 0
vsize: 36012
[startup+410.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8990 0 0 0 40937 69 0 0 25 0 1 0 511897155 36876288 8840 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8840 231 231 0 8772 0
vsize: 36012
[startup+420.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 8998 0 0 0 41937 70 0 0 25 0 1 0 511897155 36876288 8848 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8848 231 231 0 8772 0
vsize: 36012
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9004 0 0 0 42937 70 0 0 25 0 1 0 511897155 36876288 8854 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8854 231 231 0 8772 0
vsize: 36012
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9010 0 0 0 43937 70 0 0 25 0 1 0 511897155 37040128 8860 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9043 8860 231 231 0 8812 0
vsize: 36172
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9015 0 0 0 44936 70 0 0 25 0 1 0 511897155 37040128 8865 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9043 8865 231 231 0 8812 0
vsize: 36172
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9215 0 0 0 45936 71 0 0 25 0 1 0 511897155 37826560 8872 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8872 231 231 0 9004 0
vsize: 36940
[startup+470.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9220 0 0 0 46936 71 0 0 25 0 1 0 511897155 37826560 8877 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8877 231 231 0 9004 0
vsize: 36940
[startup+480.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9228 0 0 0 47936 72 0 0 25 0 1 0 511897155 37826560 8885 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8885 231 231 0 9004 0
vsize: 36940
[startup+490.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9234 0 0 0 48936 72 0 0 25 0 1 0 511897155 37826560 8891 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8891 231 231 0 9004 0
vsize: 36940
[startup+500.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9242 0 0 0 49936 72 0 0 25 0 1 0 511897155 37826560 8899 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8899 231 231 0 9004 0
vsize: 36940
[startup+510.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9246 0 0 0 50936 72 0 0 25 0 1 0 511897155 37826560 8903 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8903 231 231 0 9004 0
vsize: 36940
[startup+520.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9255 0 0 0 51936 72 0 0 25 0 1 0 511897155 37826560 8912 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8912 231 231 0 9004 0
vsize: 36940
[startup+530.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9260 0 0 0 52936 73 0 0 25 0 1 0 511897155 37826560 8917 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8917 231 231 0 9004 0
vsize: 36940
[startup+540.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9267 0 0 0 53936 73 0 0 25 0 1 0 511897155 37826560 8924 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8924 231 231 0 9004 0
vsize: 36940
[startup+550.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9271 0 0 0 54936 73 0 0 25 0 1 0 511897155 37826560 8928 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8928 231 231 0 9004 0
vsize: 36940
[startup+560.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9278 0 0 0 55935 74 0 0 25 0 1 0 511897155 37826560 8935 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 8935 231 231 0 9004 0
vsize: 36940
[startup+570.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9282 0 0 0 56935 74 0 0 25 0 1 0 511897155 38010880 8939 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8939 231 231 0 9049 0
vsize: 37120
[startup+580.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9288 0 0 0 57935 74 0 0 25 0 1 0 511897155 38010880 8945 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8945 231 231 0 9049 0
vsize: 37120
[startup+590.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9295 0 0 0 58935 74 0 0 25 0 1 0 511897155 38010880 8952 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8952 231 231 0 9049 0
vsize: 37120
[startup+600.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9301 0 0 0 59935 75 0 0 25 0 1 0 511897155 38010880 8958 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8958 231 231 0 9049 0
vsize: 37120
[startup+610.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9309 0 0 0 60935 75 0 0 25 0 1 0 511897155 38010880 8966 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8966 231 231 0 9049 0
vsize: 37120
[startup+620.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9315 0 0 0 61935 75 0 0 25 0 1 0 511897155 38010880 8972 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8972 231 231 0 9049 0
vsize: 37120
[startup+630.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9319 0 0 0 62935 76 0 0 25 0 1 0 511897155 38010880 8976 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8976 231 231 0 9049 0
vsize: 37120
[startup+640.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9326 0 0 0 63935 76 0 0 25 0 1 0 511897155 38010880 8983 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8983 231 231 0 9049 0
vsize: 37120
[startup+650.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9333 0 0 0 64935 76 0 0 25 0 1 0 511897155 38010880 8990 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8990 231 231 0 9049 0
vsize: 37120
[startup+660.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9337 0 0 0 65935 76 0 0 25 0 1 0 511897155 38010880 8994 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8994 231 231 0 9049 0
vsize: 37120
[startup+670.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9343 0 0 0 66935 76 0 0 25 0 1 0 511897155 38010880 9000 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 9000 231 231 0 9049 0
vsize: 37120
[startup+680.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9351 0 0 0 67935 76 0 0 25 0 1 0 511897155 38150144 9008 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9008 231 231 0 9083 0
vsize: 37256
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9356 0 0 0 68935 76 0 0 25 0 1 0 511897155 38150144 9013 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9013 231 231 0 9083 0
vsize: 37256
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9363 0 0 0 69935 77 0 0 25 0 1 0 511897155 38150144 9020 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9020 231 231 0 9083 0
vsize: 37256
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9369 0 0 0 70935 77 0 0 25 0 1 0 511897155 38150144 9026 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9026 231 231 0 9083 0
vsize: 37256
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9376 0 0 0 71935 77 0 0 25 0 1 0 511897155 38150144 9033 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9033 231 231 0 9083 0
vsize: 37256
[startup+730.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9381 0 0 0 72935 77 0 0 25 0 1 0 511897155 38150144 9038 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9038 231 231 0 9083 0
vsize: 37256
[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9386 0 0 0 73935 77 0 0 25 0 1 0 511897155 38150144 9043 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9043 231 231 0 9083 0
vsize: 37256
[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9394 0 0 0 74935 78 0 0 25 0 1 0 511897155 38150144 9051 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9051 231 231 0 9083 0
vsize: 37256
[startup+760.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9398 0 0 0 75935 78 0 0 25 0 1 0 511897155 38150144 9055 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9055 231 231 0 9083 0
vsize: 37256
[startup+770.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9404 0 0 0 76935 78 0 0 25 0 1 0 511897155 38150144 9061 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9061 231 231 0 9083 0
vsize: 37256
[startup+780.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9411 0 0 0 77935 78 0 0 25 0 1 0 511897155 38150144 9068 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 9068 231 231 0 9083 0
vsize: 37256
[startup+790.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9416 0 0 0 78935 78 0 0 25 0 1 0 511897155 38309888 9073 4294967295 134512640 135450300 3221224640 3221223376 134538504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9073 231 231 0 9122 0
vsize: 37412
[startup+800.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9422 0 0 0 79935 78 0 0 25 0 1 0 511897155 38309888 9079 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9079 231 231 0 9122 0
vsize: 37412
[startup+810.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9427 0 0 0 80935 79 0 0 25 0 1 0 511897155 38309888 9084 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9084 231 231 0 9122 0
vsize: 37412
[startup+820.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9435 0 0 0 81935 79 0 0 25 0 1 0 511897155 38309888 9092 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9092 231 231 0 9122 0
vsize: 37412
[startup+830.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9440 0 0 0 82935 79 0 0 25 0 1 0 511897155 38309888 9097 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9097 231 231 0 9122 0
vsize: 37412
[startup+840.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9445 0 0 0 83935 80 0 0 25 0 1 0 511897155 38309888 9102 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9102 231 231 0 9122 0
vsize: 37412
[startup+850.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9453 0 0 0 84934 80 0 0 25 0 1 0 511897155 38309888 9110 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9110 231 231 0 9122 0
vsize: 37412
[startup+860.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9461 0 0 0 85934 81 0 0 25 0 1 0 511897155 38309888 9118 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9118 231 231 0 9122 0
vsize: 37412
[startup+870.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9466 0 0 0 86934 81 0 0 25 0 1 0 511897155 38309888 9123 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9123 231 231 0 9122 0
vsize: 37412
[startup+880.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9473 0 0 0 87934 81 0 0 25 0 1 0 511897155 38309888 9130 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9130 231 231 0 9122 0
vsize: 37412
[startup+890.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9481 0 0 0 88933 82 0 0 25 0 1 0 511897155 38309888 9138 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9138 231 231 0 9122 0
vsize: 37412
[startup+900.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9484 0 0 0 89933 83 0 0 25 0 1 0 511897155 38309888 9141 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9141 231 231 0 9122 0
vsize: 37412
[startup+910.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9491 0 0 0 90933 83 0 0 25 0 1 0 511897155 38309888 9148 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9148 231 231 0 9122 0
vsize: 37412
[startup+920.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9499 0 0 0 91933 83 0 0 25 0 1 0 511897155 38309888 9156 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9353 9156 231 231 0 9122 0
vsize: 37412
[startup+930.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9504 0 0 0 92932 84 0 0 25 0 1 0 511897155 38514688 9161 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9161 231 231 0 9172 0
vsize: 37612
[startup+940.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9509 0 0 0 93932 84 0 0 25 0 1 0 511897155 38514688 9166 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9166 231 231 0 9172 0
vsize: 37612
[startup+950.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9516 0 0 0 94932 84 0 0 25 0 1 0 511897155 38514688 9173 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9173 231 231 0 9172 0
vsize: 37612
[startup+960.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9521 0 0 0 95932 85 0 0 25 0 1 0 511897155 38514688 9178 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9178 231 231 0 9172 0
vsize: 37612
[startup+970.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9527 0 0 0 96931 85 0 0 25 0 1 0 511897155 38514688 9184 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9184 231 231 0 9172 0
vsize: 37612
[startup+980.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9533 0 0 0 97931 86 0 0 25 0 1 0 511897155 38514688 9190 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9190 231 231 0 9172 0
vsize: 37612
[startup+990.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9539 0 0 0 98931 86 0 0 25 0 1 0 511897155 38514688 9196 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9196 231 231 0 9172 0
vsize: 37612
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9544 0 0 0 99931 86 0 0 25 0 1 0 511897155 38514688 9201 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9201 231 231 0 9172 0
vsize: 37612
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9550 0 0 0 100931 86 0 0 25 0 1 0 511897155 38514688 9207 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9207 231 231 0 9172 0
vsize: 37612
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9555 0 0 0 101931 87 0 0 25 0 1 0 511897155 38514688 9212 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9212 231 231 0 9172 0
vsize: 37612
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9561 0 0 0 102931 87 0 0 25 0 1 0 511897155 38514688 9218 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9218 231 231 0 9172 0
vsize: 37612
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9568 0 0 0 103931 87 0 0 25 0 1 0 511897155 38514688 9225 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9225 231 231 0 9172 0
vsize: 37612
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9574 0 0 0 104930 88 0 0 25 0 1 0 511897155 38514688 9231 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9231 231 231 0 9172 0
vsize: 37612
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9580 0 0 0 105930 88 0 0 25 0 1 0 511897155 38514688 9237 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9237 231 231 0 9172 0
vsize: 37612
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9585 0 0 0 106930 88 0 0 25 0 1 0 511897155 38514688 9242 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9242 231 231 0 9172 0
vsize: 37612
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9590 0 0 0 107930 88 0 0 25 0 1 0 511897155 38514688 9247 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9403 9247 231 231 0 9172 0
vsize: 37612
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9595 0 0 0 108930 89 0 0 25 0 1 0 511897155 38719488 9252 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9453 9252 231 231 0 9222 0
vsize: 37812
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9601 0 0 0 109930 89 0 0 25 0 1 0 511897155 38719488 9258 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9453 9258 231 231 0 9222 0
vsize: 37812
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9607 0 0 0 110930 89 0 0 25 0 1 0 511897155 38719488 9264 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9453 9264 231 231 0 9222 0
vsize: 37812
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 9613 0 0 0 111930 89 0 0 25 0 1 0 511897155 38719488 9270 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9453 9270 231 231 0 9222 0
vsize: 37812
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10005 0 0 0 112929 91 0 0 25 0 1 0 511897155 40292352 9277 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9277 231 231 0 9606 0
vsize: 39348
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10008 0 0 0 113929 91 0 0 25 0 1 0 511897155 40292352 9280 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9280 231 231 0 9606 0
vsize: 39348
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10014 0 0 0 114929 91 0 0 25 0 1 0 511897155 40292352 9286 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9286 231 231 0 9606 0
vsize: 39348
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10021 0 0 0 115929 91 0 0 25 0 1 0 511897155 40292352 9293 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9293 231 231 0 9606 0
vsize: 39348
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10024 0 0 0 116929 92 0 0 25 0 1 0 511897155 40292352 9296 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9296 231 231 0 9606 0
vsize: 39348
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10029 0 0 0 117929 92 0 0 25 0 1 0 511897155 40292352 9301 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9301 231 231 0 9606 0
vsize: 39348
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10037 0 0 0 118929 92 0 0 25 0 1 0 511897155 40292352 9309 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9309 231 231 0 9606 0
vsize: 39348
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22098
Raw data (stat): 22098 (PBS4) R 22097 28546 28545 0 -1 0 10041 0 0 0 119929 92 0 0 25 0 1 0 511897155 40292352 9313 4294967295 134512640 135450300 3221224640 3221223568 134539630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9837 9313 231 231 0 9606 0
vsize: 39348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 22098
Raw data (stat): 22098 (PBS4) Z 22097 28546 28545 0 -1 1036 10041 0 0 0 119929 94 0 0 25 0 1 0 511897155 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.03
CPU time (s): 1200.24
CPU user time (s): 1199.29
CPU system time (s): 0.946856
CPU usage (%): 100.017
Max. virtual memory (Kb): 39348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####