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/frb50-23-opb/normalized-frb50-23-2.opb
MD5SUM	fe7ff8b16c276b409b25a87eed31b6f9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.09
Number of variables	1150
Total number of constraints	80851
Number of constraints which are clauses	80851
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 7906

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-17 17:06:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3012 boxname=wulflinc11 idbench=335 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  fe7ff8b16c276b409b25a87eed31b6f9  /oldhome/oroussel/tmp/wulflinc11/normalized-frb50-23-2.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc11/normalized-frb50-23-2.opb
IDLAUNCH: 3012
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        807828 kB
Buffers:         37836 kB
Cached:         162524 kB
SwapCached:       4932 kB
Active:          84524 kB
Inactive:       123628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        807576 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12988 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:26:11 (client local time) WITH STATUS 0 IN 1200.15 SECONDS
stats: 3012 7 1200.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc11/normalized-frb50-23-2.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.93 0.98 0.91 2/54 25231
Raw data (stat): 25231 (runsolver) R 25230 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453959170 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.0002 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 25231
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 4148 0 0 0 987 11 0 0 25 0 1 0 453959170 22650880 3415 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 3415 231 231 0 5299 0
vsize: 22120
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 6320 0 0 0 1982 16 0 0 25 0 1 0 453959170 39563264 5587 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9659 5587 231 231 0 9428 0
vsize: 38636
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 8207 0 0 0 2978 20 0 0 25 0 1 0 453959170 39563264 7474 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9659 7474 231 231 0 9428 0
vsize: 38636
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 9972 0 0 0 3973 24 0 0 25 0 1 0 453959170 39837696 9239 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9726 9239 231 231 0 9495 0
vsize: 38904
[startup+50.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 11517 0 0 0 4969 29 0 0 25 0 1 0 453959170 73392128 10784 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17918 10784 231 231 0 17687 0
vsize: 71672
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 13096 0 0 0 5965 33 0 0 25 0 1 0 453959170 73392128 12363 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17918 12363 231 231 0 17687 0
vsize: 71672
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 14461 0 0 0 6960 38 0 0 25 0 1 0 453959170 73527296 13728 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17951 13728 231 231 0 17720 0
vsize: 71804
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 15549 0 0 0 7956 42 0 0 25 0 1 0 453959170 73527296 14816 4294967295 134512640 135450300 3221224640 3221222748 134615712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17951 14816 231 231 0 17720 0
vsize: 71804
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 16747 0 0 0 8954 44 0 0 25 0 1 0 453959170 73527296 16014 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17951 16014 231 231 0 17720 0
vsize: 71804
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 17912 0 0 0 9950 48 0 0 25 0 1 0 453959170 74080256 17179 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18086 17179 231 231 0 17855 0
vsize: 72344
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 19370 0 0 0 10945 53 0 0 25 0 1 0 453959170 141615104 18637 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34574 18637 231 231 0 34343 0
vsize: 138296
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 20900 0 0 0 11941 57 0 0 25 0 1 0 453959170 141910016 20167 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34646 20167 231 231 0 34415 0
vsize: 138584
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 21079 0 0 0 12940 59 0 0 25 0 1 0 453959170 142610432 20346 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34817 20346 231 231 0 34586 0
vsize: 139268
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 21192 0 0 0 13939 59 0 0 25 0 1 0 453959170 142757888 20459 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34853 20459 231 231 0 34622 0
vsize: 139412
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 22811 0 0 0 14935 63 0 0 25 0 1 0 453959170 143331328 22078 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34993 22078 231 231 0 34762 0
vsize: 139972
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 24328 0 0 0 15931 67 0 0 25 0 1 0 453959170 144125952 23595 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35187 23595 231 231 0 34956 0
vsize: 140748
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 24526 0 0 0 16929 69 0 0 25 0 1 0 453959170 144261120 23793 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35220 23793 231 231 0 34989 0
vsize: 140880
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 24624 0 0 0 17928 70 0 0 25 0 1 0 453959170 144670720 23891 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35320 23891 231 231 0 35089 0
vsize: 141280
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 24711 0 0 0 18928 70 0 0 25 0 1 0 453959170 144973824 23978 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35394 23978 231 231 0 35163 0
vsize: 141576
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 24930 0 0 0 19926 72 0 0 25 0 1 0 453959170 145113088 24197 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35428 24197 231 231 0 35197 0
vsize: 141712
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 26507 0 0 0 20923 75 0 0 25 0 1 0 453959170 145387520 25774 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35495 25774 231 231 0 35264 0
vsize: 141980
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 26570 0 0 0 21923 75 0 0 25 0 1 0 453959170 145674240 25837 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35565 25837 231 231 0 35334 0
vsize: 142260
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 26659 0 0 0 22922 76 0 0 25 0 1 0 453959170 146092032 25926 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35667 25926 231 231 0 35436 0
vsize: 142668
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 26714 0 0 0 23922 76 0 0 25 0 1 0 453959170 146239488 25981 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35703 25981 231 231 0 35472 0
vsize: 142812
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 26717 0 0 0 24921 77 0 0 25 0 1 0 453959170 146239488 25984 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35703 25984 231 231 0 35472 0
vsize: 142812
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 28090 0 0 0 25918 80 0 0 25 0 1 0 453959170 146505728 27357 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35768 27357 231 231 0 35537 0
vsize: 143072
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 29309 0 0 0 26916 83 0 0 25 0 1 0 453959170 146640896 28576 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35801 28576 231 231 0 35570 0
vsize: 143204
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 29703 0 0 0 27914 85 0 0 25 0 1 0 453959170 146915328 28970 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35868 28970 231 231 0 35637 0
vsize: 143472
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 29745 0 0 0 28913 85 0 0 25 0 1 0 453959170 147054592 29012 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35902 29012 231 231 0 35671 0
vsize: 143608
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 29774 0 0 0 29912 86 0 0 25 0 1 0 453959170 147197952 29041 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35937 29041 231 231 0 35706 0
vsize: 143748
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 29780 0 0 0 30912 86 0 0 25 0 1 0 453959170 147197952 29047 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35937 29047 231 231 0 35706 0
vsize: 143748
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 29839 0 0 0 31912 87 0 0 25 0 1 0 453959170 147337216 29106 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35971 29106 231 231 0 35740 0
vsize: 143884
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 30713 0 0 0 32909 89 0 0 25 0 1 0 453959170 147607552 29980 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36037 29980 231 231 0 35806 0
vsize: 144148
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 31187 0 0 0 33908 90 0 0 25 0 1 0 453959170 147902464 30454 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36109 30454 231 231 0 35878 0
vsize: 144436
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 31201 0 0 0 34907 91 0 0 25 0 1 0 453959170 147902464 30468 4294967295 134512640 135450300 3221224640 3221223456 134536520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36109 30468 231 231 0 35878 0
vsize: 144436
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 31240 0 0 0 35907 91 0 0 25 0 1 0 453959170 148209664 30507 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36184 30507 231 231 0 35953 0
vsize: 144736
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 31279 0 0 0 36906 92 0 0 25 0 1 0 453959170 148348928 30546 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36218 30546 231 231 0 35987 0
vsize: 144872
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 31302 0 0 0 37906 92 0 0 25 0 1 0 453959170 148348928 30569 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36218 30569 231 231 0 35987 0
vsize: 144872
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 31357 0 0 0 38906 93 0 0 25 0 1 0 453959170 148623360 30624 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36285 30624 231 231 0 36054 0
vsize: 145140
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 32277 0 0 0 39903 95 0 0 25 0 1 0 453959170 148623360 31544 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36285 31544 231 231 0 36054 0
vsize: 145140
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 32308 0 0 0 40903 96 0 0 25 0 1 0 453959170 148758528 31575 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36318 31575 231 231 0 36087 0
vsize: 145272
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 32358 0 0 0 41902 96 0 0 25 0 1 0 453959170 149032960 31625 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36385 31625 231 231 0 36154 0
vsize: 145540
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 32397 0 0 0 42902 96 0 0 25 0 1 0 453959170 149180416 31664 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36421 31664 231 231 0 36190 0
vsize: 145684
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 32444 0 0 0 43901 97 0 0 25 0 1 0 453959170 149340160 31711 4294967295 134512640 135450300 3221224640 3221223024 134602091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36460 31711 231 231 0 36229 0
vsize: 145840
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 32491 0 0 0 44901 98 0 0 25 0 1 0 453959170 149479424 31758 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36494 31758 231 231 0 36263 0
vsize: 145976
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33140 0 0 0 45899 100 0 0 25 0 1 0 453959170 149479424 32407 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36494 32407 231 231 0 36263 0
vsize: 145976
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33194 0 0 0 46899 100 0 0 25 0 1 0 453959170 149766144 32461 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36564 32461 231 231 0 36333 0
vsize: 146256
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33242 0 0 0 47898 101 0 0 25 0 1 0 453959170 150077440 32509 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36640 32509 231 231 0 36409 0
vsize: 146560
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33245 0 0 0 48898 101 0 0 25 0 1 0 453959170 150077440 32512 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36640 32512 231 231 0 36409 0
vsize: 146560
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33301 0 0 0 49897 102 0 0 25 0 1 0 453959170 150241280 32568 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36680 32568 231 231 0 36449 0
vsize: 146720
[startup+510.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33330 0 0 0 50897 102 0 0 25 0 1 0 453959170 150405120 32597 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36720 32597 231 231 0 36489 0
vsize: 146880
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33357 0 0 0 51897 102 0 0 25 0 1 0 453959170 150548480 32624 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36755 32624 231 231 0 36524 0
vsize: 147020
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33824 0 0 0 52895 104 0 0 25 0 1 0 453959170 150548480 33091 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36755 33091 231 231 0 36524 0
vsize: 147020
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33864 0 0 0 53895 104 0 0 25 0 1 0 453959170 150712320 33131 4294967295 134512640 135450300 3221224640 3221223472 134549481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36795 33131 231 231 0 36564 0
vsize: 147180
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33946 0 0 0 54895 104 0 0 25 0 1 0 453959170 151183360 33213 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36910 33213 231 231 0 36679 0
vsize: 147640
[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33949 0 0 0 55894 105 0 0 25 0 1 0 453959170 151183360 33216 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36910 33216 231 231 0 36679 0
vsize: 147640
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 33997 0 0 0 56894 106 0 0 25 0 1 0 453959170 151347200 33264 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36950 33264 231 231 0 36719 0
vsize: 147800
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34049 0 0 0 57893 106 0 0 25 0 1 0 453959170 151658496 33316 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37026 33316 231 231 0 36795 0
vsize: 148104
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34081 0 0 0 58893 107 0 0 25 0 1 0 453959170 151658496 33348 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37026 33348 231 231 0 36795 0
vsize: 148104
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34438 0 0 0 59891 108 0 0 25 0 1 0 453959170 151658496 33705 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37026 33705 231 231 0 36795 0
vsize: 148104
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34486 0 0 0 60891 109 0 0 25 0 1 0 453959170 151986176 33753 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37106 33753 231 231 0 36875 0
vsize: 148424
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34512 0 0 0 61891 109 0 0 25 0 1 0 453959170 152137728 33779 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37143 33779 231 231 0 36912 0
vsize: 148572
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34557 0 0 0 62890 110 0 0 25 0 1 0 453959170 152301568 33824 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37183 33824 231 231 0 36952 0
vsize: 148732
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34566 0 0 0 63890 110 0 0 25 0 1 0 453959170 152301568 33833 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37183 33833 231 231 0 36952 0
vsize: 148732
[startup+650.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34573 0 0 0 64890 110 0 0 25 0 1 0 453959170 152301568 33840 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37183 33840 231 231 0 36952 0
vsize: 148732
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34594 0 0 0 65890 111 0 0 25 0 1 0 453959170 152485888 33861 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 33861 231 231 0 36997 0
vsize: 148912
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34856 0 0 0 66889 112 0 0 25 0 1 0 453959170 152485888 34123 4294967295 134512640 135450300 3221224640 3221223552 134597050 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 34123 231 231 0 36997 0
vsize: 148912
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34880 0 0 0 67889 112 0 0 25 0 1 0 453959170 152485888 34147 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 34147 231 231 0 36997 0
vsize: 148912
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34898 0 0 0 68888 112 0 0 25 0 1 0 453959170 152649728 34165 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37268 34165 231 231 0 37037 0
vsize: 149072
[startup+700.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34918 0 0 0 69888 113 0 0 25 0 1 0 453959170 152649728 34185 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37268 34185 231 231 0 37037 0
vsize: 149072
[startup+710.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34928 0 0 0 70888 113 0 0 25 0 1 0 453959170 152649728 34195 4294967295 134512640 135450300 3221224640 3221223472 134549481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37268 34195 231 231 0 37037 0
vsize: 149072
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34948 0 0 0 71888 113 0 0 25 0 1 0 453959170 152813568 34215 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37308 34215 231 231 0 37077 0
vsize: 149232
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 34997 0 0 0 72887 114 0 0 25 0 1 0 453959170 153133056 34264 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37386 34264 231 231 0 37155 0
vsize: 149544
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35183 0 0 0 73886 115 0 0 25 0 1 0 453959170 153133056 34450 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37386 34450 231 231 0 37155 0
vsize: 149544
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35207 0 0 0 74885 116 0 0 25 0 1 0 453959170 153296896 34474 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37426 34474 231 231 0 37195 0
vsize: 149704
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35217 0 0 0 75885 116 0 0 25 0 1 0 453959170 153296896 34484 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37426 34484 231 231 0 37195 0
vsize: 149704
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35221 0 0 0 76885 117 0 0 25 0 1 0 453959170 153296896 34488 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37426 34488 231 231 0 37195 0
vsize: 149704
[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35239 0 0 0 77884 118 0 0 25 0 1 0 453959170 153296896 34506 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37426 34506 231 231 0 37195 0
vsize: 149704
[startup+790.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35275 0 0 0 78884 118 0 0 25 0 1 0 453959170 153444352 34542 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37462 34542 231 231 0 37231 0
vsize: 149848
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35422 0 0 0 79882 119 0 0 25 0 1 0 453959170 153640960 34689 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37510 34689 231 231 0 37279 0
vsize: 150040
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35426 0 0 0 80882 120 0 0 25 0 1 0 453959170 153640960 34693 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37510 34693 231 231 0 37279 0
vsize: 150040
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35452 0 0 0 81882 120 0 0 25 0 1 0 453959170 153640960 34719 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37510 34719 231 231 0 37279 0
vsize: 150040
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35497 0 0 0 82882 121 0 0 25 0 1 0 453959170 153804800 34764 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37550 34764 231 231 0 37319 0
vsize: 150200
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35521 0 0 0 83882 121 0 0 25 0 1 0 453959170 153952256 34788 4294967295 134512640 135450300 3221224640 3221223456 134547485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37586 34788 231 231 0 37355 0
vsize: 150344
[startup+850.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35526 0 0 0 84881 121 0 0 25 0 1 0 453959170 153952256 34793 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37586 34793 231 231 0 37355 0
vsize: 150344
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35543 0 0 0 85881 121 0 0 25 0 1 0 453959170 154120192 34810 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37627 34810 231 231 0 37396 0
vsize: 150508
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35668 0 0 0 86880 122 0 0 25 0 1 0 453959170 154284032 34935 4294967295 134512640 135450300 3221224640 3221223456 134547472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37667 34935 231 231 0 37436 0
vsize: 150668
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 35672 0 0 0 87880 122 0 0 25 0 1 0 453959170 154284032 34939 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37667 34939 231 231 0 37436 0
vsize: 150668
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36496 0 0 0 88878 125 0 0 25 0 1 0 453959170 157577216 34994 4294967295 134512640 135450300 3221224640 3221223360 134598274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38471 34994 231 231 0 38240 0
vsize: 153884
[startup+900.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36516 0 0 0 89878 125 0 0 25 0 1 0 453959170 157724672 35014 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38507 35014 231 231 0 38276 0
vsize: 154028
[startup+910.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36547 0 0 0 90877 126 0 0 25 0 1 0 453959170 157913088 35045 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38553 35045 231 231 0 38322 0
vsize: 154212
[startup+920.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36581 0 0 0 91877 126 0 0 25 0 1 0 453959170 157913088 35079 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38553 35079 231 231 0 38322 0
vsize: 154212
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36647 0 0 0 92876 127 0 0 25 0 1 0 453959170 157913088 35145 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38553 35145 231 231 0 38322 0
vsize: 154212
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36675 0 0 0 93875 128 0 0 25 0 1 0 453959170 158060544 35173 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38589 35173 231 231 0 38358 0
vsize: 154356
[startup+950.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36691 0 0 0 94875 128 0 0 25 0 1 0 453959170 158060544 35189 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38589 35189 231 231 0 38358 0
vsize: 154356
[startup+960.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36705 0 0 0 95875 128 0 0 25 0 1 0 453959170 158208000 35203 4294967295 134512640 135450300 3221224640 3221223168 134544638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38625 35203 231 231 0 38394 0
vsize: 154500
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36714 0 0 0 96874 129 0 0 25 0 1 0 453959170 158208000 35212 4294967295 134512640 135450300 3221224640 3221223116 134571990 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38625 35212 231 231 0 38394 0
vsize: 154500
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36717 0 0 0 97874 129 0 0 25 0 1 0 453959170 158208000 35215 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38625 35215 231 231 0 38394 0
vsize: 154500
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36741 0 0 0 98874 129 0 0 25 0 1 0 453959170 158371840 35239 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38665 35239 231 231 0 38434 0
vsize: 154660
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36796 0 0 0 99874 129 0 0 25 0 1 0 453959170 158371840 35294 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38665 35294 231 231 0 38434 0
vsize: 154660
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36803 0 0 0 100874 130 0 0 25 0 1 0 453959170 158371840 35301 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38665 35301 231 231 0 38434 0
vsize: 154660
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36820 0 0 0 101874 130 0 0 25 0 1 0 453959170 158568448 35318 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38713 35318 231 231 0 38482 0
vsize: 154852
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36823 0 0 0 102874 130 0 0 25 0 1 0 453959170 158568448 35321 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38713 35321 231 231 0 38482 0
vsize: 154852
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36835 0 0 0 103874 130 0 0 25 0 1 0 453959170 158568448 35333 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38713 35333 231 231 0 38482 0
vsize: 154852
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36881 0 0 0 104874 130 0 0 25 0 1 0 453959170 158707712 35379 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38747 35379 231 231 0 38516 0
vsize: 154988
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36929 0 0 0 105874 131 0 0 25 0 1 0 453959170 158707712 35427 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38747 35427 231 231 0 38516 0
vsize: 154988
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36947 0 0 0 106874 131 0 0 25 0 1 0 453959170 158707712 35445 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38747 35445 231 231 0 38516 0
vsize: 154988
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36965 0 0 0 107874 131 0 0 25 0 1 0 453959170 158871552 35463 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38787 35463 231 231 0 38556 0
vsize: 155148
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36972 0 0 0 108874 131 0 0 25 0 1 0 453959170 158871552 35470 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38787 35470 231 231 0 38556 0
vsize: 155148
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36975 0 0 0 109874 131 0 0 25 0 1 0 453959170 158871552 35473 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38787 35473 231 231 0 38556 0
vsize: 155148
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 36997 0 0 0 110873 132 0 0 25 0 1 0 453959170 159027200 35495 4294967295 134512640 135450300 3221224640 3221222944 134844354 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38825 35495 231 231 0 38594 0
vsize: 155300
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37018 0 0 0 111874 132 0 0 25 0 1 0 453959170 159027200 35516 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38825 35516 231 231 0 38594 0
vsize: 155300
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37080 0 0 0 112874 132 0 0 25 0 1 0 453959170 159191040 35578 4294967295 134512640 135450300 3221224640 3221223024 134579497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38865 35578 231 231 0 38634 0
vsize: 155460
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37083 0 0 0 113874 132 0 0 25 0 1 0 453959170 159191040 35581 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38865 35581 231 231 0 38634 0
vsize: 155460
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37093 0 0 0 114874 133 0 0 25 0 1 0 453959170 159191040 35591 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38865 35591 231 231 0 38634 0
vsize: 155460
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37113 0 0 0 115874 133 0 0 25 0 1 0 453959170 159191040 35611 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38865 35611 231 231 0 38634 0
vsize: 155460
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37127 0 0 0 116874 133 0 0 25 0 1 0 453959170 159383552 35625 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38912 35625 231 231 0 38681 0
vsize: 155648
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37142 0 0 0 117874 133 0 0 25 0 1 0 453959170 159383552 35640 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38912 35640 231 231 0 38681 0
vsize: 155648
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37160 0 0 0 118874 133 0 0 25 0 1 0 453959170 159383552 35658 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38912 35658 231 231 0 38681 0
vsize: 155648
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 25233
Raw data (stat): 25231 (PBS4) R 25230 32461 32460 0 -1 0 37180 0 0 0 119874 133 0 0 25 0 1 0 453959170 159383552 35678 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38912 35678 231 231 0 38681 0
vsize: 155648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 25233
Raw data (stat): 25231 (PBS4) Z 25230 32461 32460 0 -1 1036 37180 0 0 0 119874 140 0 0 25 0 1 0 453959170 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.15
CPU user time (s): 1198.74
CPU system time (s): 1.40579
CPU usage (%): 100.004
Max. virtual memory (Kb): 155648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####