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/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM	b7f280d80b52f97899362fbc10d59421
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
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	1272
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	1175.12
Number of variables	1272
Total number of constraints	94308
Number of constraints which are clauses	94308
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 7916

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-17 17:15:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3075 boxname=wulflinc10 idbench=342 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc10/normalized-frb53-24-4.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-frb53-24-4.opb
IDLAUNCH: 3075
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        805476 kB
Buffers:         36676 kB
Cached:         170900 kB
SwapCached:        164 kB
Active:          83080 kB
Inactive:       127552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        805224 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12860 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:35:13 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 3075 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-frb53-24-4.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): 1.03 1.02 0.94 2/54 18673
Raw data (stat): 18673 (runsolver) R 18672 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454023186 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.0001 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 3916 0 0 0 988 10 0 0 25 0 1 0 454023186 22798336 3181 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 3181 231 231 0 5335 0
vsize: 22264
[startup+20.0006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 5632 0 0 0 1984 14 0 0 25 0 1 0 454023186 22798336 4897 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4897 231 231 0 5335 0
vsize: 22264
[startup+30.0001 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 7146 0 0 0 2981 17 0 0 25 0 1 0 454023186 39710720 6411 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9695 6411 231 231 0 9464 0
vsize: 38780
[startup+39.9997 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 8752 0 0 0 3977 21 0 0 25 0 1 0 454023186 39710720 8017 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9695 8017 231 231 0 9464 0
vsize: 38780
[startup+50.0002 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 10118 0 0 0 4974 24 0 0 25 0 1 0 454023186 73404416 9383 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17921 9383 231 231 0 17690 0
vsize: 71684
[startup+59.9998 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 11383 0 0 0 5970 28 0 0 25 0 1 0 454023186 73555968 10648 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17958 10648 231 231 0 17727 0
vsize: 71832
[startup+70.0004 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 12374 0 0 0 6969 30 0 0 25 0 1 0 454023186 73555968 11639 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17958 11639 231 231 0 17727 0
vsize: 71832
[startup+80 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 13298 0 0 0 7966 33 0 0 25 0 1 0 454023186 73555968 12563 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17958 12563 231 231 0 17727 0
vsize: 71832
[startup+90.0005 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 14187 0 0 0 8965 35 0 0 25 0 1 0 454023186 73703424 13452 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17994 13452 231 231 0 17763 0
vsize: 71976
[startup+100 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 15974 0 0 0 9961 38 0 0 25 0 1 0 454023186 73703424 15239 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17994 15239 231 231 0 17763 0
vsize: 71976
[startup+110 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 17552 0 0 0 10957 42 0 0 25 0 1 0 454023186 73867264 16817 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18034 16817 231 231 0 17803 0
vsize: 72136
[startup+120 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 19112 0 0 0 11954 46 0 0 25 0 1 0 454023186 140976128 18377 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34418 18377 231 231 0 34187 0
vsize: 137672
[startup+130 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 20681 0 0 0 12950 50 0 0 25 0 1 0 454023186 141602816 19946 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34571 19946 231 231 0 34340 0
vsize: 138284
[startup+140 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 22160 0 0 0 13947 53 0 0 25 0 1 0 454023186 142336000 21425 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34750 21425 231 231 0 34519 0
vsize: 139000
[startup+150 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 23135 0 0 0 14946 55 0 0 25 0 1 0 454023186 142774272 22400 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34857 22400 231 231 0 34626 0
vsize: 139428
[startup+159.999 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 23177 0 0 0 15945 55 0 0 25 0 1 0 454023186 143073280 22442 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34930 22442 231 231 0 34699 0
vsize: 139720
[startup+169.999 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 23230 0 0 0 16945 56 0 0 25 0 1 0 454023186 143212544 22495 4294967295 134512640 135450300 3221224640 3221223456 134547873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34964 22495 231 231 0 34733 0
vsize: 139856
[startup+179.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 24194 0 0 0 17943 58 0 0 25 0 1 0 454023186 143482880 23459 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35030 23459 231 231 0 34799 0
vsize: 140120
[startup+189.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 25238 0 0 0 18941 60 0 0 25 0 1 0 454023186 143618048 24503 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35063 24503 231 231 0 34832 0
vsize: 140252
[startup+199.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 26790 0 0 0 19938 64 0 0 25 0 1 0 454023186 143618048 26055 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35063 26055 231 231 0 34832 0
vsize: 140252
[startup+209.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 28203 0 0 0 20935 67 0 0 25 0 1 0 454023186 143761408 27468 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35098 27468 231 231 0 34867 0
vsize: 140392
[startup+219.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 28569 0 0 0 21934 68 0 0 25 0 1 0 454023186 143908864 27834 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35134 27834 231 231 0 34903 0
vsize: 140536
[startup+229.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 28600 0 0 0 22933 68 0 0 25 0 1 0 454023186 144044032 27865 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35167 27865 231 231 0 34936 0
vsize: 140668
[startup+239.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 28624 0 0 0 23933 69 0 0 25 0 1 0 454023186 144183296 27889 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35201 27889 231 231 0 34970 0
vsize: 140804
[startup+250 s]
Raw data (loadavg): 1.00 1.00 0.94 3/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 28665 0 0 0 24933 69 0 0 25 0 1 0 454023186 144326656 27930 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 27930 231 231 0 35005 0
vsize: 140944
[startup+259.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 28712 0 0 0 25933 69 0 0 25 0 1 0 454023186 144629760 27977 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35310 27977 231 231 0 35079 0
vsize: 141240
[startup+269.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 29338 0 0 0 26932 71 0 0 25 0 1 0 454023186 144629760 28603 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35310 28603 231 231 0 35079 0
vsize: 141240
[startup+279.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 30955 0 0 0 27927 76 0 0 25 0 1 0 454023186 144900096 30220 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35376 30220 231 231 0 35145 0
vsize: 141504
[startup+289.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31115 0 0 0 28927 76 0 0 25 0 1 0 454023186 145047552 30380 4294967295 134512640 135450300 3221224640 3221223024 134579418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35412 30380 231 231 0 35181 0
vsize: 141648
[startup+299.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31218 0 0 0 29927 76 0 0 25 0 1 0 454023186 145506304 30483 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35524 30483 231 231 0 35293 0
vsize: 142096
[startup+309.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31297 0 0 0 30926 77 0 0 25 0 1 0 454023186 145793024 30562 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35594 30562 231 231 0 35363 0
vsize: 142376
[startup+319.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31331 0 0 0 31926 78 0 0 25 0 1 0 454023186 145948672 30596 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35632 30596 231 231 0 35401 0
vsize: 142528
[startup+329.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31464 0 0 0 32926 78 0 0 25 0 1 0 454023186 146526208 30729 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35773 30729 231 231 0 35542 0
vsize: 143092
[startup+339.998 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31520 0 0 0 33926 78 0 0 25 0 1 0 454023186 146800640 30785 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35840 30785 231 231 0 35609 0
vsize: 143360
[startup+349.997 s]
Raw data (loadavg): 1.15 1.03 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31524 0 0 0 34926 78 0 0 25 0 1 0 454023186 146800640 30789 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35840 30789 231 231 0 35609 0
vsize: 143360
[startup+359.997 s]
Raw data (loadavg): 1.12 1.03 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31604 0 0 0 35926 78 0 0 25 0 1 0 454023186 147222528 30869 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35943 30869 231 231 0 35712 0
vsize: 143772
[startup+369.997 s]
Raw data (loadavg): 1.10 1.03 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31663 0 0 0 36926 78 0 0 25 0 1 0 454023186 147357696 30928 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35976 30928 231 231 0 35745 0
vsize: 143904
[startup+379.996 s]
Raw data (loadavg): 1.09 1.03 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 31687 0 0 0 37926 79 0 0 25 0 1 0 454023186 147496960 30952 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36010 30952 231 231 0 35779 0
vsize: 144040
[startup+389.997 s]
Raw data (loadavg): 1.07 1.03 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 32129 0 0 0 38924 81 0 0 25 0 1 0 454023186 147644416 31394 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36046 31394 231 231 0 35815 0
vsize: 144184
[startup+399.997 s]
Raw data (loadavg): 1.06 1.03 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 33270 0 0 0 39922 83 0 0 25 0 1 0 454023186 147931136 32535 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36116 32535 231 231 0 35885 0
vsize: 144464
[startup+409.997 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 34439 0 0 0 40919 86 0 0 25 0 1 0 454023186 147931136 33704 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36116 33704 231 231 0 35885 0
vsize: 144464
[startup+419.996 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 34512 0 0 0 41919 86 0 0 25 0 1 0 454023186 148344832 33777 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36217 33777 231 231 0 35986 0
vsize: 144868
[startup+429.996 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 34593 0 0 0 42919 86 0 0 25 0 1 0 454023186 148639744 33858 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36289 33858 231 231 0 36058 0
vsize: 145156
[startup+439.996 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 34596 0 0 0 43919 87 0 0 25 0 1 0 454023186 148639744 33861 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36289 33861 231 231 0 36058 0
vsize: 145156
[startup+449.996 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 34644 0 0 0 44919 87 0 0 25 0 1 0 454023186 148787200 33909 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36325 33909 231 231 0 36094 0
vsize: 145300
[startup+459.996 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 34689 0 0 0 45919 87 0 0 25 0 1 0 454023186 149065728 33954 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36393 33954 231 231 0 36162 0
vsize: 145572
[startup+469.996 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 34696 0 0 0 46919 87 0 0 25 0 1 0 454023186 149065728 33961 4294967295 134512640 135450300 3221224640 3221223456 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36393 33961 231 231 0 36162 0
vsize: 145572
[startup+479.996 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35634 0 0 0 47918 89 0 0 25 0 1 0 454023186 149204992 34899 4294967295 134512640 135450300 3221224640 3221223160 134545024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36427 34899 231 231 0 36196 0
vsize: 145708
[startup+489.997 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35746 0 0 0 48917 89 0 0 25 0 1 0 454023186 149483520 35011 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36495 35011 231 231 0 36264 0
vsize: 145980
[startup+499.997 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35748 0 0 0 49918 89 0 0 25 0 1 0 454023186 149483520 35013 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36495 35013 231 231 0 36264 0
vsize: 145980
[startup+509.996 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35773 0 0 0 50918 89 0 0 25 0 1 0 454023186 149618688 35038 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36528 35038 231 231 0 36297 0
vsize: 146112
[startup+519.996 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35809 0 0 0 51918 90 0 0 25 0 1 0 454023186 149790720 35074 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36570 35074 231 231 0 36339 0
vsize: 146280
[startup+529.996 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35812 0 0 0 52918 90 0 0 25 0 1 0 454023186 149790720 35077 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36570 35077 231 231 0 36339 0
vsize: 146280
[startup+539.997 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35914 0 0 0 53917 90 0 0 25 0 1 0 454023186 150073344 35179 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36639 35179 231 231 0 36408 0
vsize: 146556
[startup+549.997 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 35942 0 0 0 54917 91 0 0 25 0 1 0 454023186 150220800 35207 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36675 35207 231 231 0 36444 0
vsize: 146700
[startup+559.996 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36624 0 0 0 55916 92 0 0 25 0 1 0 454023186 150220800 35889 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36675 35889 231 231 0 36444 0
vsize: 146700
[startup+569.997 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36665 0 0 0 56916 92 0 0 25 0 1 0 454023186 150491136 35930 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36741 35930 231 231 0 36510 0
vsize: 146964
[startup+579.997 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36770 0 0 0 57916 92 0 0 25 0 1 0 454023186 150941696 36035 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36851 36035 231 231 0 36620 0
vsize: 147404
[startup+589.997 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36789 0 0 0 58916 92 0 0 25 0 1 0 454023186 150941696 36054 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36851 36054 231 231 0 36620 0
vsize: 147404
[startup+599.997 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36818 0 0 0 59916 92 0 0 25 0 1 0 454023186 151089152 36083 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36887 36083 231 231 0 36656 0
vsize: 147548
[startup+609.998 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36849 0 0 0 60916 93 0 0 25 0 1 0 454023186 151248896 36114 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36926 36114 231 231 0 36695 0
vsize: 147704
[startup+619.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36851 0 0 0 61916 93 0 0 25 0 1 0 454023186 151248896 36116 4294967295 134512640 135450300 3221224640 3221223552 134597050 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36926 36116 231 231 0 36695 0
vsize: 147704
[startup+629.997 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36870 0 0 0 62916 93 0 0 25 0 1 0 454023186 151248896 36135 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36926 36135 231 231 0 36695 0
vsize: 147704
[startup+639.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36908 0 0 0 63916 93 0 0 25 0 1 0 454023186 151412736 36173 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36966 36173 231 231 0 36735 0
vsize: 147864
[startup+649.997 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36924 0 0 0 64916 93 0 0 25 0 1 0 454023186 151560192 36189 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 36189 231 231 0 36771 0
vsize: 148008
[startup+659.997 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 36952 0 0 0 65916 93 0 0 25 0 1 0 454023186 151560192 36217 4294967295 134512640 135450300 3221224640 3221223456 134546464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37002 36217 231 231 0 36771 0
vsize: 148008
[startup+669.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 37009 0 0 0 66916 94 0 0 25 0 1 0 454023186 151830528 36274 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37068 36274 231 231 0 36837 0
vsize: 148272
[startup+679.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 37041 0 0 0 67916 94 0 0 25 0 1 0 454023186 151977984 36306 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37104 36306 231 231 0 36873 0
vsize: 148416
[startup+689.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 37813 0 0 0 68914 97 0 0 25 0 1 0 454023186 286343168 37078 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69908 37078 231 231 0 69677 0
vsize: 279632
[startup+699.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 37884 0 0 0 69914 97 0 0 25 0 1 0 454023186 286654464 37149 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69984 37149 231 231 0 69753 0
vsize: 279936
[startup+709.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 37887 0 0 0 70914 97 0 0 25 0 1 0 454023186 286654464 37152 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69984 37152 231 231 0 69753 0
vsize: 279936
[startup+719.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 37984 0 0 0 71914 97 0 0 25 0 1 0 454023186 286965760 37249 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70060 37249 231 231 0 69829 0
vsize: 280240
[startup+729.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 38009 0 0 0 72914 97 0 0 25 0 1 0 454023186 287129600 37274 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70100 37274 231 231 0 69869 0
vsize: 280400
[startup+739.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 38782 0 0 0 73912 99 0 0 25 0 1 0 454023186 290275328 37278 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70868 37278 231 231 0 70637 0
vsize: 283472
[startup+749.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 38823 0 0 0 74912 99 0 0 25 0 1 0 454023186 290422784 37319 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70904 37319 231 231 0 70673 0
vsize: 283616
[startup+759.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 38826 0 0 0 75912 99 0 0 25 0 1 0 454023186 290422784 37322 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70904 37322 231 231 0 70673 0
vsize: 283616
[startup+769.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39094 0 0 0 76912 101 0 0 25 0 1 0 454023186 290570240 37590 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70940 37590 231 231 0 70709 0
vsize: 283760
[startup+779.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39155 0 0 0 77911 101 0 0 25 0 1 0 454023186 290725888 37651 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70978 37651 231 231 0 70747 0
vsize: 283912
[startup+789.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39201 0 0 0 78911 101 0 0 25 0 1 0 454023186 290873344 37697 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71014 37697 231 231 0 70783 0
vsize: 284056
[startup+799.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39205 0 0 0 79912 101 0 0 25 0 1 0 454023186 290873344 37701 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71014 37701 231 231 0 70783 0
vsize: 284056
[startup+809.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39247 0 0 0 80912 101 0 0 25 0 1 0 454023186 291020800 37743 4294967295 134512640 135450300 3221224640 3221223024 134579545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71050 37743 231 231 0 70819 0
vsize: 284200
[startup+819.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39250 0 0 0 81912 101 0 0 25 0 1 0 454023186 291020800 37746 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71050 37746 231 231 0 70819 0
vsize: 284200
[startup+829.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39282 0 0 0 82912 101 0 0 25 0 1 0 454023186 291168256 37778 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71086 37778 231 231 0 70855 0
vsize: 284344
[startup+839.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39311 0 0 0 83912 102 0 0 25 0 1 0 454023186 291291136 37807 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71116 37807 231 231 0 70885 0
vsize: 284464
[startup+849.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39389 0 0 0 84911 103 0 0 25 0 1 0 454023186 291291136 37885 4294967295 134512640 135450300 3221224640 3221222944 134844330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71116 37885 231 231 0 70885 0
vsize: 284464
[startup+859.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39584 0 0 0 85911 103 0 0 25 0 1 0 454023186 291602432 38080 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71192 38080 231 231 0 70961 0
vsize: 284768
[startup+869.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39588 0 0 0 86911 103 0 0 25 0 1 0 454023186 291602432 38084 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71192 38084 231 231 0 70961 0
vsize: 284768
[startup+879.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39619 0 0 0 87911 103 0 0 25 0 1 0 454023186 291749888 38115 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71228 38115 231 231 0 70997 0
vsize: 284912
[startup+889.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39647 0 0 0 88911 104 0 0 25 0 1 0 454023186 291897344 38143 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71264 38143 231 231 0 71033 0
vsize: 285056
[startup+899.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39651 0 0 0 89911 104 0 0 25 0 1 0 454023186 291897344 38147 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71264 38147 231 231 0 71033 0
vsize: 285056
[startup+909.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39682 0 0 0 90911 104 0 0 25 0 1 0 454023186 292044800 38178 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71300 38178 231 231 0 71069 0
vsize: 285200
[startup+919.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39705 0 0 0 91911 104 0 0 25 0 1 0 454023186 292208640 38201 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71340 38201 231 231 0 71109 0
vsize: 285360
[startup+929.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39748 0 0 0 92911 104 0 0 25 0 1 0 454023186 292208640 38244 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71340 38244 231 231 0 71109 0
vsize: 285360
[startup+939.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39851 0 0 0 93911 105 0 0 25 0 1 0 454023186 292208640 38347 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71340 38347 231 231 0 71109 0
vsize: 285360
[startup+949.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39854 0 0 0 94911 105 0 0 25 0 1 0 454023186 292208640 38350 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71340 38350 231 231 0 71109 0
vsize: 285360
[startup+959.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39871 0 0 0 95911 105 0 0 25 0 1 0 454023186 292208640 38367 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71340 38367 231 231 0 71109 0
vsize: 285360
[startup+969.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39892 0 0 0 96911 105 0 0 25 0 1 0 454023186 292343808 38388 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 38388 231 231 0 71142 0
vsize: 285492
[startup+979.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39895 0 0 0 97911 106 0 0 25 0 1 0 454023186 292343808 38391 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 38391 231 231 0 71142 0
vsize: 285492
[startup+989.999 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39906 0 0 0 98911 106 0 0 25 0 1 0 454023186 292343808 38402 4294967295 134512640 135450300 3221224640 3221222944 134844342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 38402 231 231 0 71142 0
vsize: 285492
[startup+999.998 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39915 0 0 0 99911 106 0 0 25 0 1 0 454023186 292343808 38411 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 38411 231 231 0 71142 0
vsize: 285492
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 39920 0 0 0 100911 106 0 0 25 0 1 0 454023186 292343808 38416 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71373 38416 231 231 0 71142 0
vsize: 285492
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40101 0 0 0 101910 107 0 0 25 0 1 0 454023186 292810752 38597 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71487 38597 231 231 0 71256 0
vsize: 285948
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40113 0 0 0 102910 107 0 0 25 0 1 0 454023186 292810752 38609 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71487 38609 231 231 0 71256 0
vsize: 285948
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40116 0 0 0 103910 108 0 0 25 0 1 0 454023186 292810752 38612 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71487 38612 231 231 0 71256 0
vsize: 285948
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40162 0 0 0 104910 108 0 0 25 0 1 0 454023186 293097472 38658 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71557 38658 231 231 0 71326 0
vsize: 286228
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40194 0 0 0 105909 108 0 0 25 0 1 0 454023186 293261312 38690 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 38690 231 231 0 71366 0
vsize: 286388
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40198 0 0 0 106909 108 0 0 25 0 1 0 454023186 293261312 38694 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71597 38694 231 231 0 71366 0
vsize: 286388
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40223 0 0 0 107909 109 0 0 25 0 1 0 454023186 293421056 38719 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71636 38719 231 231 0 71405 0
vsize: 286544
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40304 0 0 0 108909 109 0 0 25 0 1 0 454023186 293421056 38800 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71636 38800 231 231 0 71405 0
vsize: 286544
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40327 0 0 0 109909 109 0 0 25 0 1 0 454023186 293421056 38823 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71636 38823 231 231 0 71405 0
vsize: 286544
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40337 0 0 0 110909 110 0 0 25 0 1 0 454023186 293421056 38833 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71636 38833 231 231 0 71405 0
vsize: 286544
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40366 0 0 0 111909 110 0 0 25 0 1 0 454023186 293584896 38862 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71676 38862 231 231 0 71445 0
vsize: 286704
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40390 0 0 0 112909 110 0 0 25 0 1 0 454023186 293584896 38886 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71676 38886 231 231 0 71445 0
vsize: 286704
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40412 0 0 0 113909 110 0 0 25 0 1 0 454023186 293732352 38908 4294967295 134512640 135450300 3221224640 3221223472 134549478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71712 38908 231 231 0 71481 0
vsize: 286848
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40440 0 0 0 114909 110 0 0 25 0 1 0 454023186 293732352 38936 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71712 38936 231 231 0 71481 0
vsize: 286848
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40443 0 0 0 115909 110 0 0 25 0 1 0 454023186 293732352 38939 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71712 38939 231 231 0 71481 0
vsize: 286848
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40455 0 0 0 116909 110 0 0 25 0 1 0 454023186 293912576 38951 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71756 38951 231 231 0 71525 0
vsize: 287024
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40516 0 0 0 117909 111 0 0 25 0 1 0 454023186 293912576 39012 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71756 39012 231 231 0 71525 0
vsize: 287024
[startup+1190 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40518 0 0 0 118909 111 0 0 25 0 1 0 454023186 293912576 39014 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71756 39014 231 231 0 71525 0
vsize: 287024
[startup+1200 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18673
Raw data (stat): 18673 (PBS4) R 18672 25347 25346 0 -1 0 40539 0 0 0 119909 111 0 0 25 0 1 0 454023186 293912576 39035 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71756 39035 231 231 0 71525 0
vsize: 287024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 18673
Raw data (stat): 18673 (PBS4) Z 18672 25347 25346 0 -1 1036 40539 0 0 0 119909 118 0 0 25 0 1 0 454023186 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.07
CPU time (s): 1200.29
CPU user time (s): 1199.1
CPU system time (s): 1.18782
CPU usage (%): 100.018
Max. virtual memory (Kb): 287024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####