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/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
MD5SUM	46f4eb904b1c96b45521a6459aa5d49d
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	109757
Total number of constraints	313451
Number of constraints which are clauses	295929
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	17522
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 7872

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-04-17 16:45:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2508 boxname=wulflinc25 idbench=279 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  46f4eb904b1c96b45521a6459aa5d49d  /oldhome/oroussel/tmp/wulflinc25/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc25/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
IDLAUNCH: 2508
/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:        782944 kB
Buffers:         36504 kB
Cached:         178612 kB
SwapCached:         36 kB
Active:          83876 kB
Inactive:       134184 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782692 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            28024 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:05:07 (client local time) WITH STATUS 0 IN 1200.65 SECONDS
stats: 2508 7 1200.65 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc25/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.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.70 0.89 0.89 2/54 22492
Raw data (stat): 22492 (runsolver) R 22491 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512066457 1052672 99 4294967295 134512640 135381576 3221224496 3221219744 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.0008 s]
Raw data (loadavg): 0.75 0.90 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 9710 0 0 0 973 26 0 0 25 0 1 0 512066457 37265408 8115 4294967295 134512640 135450300 3221224608 3221157328 134523714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9098 8115 231 231 0 8867 0
vsize: 36392
[startup+20.0013 s]
Raw data (loadavg): 0.78 0.90 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 15293 0 0 0 1957 42 0 0 25 0 1 0 512066457 55128064 11579 4294967295 134512640 135450300 3221224608 3221223504 134539779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13459 11579 231 231 0 13228 0
vsize: 53836
[startup+30.0005 s]
Raw data (loadavg): 0.82 0.90 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16013 0 0 0 2954 44 0 0 25 0 1 0 512066457 58621952 12266 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14312 12266 231 231 0 14081 0
vsize: 57248
[startup+40.0015 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16258 0 0 0 3954 45 0 0 25 0 1 0 512066457 59629568 12511 4294967295 134512640 135450300 3221224608 3221223452 134538368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14558 12511 231 231 0 14327 0
vsize: 58232
[startup+50.0089 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16570 0 0 0 4953 47 0 0 25 0 1 0 512066457 59928576 12608 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14631 12608 231 231 0 14400 0
vsize: 58524
[startup+60.0093 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 16973 0 0 0 5951 49 0 0 25 0 1 0 512066457 60665856 12796 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14811 12796 231 231 0 14580 0
vsize: 59244
[startup+70.0093 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 17293 0 0 0 6949 51 0 0 25 0 1 0 512066457 70565888 13116 4294967295 134512640 135450300 3221224608 3221223344 134538084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17228 13116 231 231 0 16997 0
vsize: 68912
[startup+80.0099 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 17724 0 0 0 7947 53 0 0 25 0 1 0 512066457 71389184 13332 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17429 13332 231 231 0 17198 0
vsize: 69716
[startup+90.0101 s]
Raw data (loadavg): 0.93 0.92 0.89 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 17984 0 0 0 8946 55 0 0 25 0 1 0 512066457 72822784 13526 4294967295 134512640 135450300 3221224608 3221223508 134539773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17779 13526 231 231 0 17548 0
vsize: 71116
[startup+100.01 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 18522 0 0 0 9943 58 0 0 25 0 1 0 512066457 74493952 13849 4294967295 134512640 135450300 3221224608 3221223472 134539194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18187 13849 231 231 0 17956 0
vsize: 72748
[startup+110.011 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 18909 0 0 0 10942 59 0 0 25 0 1 0 512066457 75685888 14038 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18478 14038 231 231 0 18247 0
vsize: 73912
[startup+120.011 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19181 0 0 0 11941 60 0 0 25 0 1 0 512066457 75821056 14095 4294967295 134512640 135450300 3221224608 3221223328 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18511 14095 231 231 0 18280 0
vsize: 74044
[startup+130.011 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19463 0 0 0 12939 62 0 0 25 0 1 0 512066457 75952128 14129 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18543 14129 231 231 0 18312 0
vsize: 74172
[startup+140.012 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19758 0 0 0 13937 64 0 0 25 0 1 0 512066457 76083200 14176 4294967295 134512640 135450300 3221224608 3221223472 134539289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18575 14176 231 231 0 18344 0
vsize: 74300
[startup+150.012 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 19946 0 0 0 14935 66 0 0 25 0 1 0 512066457 77160448 14364 4294967295 134512640 135450300 3221224608 3221223344 134538883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18838 14364 231 231 0 18607 0
vsize: 75352
[startup+160.013 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20106 0 0 0 15935 67 0 0 25 0 1 0 512066457 77688832 14458 4294967295 134512640 135450300 3221224608 3221223536 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18967 14458 231 231 0 18736 0
vsize: 75868
[startup+170.013 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20142 0 0 0 16932 70 0 0 25 0 1 0 512066457 78249984 14494 4294967295 134512640 135450300 3221224608 3221223328 134533727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19104 14494 231 231 0 18873 0
vsize: 76416
[startup+180.013 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20476 0 0 0 17931 71 0 0 25 0 1 0 512066457 78520320 14613 4294967295 134512640 135450300 3221224608 3221223344 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19170 14613 231 231 0 18939 0
vsize: 76680
[startup+190.013 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20722 0 0 0 18929 73 0 0 25 0 1 0 512066457 78520320 14644 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19170 14644 231 231 0 18939 0
vsize: 76680
[startup+200.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 20774 0 0 0 19928 74 0 0 25 0 1 0 512066457 78684160 14696 4294967295 134512640 135450300 3221224608 3221223472 134539260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19210 14696 231 231 0 18979 0
vsize: 76840
[startup+210.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21158 0 0 0 20926 76 0 0 25 0 1 0 512066457 79556608 14865 4294967295 134512640 135450300 3221224608 3221223344 134538945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19423 14865 231 231 0 19192 0
vsize: 77692
[startup+220.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21293 0 0 0 21925 78 0 0 25 0 1 0 512066457 80367616 15000 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19621 15000 231 231 0 19390 0
vsize: 78484
[startup+230.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21639 0 0 0 22922 80 0 0 25 0 1 0 512066457 81072128 15131 4294967295 134512640 135450300 3221224608 3221223344 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19793 15131 231 231 0 19562 0
vsize: 79172
[startup+240.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21736 0 0 0 23920 83 0 0 25 0 1 0 512066457 81342464 15228 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19859 15228 231 231 0 19628 0
vsize: 79436
[startup+250.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 21803 0 0 0 24919 84 0 0 25 0 1 0 512066457 81612800 15295 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19925 15295 231 231 0 19694 0
vsize: 79700
[startup+260.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22147 0 0 0 25918 85 0 0 25 0 1 0 512066457 82010112 15391 4294967295 134512640 135450300 3221224608 3221223088 134534818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20022 15391 231 231 0 19791 0
vsize: 80088
[startup+270.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22182 0 0 0 26917 87 0 0 25 0 1 0 512066457 82010112 15426 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20022 15426 231 231 0 19791 0
vsize: 80088
[startup+280.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22211 0 0 0 27916 88 0 0 25 0 1 0 512066457 82010112 15455 4294967295 134512640 135450300 3221224608 3221223216 134537633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20022 15455 231 231 0 19791 0
vsize: 80088
[startup+290.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22456 0 0 0 28914 90 0 0 25 0 1 0 512066457 82010112 15485 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20022 15485 231 231 0 19791 0
vsize: 80088
[startup+300.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22838 0 0 0 29913 91 0 0 25 0 1 0 512066457 82862080 15652 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 15652 231 231 0 19999 0
vsize: 80920
[startup+310.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 22861 0 0 0 30912 92 0 0 25 0 1 0 512066457 82862080 15675 4294967295 134512640 135450300 3221224608 3221223500 134539104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20230 15675 231 231 0 19999 0
vsize: 80920
[startup+320.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23139 0 0 0 31910 94 0 0 25 0 1 0 512066457 82997248 15738 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20263 15738 231 231 0 20032 0
vsize: 81052
[startup+330.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23325 0 0 0 32909 95 0 0 25 0 1 0 512066457 83718144 15891 4294967295 134512640 135450300 3221224608 3221223536 134539619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20439 15891 231 231 0 20208 0
vsize: 81756
[startup+340.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23662 0 0 0 33908 97 0 0 25 0 1 0 512066457 84180992 15980 4294967295 134512640 135450300 3221224608 3221223344 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 15980 231 231 0 20321 0
vsize: 82208
[startup+350.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23708 0 0 0 34907 98 0 0 25 0 1 0 512066457 84180992 16026 4294967295 134512640 135450300 3221224608 3221223328 134533730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 16026 231 231 0 20321 0
vsize: 82208
[startup+360.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 23994 0 0 0 35906 99 0 0 25 0 1 0 512066457 84447232 16097 4294967295 134512640 135450300 3221224608 3221223344 134537879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20617 16097 231 231 0 20386 0
vsize: 82468
[startup+370.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24022 0 0 0 36905 100 0 0 25 0 1 0 512066457 84447232 16125 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20617 16125 231 231 0 20386 0
vsize: 82468
[startup+380.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24263 0 0 0 37904 101 0 0 25 0 1 0 512066457 84447232 16151 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20617 16151 231 231 0 20386 0
vsize: 82468
[startup+390.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24568 0 0 0 38902 103 0 0 25 0 1 0 512066457 84713472 16208 4294967295 134512640 135450300 3221224608 3221222960 134533340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20682 16208 231 231 0 20451 0
vsize: 82728
[startup+400.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24725 0 0 0 39902 104 0 0 25 0 1 0 512066457 85106688 16266 4294967295 134512640 135450300 3221224608 3221223024 134533471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20778 16266 231 231 0 20547 0
vsize: 83112
[startup+410.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24799 0 0 0 40902 104 0 0 25 0 1 0 512066457 85237760 16307 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 16307 231 231 0 20579 0
vsize: 83240
[startup+420.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24819 0 0 0 41901 106 0 0 25 0 1 0 512066457 85237760 16327 4294967295 134512640 135450300 3221224608 3221223536 134539671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 16327 231 231 0 20579 0
vsize: 83240
[startup+430.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 24841 0 0 0 42899 108 0 0 25 0 1 0 512066457 85237760 16349 4294967295 134512640 135450300 3221224608 3221223344 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 16349 231 231 0 20579 0
vsize: 83240
[startup+440.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25069 0 0 0 43897 110 0 0 25 0 1 0 512066457 85237760 16362 4294967295 134512640 135450300 3221224608 3221223344 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 16362 231 231 0 20579 0
vsize: 83240
[startup+450.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25074 0 0 0 44897 110 0 0 25 0 1 0 512066457 85237760 16367 4294967295 134512640 135450300 3221224608 3221223344 134538960 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 16367 231 231 0 20579 0
vsize: 83240
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25294 0 0 0 45895 112 0 0 25 0 1 0 512066457 85237760 16372 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20810 16372 231 231 0 20579 0
vsize: 83240
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25546 0 0 0 46893 114 0 0 25 0 1 0 512066457 85434368 16409 4294967295 134512640 135450300 3221224608 3221223440 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20858 16409 231 231 0 20627 0
vsize: 83432
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25594 0 0 0 47891 116 0 0 25 0 1 0 512066457 85434368 16457 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20858 16457 231 231 0 20627 0
vsize: 83432
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 25967 0 0 0 48890 118 0 0 25 0 1 0 512066457 86110208 16615 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21023 16615 231 231 0 20792 0
vsize: 84092
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26029 0 0 0 49889 119 0 0 25 0 1 0 512066457 86241280 16644 4294967295 134512640 135450300 3221224608 3221223548 134530361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21055 16644 231 231 0 20824 0
vsize: 84220
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26262 0 0 0 50887 121 0 0 25 0 1 0 512066457 87121920 16877 4294967295 134512640 135450300 3221224608 3221223068 134572880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21270 16877 231 231 0 21039 0
vsize: 85080
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26282 0 0 0 51886 122 0 0 25 0 1 0 512066457 86241280 16682 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21055 16682 231 231 0 20824 0
vsize: 84220
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26304 0 0 0 52885 124 0 0 25 0 1 0 512066457 86241280 16704 4294967295 134512640 135450300 3221224608 3221223472 134539179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21055 16704 231 231 0 20824 0
vsize: 84220
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26547 0 0 0 53883 125 0 0 25 0 1 0 512066457 86241280 16732 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21055 16732 231 231 0 20824 0
vsize: 84220
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26799 0 0 0 54882 127 0 0 25 0 1 0 512066457 86241280 16769 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21055 16769 231 231 0 20824 0
vsize: 84220
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 26811 0 0 0 55881 128 0 0 25 0 1 0 512066457 86241280 16781 4294967295 134512640 135450300 3221224608 3221223344 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21055 16781 231 231 0 20824 0
vsize: 84220
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27062 0 0 0 56880 129 0 0 25 0 1 0 512066457 86372352 16817 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21087 16817 231 231 0 20856 0
vsize: 84348
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27131 0 0 0 57878 131 0 0 25 0 1 0 512066457 86671360 16886 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21160 16886 231 231 0 20929 0
vsize: 84640
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27387 0 0 0 58877 132 0 0 25 0 1 0 512066457 86671360 16927 4294967295 134512640 135450300 3221224608 3221223436 134537814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21160 16927 231 231 0 20929 0
vsize: 84640
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27507 0 0 0 59876 133 0 0 25 0 1 0 512066457 86933504 16981 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21224 16981 231 231 0 20993 0
vsize: 84896
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27535 0 0 0 60876 134 0 0 25 0 1 0 512066457 86933504 17009 4294967295 134512640 135450300 3221224608 3221223344 134538554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21224 17009 231 231 0 20993 0
vsize: 84896
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27806 0 0 0 61874 136 0 0 25 0 1 0 512066457 87068672 17065 4294967295 134512640 135450300 3221224608 3221223472 134539197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21257 17065 231 231 0 21026 0
vsize: 85028
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 27826 0 0 0 62873 137 0 0 25 0 1 0 512066457 87068672 17085 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21257 17085 231 231 0 21026 0
vsize: 85028
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28296 0 0 0 63872 139 0 0 25 0 1 0 512066457 87597056 17241 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21386 17241 231 231 0 21155 0
vsize: 85544
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28306 0 0 0 64871 140 0 0 25 0 1 0 512066457 87597056 17251 4294967295 134512640 135450300 3221224608 3221223484 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21386 17251 231 231 0 21155 0
vsize: 85544
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28526 0 0 0 65870 140 0 0 25 0 1 0 512066457 87597056 17256 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21386 17256 231 231 0 21155 0
vsize: 85544
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28535 0 0 0 66869 142 0 0 25 0 1 0 512066457 87597056 17265 4294967295 134512640 135450300 3221224608 3221223332 134538169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21386 17265 231 231 0 21155 0
vsize: 85544
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28815 0 0 0 67868 143 0 0 25 0 1 0 512066457 87728128 17297 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21418 17297 231 231 0 21187 0
vsize: 85672
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28894 0 0 0 68866 145 0 0 25 0 1 0 512066457 87998464 17376 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21484 17376 231 231 0 21253 0
vsize: 85936
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 28983 0 0 0 69865 146 0 0 25 0 1 0 512066457 88264704 17432 4294967295 134512640 135450300 3221224608 3221223344 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21549 17432 231 231 0 21318 0
vsize: 86196
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29225 0 0 0 70864 147 0 0 25 0 1 0 512066457 89309184 17674 4294967295 134512640 135450300 3221224608 3221223024 134572998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21804 17674 231 231 0 21573 0
vsize: 87216
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29248 0 0 0 71863 149 0 0 25 0 1 0 512066457 88428544 17482 4294967295 134512640 135450300 3221224608 3221223328 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 17482 231 231 0 21358 0
vsize: 86356
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29272 0 0 0 72862 150 0 0 25 0 1 0 512066457 88428544 17506 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 17506 231 231 0 21358 0
vsize: 86356
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29515 0 0 0 73860 152 0 0 25 0 1 0 512066457 88428544 17534 4294967295 134512640 135450300 3221224608 3221223344 134538554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 17534 231 231 0 21358 0
vsize: 86356
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29560 0 0 0 74859 153 0 0 25 0 1 0 512066457 88428544 17579 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 17579 231 231 0 21358 0
vsize: 86356
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29802 0 0 0 75858 155 0 0 25 0 1 0 512066457 88428544 17606 4294967295 134512640 135450300 3221224608 3221223472 134539197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21589 17606 231 231 0 21358 0
vsize: 86356
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29815 0 0 0 76857 156 0 0 25 0 1 0 512066457 88559616 17619 4294967295 134512640 135450300 3221224608 3221223548 134530260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21621 17619 231 231 0 21390 0
vsize: 86484
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29834 0 0 0 77857 156 0 0 25 0 1 0 512066457 88559616 17638 4294967295 134512640 135450300 3221224608 3221223344 134538427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21621 17638 231 231 0 21390 0
vsize: 86484
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 29874 0 0 0 78855 158 0 0 25 0 1 0 512066457 88825856 17678 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21686 17678 231 231 0 21455 0
vsize: 86744
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30106 0 0 0 79854 159 0 0 25 0 1 0 512066457 88825856 17695 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21686 17695 231 231 0 21455 0
vsize: 86744
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30168 0 0 0 80853 160 0 0 25 0 1 0 512066457 88961024 17757 4294967295 134512640 135450300 3221224608 3221223436 134537814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21719 17757 231 231 0 21488 0
vsize: 86876
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30193 0 0 0 81852 161 0 0 25 0 1 0 512066457 88961024 17782 4294967295 134512640 135450300 3221224608 3221223440 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21719 17782 231 231 0 21488 0
vsize: 86876
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30465 0 0 0 82851 163 0 0 25 0 1 0 512066457 89092096 17806 4294967295 134512640 135450300 3221224608 3221223344 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 17806 231 231 0 21520 0
vsize: 87004
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30491 0 0 0 83850 164 0 0 25 0 1 0 512066457 89092096 17832 4294967295 134512640 135450300 3221224608 3221223344 134537876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 17832 231 231 0 21520 0
vsize: 87004
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30517 0 0 0 84849 166 0 0 25 0 1 0 512066457 89092096 17858 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 17858 231 231 0 21520 0
vsize: 87004
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30541 0 0 0 85847 167 0 0 25 0 1 0 512066457 89092096 17882 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 17882 231 231 0 21520 0
vsize: 87004
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30783 0 0 0 86846 169 0 0 25 0 1 0 512066457 89092096 17909 4294967295 134512640 135450300 3221224608 3221223344 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 17909 231 231 0 21520 0
vsize: 87004
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 30844 0 0 0 87845 170 0 0 25 0 1 0 512066457 89223168 17937 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 17937 231 231 0 21552 0
vsize: 87132
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31083 0 0 0 88844 171 0 0 25 0 1 0 512066457 89223168 17961 4294967295 134512640 135450300 3221224608 3221223040 134533524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 17961 231 231 0 21552 0
vsize: 87132
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22492
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31103 0 0 0 89844 172 0 0 25 0 1 0 512066457 89223168 17981 4294967295 134512640 135450300 3221224608 3221223344 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 17981 231 231 0 21552 0
vsize: 87132
[startup+910.208 s]
Raw data (loadavg): 1.07 0.99 0.91 2/56 22533
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31134 0 0 0 90861 173 0 0 25 0 1 0 512066457 89223168 18012 4294967295 134512640 135450300 3221224608 3221223344 134538627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 18012 231 231 0 21552 0
vsize: 87132
[startup+920.208 s]
Raw data (loadavg): 1.22 1.02 0.93 2/54 22545
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31365 0 0 0 91859 174 0 0 25 0 1 0 512066457 89223168 18028 4294967295 134512640 135450300 3221224608 3221223440 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 18028 231 231 0 21552 0
vsize: 87132
[startup+930.208 s]
Raw data (loadavg): 1.19 1.02 0.93 2/54 22545
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31454 0 0 0 92858 176 0 0 25 0 1 0 512066457 89489408 18084 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21848 18084 231 231 0 21617 0
vsize: 87392
[startup+940.424 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 22545
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31699 0 0 0 93878 177 0 0 25 0 1 0 512066457 89624576 18114 4294967295 134512640 135450300 3221224608 3221223536 134539548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21881 18114 231 231 0 21650 0
vsize: 87524
[startup+950.424 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 22545
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31701 0 0 0 94877 178 0 0 25 0 1 0 512066457 89624576 18116 4294967295 134512640 135450300 3221224608 3221223472 134539216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21881 18116 231 231 0 21650 0
vsize: 87524
[startup+960.424 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 22545
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31920 0 0 0 95876 180 0 0 25 0 1 0 512066457 89624576 18120 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21881 18120 231 231 0 21650 0
vsize: 87524
[startup+970.424 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 22545
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 31965 0 0 0 96875 181 0 0 25 0 1 0 512066457 89755648 18132 4294967295 134512640 135450300 3221224608 3221223344 134538084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21913 18132 231 231 0 21682 0
vsize: 87652
[startup+980.424 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32188 0 0 0 97873 183 0 0 25 0 1 0 512066457 89755648 18140 4294967295 134512640 135450300 3221224608 3221223344 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21913 18140 231 231 0 21682 0
vsize: 87652
[startup+990.424 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32202 0 0 0 98873 183 0 0 25 0 1 0 512066457 89755648 18154 4294967295 134512640 135450300 3221224608 3221223548 134530276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21913 18154 231 231 0 21682 0
vsize: 87652
[startup+1000.42 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32444 0 0 0 99872 185 0 0 25 0 1 0 512066457 89919488 18181 4294967295 134512640 135450300 3221224608 3221223344 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21953 18181 231 231 0 21722 0
vsize: 87812
[startup+1010.42 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32502 0 0 0 100870 186 0 0 25 0 1 0 512066457 90050560 18206 4294967295 134512640 135450300 3221224608 3221223344 134538498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21985 18206 231 231 0 21754 0
vsize: 87940
[startup+1020.42 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32561 0 0 0 101869 187 0 0 25 0 1 0 512066457 90185728 18265 4294967295 134512640 135450300 3221224608 3221223424 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22018 18265 231 231 0 21787 0
vsize: 88072
[startup+1030.42 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32781 0 0 0 102868 189 0 0 25 0 1 0 512066457 90185728 18270 4294967295 134512640 135450300 3221224608 3221223036 134533452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22018 18270 231 231 0 21787 0
vsize: 88072
[startup+1040.42 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32788 0 0 0 103868 190 0 0 25 0 1 0 512066457 90185728 18277 4294967295 134512640 135450300 3221224608 3221222960 134533303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22018 18277 231 231 0 21787 0
vsize: 88072
[startup+1050.42 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 32829 0 0 0 104867 191 0 0 25 0 1 0 512066457 90316800 18285 4294967295 134512640 135450300 3221224608 3221223032 134533456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22050 18285 231 231 0 21819 0
vsize: 88200
[startup+1060.43 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33050 0 0 0 105866 192 0 0 25 0 1 0 512066457 90316800 18291 4294967295 134512640 135450300 3221224608 3221223344 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22050 18291 231 231 0 21819 0
vsize: 88200
[startup+1070.43 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33094 0 0 0 106865 193 0 0 25 0 1 0 512066457 90447872 18302 4294967295 134512640 135450300 3221224608 3221223344 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22082 18302 231 231 0 21851 0
vsize: 88328
[startup+1080.42 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33311 0 0 0 107863 196 0 0 25 0 1 0 512066457 90447872 18304 4294967295 134512640 135450300 3221224608 3221223440 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22082 18304 231 231 0 21851 0
vsize: 88328
[startup+1090.42 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33358 0 0 0 108862 197 0 0 25 0 1 0 512066457 90578944 18318 4294967295 134512640 135450300 3221224608 3221223472 134539241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22114 18318 231 231 0 21883 0
vsize: 88456
[startup+1100.42 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33401 0 0 0 109860 198 0 0 25 0 1 0 512066457 90710016 18328 4294967295 134512640 135450300 3221224608 3221223344 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22146 18328 231 231 0 21915 0
vsize: 88584
[startup+1110.42 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33659 0 0 0 110859 200 0 0 25 0 1 0 512066457 90972160 18338 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22210 18338 231 231 0 21979 0
vsize: 88840
[startup+1120.42 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33664 0 0 0 111858 201 0 0 25 0 1 0 512066457 90972160 18343 4294967295 134512640 135450300 3221224608 3221223344 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22210 18343 231 231 0 21979 0
vsize: 88840
[startup+1130.42 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33940 0 0 0 112857 202 0 0 25 0 1 0 512066457 91238400 18404 4294967295 134512640 135450300 3221224608 3221223452 134538368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18404 231 231 0 22044 0
vsize: 89100
[startup+1140.42 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 33961 0 0 0 113856 203 0 0 25 0 1 0 512066457 91238400 18425 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18425 231 231 0 22044 0
vsize: 89100
[startup+1150.42 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34199 0 0 0 114855 205 0 0 25 0 1 0 512066457 91238400 18448 4294967295 134512640 135450300 3221224608 3221223344 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18448 231 231 0 22044 0
vsize: 89100
[startup+1160.43 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34202 0 0 0 115853 206 0 0 25 0 1 0 512066457 91238400 18451 4294967295 134512640 135450300 3221224608 3221222960 134533209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18451 231 231 0 22044 0
vsize: 89100
[startup+1170.43 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34205 0 0 0 116852 207 0 0 25 0 1 0 512066457 91238400 18454 4294967295 134512640 135450300 3221224608 3221223344 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18454 231 231 0 22044 0
vsize: 89100
[startup+1180.43 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34207 0 0 0 117851 209 0 0 25 0 1 0 512066457 91238400 18456 4294967295 134512640 135450300 3221224608 3221223548 134530387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18456 231 231 0 22044 0
vsize: 89100
[startup+1190.43 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34429 0 0 0 118851 210 0 0 25 0 1 0 512066457 91238400 18463 4294967295 134512640 135450300 3221224608 3221222960 134533081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18463 231 231 0 22044 0
vsize: 89100
[startup+1200.42 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22547
Raw data (stat): 22492 (PBS4) R 22491 28099 28098 0 -1 0 34444 0 0 0 119850 211 0 0 25 0 1 0 512066457 91238400 18478 4294967295 134512640 135450300 3221224608 3221223344 134538092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22275 18478 231 231 0 22044 0
vsize: 89100
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.46 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 22547
Raw data (stat): 22492 (PBS4) Z 22491 28099 28098 0 -1 1036 34444 0 0 0 119850 214 0 0 25 0 1 0 512066457 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.46
CPU time (s): 1200.65
CPU user time (s): 1198.5
CPU system time (s): 2.14767
CPU usage (%): 100.016
Max. virtual memory (Kb): 89100
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####