PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-seymour.opb
MD5SUM	7a556e7a6f3a7d80c9337cf46e294ecb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	482
Optimality of the best value was proved	NO
Number of terms in the objective function	1372
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	1372
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	1372
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.05684
Number of variables	1372
Total number of constraints	6316
Number of constraints which are clauses	4944
Number of constraints which are cardinality constraints (but not clauses)	1372
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 18447

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 14:56:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18011 boxname=wulflinc28 idbench=1386 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  7a556e7a6f3a7d80c9337cf46e294ecb  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-seymour.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-seymour.opb
IDLAUNCH: 18011
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        520528 kB
Buffers:         32104 kB
Cached:         454944 kB
SwapCached:        104 kB
Active:         194236 kB
Inactive:       295204 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        520276 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            19132 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 15:16:20 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 18011 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-seymour.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.92 2/54 28144
Raw data (stat): 28144 (runsolver) R 28143 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545973105 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+9.99944 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 1858 0 0 0 992 7 0 0 25 0 1 0 545973105 10272768 1847 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1847 231 231 0 2277 0
vsize: 10032
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 3283 0 0 0 1989 10 0 0 25 0 1 0 545973105 18661376 3272 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3272 231 231 0 4325 0
vsize: 18224
[startup+30.0001 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 4552 0 0 0 2986 13 0 0 25 0 1 0 545973105 35438592 4541 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 4541 231 231 0 8421 0
vsize: 34608
[startup+39.9995 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 5890 0 0 0 3983 16 0 0 25 0 1 0 545973105 35774464 5830 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 5830 231 231 0 8503 0
vsize: 34936
[startup+50.0001 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 7090 0 0 0 4981 19 0 0 25 0 1 0 545973105 35774464 7030 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 7030 231 231 0 8503 0
vsize: 34936
[startup+60.0001 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 8236 0 0 0 5977 22 0 0 25 0 1 0 545973105 35774464 8176 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 8176 231 231 0 8503 0
vsize: 34936
[startup+70.0005 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 9335 0 0 0 6974 25 0 0 25 0 1 0 545973105 69328896 9275 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16926 9275 231 231 0 16695 0
vsize: 67704
[startup+80.0002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 9877 0 0 0 7971 29 0 0 25 0 1 0 545973105 69464064 9817 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16959 9817 231 231 0 16728 0
vsize: 67836
[startup+90.0001 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 10186 0 0 0 8968 32 0 0 25 0 1 0 545973105 69464064 10126 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16959 10126 231 231 0 16728 0
vsize: 67836
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 10473 0 0 0 9967 33 0 0 25 0 1 0 545973105 69464064 10413 4294967295 134512640 135450300 3221224624 3221223440 134546499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16959 10413 231 231 0 16728 0
vsize: 67836
[startup+110 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 10769 0 0 0 10965 35 0 0 25 0 1 0 545973105 69607424 10709 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16994 10709 231 231 0 16763 0
vsize: 67976
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 11067 0 0 0 11960 40 0 0 25 0 1 0 545973105 69734400 11007 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17025 11007 231 231 0 16794 0
vsize: 68100
[startup+130 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 11384 0 0 0 12959 42 0 0 25 0 1 0 545973105 69734400 11324 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17025 11324 231 231 0 16794 0
vsize: 68100
[startup+139.999 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 11757 0 0 0 13955 46 0 0 25 0 1 0 545973105 69734400 11697 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17025 11697 231 231 0 16794 0
vsize: 68100
[startup+150 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 12159 0 0 0 14949 52 0 0 25 0 1 0 545973105 69734400 12099 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17025 12099 231 231 0 16794 0
vsize: 68100
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 12557 0 0 0 15948 53 0 0 25 0 1 0 545973105 69734400 12497 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17025 12497 231 231 0 16794 0
vsize: 68100
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 12943 0 0 0 16941 60 0 0 25 0 1 0 545973105 69869568 12883 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 12883 231 231 0 16827 0
vsize: 68232
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13278 0 0 0 17940 61 0 0 25 0 1 0 545973105 69869568 13218 4294967295 134512640 135450300 3221224624 3221223440 134546467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13218 231 231 0 16827 0
vsize: 68232
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13516 0 0 0 18937 64 0 0 25 0 1 0 545973105 69869568 13456 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13456 231 231 0 16827 0
vsize: 68232
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13517 0 0 0 19934 68 0 0 25 0 1 0 545973105 69869568 13457 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13457 231 231 0 16827 0
vsize: 68232
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13519 0 0 0 20934 68 0 0 25 0 1 0 545973105 69869568 13459 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13459 231 231 0 16827 0
vsize: 68232
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28144
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13528 0 0 0 21926 76 0 0 25 0 1 0 545973105 69869568 13468 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13468 231 231 0 16827 0
vsize: 68232
[startup+229.999 s]
Raw data (loadavg): 1.07 0.99 0.92 2/58 28187
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13530 0 0 0 22926 76 0 0 25 0 1 0 545973105 69869568 13470 4294967295 134512640 135450300 3221224624 3221223344 134535944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13470 231 231 0 16827 0
vsize: 68232
[startup+239.998 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 28197
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13539 0 0 0 23922 80 0 0 25 0 1 0 545973105 69869568 13479 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17058 13479 231 231 0 16827 0
vsize: 68232
[startup+249.999 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 28197
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13639 0 0 0 24919 83 0 0 25 0 1 0 545973105 70262784 13482 4294967295 134512640 135450300 3221224624 3221223440 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17154 13482 231 231 0 16923 0
vsize: 68616
[startup+259.999 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 28197
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13646 0 0 0 25919 84 0 0 25 0 1 0 545973105 70385664 13489 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13489 231 231 0 16953 0
vsize: 68736
[startup+269.999 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 28197
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13648 0 0 0 26914 89 0 0 25 0 1 0 545973105 70385664 13491 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13491 231 231 0 16953 0
vsize: 68736
[startup+280 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 28197
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13650 0 0 0 27914 89 0 0 25 0 1 0 545973105 70385664 13493 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13493 231 231 0 16953 0
vsize: 68736
[startup+290 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 28197
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13657 0 0 0 28909 94 0 0 25 0 1 0 545973105 70385664 13500 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13500 231 231 0 16953 0
vsize: 68736
[startup+300 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13659 0 0 0 29909 94 0 0 25 0 1 0 545973105 70385664 13502 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13502 231 231 0 16953 0
vsize: 68736
[startup+310 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13667 0 0 0 30904 100 0 0 25 0 1 0 545973105 70385664 13510 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13510 231 231 0 16953 0
vsize: 68736
[startup+320.001 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13669 0 0 0 31901 103 0 0 25 0 1 0 545973105 70385664 13512 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13512 231 231 0 16953 0
vsize: 68736
[startup+330 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13673 0 0 0 32900 104 0 0 25 0 1 0 545973105 70385664 13516 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13516 231 231 0 16953 0
vsize: 68736
[startup+340 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13677 0 0 0 33896 108 0 0 25 0 1 0 545973105 70385664 13520 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13520 231 231 0 16953 0
vsize: 68736
[startup+350.001 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13679 0 0 0 34896 108 0 0 25 0 1 0 545973105 70385664 13522 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13522 231 231 0 16953 0
vsize: 68736
[startup+360 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13685 0 0 0 35889 116 0 0 25 0 1 0 545973105 70385664 13528 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13528 231 231 0 16953 0
vsize: 68736
[startup+370 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13687 0 0 0 36888 116 0 0 25 0 1 0 545973105 70385664 13530 4294967295 134512640 135450300 3221224624 3221223008 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13530 231 231 0 16953 0
vsize: 68736
[startup+380 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13696 0 0 0 37887 118 0 0 25 0 1 0 545973105 70385664 13539 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13539 231 231 0 16953 0
vsize: 68736
[startup+389.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13697 0 0 0 38884 121 0 0 25 0 1 0 545973105 70385664 13540 4294967295 134512640 135450300 3221224624 3221223344 134535944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 13540 231 231 0 16953 0
vsize: 68736
[startup+399.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13704 0 0 0 39882 123 0 0 25 0 1 0 545973105 70512640 13547 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13547 231 231 0 16984 0
vsize: 68860
[startup+409.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13706 0 0 0 40875 130 0 0 25 0 1 0 545973105 70512640 13549 4294967295 134512640 135450300 3221224624 3221223344 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13549 231 231 0 16984 0
vsize: 68860
[startup+419.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13708 0 0 0 41875 130 0 0 25 0 1 0 545973105 70512640 13551 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13551 231 231 0 16984 0
vsize: 68860
[startup+429.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13716 0 0 0 42872 134 0 0 25 0 1 0 545973105 70512640 13559 4294967295 134512640 135450300 3221224624 3221223344 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13559 231 231 0 16984 0
vsize: 68860
[startup+439.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13718 0 0 0 43872 134 0 0 25 0 1 0 545973105 70512640 13561 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13561 231 231 0 16984 0
vsize: 68860
[startup+450 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13722 0 0 0 44866 140 0 0 25 0 1 0 545973105 70512640 13565 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13565 231 231 0 16984 0
vsize: 68860
[startup+459.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13724 0 0 0 45865 141 0 0 25 0 1 0 545973105 70512640 13567 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13567 231 231 0 16984 0
vsize: 68860
[startup+469.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13734 0 0 0 46863 144 0 0 25 0 1 0 545973105 70512640 13577 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13577 231 231 0 16984 0
vsize: 68860
[startup+480 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13738 0 0 0 47861 145 0 0 25 0 1 0 545973105 70512640 13581 4294967295 134512640 135450300 3221224624 3221223088 134532625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13581 231 231 0 16984 0
vsize: 68860
[startup+489.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13744 0 0 0 48861 146 0 0 25 0 1 0 545973105 70512640 13587 4294967295 134512640 135450300 3221224624 3221223360 134538889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13587 231 231 0 16984 0
vsize: 68860
[startup+499.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13746 0 0 0 49861 146 0 0 25 0 1 0 545973105 70512640 13589 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17215 13589 231 231 0 16984 0
vsize: 68860
[startup+509.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13760 0 0 0 50857 150 0 0 25 0 1 0 545973105 70647808 13603 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17248 13603 231 231 0 17017 0
vsize: 68992
[startup+519.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13785 0 0 0 51857 151 0 0 25 0 1 0 545973105 70782976 13628 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13628 231 231 0 17050 0
vsize: 69124
[startup+530 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13788 0 0 0 52857 151 0 0 25 0 1 0 545973105 70782976 13631 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13631 231 231 0 17050 0
vsize: 69124
[startup+539.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13788 0 0 0 53857 151 0 0 25 0 1 0 545973105 70782976 13631 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13631 231 231 0 17050 0
vsize: 69124
[startup+549.998 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13791 0 0 0 54857 151 0 0 25 0 1 0 545973105 70782976 13634 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13634 231 231 0 17050 0
vsize: 69124
[startup+559.998 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13793 0 0 0 55857 151 0 0 25 0 1 0 545973105 70782976 13636 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13636 231 231 0 17050 0
vsize: 69124
[startup+569.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13804 0 0 0 56857 151 0 0 25 0 1 0 545973105 70782976 13647 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13647 231 231 0 17050 0
vsize: 69124
[startup+579.998 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13809 0 0 0 57857 152 0 0 25 0 1 0 545973105 70782976 13652 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13652 231 231 0 17050 0
vsize: 69124
[startup+589.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28199
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13811 0 0 0 58857 152 0 0 25 0 1 0 545973105 70782976 13654 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13654 231 231 0 17050 0
vsize: 69124
[startup+599.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13823 0 0 0 59857 152 0 0 25 0 1 0 545973105 70782976 13666 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13666 231 231 0 17050 0
vsize: 69124
[startup+609.998 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13828 0 0 0 60857 152 0 0 25 0 1 0 545973105 70782976 13671 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13671 231 231 0 17050 0
vsize: 69124
[startup+619.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13830 0 0 0 61857 153 0 0 25 0 1 0 545973105 70782976 13673 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13673 231 231 0 17050 0
vsize: 69124
[startup+629.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13830 0 0 0 62857 153 0 0 25 0 1 0 545973105 70782976 13673 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13673 231 231 0 17050 0
vsize: 69124
[startup+639.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13832 0 0 0 63857 153 0 0 25 0 1 0 545973105 70782976 13675 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13675 231 231 0 17050 0
vsize: 69124
[startup+649.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13833 0 0 0 64857 153 0 0 25 0 1 0 545973105 70782976 13676 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13676 231 231 0 17050 0
vsize: 69124
[startup+659.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13834 0 0 0 65857 153 0 0 25 0 1 0 545973105 70782976 13677 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13677 231 231 0 17050 0
vsize: 69124
[startup+670 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13835 0 0 0 66857 153 0 0 25 0 1 0 545973105 70782976 13678 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17281 13678 231 231 0 17050 0
vsize: 69124
[startup+680 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13851 0 0 0 67858 153 0 0 25 0 1 0 545973105 70930432 13694 4294967295 134512640 135450300 3221224624 3221223440 134547488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13694 231 231 0 17086 0
vsize: 69268
[startup+689.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13853 0 0 0 68858 153 0 0 25 0 1 0 545973105 70930432 13696 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13696 231 231 0 17086 0
vsize: 69268
[startup+699.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13857 0 0 0 69857 153 0 0 25 0 1 0 545973105 70930432 13700 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13700 231 231 0 17086 0
vsize: 69268
[startup+709.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13862 0 0 0 70858 153 0 0 25 0 1 0 545973105 70930432 13705 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13705 231 231 0 17086 0
vsize: 69268
[startup+719.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13863 0 0 0 71858 153 0 0 25 0 1 0 545973105 70930432 13706 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13706 231 231 0 17086 0
vsize: 69268
[startup+729.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13864 0 0 0 72858 153 0 0 25 0 1 0 545973105 70930432 13707 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13707 231 231 0 17086 0
vsize: 69268
[startup+739.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13866 0 0 0 73858 154 0 0 25 0 1 0 545973105 70930432 13709 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13709 231 231 0 17086 0
vsize: 69268
[startup+749.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13867 0 0 0 74858 154 0 0 25 0 1 0 545973105 70930432 13710 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13710 231 231 0 17086 0
vsize: 69268
[startup+759.999 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13880 0 0 0 75858 154 0 0 25 0 1 0 545973105 70930432 13723 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 13723 231 231 0 17086 0
vsize: 69268
[startup+770 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13889 0 0 0 76858 154 0 0 25 0 1 0 545973105 71065600 13732 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13732 231 231 0 17119 0
vsize: 69400
[startup+780 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13889 0 0 0 77858 154 0 0 25 0 1 0 545973105 71065600 13732 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13732 231 231 0 17119 0
vsize: 69400
[startup+790 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13890 0 0 0 78858 154 0 0 25 0 1 0 545973105 71065600 13733 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13733 231 231 0 17119 0
vsize: 69400
[startup+800.001 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13891 0 0 0 79858 155 0 0 25 0 1 0 545973105 71065600 13734 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13734 231 231 0 17119 0
vsize: 69400
[startup+810 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13893 0 0 0 80858 155 0 0 25 0 1 0 545973105 71065600 13736 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13736 231 231 0 17119 0
vsize: 69400
[startup+820 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13894 0 0 0 81858 155 0 0 25 0 1 0 545973105 71065600 13737 4294967295 134512640 135450300 3221224624 3221223440 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13737 231 231 0 17119 0
vsize: 69400
[startup+830.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13895 0 0 0 82859 155 0 0 25 0 1 0 545973105 71065600 13738 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13738 231 231 0 17119 0
vsize: 69400
[startup+840.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13907 0 0 0 83859 155 0 0 25 0 1 0 545973105 71065600 13750 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13750 231 231 0 17119 0
vsize: 69400
[startup+850.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13917 0 0 0 84859 155 0 0 25 0 1 0 545973105 71065600 13760 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13760 231 231 0 17119 0
vsize: 69400
[startup+860.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13919 0 0 0 85859 156 0 0 25 0 1 0 545973105 71065600 13762 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13762 231 231 0 17119 0
vsize: 69400
[startup+870.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13920 0 0 0 86859 156 0 0 25 0 1 0 545973105 71065600 13763 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13763 231 231 0 17119 0
vsize: 69400
[startup+880.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 13920 0 0 0 87860 156 0 0 25 0 1 0 545973105 71065600 13763 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17350 13763 231 231 0 17119 0
vsize: 69400
[startup+890.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14115 0 0 0 88860 156 0 0 25 0 1 0 545973105 71852032 13765 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17542 13765 231 231 0 17311 0
vsize: 70168
[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14127 0 0 0 89861 156 0 0 25 0 1 0 545973105 71987200 13777 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13777 231 231 0 17344 0
vsize: 70300
[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14136 0 0 0 90860 157 0 0 25 0 1 0 545973105 71987200 13786 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13786 231 231 0 17344 0
vsize: 70300
[startup+920.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14137 0 0 0 91861 157 0 0 25 0 1 0 545973105 71987200 13787 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13787 231 231 0 17344 0
vsize: 70300
[startup+930.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14139 0 0 0 92860 157 0 0 25 0 1 0 545973105 71987200 13789 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13789 231 231 0 17344 0
vsize: 70300
[startup+940.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14139 0 0 0 93860 157 0 0 25 0 1 0 545973105 71987200 13789 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13789 231 231 0 17344 0
vsize: 70300
[startup+950.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14140 0 0 0 94860 157 0 0 25 0 1 0 545973105 71987200 13790 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13790 231 231 0 17344 0
vsize: 70300
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14140 0 0 0 95860 157 0 0 25 0 1 0 545973105 71987200 13790 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13790 231 231 0 17344 0
vsize: 70300
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14141 0 0 0 96861 158 0 0 25 0 1 0 545973105 71987200 13791 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13791 231 231 0 17344 0
vsize: 70300
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14141 0 0 0 97861 158 0 0 25 0 1 0 545973105 71987200 13791 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13791 231 231 0 17344 0
vsize: 70300
[startup+990.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14142 0 0 0 98861 158 0 0 25 0 1 0 545973105 71987200 13792 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13792 231 231 0 17344 0
vsize: 70300
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14153 0 0 0 99861 158 0 0 25 0 1 0 545973105 71987200 13803 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13803 231 231 0 17344 0
vsize: 70300
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14163 0 0 0 100863 158 0 0 25 0 1 0 545973105 71987200 13813 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13813 231 231 0 17344 0
vsize: 70300
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14164 0 0 0 101863 158 0 0 25 0 1 0 545973105 71987200 13814 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13814 231 231 0 17344 0
vsize: 70300
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14165 0 0 0 102863 158 0 0 25 0 1 0 545973105 71987200 13815 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17575 13815 231 231 0 17344 0
vsize: 70300
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14167 0 0 0 103864 158 0 0 25 0 1 0 545973105 72122368 13817 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13817 231 231 0 17377 0
vsize: 70432
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14169 0 0 0 104864 158 0 0 25 0 1 0 545973105 72122368 13819 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13819 231 231 0 17377 0
vsize: 70432
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14169 0 0 0 105864 158 0 0 25 0 1 0 545973105 72122368 13819 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13819 231 231 0 17377 0
vsize: 70432
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14170 0 0 0 106866 158 0 0 25 0 1 0 545973105 72122368 13820 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13820 231 231 0 17377 0
vsize: 70432
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14186 0 0 0 107866 159 0 0 25 0 1 0 545973105 72122368 13836 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13836 231 231 0 17377 0
vsize: 70432
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14199 0 0 0 108864 161 0 0 25 0 1 0 545973105 72122368 13849 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13849 231 231 0 17377 0
vsize: 70432
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14207 0 0 0 109864 161 0 0 25 0 1 0 545973105 72122368 13857 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13857 231 231 0 17377 0
vsize: 70432
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14208 0 0 0 110864 162 0 0 25 0 1 0 545973105 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14208 0 0 0 111864 162 0 0 25 0 1 0 545973105 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14208 0 0 0 112864 162 0 0 25 0 1 0 545973105 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14208 0 0 0 113864 162 0 0 25 0 1 0 545973105 72122368 13858 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13858 231 231 0 17377 0
vsize: 70432
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14209 0 0 0 114864 162 0 0 25 0 1 0 545973105 72122368 13859 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14209 0 0 0 115864 162 0 0 25 0 1 0 545973105 72122368 13859 4294967295 134512640 135450300 3221224624 3221223344 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14209 0 0 0 116865 162 0 0 25 0 1 0 545973105 72122368 13859 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13859 231 231 0 17377 0
vsize: 70432
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14210 0 0 0 117865 162 0 0 25 0 1 0 545973105 72122368 13860 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13860 231 231 0 17377 0
vsize: 70432
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14211 0 0 0 118865 162 0 0 25 0 1 0 545973105 72122368 13861 4294967295 134512640 135450300 3221224624 3221223344 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13861 231 231 0 17377 0
vsize: 70432
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28201
Raw data (stat): 28144 (PBS4) R 28143 10614 10613 0 -1 0 14211 0 0 0 119865 162 0 0 25 0 1 0 545973105 72122368 13861 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17608 13861 231 231 0 17377 0
vsize: 70432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 28201
Raw data (stat): 28144 (PBS4) Z 28143 10614 10613 0 -1 1036 14211 0 0 0 119865 164 0 0 25 0 1 0 545973105 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.31
CPU user time (s): 1198.66
CPU system time (s): 1.64975
CPU usage (%): 100.017
Max. virtual memory (Kb): 70432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####