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/frb56-25-opb/normalized-frb56-25-3.opb
MD5SUM	3f087816af6a7fb75be2e9f81cc24df7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
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.11
Number of variables	1400
Total number of constraints	109379
Number of constraints which are clauses	109379
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 7924

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-17 17:19:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3111 boxname=wulflinc29 idbench=346 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  3f087816af6a7fb75be2e9f81cc24df7  /oldhome/oroussel/tmp/wulflinc29/normalized-frb56-25-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-frb56-25-3.opb
IDLAUNCH: 3111
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        775896 kB
Buffers:         38008 kB
Cached:         181960 kB
SwapCached:         12 kB
Active:          82076 kB
Inactive:       140808 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        775644 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            30264 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:39:40 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 3111 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-frb56-25-3.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.91 2/54 19318
Raw data (stat): 19318 (runsolver) R 19317 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512260953 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.87 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 4437 0 0 0 984 14 0 0 25 0 1 0 512260953 22974464 3702 4294967295 134512640 135450300 3221224640 3221223096 134580043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5609 3702 231 231 0 5378 0
vsize: 22436
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 6681 0 0 0 1979 19 0 0 25 0 1 0 512260953 39886848 5946 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9738 5946 231 231 0 9507 0
vsize: 38952
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 8778 0 0 0 2974 24 0 0 25 0 1 0 512260953 39886848 8043 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9738 8043 231 231 0 9507 0
vsize: 38952
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 10771 0 0 0 3970 28 0 0 25 0 1 0 512260953 73580544 10036 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17964 10036 231 231 0 17733 0
vsize: 71856
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 11987 0 0 0 4967 31 0 0 25 0 1 0 512260953 73580544 11252 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17964 11252 231 231 0 17733 0
vsize: 71856
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 14052 0 0 0 5963 35 0 0 25 0 1 0 512260953 73728000 13317 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18000 13317 231 231 0 17769 0
vsize: 72000
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 15357 0 0 0 6961 38 0 0 25 0 1 0 512260953 73728000 14622 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18000 14622 231 231 0 17769 0
vsize: 72000
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 17427 0 0 0 7957 42 0 0 25 0 1 0 512260953 74428416 16692 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18171 16692 231 231 0 17940 0
vsize: 72684
[startup+90.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 19190 0 0 0 8953 46 0 0 25 0 1 0 512260953 141684736 18455 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34591 18455 231 231 0 34360 0
vsize: 138364
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 20939 0 0 0 9949 50 0 0 25 0 1 0 512260953 141684736 20204 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34591 20204 231 231 0 34360 0
vsize: 138364
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 22263 0 0 0 10945 54 0 0 25 0 1 0 512260953 142409728 21528 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34768 21528 231 231 0 34537 0
vsize: 139072
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 23523 0 0 0 11942 57 0 0 25 0 1 0 512260953 142409728 22788 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34768 22788 231 231 0 34537 0
vsize: 139072
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 25180 0 0 0 12939 61 0 0 25 0 1 0 512260953 143159296 24445 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34951 24445 231 231 0 34720 0
vsize: 139804
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 25588 0 0 0 13937 62 0 0 25 0 1 0 512260953 143454208 24853 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35023 24853 231 231 0 34792 0
vsize: 140092
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 25643 0 0 0 14938 62 0 0 25 0 1 0 512260953 143613952 24908 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35062 24908 231 231 0 34831 0
vsize: 140248
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 25717 0 0 0 15938 62 0 0 25 0 1 0 512260953 143749120 24982 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35095 24982 231 231 0 34864 0
vsize: 140380
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 26973 0 0 0 16934 66 0 0 25 0 1 0 512260953 143884288 26238 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35128 26238 231 231 0 34897 0
vsize: 140512
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 28211 0 0 0 17932 68 0 0 25 0 1 0 512260953 144162816 27476 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35196 27476 231 231 0 34965 0
vsize: 140784
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 29538 0 0 0 18929 72 0 0 25 0 1 0 512260953 144162816 28803 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35196 28803 231 231 0 34965 0
vsize: 140784
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 31293 0 0 0 19924 76 0 0 25 0 1 0 512260953 144302080 30558 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35230 30558 231 231 0 34999 0
vsize: 140920
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 31468 0 0 0 20924 77 0 0 25 0 1 0 512260953 144445440 30733 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35265 30733 231 231 0 35034 0
vsize: 141060
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 31507 0 0 0 21924 77 0 0 25 0 1 0 512260953 144605184 30772 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35304 30772 231 231 0 35073 0
vsize: 141216
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 31607 0 0 0 22924 77 0 0 25 0 1 0 512260953 145043456 30872 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35411 30872 231 231 0 35180 0
vsize: 141644
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 31716 0 0 0 23923 78 0 0 25 0 1 0 512260953 145645568 30981 4294967295 134512640 135450300 3221224640 3221223472 134549507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35558 30981 231 231 0 35327 0
vsize: 142232
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 31835 0 0 0 24923 78 0 0 25 0 1 0 512260953 146227200 31100 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35700 31100 231 231 0 35469 0
vsize: 142800
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 32571 0 0 0 25921 81 0 0 25 0 1 0 512260953 146362368 31836 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35733 31836 231 231 0 35502 0
vsize: 142932
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 32587 0 0 0 26921 81 0 0 25 0 1 0 512260953 146518016 31852 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35771 31852 231 231 0 35540 0
vsize: 143084
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 32644 0 0 0 27921 81 0 0 25 0 1 0 512260953 146661376 31909 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35806 31909 231 231 0 35575 0
vsize: 143224
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 32704 0 0 0 28920 82 0 0 25 0 1 0 512260953 146944000 31969 4294967295 134512640 135450300 3221224640 3221223104 134532585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35875 31969 231 231 0 35644 0
vsize: 143500
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 32711 0 0 0 29920 82 0 0 25 0 1 0 512260953 146944000 31976 4294967295 134512640 135450300 3221224640 3221223024 134602314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35875 31976 231 231 0 35644 0
vsize: 143500
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 33195 0 0 0 30919 84 0 0 25 0 1 0 512260953 147222528 32460 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35943 32460 231 231 0 35712 0
vsize: 143772
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 34266 0 0 0 31916 87 0 0 25 0 1 0 512260953 147222528 33531 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35943 33531 231 231 0 35712 0
vsize: 143772
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 35908 0 0 0 32913 90 0 0 25 0 1 0 512260953 147369984 35173 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35979 35173 231 231 0 35748 0
vsize: 143916
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 36270 0 0 0 33912 91 0 0 25 0 1 0 512260953 147824640 35535 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36090 35535 231 231 0 35859 0
vsize: 144360
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 36288 0 0 0 34912 91 0 0 25 0 1 0 512260953 147824640 35553 4294967295 134512640 135450300 3221224640 3221223360 134598272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36090 35553 231 231 0 35859 0
vsize: 144360
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 36329 0 0 0 35912 92 0 0 25 0 1 0 512260953 148103168 35594 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36158 35594 231 231 0 35927 0
vsize: 144632
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 36381 0 0 0 36912 92 0 0 25 0 1 0 512260953 148250624 35646 4294967295 134512640 135450300 3221224640 3221223024 134602300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36194 35646 231 231 0 35963 0
vsize: 144776
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 36451 0 0 0 37912 92 0 0 25 0 1 0 512260953 148660224 35716 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36294 35716 231 231 0 36063 0
vsize: 145176
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 36464 0 0 0 38912 92 0 0 25 0 1 0 512260953 148660224 35729 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36294 35729 231 231 0 36063 0
vsize: 145176
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 37077 0 0 0 39911 93 0 0 25 0 1 0 512260953 283013120 36342 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69095 36342 231 231 0 68864 0
vsize: 276380
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 38716 0 0 0 40909 96 0 0 25 0 1 0 512260953 286322688 37212 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69903 37212 231 231 0 69672 0
vsize: 279612
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 38719 0 0 0 41909 96 0 0 25 0 1 0 512260953 286322688 37215 4294967295 134512640 135450300 3221224640 3221223168 134544647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69903 37215 231 231 0 69672 0
vsize: 279612
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 38740 0 0 0 42908 96 0 0 25 0 1 0 512260953 286457856 37236 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69936 37236 231 231 0 69705 0
vsize: 279744
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 38743 0 0 0 43909 96 0 0 25 0 1 0 512260953 286457856 37239 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69936 37239 231 231 0 69705 0
vsize: 279744
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 38809 0 0 0 44908 97 0 0 25 0 1 0 512260953 286597120 37305 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69970 37305 231 231 0 69739 0
vsize: 279880
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 38871 0 0 0 45909 97 0 0 25 0 1 0 512260953 286904320 37367 4294967295 134512640 135450300 3221224640 3221223248 134537667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70045 37367 231 231 0 69814 0
vsize: 280180
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 38874 0 0 0 46909 97 0 0 25 0 1 0 512260953 286904320 37370 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70045 37370 231 231 0 69814 0
vsize: 280180
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 39652 0 0 0 47907 99 0 0 25 0 1 0 512260953 287174656 38148 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70111 38148 231 231 0 69880 0
vsize: 280444
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 39957 0 0 0 48906 100 0 0 25 0 1 0 512260953 287326208 38453 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70148 38453 231 231 0 69917 0
vsize: 280592
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 39960 0 0 0 49906 100 0 0 25 0 1 0 512260953 287326208 38456 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70148 38456 231 231 0 69917 0
vsize: 280592
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 40007 0 0 0 50906 100 0 0 25 0 1 0 512260953 287485952 38503 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70187 38503 231 231 0 69956 0
vsize: 280748
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 40051 0 0 0 51906 101 0 0 25 0 1 0 512260953 287621120 38547 4294967295 134512640 135450300 3221224640 3221223360 134535974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70220 38547 231 231 0 69989 0
vsize: 280880
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 40054 0 0 0 52906 101 0 0 25 0 1 0 512260953 287621120 38550 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70220 38550 231 231 0 69989 0
vsize: 280880
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 40146 0 0 0 53906 101 0 0 25 0 1 0 512260953 288075776 38642 4294967295 134512640 135450300 3221224640 3221223376 134538803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70331 38642 231 231 0 70100 0
vsize: 281324
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 40199 0 0 0 54906 101 0 0 25 0 1 0 512260953 288239616 38695 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70371 38695 231 231 0 70140 0
vsize: 281484
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 40907 0 0 0 55904 103 0 0 25 0 1 0 512260953 288403456 39403 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70411 39403 231 231 0 70180 0
vsize: 281644
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41002 0 0 0 56904 104 0 0 25 0 1 0 512260953 288567296 39498 4294967295 134512640 135450300 3221224640 3221223104 134532539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70451 39498 231 231 0 70220 0
vsize: 281804
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41005 0 0 0 57904 104 0 0 25 0 1 0 512260953 288567296 39501 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70451 39501 231 231 0 70220 0
vsize: 281804
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41034 0 0 0 58904 104 0 0 25 0 1 0 512260953 288702464 39530 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70484 39530 231 231 0 70253 0
vsize: 281936
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41090 0 0 0 59904 104 0 0 25 0 1 0 512260953 288862208 39586 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70523 39586 231 231 0 70292 0
vsize: 282092
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41103 0 0 0 60904 105 0 0 25 0 1 0 512260953 289009664 39599 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70559 39599 231 231 0 70328 0
vsize: 282236
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41154 0 0 0 61903 105 0 0 25 0 1 0 512260953 289157120 39650 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70595 39650 231 231 0 70364 0
vsize: 282380
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41181 0 0 0 62903 106 0 0 25 0 1 0 512260953 289288192 39677 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70627 39677 231 231 0 70396 0
vsize: 282508
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41729 0 0 0 63902 107 0 0 25 0 1 0 512260953 289419264 40225 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70659 40225 231 231 0 70428 0
vsize: 282636
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41748 0 0 0 64902 107 0 0 25 0 1 0 512260953 289419264 40244 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70659 40244 231 231 0 70428 0
vsize: 282636
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41807 0 0 0 65902 107 0 0 25 0 1 0 512260953 289730560 40303 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70735 40303 231 231 0 70504 0
vsize: 282940
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41814 0 0 0 66902 108 0 0 25 0 1 0 512260953 289730560 40310 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70735 40310 231 231 0 70504 0
vsize: 282940
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41866 0 0 0 67901 108 0 0 25 0 1 0 512260953 290017280 40362 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70805 40362 231 231 0 70574 0
vsize: 283220
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41890 0 0 0 68902 108 0 0 25 0 1 0 512260953 290017280 40386 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70805 40386 231 231 0 70574 0
vsize: 283220
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41899 0 0 0 69901 108 0 0 25 0 1 0 512260953 290164736 40395 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70841 40395 231 231 0 70610 0
vsize: 283364
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 41937 0 0 0 70902 108 0 0 25 0 1 0 512260953 290328576 40433 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70881 40433 231 231 0 70650 0
vsize: 283524
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42341 0 0 0 71901 109 0 0 25 0 1 0 512260953 290328576 40837 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70881 40837 231 231 0 70650 0
vsize: 283524
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42377 0 0 0 72901 109 0 0 25 0 1 0 512260953 290480128 40873 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70918 40873 231 231 0 70687 0
vsize: 283672
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42411 0 0 0 73901 110 0 0 25 0 1 0 512260953 290643968 40907 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70958 40907 231 231 0 70727 0
vsize: 283832
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42414 0 0 0 74901 110 0 0 25 0 1 0 512260953 290643968 40910 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70958 40910 231 231 0 70727 0
vsize: 283832
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42441 0 0 0 75901 110 0 0 25 0 1 0 512260953 290807808 40937 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70998 40937 231 231 0 70767 0
vsize: 283992
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42472 0 0 0 76901 110 0 0 25 0 1 0 512260953 290963456 40968 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71036 40968 231 231 0 70805 0
vsize: 284144
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42475 0 0 0 77901 110 0 0 25 0 1 0 512260953 290963456 40971 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71036 40971 231 231 0 70805 0
vsize: 284144
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42497 0 0 0 78901 111 0 0 25 0 1 0 512260953 290963456 40993 4294967295 134512640 135450300 3221224640 3221223456 134547894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71036 40993 231 231 0 70805 0
vsize: 284144
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42788 0 0 0 79901 111 0 0 25 0 1 0 512260953 290963456 41284 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71036 41284 231 231 0 70805 0
vsize: 284144
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42863 0 0 0 80901 112 0 0 25 0 1 0 512260953 291381248 41359 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71138 41359 231 231 0 70907 0
vsize: 284552
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42865 0 0 0 81901 112 0 0 25 0 1 0 512260953 291381248 41361 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71138 41361 231 231 0 70907 0
vsize: 284552
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42881 0 0 0 82901 112 0 0 25 0 1 0 512260953 291381248 41377 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71138 41377 231 231 0 70907 0
vsize: 284552
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42908 0 0 0 83901 112 0 0 25 0 1 0 512260953 291524608 41404 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71173 41404 231 231 0 70942 0
vsize: 284692
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42911 0 0 0 84901 112 0 0 25 0 1 0 512260953 291524608 41407 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71173 41407 231 231 0 70942 0
vsize: 284692
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42954 0 0 0 85901 112 0 0 25 0 1 0 512260953 291663872 41450 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71207 41450 231 231 0 70976 0
vsize: 284828
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42964 0 0 0 86901 112 0 0 25 0 1 0 512260953 291803136 41460 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71241 41460 231 231 0 71010 0
vsize: 284964
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 42991 0 0 0 87901 113 0 0 25 0 1 0 512260953 291803136 41487 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71241 41487 231 231 0 71010 0
vsize: 284964
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43021 0 0 0 88900 113 0 0 25 0 1 0 512260953 291942400 41517 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71275 41517 231 231 0 71044 0
vsize: 285100
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43035 0 0 0 89900 113 0 0 25 0 1 0 512260953 292106240 41531 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71315 41531 231 231 0 71084 0
vsize: 285260
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43081 0 0 0 90900 114 0 0 25 0 1 0 512260953 292286464 41577 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71359 41577 231 231 0 71128 0
vsize: 285436
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43083 0 0 0 91900 114 0 0 25 0 1 0 512260953 292286464 41579 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71359 41579 231 231 0 71128 0
vsize: 285436
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43109 0 0 0 92900 114 0 0 25 0 1 0 512260953 292286464 41605 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71359 41605 231 231 0 71128 0
vsize: 285436
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43175 0 0 0 93900 114 0 0 25 0 1 0 512260953 292597760 41671 4294967295 134512640 135450300 3221224640 3221223472 134549521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71435 41671 231 231 0 71204 0
vsize: 285740
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43183 0 0 0 94900 114 0 0 25 0 1 0 512260953 292597760 41679 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71435 41679 231 231 0 71204 0
vsize: 285740
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43507 0 0 0 95900 115 0 0 25 0 1 0 512260953 292749312 42003 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71472 42003 231 231 0 71241 0
vsize: 285888
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43510 0 0 0 96899 116 0 0 25 0 1 0 512260953 292749312 42006 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71472 42006 231 231 0 71241 0
vsize: 285888
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43547 0 0 0 97900 116 0 0 25 0 1 0 512260953 292749312 42043 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71472 42043 231 231 0 71241 0
vsize: 285888
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43572 0 0 0 98900 116 0 0 25 0 1 0 512260953 292888576 42068 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71506 42068 231 231 0 71275 0
vsize: 286024
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43576 0 0 0 99899 116 0 0 25 0 1 0 512260953 292888576 42072 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71506 42072 231 231 0 71275 0
vsize: 286024
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43585 0 0 0 100899 117 0 0 25 0 1 0 512260953 292888576 42081 4294967295 134512640 135450300 3221224640 3221223024 134602494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71506 42081 231 231 0 71275 0
vsize: 286024
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43607 0 0 0 101899 117 0 0 25 0 1 0 512260953 293093376 42103 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71556 42103 231 231 0 71325 0
vsize: 286224
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43666 0 0 0 102899 117 0 0 25 0 1 0 512260953 293093376 42162 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71556 42162 231 231 0 71325 0
vsize: 286224
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43750 0 0 0 103899 117 0 0 25 0 1 0 512260953 293093376 42246 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71556 42246 231 231 0 71325 0
vsize: 286224
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43753 0 0 0 104899 117 0 0 25 0 1 0 512260953 293093376 42249 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71556 42249 231 231 0 71325 0
vsize: 286224
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43788 0 0 0 105899 117 0 0 25 0 1 0 512260953 293240832 42284 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71592 42284 231 231 0 71361 0
vsize: 286368
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43820 0 0 0 106899 118 0 0 25 0 1 0 512260953 293404672 42316 4294967295 134512640 135450300 3221224640 3221223120 134580016 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71632 42316 231 231 0 71401 0
vsize: 286528
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43827 0 0 0 107899 118 0 0 25 0 1 0 512260953 293404672 42323 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71632 42323 231 231 0 71401 0
vsize: 286528
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43838 0 0 0 108899 118 0 0 25 0 1 0 512260953 293404672 42334 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71632 42334 231 231 0 71401 0
vsize: 286528
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43858 0 0 0 109899 118 0 0 25 0 1 0 512260953 293548032 42354 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71667 42354 231 231 0 71436 0
vsize: 286668
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43954 0 0 0 110899 119 0 0 25 0 1 0 512260953 293548032 42450 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71667 42450 231 231 0 71436 0
vsize: 286668
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 43982 0 0 0 111899 119 0 0 25 0 1 0 512260953 293711872 42478 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71707 42478 231 231 0 71476 0
vsize: 286828
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44006 0 0 0 112899 119 0 0 25 0 1 0 512260953 293711872 42502 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71707 42502 231 231 0 71476 0
vsize: 286828
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44010 0 0 0 113899 120 0 0 25 0 1 0 512260953 293711872 42506 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71707 42506 231 231 0 71476 0
vsize: 286828
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44030 0 0 0 114899 120 0 0 25 0 1 0 512260953 293851136 42526 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71741 42526 231 231 0 71510 0
vsize: 286964
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44032 0 0 0 115899 120 0 0 25 0 1 0 512260953 293851136 42528 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71741 42528 231 231 0 71510 0
vsize: 286964
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44046 0 0 0 116899 120 0 0 25 0 1 0 512260953 293998592 42542 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71777 42542 231 231 0 71546 0
vsize: 287108
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44094 0 0 0 117899 120 0 0 25 0 1 0 512260953 294162432 42590 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71817 42590 231 231 0 71586 0
vsize: 287268
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44149 0 0 0 118899 120 0 0 25 0 1 0 512260953 294162432 42645 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71817 42645 231 231 0 71586 0
vsize: 287268
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19318
Raw data (stat): 19318 (PBS4) R 19317 27222 27221 0 -1 0 44167 0 0 0 119899 120 0 0 25 0 1 0 512260953 294326272 42663 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71857 42663 231 231 0 71626 0
vsize: 287428
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19318
Raw data (stat): 19318 (PBS4) Z 19317 27222 27221 0 -1 1036 44167 0 0 0 119899 128 0 0 25 0 1 0 512260953 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.28
CPU user time (s): 1199
CPU system time (s): 1.2888
CPU usage (%): 100.015
Max. virtual memory (Kb): 287428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####