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/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 7670

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-17 15:38:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=447 boxname=wulflinc25 idbench=50 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f49e527e8d063bcfa5508a2b00211475  /oldhome/oroussel/tmp/wulflinc25/normalized-fpga35_34_sat_pb.cnf.cr.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-fpga35_34_sat_pb.cnf.cr.opb
IDLAUNCH: 447
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        812872 kB
Buffers:         36400 kB
Cached:         149408 kB
SwapCached:         36 kB
Active:          72772 kB
Inactive:       115912 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        812620 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            27252 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 15:58:39 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 447 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-fpga35_34_sat_pb.cnf.cr.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.84 0.42 0.16 2/54 21619
Raw data (stat): 21619 (runsolver) R 21618 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511667655 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.44 0.17 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 1445 0 0 0 991 8 0 0 25 0 1 0 511667655 10555392 1441 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2577 1441 231 231 0 2346 0
vsize: 10308
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.46 0.18 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 2555 0 0 0 1986 12 0 0 25 0 1 0 511667655 19283968 2551 4294967295 134512640 135450300 3221224624 3221223344 134536014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4708 2551 231 231 0 4477 0
vsize: 18832
[startup+30.0002 s]
Raw data (loadavg): 0.90 0.47 0.18 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 3567 0 0 0 2981 17 0 0 25 0 1 0 511667655 19689472 3563 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4807 3563 231 231 0 4576 0
vsize: 19228
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.49 0.19 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 4387 0 0 0 3979 20 0 0 25 0 1 0 511667655 20099072 4383 4294967295 134512640 135450300 3221224624 3221223440 134547881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4907 4383 231 231 0 4676 0
vsize: 19628
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.51 0.20 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 5461 0 0 0 4975 24 0 0 25 0 1 0 511667655 37076992 5457 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9052 5457 231 231 0 8821 0
vsize: 36208
[startup+60.001 s]
Raw data (loadavg): 0.94 0.52 0.21 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 6369 0 0 0 5973 26 0 0 25 0 1 0 511667655 38342656 6365 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9361 6365 231 231 0 9130 0
vsize: 37444
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.54 0.22 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 7245 0 0 0 6971 29 0 0 25 0 1 0 511667655 39182336 7241 4294967295 134512640 135450300 3221224624 3221223152 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9566 7241 231 231 0 9335 0
vsize: 38264
[startup+80.0009 s]
Raw data (loadavg): 0.96 0.55 0.22 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 8147 0 0 0 7967 32 0 0 25 0 1 0 511667655 39755776 8143 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9706 8143 231 231 0 9475 0
vsize: 38824
[startup+90.0007 s]
Raw data (loadavg): 0.96 0.57 0.23 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 8962 0 0 0 8965 35 0 0 25 0 1 0 511667655 39903232 8958 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9742 8958 231 231 0 9511 0
vsize: 38968
[startup+100 s]
Raw data (loadavg): 0.97 0.58 0.24 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 9617 0 0 0 9963 37 0 0 25 0 1 0 511667655 73457664 9613 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17934 9613 231 231 0 17703 0
vsize: 71736
[startup+110 s]
Raw data (loadavg): 0.97 0.59 0.25 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 10212 0 0 0 10961 39 0 0 25 0 1 0 511667655 73457664 10208 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17934 10208 231 231 0 17703 0
vsize: 71736
[startup+120.001 s]
Raw data (loadavg): 0.98 0.61 0.26 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 10736 0 0 0 11960 40 0 0 25 0 1 0 511667655 73457664 10732 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17934 10732 231 231 0 17703 0
vsize: 71736
[startup+130 s]
Raw data (loadavg): 0.98 0.62 0.26 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 11334 0 0 0 12958 42 0 0 25 0 1 0 511667655 73900032 11330 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 11330 231 231 0 17811 0
vsize: 72168
[startup+140 s]
Raw data (loadavg): 0.98 0.63 0.27 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12053 0 0 0 13957 44 0 0 25 0 1 0 511667655 74821632 12000 4294967295 134512640 135450300 3221224624 3221223232 134622111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18267 12000 231 231 0 18036 0
vsize: 73068
[startup+150 s]
Raw data (loadavg): 0.98 0.64 0.28 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12114 0 0 0 14955 46 0 0 25 0 1 0 511667655 74960896 12061 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18301 12061 231 231 0 18070 0
vsize: 73204
[startup+160 s]
Raw data (loadavg): 0.99 0.65 0.29 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12129 0 0 0 15955 46 0 0 25 0 1 0 511667655 75096064 12076 4294967295 134512640 135450300 3221224624 3221223088 134532539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18334 12076 231 231 0 18103 0
vsize: 73336
[startup+170 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12137 0 0 0 16955 46 0 0 25 0 1 0 511667655 75096064 12084 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18334 12084 231 231 0 18103 0
vsize: 73336
[startup+179.999 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12139 0 0 0 17955 46 0 0 25 0 1 0 511667655 75096064 12086 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18334 12086 231 231 0 18103 0
vsize: 73336
[startup+189.999 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12179 0 0 0 18955 47 0 0 25 0 1 0 511667655 75231232 12126 4294967295 134512640 135450300 3221224624 3221223344 134536014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18367 12126 231 231 0 18136 0
vsize: 73468
[startup+199.999 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12239 0 0 0 19955 47 0 0 25 0 1 0 511667655 75505664 12186 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18434 12186 231 231 0 18203 0
vsize: 73736
[startup+209.999 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12247 0 0 0 20955 47 0 0 25 0 1 0 511667655 75505664 12194 4294967295 134512640 135450300 3221224624 3221223344 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18434 12194 231 231 0 18203 0
vsize: 73736
[startup+219.999 s]
Raw data (loadavg): 0.99 0.71 0.33 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12300 0 0 0 21955 48 0 0 25 0 1 0 511667655 75644928 12247 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18468 12247 231 231 0 18237 0
vsize: 73872
[startup+229.999 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12345 0 0 0 22954 48 0 0 25 0 1 0 511667655 75915264 12292 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18534 12292 231 231 0 18303 0
vsize: 74136
[startup+240 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12348 0 0 0 23954 48 0 0 25 0 1 0 511667655 75915264 12295 4294967295 134512640 135450300 3221224624 3221223344 134536009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18534 12295 231 231 0 18303 0
vsize: 74136
[startup+249.999 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12367 0 0 0 24954 49 0 0 25 0 1 0 511667655 75915264 12314 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18534 12314 231 231 0 18303 0
vsize: 74136
[startup+259.999 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12396 0 0 0 25954 49 0 0 25 0 1 0 511667655 76054528 12343 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18568 12343 231 231 0 18337 0
vsize: 74272
[startup+269.999 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12398 0 0 0 26954 49 0 0 25 0 1 0 511667655 76054528 12345 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18568 12345 231 231 0 18337 0
vsize: 74272
[startup+279.999 s]
Raw data (loadavg): 0.99 0.76 0.37 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12423 0 0 0 27954 49 0 0 25 0 1 0 511667655 76206080 12370 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18605 12370 231 231 0 18374 0
vsize: 74420
[startup+289.999 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 12523 0 0 0 28954 50 0 0 25 0 1 0 511667655 76599296 12373 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18701 12373 231 231 0 18470 0
vsize: 74804
[startup+299.999 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 13132 0 0 0 29952 51 0 0 25 0 1 0 511667655 76738560 12982 4294967295 134512640 135450300 3221224624 3221223088 134532775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18735 12982 231 231 0 18504 0
vsize: 74940
[startup+309.998 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 13737 0 0 0 30951 53 0 0 25 0 1 0 511667655 76738560 13587 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18735 13587 231 231 0 18504 0
vsize: 74940
[startup+319.999 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 14657 0 0 0 31948 56 0 0 25 0 1 0 511667655 77320192 14507 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18877 14507 231 231 0 18646 0
vsize: 75508
[startup+329.999 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 15221 0 0 0 32947 57 0 0 25 0 1 0 511667655 77467648 15071 4294967295 134512640 135450300 3221224624 3221223440 134547900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18913 15071 231 231 0 18682 0
vsize: 75652
[startup+339.999 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 15943 0 0 0 33945 59 0 0 25 0 1 0 511667655 77467648 15793 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18913 15793 231 231 0 18682 0
vsize: 75652
[startup+349.999 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 16337 0 0 0 34944 60 0 0 25 0 1 0 511667655 77746176 16187 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18981 16187 231 231 0 18750 0
vsize: 75924
[startup+359.999 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 16342 0 0 0 35944 61 0 0 25 0 1 0 511667655 77746176 16192 4294967295 134512640 135450300 3221224624 3221223456 134549493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18981 16192 231 231 0 18750 0
vsize: 75924
[startup+369.999 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 16386 0 0 0 36944 61 0 0 25 0 1 0 511667655 77893632 16236 4294967295 134512640 135450300 3221224624 3221223440 134547900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19017 16236 231 231 0 18786 0
vsize: 76068
[startup+379.999 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 16657 0 0 0 37943 62 0 0 25 0 1 0 511667655 77893632 16507 4294967295 134512640 135450300 3221224624 3221223344 134536001 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19017 16507 231 231 0 18786 0
vsize: 76068
[startup+389.999 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 17394 0 0 0 38941 64 0 0 25 0 1 0 511667655 78340096 17244 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19126 17244 231 231 0 18895 0
vsize: 76504
[startup+400 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 17969 0 0 0 39940 65 0 0 25 0 1 0 511667655 78340096 17819 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19126 17819 231 231 0 18895 0
vsize: 76504
[startup+410 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 18819 0 0 0 40938 68 0 0 25 0 1 0 511667655 78618624 18669 4294967295 134512640 135450300 3221224624 3221223344 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19194 18669 231 231 0 18963 0
vsize: 76776
[startup+420 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 19436 0 0 0 41935 71 0 0 25 0 1 0 511667655 146305024 19286 4294967295 134512640 135450300 3221224624 3221223344 134535982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35719 19286 231 231 0 35488 0
vsize: 142876
[startup+429.999 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 20199 0 0 0 42933 73 0 0 25 0 1 0 511667655 146305024 20049 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35719 20049 231 231 0 35488 0
vsize: 142876
[startup+440 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 20591 0 0 0 43932 74 0 0 25 0 1 0 511667655 146616320 20441 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35795 20441 231 231 0 35564 0
vsize: 143180
[startup+450 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 20604 0 0 0 44932 74 0 0 25 0 1 0 511667655 146616320 20454 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35795 20454 231 231 0 35564 0
vsize: 143180
[startup+459.999 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 20941 0 0 0 45931 76 0 0 25 0 1 0 511667655 148418560 20791 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36235 20791 231 231 0 36004 0
vsize: 144940
[startup+470 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 21056 0 0 0 46931 76 0 0 25 0 1 0 511667655 148418560 20906 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36235 20906 231 231 0 36004 0
vsize: 144940
[startup+480 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 21679 0 0 0 47928 79 0 0 25 0 1 0 511667655 148910080 21529 4294967295 134512640 135450300 3221224624 3221223344 134536020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36355 21529 231 231 0 36124 0
vsize: 145420
[startup+490 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 22352 0 0 0 48927 81 0 0 25 0 1 0 511667655 148910080 22202 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36355 22202 231 231 0 36124 0
vsize: 145420
[startup+500 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 22917 0 0 0 49925 82 0 0 25 0 1 0 511667655 149237760 22767 4294967295 134512640 135450300 3221224624 3221223412 134535632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36435 22767 231 231 0 36204 0
vsize: 145740
[startup+509.999 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 23618 0 0 0 50924 84 0 0 25 0 1 0 511667655 149237760 23468 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36435 23468 231 231 0 36204 0
vsize: 145740
[startup+520 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 24284 0 0 0 51922 86 0 0 25 0 1 0 511667655 150056960 24134 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36635 24134 231 231 0 36404 0
vsize: 146540
[startup+530 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 24973 0 0 0 52920 88 0 0 25 0 1 0 511667655 150056960 24823 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36635 24823 231 231 0 36404 0
vsize: 146540
[startup+540 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 25061 0 0 0 53920 88 0 0 25 0 1 0 511667655 150220800 24911 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36675 24911 231 231 0 36444 0
vsize: 146700
[startup+549.999 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 25063 0 0 0 54920 89 0 0 25 0 1 0 511667655 150220800 24913 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36675 24913 231 231 0 36444 0
vsize: 146700
[startup+560 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 25139 0 0 0 55920 89 0 0 25 0 1 0 511667655 150548480 24989 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36755 24989 231 231 0 36524 0
vsize: 147020
[startup+570 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 25141 0 0 0 56920 89 0 0 25 0 1 0 511667655 150548480 24991 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36755 24991 231 231 0 36524 0
vsize: 147020
[startup+579.999 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 25209 0 0 0 57920 89 0 0 25 0 1 0 511667655 150876160 25059 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36835 25059 231 231 0 36604 0
vsize: 147340
[startup+589.999 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 25758 0 0 0 58919 90 0 0 25 0 1 0 511667655 150876160 25608 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36835 25608 231 231 0 36604 0
vsize: 147340
[startup+599.999 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 26275 0 0 0 59917 92 0 0 25 0 1 0 511667655 151040000 26125 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36875 26125 231 231 0 36644 0
vsize: 147500
[startup+609.998 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 26931 0 0 0 60916 94 0 0 25 0 1 0 511667655 151040000 26781 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36875 26781 231 231 0 36644 0
vsize: 147500
[startup+619.998 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 27746 0 0 0 61914 95 0 0 25 0 1 0 511667655 153464832 27596 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37467 27596 231 231 0 37236 0
vsize: 149868
[startup+629.997 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 28458 0 0 0 62913 97 0 0 25 0 1 0 511667655 153464832 28308 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37467 28308 231 231 0 37236 0
vsize: 149868
[startup+639.998 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 28864 0 0 0 63912 98 0 0 25 0 1 0 511667655 153464832 28714 4294967295 134512640 135450300 3221224624 3221223536 134597075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37467 28714 231 231 0 37236 0
vsize: 149868
[startup+649.998 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 28959 0 0 0 64912 98 0 0 25 0 1 0 511667655 153944064 28809 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37584 28809 231 231 0 37353 0
vsize: 150336
[startup+659.997 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 28961 0 0 0 65912 99 0 0 25 0 1 0 511667655 153944064 28811 4294967295 134512640 135450300 3221224624 3221223344 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37584 28811 231 231 0 37353 0
vsize: 150336
[startup+669.997 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 29467 0 0 0 66911 100 0 0 25 0 1 0 511667655 156270592 29317 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38152 29317 231 231 0 37921 0
vsize: 152608
[startup+679.998 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 29479 0 0 0 67910 100 0 0 25 0 1 0 511667655 156270592 29329 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38152 29329 231 231 0 37921 0
vsize: 152608
[startup+689.998 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 29532 0 0 0 68910 100 0 0 25 0 1 0 511667655 156434432 29382 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38192 29382 231 231 0 37961 0
vsize: 152768
[startup+699.997 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 30144 0 0 0 69909 102 0 0 25 0 1 0 511667655 156434432 29994 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38192 29994 231 231 0 37961 0
vsize: 152768
[startup+709.997 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 30782 0 0 0 70907 104 0 0 25 0 1 0 511667655 158203904 30632 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38624 30632 231 231 0 38393 0
vsize: 154496
[startup+719.998 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 31536 0 0 0 71905 106 0 0 25 0 1 0 511667655 158203904 31386 4294967295 134512640 135450300 3221224624 3221223008 134602235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38624 31386 231 231 0 38393 0
vsize: 154496
[startup+729.997 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 31946 0 0 0 72904 107 0 0 25 0 1 0 511667655 158203904 31796 4294967295 134512640 135450300 3221224624 3221223456 134549481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38624 31796 231 231 0 38393 0
vsize: 154496
[startup+739.997 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 32634 0 0 0 73902 109 0 0 25 0 1 0 511667655 158203904 32484 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38624 32484 231 231 0 38393 0
vsize: 154496
[startup+749.997 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33335 0 0 0 74902 110 0 0 25 0 1 0 511667655 158990336 32992 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38816 32992 231 231 0 38585 0
vsize: 155264
[startup+759.997 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33340 0 0 0 75902 110 0 0 25 0 1 0 511667655 159162368 32997 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38858 32997 231 231 0 38627 0
vsize: 155432
[startup+769.997 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33343 0 0 0 76902 110 0 0 25 0 1 0 511667655 159162368 33000 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38858 33000 231 231 0 38627 0
vsize: 155432
[startup+779.997 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33367 0 0 0 77902 111 0 0 25 0 1 0 511667655 159162368 33024 4294967295 134512640 135450300 3221224624 3221223088 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38858 33024 231 231 0 38627 0
vsize: 155432
[startup+789.998 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33370 0 0 0 78902 111 0 0 25 0 1 0 511667655 159162368 33027 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38858 33027 231 231 0 38627 0
vsize: 155432
[startup+799.997 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33432 0 0 0 79902 111 0 0 25 0 1 0 511667655 159490048 33089 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38938 33089 231 231 0 38707 0
vsize: 155752
[startup+809.997 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33434 0 0 0 80902 111 0 0 25 0 1 0 511667655 159490048 33091 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38938 33091 231 231 0 38707 0
vsize: 155752
[startup+819.997 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33552 0 0 0 81901 112 0 0 25 0 1 0 511667655 160096256 33209 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39086 33209 231 231 0 38855 0
vsize: 156344
[startup+829.997 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33555 0 0 0 82901 112 0 0 25 0 1 0 511667655 160096256 33212 4294967295 134512640 135450300 3221224624 3221223344 134536009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39086 33212 231 231 0 38855 0
vsize: 156344
[startup+839.998 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 33816 0 0 0 83901 113 0 0 25 0 1 0 511667655 160686080 33473 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39230 33473 231 231 0 38999 0
vsize: 156920
[startup+849.997 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 34556 0 0 0 84898 115 0 0 25 0 1 0 511667655 160686080 34213 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39230 34213 231 231 0 38999 0
vsize: 156920
[startup+859.997 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 34975 0 0 0 85897 117 0 0 25 0 1 0 511667655 160686080 34632 4294967295 134512640 135450300 3221224624 3221223440 134537248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39230 34632 231 231 0 38999 0
vsize: 156920
[startup+869.997 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 35046 0 0 0 86896 118 0 0 25 0 1 0 511667655 161079296 34703 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39326 34703 231 231 0 39095 0
vsize: 157304
[startup+879.997 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 35048 0 0 0 87897 118 0 0 25 0 1 0 511667655 161079296 34705 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39326 34705 231 231 0 39095 0
vsize: 157304
[startup+889.997 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 35191 0 0 0 88896 119 0 0 25 0 1 0 511667655 161845248 34848 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39513 34848 231 231 0 39282 0
vsize: 158052
[startup+899.997 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 35193 0 0 0 89896 119 0 0 25 0 1 0 511667655 161845248 34850 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39513 34850 231 231 0 39282 0
vsize: 158052
[startup+909.997 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 35337 0 0 0 90896 119 0 0 25 0 1 0 511667655 162631680 34994 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39705 34994 231 231 0 39474 0
vsize: 158820
[startup+919.997 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 35362 0 0 0 91896 119 0 0 25 0 1 0 511667655 162807808 35019 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39748 35019 231 231 0 39517 0
vsize: 158992
[startup+929.998 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 35364 0 0 0 92896 119 0 0 25 0 1 0 511667655 162807808 35021 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39748 35021 231 231 0 39517 0
vsize: 158992
[startup+939.999 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 36470 0 0 0 93893 122 0 0 25 0 1 0 511667655 166285312 36127 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40597 36127 231 231 0 40366 0
vsize: 162388
[startup+949.998 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 36967 0 0 0 94892 124 0 0 25 0 1 0 511667655 166285312 36624 4294967295 134512640 135450300 3221224624 3221223440 134537280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40597 36624 231 231 0 40366 0
vsize: 162388
[startup+959.998 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 37634 0 0 0 95890 126 0 0 25 0 1 0 511667655 166678528 37291 4294967295 134512640 135450300 3221224624 3221223344 134535455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40693 37291 231 231 0 40462 0
vsize: 162772
[startup+969.998 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 38229 0 0 0 96889 127 0 0 25 0 1 0 511667655 166678528 37886 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40693 37886 231 231 0 40462 0
vsize: 162772
[startup+979.998 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 38266 0 0 0 97888 128 0 0 25 0 1 0 511667655 166875136 37923 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40741 37923 231 231 0 40510 0
vsize: 162964
[startup+989.999 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 38269 0 0 0 98888 128 0 0 25 0 1 0 511667655 166875136 37926 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40741 37926 231 231 0 40510 0
vsize: 162964
[startup+999.998 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 38361 0 0 0 99888 129 0 0 25 0 1 0 511667655 167268352 38018 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40837 38018 231 231 0 40606 0
vsize: 163348
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 38363 0 0 0 100888 129 0 0 25 0 1 0 511667655 167268352 38020 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40837 38020 231 231 0 40606 0
vsize: 163348
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 38581 0 0 0 101887 130 0 0 25 0 1 0 511667655 168611840 38238 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41165 38238 231 231 0 40934 0
vsize: 164660
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 39076 0 0 0 102885 132 0 0 25 0 1 0 511667655 168775680 38733 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41205 38733 231 231 0 40974 0
vsize: 164820
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 39572 0 0 0 103884 134 0 0 25 0 1 0 511667655 168775680 39229 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41205 39229 231 231 0 40974 0
vsize: 164820
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 40340 0 0 0 104882 136 0 0 25 0 1 0 511667655 303845376 39997 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74181 39997 231 231 0 73950 0
vsize: 296724
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 40940 0 0 0 105880 138 0 0 25 0 1 0 511667655 303845376 40597 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74181 40597 231 231 0 73950 0
vsize: 296724
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 41354 0 0 0 106879 139 0 0 25 0 1 0 511667655 304615424 41011 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74369 41011 231 231 0 74138 0
vsize: 297476
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 41978 0 0 0 107878 141 0 0 25 0 1 0 511667655 304615424 41635 4294967295 134512640 135450300 3221224624 3221223344 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74369 41635 231 231 0 74138 0
vsize: 297476
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 42314 0 0 0 108877 142 0 0 25 0 1 0 511667655 304615424 41971 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74369 41971 231 231 0 74138 0
vsize: 297476
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 42999 0 0 0 109875 144 0 0 25 0 1 0 511667655 307957760 42656 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75185 42656 231 231 0 74954 0
vsize: 300740
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.71 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 43001 0 0 0 110875 144 0 0 25 0 1 0 511667655 307957760 42658 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75185 42658 231 231 0 74954 0
vsize: 300740
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 43407 0 0 0 111874 145 0 0 25 0 1 0 511667655 309923840 43064 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75665 43064 231 231 0 75434 0
vsize: 302660
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 43411 0 0 0 112874 145 0 0 25 0 1 0 511667655 309923840 43068 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75665 43068 231 231 0 75434 0
vsize: 302660
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 43496 0 0 0 113874 145 0 0 25 0 1 0 511667655 310317056 43153 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75761 43153 231 231 0 75530 0
vsize: 303044
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.72 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 43498 0 0 0 114874 145 0 0 25 0 1 0 511667655 310317056 43155 4294967295 134512640 135450300 3221224624 3221222992 134579568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75761 43155 231 231 0 75530 0
vsize: 303044
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 43681 0 0 0 115873 147 0 0 25 0 1 0 511667655 310317056 43338 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75761 43338 231 231 0 75530 0
vsize: 303044
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 44125 0 0 0 116872 148 0 0 25 0 1 0 511667655 310906880 43782 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75905 43782 231 231 0 75674 0
vsize: 303620
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 44747 0 0 0 117871 149 0 0 25 0 1 0 511667655 310906880 44404 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75905 44404 231 231 0 75674 0
vsize: 303620
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.73 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 45272 0 0 0 118870 150 0 0 25 0 1 0 511667655 312086528 44929 4294967295 134512640 135450300 3221224624 3221223408 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76193 44931 231 231 0 75962 0
vsize: 304772
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.74 2/54 21619
Raw data (stat): 21619 (PBS4) R 21618 28099 28098 0 -1 0 45968 0 0 0 119869 152 0 0 25 0 1 0 511667655 312086528 45625 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76193 45625 231 231 0 75962 0
vsize: 304772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.74 1/54 21619
Raw data (stat): 21619 (PBS4) Z 21618 28099 28098 0 -1 1036 45968 0 0 0 119869 160 0 0 25 0 1 0 511667655 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.09
CPU time (s): 1200.3
CPU user time (s): 1198.69
CPU system time (s): 1.60976
CPU usage (%): 100.018
Max. virtual memory (Kb): 304772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####