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/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUM	42c2d619b73aa24781f1b54bddde28cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.13
Number of variables	1534
Total number of constraints	126555
Number of constraints which are clauses	126555
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 7928

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-17 17:19:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3138 boxname=wulflinc5 idbench=349 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  42c2d619b73aa24781f1b54bddde28cc  /oldhome/oroussel/tmp/wulflinc5/normalized-frb59-26-1.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc5/normalized-frb59-26-1.opb
IDLAUNCH: 3138
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        847992 kB
Buffers:         36756 kB
Cached:         126416 kB
SwapCached:       2272 kB
Active:          69760 kB
Inactive:        98548 kB
HighTotal:      131008 kB
HighFree:          644 kB
LowTotal:       903652 kB
LowFree:        847348 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12816 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:39:47 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 3138 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc5/normalized-frb59-26-1.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.90 0.98 0.93 2/54 15608
Raw data (stat): 15608 (runsolver) R 15607 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454043395 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.92 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 4404 0 0 0 985 13 0 0 25 0 1 0 454043395 23261184 3669 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5679 3669 231 231 0 5448 0
vsize: 22716
[startup+20.0005 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 6755 0 0 0 1980 18 0 0 25 0 1 0 454043395 40038400 6020 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9775 6020 231 231 0 9544 0
vsize: 39100
[startup+30.0002 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 8811 0 0 0 2976 23 0 0 25 0 1 0 454043395 40173568 8076 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9808 8076 231 231 0 9577 0
vsize: 39232
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 10420 0 0 0 3972 27 0 0 25 0 1 0 454043395 73863168 9685 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18033 9685 231 231 0 17802 0
vsize: 72132
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 12114 0 0 0 4969 30 0 0 25 0 1 0 454043395 73998336 11379 4294967295 134512640 135450300 3221224640 3221223456 134547889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18066 11379 231 231 0 17835 0
vsize: 72264
[startup+60.0004 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 13891 0 0 0 5965 34 0 0 25 0 1 0 454043395 73998336 13156 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18066 13156 231 231 0 17835 0
vsize: 72264
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 15864 0 0 0 6962 38 0 0 25 0 1 0 454043395 74133504 15129 4294967295 134512640 135450300 3221224640 3221223472 134549466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18099 15129 231 231 0 17868 0
vsize: 72396
[startup+80.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 18271 0 0 0 7956 44 0 0 25 0 1 0 454043395 77279232 16767 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18867 16767 231 231 0 18636 0
vsize: 75468
[startup+90.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 20109 0 0 0 8953 47 0 0 25 0 1 0 454043395 144814080 18605 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35355 18605 231 231 0 35124 0
vsize: 141420
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 21941 0 0 0 9949 51 0 0 25 0 1 0 454043395 144814080 20437 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35355 20437 231 231 0 35124 0
vsize: 141420
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 23467 0 0 0 10946 55 0 0 25 0 1 0 454043395 144953344 21963 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35389 21963 231 231 0 35158 0
vsize: 141556
[startup+120.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 24500 0 0 0 11943 58 0 0 25 0 1 0 454043395 144953344 22996 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35389 22996 231 231 0 35158 0
vsize: 141556
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 24537 0 0 0 12943 58 0 0 25 0 1 0 454043395 145235968 23033 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35458 23033 231 231 0 35227 0
vsize: 141832
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 25433 0 0 0 13941 60 0 0 25 0 1 0 454043395 145555456 23929 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35536 23929 231 231 0 35305 0
vsize: 142144
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 27433 0 0 0 14937 65 0 0 25 0 1 0 454043395 145690624 25929 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35569 25929 231 231 0 35338 0
vsize: 142276
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 28752 0 0 0 15934 67 0 0 25 0 1 0 454043395 146247680 27248 4294967295 134512640 135450300 3221224640 3221223472 134549524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35705 27248 231 231 0 35474 0
vsize: 142820
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 30105 0 0 0 16930 71 0 0 25 0 1 0 454043395 146677760 28601 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35810 28601 231 231 0 35579 0
vsize: 143240
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 31700 0 0 0 17927 75 0 0 25 0 1 0 454043395 146677760 30196 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35810 30196 231 231 0 35579 0
vsize: 143240
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 31767 0 0 0 18927 75 0 0 25 0 1 0 454043395 146817024 30263 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35844 30263 231 231 0 35613 0
vsize: 143376
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 31809 0 0 0 19927 75 0 0 25 0 1 0 454043395 147095552 30305 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35912 30305 231 231 0 35681 0
vsize: 143648
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 31817 0 0 0 20927 75 0 0 25 0 1 0 454043395 147095552 30313 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35912 30313 231 231 0 35681 0
vsize: 143648
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 31985 0 0 0 21927 76 0 0 25 0 1 0 454043395 147230720 30481 4294967295 134512640 135450300 3221224640 3221223104 134532859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35945 30481 231 231 0 35714 0
vsize: 143780
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 33284 0 0 0 22923 79 0 0 25 0 1 0 454043395 147505152 31780 4294967295 134512640 135450300 3221224640 3221223472 134549456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36012 31780 231 231 0 35781 0
vsize: 144048
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 34407 0 0 0 23921 82 0 0 25 0 1 0 454043395 147505152 32903 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36012 32903 231 231 0 35781 0
vsize: 144048
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36061 0 0 0 24917 86 0 0 25 0 1 0 454043395 147644416 34557 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36046 34557 231 231 0 35815 0
vsize: 144184
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36544 0 0 0 25916 87 0 0 25 0 1 0 454043395 147935232 35040 4294967295 134512640 135450300 3221224640 3221223168 134543725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36117 35040 231 231 0 35886 0
vsize: 144468
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36549 0 0 0 26916 87 0 0 25 0 1 0 454043395 147935232 35045 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36117 35045 231 231 0 35886 0
vsize: 144468
[startup+280.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36779 0 0 0 27916 88 0 0 25 0 1 0 454043395 148901888 35275 4294967295 134512640 135450300 3221224640 3221223116 134572584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36353 35275 231 231 0 36122 0
vsize: 145412
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36883 0 0 0 28916 88 0 0 25 0 1 0 454043395 149327872 35379 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36457 35379 231 231 0 36226 0
vsize: 145828
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36894 0 0 0 29916 88 0 0 25 0 1 0 454043395 149327872 35390 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36457 35390 231 231 0 36226 0
vsize: 145828
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36940 0 0 0 30916 88 0 0 25 0 1 0 454043395 149618688 35436 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36528 35436 231 231 0 36297 0
vsize: 146112
[startup+320.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36945 0 0 0 31916 88 0 0 25 0 1 0 454043395 149618688 35441 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36528 35441 231 231 0 36297 0
vsize: 146112
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 36989 0 0 0 32916 89 0 0 25 0 1 0 454043395 149753856 35485 4294967295 134512640 135450300 3221224640 3221223024 134579416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36561 35485 231 231 0 36330 0
vsize: 146244
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 37051 0 0 0 33916 89 0 0 25 0 1 0 454043395 150065152 35547 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36637 35547 231 231 0 36406 0
vsize: 146548
[startup+350.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 37059 0 0 0 34916 89 0 0 25 0 1 0 454043395 150065152 35555 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36637 35555 231 231 0 36406 0
vsize: 146548
[startup+360.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 37873 0 0 0 35915 90 0 0 25 0 1 0 454043395 284573696 36369 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69476 36369 231 231 0 69245 0
vsize: 277904
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 38790 0 0 0 36912 93 0 0 25 0 1 0 454043395 284717056 37286 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69511 37286 231 231 0 69280 0
vsize: 278044
[startup+380.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40165 0 0 0 37909 96 0 0 25 0 1 0 454043395 284717056 38661 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69511 38661 231 231 0 69280 0
vsize: 278044
[startup+390.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40754 0 0 0 38908 97 0 0 25 0 1 0 454043395 284995584 39250 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69579 39250 231 231 0 69348 0
vsize: 278316
[startup+400.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40758 0 0 0 39908 98 0 0 25 0 1 0 454043395 284995584 39254 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69579 39254 231 231 0 69348 0
vsize: 278316
[startup+410.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40811 0 0 0 40908 98 0 0 25 0 1 0 454043395 285290496 39307 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69651 39307 231 231 0 69420 0
vsize: 278604
[startup+420.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40919 0 0 0 41908 98 0 0 25 0 1 0 454043395 285724672 39415 4294967295 134512640 135450300 3221224640 3221223116 134571777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69757 39415 231 231 0 69526 0
vsize: 279028
[startup+430.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40935 0 0 0 42908 98 0 0 25 0 1 0 454043395 285724672 39431 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69757 39431 231 231 0 69526 0
vsize: 279028
[startup+440.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40982 0 0 0 43908 98 0 0 25 0 1 0 454043395 286035968 39478 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69833 39478 231 231 0 69602 0
vsize: 279332
[startup+450.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 40984 0 0 0 44908 99 0 0 25 0 1 0 454043395 286035968 39480 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69833 39480 231 231 0 69602 0
vsize: 279332
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 41217 0 0 0 45907 99 0 0 25 0 1 0 454043395 286035968 39713 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69833 39713 231 231 0 69602 0
vsize: 279332
[startup+470.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42440 0 0 0 46905 102 0 0 25 0 1 0 454043395 286035968 40936 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69833 40936 231 231 0 69602 0
vsize: 279332
[startup+480.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42475 0 0 0 47905 102 0 0 25 0 1 0 454043395 286171136 40971 4294967295 134512640 135450300 3221224640 3221223104 134532638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69866 40971 231 231 0 69635 0
vsize: 279464
[startup+490.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42477 0 0 0 48905 103 0 0 25 0 1 0 454043395 286171136 40973 4294967295 134512640 135450300 3221224640 3221223456 134537251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69866 40973 231 231 0 69635 0
vsize: 279464
[startup+500.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42517 0 0 0 49905 103 0 0 25 0 1 0 454043395 286326784 41013 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69904 41013 231 231 0 69673 0
vsize: 279616
[startup+510.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42523 0 0 0 50905 103 0 0 25 0 1 0 454043395 286326784 41019 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69904 41019 231 231 0 69673 0
vsize: 279616
[startup+520.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42616 0 0 0 51905 103 0 0 25 0 1 0 454043395 286785536 41112 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70016 41112 231 231 0 69785 0
vsize: 280064
[startup+530.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42631 0 0 0 52904 104 0 0 25 0 1 0 454043395 286785536 41127 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70016 41127 231 231 0 69785 0
vsize: 280064
[startup+540.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42651 0 0 0 53904 104 0 0 25 0 1 0 454043395 286957568 41147 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70058 41147 231 231 0 69827 0
vsize: 280232
[startup+550.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 42689 0 0 0 54904 104 0 0 25 0 1 0 454043395 287113216 41185 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70096 41185 231 231 0 69865 0
vsize: 280384
[startup+560.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43729 0 0 0 55901 108 0 0 25 0 1 0 454043395 287113216 42225 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70096 42225 231 231 0 69865 0
vsize: 280384
[startup+570.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43764 0 0 0 56901 108 0 0 25 0 1 0 454043395 287285248 42260 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70138 42260 231 231 0 69907 0
vsize: 280552
[startup+580.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43768 0 0 0 57901 108 0 0 25 0 1 0 454043395 287285248 42264 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70138 42264 231 231 0 69907 0
vsize: 280552
[startup+590.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43843 0 0 0 58901 108 0 0 25 0 1 0 454043395 287580160 42339 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70210 42339 231 231 0 69979 0
vsize: 280840
[startup+600.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43845 0 0 0 59901 108 0 0 25 0 1 0 454043395 287580160 42341 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70210 42341 231 231 0 69979 0
vsize: 280840
[startup+610.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43862 0 0 0 60901 108 0 0 25 0 1 0 454043395 287580160 42358 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70210 42358 231 231 0 69979 0
vsize: 280840
[startup+620.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43906 0 0 0 61901 109 0 0 25 0 1 0 454043395 287870976 42402 4294967295 134512640 135450300 3221224640 3221223120 134580011 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70281 42402 231 231 0 70050 0
vsize: 281124
[startup+630.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43923 0 0 0 62901 109 0 0 25 0 1 0 454043395 287870976 42419 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70281 42419 231 231 0 70050 0
vsize: 281124
[startup+640.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 43973 0 0 0 63901 109 0 0 25 0 1 0 454043395 288157696 42469 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70351 42469 231 231 0 70120 0
vsize: 281404
[startup+650.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 44746 0 0 0 64900 110 0 0 25 0 1 0 454043395 288157696 43242 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70351 43242 231 231 0 70120 0
vsize: 281404
[startup+660.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 44784 0 0 0 65900 111 0 0 25 0 1 0 454043395 288296960 43280 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70385 43280 231 231 0 70154 0
vsize: 281540
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 44825 0 0 0 66900 111 0 0 25 0 1 0 454043395 288444416 43321 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70421 43321 231 231 0 70190 0
vsize: 281684
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 44829 0 0 0 67900 111 0 0 25 0 1 0 454043395 288444416 43325 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70421 43325 231 231 0 70190 0
vsize: 281684
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 44958 0 0 0 68899 112 0 0 25 0 1 0 454043395 289062912 43454 4294967295 134512640 135450300 3221224640 3221223360 134535968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70572 43454 231 231 0 70341 0
vsize: 282288
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 44969 0 0 0 69899 112 0 0 25 0 1 0 454043395 289062912 43465 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70572 43465 231 231 0 70341 0
vsize: 282288
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45051 0 0 0 70899 112 0 0 25 0 1 0 454043395 289374208 43547 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70648 43547 231 231 0 70417 0
vsize: 282592
[startup+720.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45070 0 0 0 71899 113 0 0 25 0 1 0 454043395 289374208 43566 4294967295 134512640 135450300 3221224640 3221223248 134622106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70648 43566 231 231 0 70417 0
vsize: 282592
[startup+730.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45085 0 0 0 72899 113 0 0 25 0 1 0 454043395 289538048 43581 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70688 43581 231 231 0 70457 0
vsize: 282752
[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45643 0 0 0 73898 114 0 0 25 0 1 0 454043395 289538048 44139 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70688 44139 231 231 0 70457 0
vsize: 282752
[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45673 0 0 0 74898 115 0 0 25 0 1 0 454043395 289685504 44169 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70724 44169 231 231 0 70493 0
vsize: 282896
[startup+760.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45693 0 0 0 75898 115 0 0 25 0 1 0 454043395 289685504 44189 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70724 44189 231 231 0 70493 0
vsize: 282896
[startup+770.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45697 0 0 0 76898 115 0 0 25 0 1 0 454043395 289685504 44193 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70724 44193 231 231 0 70493 0
vsize: 282896
[startup+780.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45727 0 0 0 77898 115 0 0 25 0 1 0 454043395 289849344 44223 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70764 44223 231 231 0 70533 0
vsize: 283056
[startup+790.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45729 0 0 0 78898 115 0 0 25 0 1 0 454043395 289849344 44225 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70764 44225 231 231 0 70533 0
vsize: 283056
[startup+800.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45811 0 0 0 79898 116 0 0 25 0 1 0 454043395 290148352 44307 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70837 44307 231 231 0 70606 0
vsize: 283348
[startup+810.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 45854 0 0 0 80898 116 0 0 25 0 1 0 454043395 290295808 44350 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70873 44350 231 231 0 70642 0
vsize: 283492
[startup+820.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46219 0 0 0 81897 117 0 0 25 0 1 0 454043395 290459648 44715 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70913 44715 231 231 0 70682 0
vsize: 283652
[startup+830.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46309 0 0 0 82896 117 0 0 25 0 1 0 454043395 290623488 44805 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70953 44805 231 231 0 70722 0
vsize: 283812
[startup+840.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46312 0 0 0 83896 118 0 0 25 0 1 0 454043395 290623488 44808 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70953 44808 231 231 0 70722 0
vsize: 283812
[startup+850.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46348 0 0 0 84896 118 0 0 25 0 1 0 454043395 290779136 44844 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70991 44844 231 231 0 70760 0
vsize: 283964
[startup+860.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46350 0 0 0 85896 118 0 0 25 0 1 0 454043395 290779136 44846 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70991 44846 231 231 0 70760 0
vsize: 283964
[startup+870.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46422 0 0 0 86896 118 0 0 25 0 1 0 454043395 291074048 44918 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71063 44918 231 231 0 70832 0
vsize: 284252
[startup+880.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46424 0 0 0 87896 118 0 0 25 0 1 0 454043395 291074048 44920 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71063 44920 231 231 0 70832 0
vsize: 284252
[startup+890.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46451 0 0 0 88896 118 0 0 25 0 1 0 454043395 291266560 44947 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71110 44947 231 231 0 70879 0
vsize: 284440
[startup+900.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46473 0 0 0 89897 118 0 0 25 0 1 0 454043395 291266560 44969 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71110 44969 231 231 0 70879 0
vsize: 284440
[startup+910.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46476 0 0 0 90896 119 0 0 25 0 1 0 454043395 291266560 44972 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71110 44972 231 231 0 70879 0
vsize: 284440
[startup+920.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46783 0 0 0 91896 119 0 0 25 0 1 0 454043395 291266560 45279 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71110 45279 231 231 0 70879 0
vsize: 284440
[startup+930.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46809 0 0 0 92896 119 0 0 25 0 1 0 454043395 291463168 45305 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71158 45305 231 231 0 70927 0
vsize: 284632
[startup+940.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46811 0 0 0 93896 120 0 0 25 0 1 0 454043395 291463168 45307 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71158 45307 231 231 0 70927 0
vsize: 284632
[startup+950.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46829 0 0 0 94896 120 0 0 25 0 1 0 454043395 291463168 45325 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71158 45325 231 231 0 70927 0
vsize: 284632
[startup+960.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46831 0 0 0 95896 120 0 0 25 0 1 0 454043395 291463168 45327 4294967295 134512640 135450300 3221224640 3221223168 134544107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71158 45327 231 231 0 70927 0
vsize: 284632
[startup+970.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46851 0 0 0 96896 120 0 0 25 0 1 0 454043395 291627008 45347 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71198 45347 231 231 0 70967 0
vsize: 284792
[startup+980.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46853 0 0 0 97896 120 0 0 25 0 1 0 454043395 291627008 45349 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71198 45349 231 231 0 70967 0
vsize: 284792
[startup+990.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46886 0 0 0 98896 120 0 0 25 0 1 0 454043395 291786752 45382 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71237 45382 231 231 0 71006 0
vsize: 284948
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46889 0 0 0 99896 121 0 0 25 0 1 0 454043395 291786752 45385 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71237 45385 231 231 0 71006 0
vsize: 284948
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 46918 0 0 0 100896 121 0 0 25 0 1 0 454043395 291786752 45414 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71237 45414 231 231 0 71006 0
vsize: 284948
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47151 0 0 0 101896 122 0 0 25 0 1 0 454043395 291917824 45647 4294967295 134512640 135450300 3221224640 3221223552 134597082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71269 45647 231 231 0 71038 0
vsize: 285076
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47173 0 0 0 102896 122 0 0 25 0 1 0 454043395 291917824 45669 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71269 45669 231 231 0 71038 0
vsize: 285076
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47215 0 0 0 103896 122 0 0 25 0 1 0 454043395 292229120 45711 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71345 45711 231 231 0 71114 0
vsize: 285380
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47219 0 0 0 104896 122 0 0 25 0 1 0 454043395 292229120 45715 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71345 45715 231 231 0 71114 0
vsize: 285380
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47260 0 0 0 105896 122 0 0 25 0 1 0 454043395 292380672 45756 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71382 45756 231 231 0 71151 0
vsize: 285528
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47263 0 0 0 106896 122 0 0 25 0 1 0 454043395 292380672 45759 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71382 45759 231 231 0 71151 0
vsize: 285528
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47313 0 0 0 107896 123 0 0 25 0 1 0 454043395 292528128 45809 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71418 45809 231 231 0 71187 0
vsize: 285672
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47356 0 0 0 108896 123 0 0 25 0 1 0 454043395 292691968 45852 4294967295 134512640 135450300 3221224640 3221223140 134580057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71458 45852 231 231 0 71227 0
vsize: 285832
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47359 0 0 0 109896 123 0 0 25 0 1 0 454043395 292691968 45855 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71458 45855 231 231 0 71227 0
vsize: 285832
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47522 0 0 0 110896 123 0 0 25 0 1 0 454043395 292839424 46018 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71494 46018 231 231 0 71263 0
vsize: 285976
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47582 0 0 0 111895 123 0 0 25 0 1 0 454043395 293122048 46078 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71563 46078 231 231 0 71332 0
vsize: 286252
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47596 0 0 0 112896 123 0 0 25 0 1 0 454043395 293269504 46092 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71599 46092 231 231 0 71368 0
vsize: 286396
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47599 0 0 0 113896 124 0 0 25 0 1 0 454043395 293269504 46095 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71599 46095 231 231 0 71368 0
vsize: 286396
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47620 0 0 0 114896 124 0 0 25 0 1 0 454043395 293269504 46116 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71599 46116 231 231 0 71368 0
vsize: 286396
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47623 0 0 0 115896 124 0 0 25 0 1 0 454043395 293269504 46119 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71599 46119 231 231 0 71368 0
vsize: 286396
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47635 0 0 0 116896 124 0 0 25 0 1 0 454043395 293269504 46131 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71599 46131 231 231 0 71368 0
vsize: 286396
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47637 0 0 0 117896 124 0 0 25 0 1 0 454043395 293269504 46133 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71599 46133 231 231 0 71368 0
vsize: 286396
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47660 0 0 0 118896 125 0 0 25 0 1 0 454043395 293433344 46156 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71639 46156 231 231 0 71408 0
vsize: 286556
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 15608
Raw data (stat): 15608 (PBS4) R 15607 24215 24214 0 -1 0 47844 0 0 0 119895 125 0 0 25 0 1 0 454043395 293584896 46340 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71676 46340 231 231 0 71445 0
vsize: 286704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 15608
Raw data (stat): 15608 (PBS4) Z 15607 24215 24214 0 -1 1036 47844 0 0 0 119895 134 0 0 25 0 1 0 454043395 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.1
CPU time (s): 1200.3
CPU user time (s): 1198.96
CPU system time (s): 1.3428
CPU usage (%): 100.017
Max. virtual memory (Kb): 286704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####