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/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41095
Number of constraints which are clauses	41095
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 7894

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-17 17:03:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2931 boxname=wulflinc20 idbench=326 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc20/normalized-frb40-19-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc20/normalized-frb40-19-3.opb
IDLAUNCH: 2931
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        790128 kB
Buffers:         37252 kB
Cached:         170580 kB
SwapCached:       2628 kB
Active:          65656 kB
Inactive:       147660 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        789876 kB
SwapTotal:     2097892 kB
SwapFree:      2095264 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            25592 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:23:18 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2931 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc20/normalized-frb40-19-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.94 1.03 0.95 2/54 24000
Raw data (stat): 24000 (runsolver) R 23999 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512164809 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.0006 s]
Raw data (loadavg): 0.95 1.03 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 3169 0 0 0 990 8 0 0 25 0 1 0 512164809 20299776 2819 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 2819 231 231 0 4725 0
vsize: 19824
[startup+20.001 s]
Raw data (loadavg): 0.96 1.03 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 4923 0 0 0 1988 11 0 0 25 0 1 0 512164809 20434944 4573 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4989 4573 231 231 0 4758 0
vsize: 19956
[startup+30.0007 s]
Raw data (loadavg): 0.96 1.03 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 6661 0 0 0 2985 14 0 0 25 0 1 0 512164809 37355520 6311 4294967295 134512640 135450300 3221224640 3221223472 134549500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9120 6311 231 231 0 8889 0
vsize: 36480
[startup+40.0006 s]
Raw data (loadavg): 0.97 1.03 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 8228 0 0 0 3981 18 0 0 25 0 1 0 512164809 37355520 7878 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9120 7878 231 231 0 8889 0
vsize: 36480
[startup+50.0011 s]
Raw data (loadavg): 0.97 1.03 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 9730 0 0 0 4977 22 0 0 25 0 1 0 512164809 71057408 9380 4294967295 134512640 135450300 3221224640 3221223456 134547894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17348 9380 231 231 0 17117 0
vsize: 69392
[startup+60.0008 s]
Raw data (loadavg): 0.98 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 11221 0 0 0 5973 26 0 0 25 0 1 0 512164809 71057408 10871 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17348 10871 231 231 0 17117 0
vsize: 69392
[startup+70.0018 s]
Raw data (loadavg): 0.98 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 12474 0 0 0 6970 29 0 0 25 0 1 0 512164809 72073216 12124 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17596 12124 231 231 0 17365 0
vsize: 70384
[startup+80.0022 s]
Raw data (loadavg): 0.98 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 13422 0 0 0 7968 31 0 0 25 0 1 0 512164809 72814592 13072 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17777 13072 231 231 0 17546 0
vsize: 71108
[startup+90.0019 s]
Raw data (loadavg): 0.98 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 15048 0 0 0 8964 36 0 0 25 0 1 0 512164809 73256960 14698 4294967295 134512640 135450300 3221224640 3221223116 134571997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17885 14698 231 231 0 17654 0
vsize: 71540
[startup+100.002 s]
Raw data (loadavg): 0.99 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 15647 0 0 0 9963 37 0 0 25 0 1 0 512164809 74153984 15297 4294967295 134512640 135450300 3221224640 3221223516 134529370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18104 15297 231 231 0 17873 0
vsize: 72416
[startup+110.001 s]
Raw data (loadavg): 0.99 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 15790 0 0 0 10963 37 0 0 25 0 1 0 512164809 74706944 15440 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18239 15440 231 231 0 18008 0
vsize: 72956
[startup+120.002 s]
Raw data (loadavg): 0.99 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 16688 0 0 0 11961 39 0 0 25 0 1 0 512164809 75149312 16338 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 16338 231 231 0 18116 0
vsize: 73388
[startup+130.002 s]
Raw data (loadavg): 0.99 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 17112 0 0 0 12960 40 0 0 25 0 1 0 512164809 75288576 16762 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18381 16762 231 231 0 18150 0
vsize: 73524
[startup+140.001 s]
Raw data (loadavg): 0.99 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 17186 0 0 0 13960 41 0 0 25 0 1 0 512164809 75567104 16836 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18449 16836 231 231 0 18218 0
vsize: 73796
[startup+150.003 s]
Raw data (loadavg): 0.99 1.02 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 17717 0 0 0 14958 43 0 0 25 0 1 0 512164809 75722752 17367 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18487 17367 231 231 0 18256 0
vsize: 73948
[startup+160.002 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 19176 0 0 0 15955 46 0 0 25 0 1 0 512164809 143122432 18826 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34942 18826 231 231 0 34711 0
vsize: 139768
[startup+170.003 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24000
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 19346 0 0 0 16955 47 0 0 25 0 1 0 512164809 143679488 18996 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35078 18996 231 231 0 34847 0
vsize: 140312
[startup+180.002 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 19420 0 0 0 17954 47 0 0 25 0 1 0 512164809 143990784 19070 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35154 19070 231 231 0 34923 0
vsize: 140616
[startup+190.002 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 19466 0 0 0 18954 47 0 0 25 0 1 0 512164809 144146432 19116 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35192 19116 231 231 0 34961 0
vsize: 140768
[startup+200.002 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 20415 0 0 0 19952 50 0 0 25 0 1 0 512164809 144572416 20065 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35296 20065 231 231 0 35065 0
vsize: 141184
[startup+210.002 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 20473 0 0 0 20951 50 0 0 25 0 1 0 512164809 144859136 20123 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35366 20123 231 231 0 35135 0
vsize: 141464
[startup+220.003 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 20524 0 0 0 21951 51 0 0 25 0 1 0 512164809 145022976 20174 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35406 20174 231 231 0 35175 0
vsize: 141624
[startup+230.002 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 20568 0 0 0 22951 51 0 0 25 0 1 0 512164809 145162240 20218 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35440 20218 231 231 0 35209 0
vsize: 141760
[startup+240.002 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 21229 0 0 0 23949 53 0 0 25 0 1 0 512164809 145326080 20879 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35480 20879 231 231 0 35249 0
vsize: 141920
[startup+250.003 s]
Raw data (loadavg): 0.99 1.01 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 21635 0 0 0 24949 53 0 0 25 0 1 0 512164809 147058688 20900 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35903 20900 231 231 0 35672 0
vsize: 143612
[startup+260.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 21657 0 0 0 25949 54 0 0 25 0 1 0 512164809 147058688 20922 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35903 20922 231 231 0 35672 0
vsize: 143612
[startup+270.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 21747 0 0 0 26949 54 0 0 25 0 1 0 512164809 147501056 21012 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36011 21012 231 231 0 35780 0
vsize: 144044
[startup+280.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22239 0 0 0 27947 56 0 0 25 0 1 0 512164809 147648512 21504 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36047 21504 231 231 0 35816 0
vsize: 144188
[startup+290.001 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22268 0 0 0 28947 56 0 0 25 0 1 0 512164809 147783680 21533 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36080 21533 231 231 0 35849 0
vsize: 144320
[startup+300.001 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22348 0 0 0 29947 56 0 0 25 0 1 0 512164809 148230144 21613 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36189 21613 231 231 0 35958 0
vsize: 144756
[startup+310.001 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22385 0 0 0 30947 56 0 0 25 0 1 0 512164809 148230144 21650 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36189 21650 231 231 0 35958 0
vsize: 144756
[startup+320.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22652 0 0 0 31946 57 0 0 25 0 1 0 512164809 148533248 21917 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36263 21917 231 231 0 36032 0
vsize: 145052
[startup+330.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22789 0 0 0 32946 58 0 0 25 0 1 0 512164809 148533248 22054 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36263 22054 231 231 0 36032 0
vsize: 145052
[startup+340.001 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22841 0 0 0 33946 58 0 0 25 0 1 0 512164809 148828160 22106 4294967295 134512640 135450300 3221224640 3221223116 134571965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36335 22106 231 231 0 36104 0
vsize: 145340
[startup+350.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 22863 0 0 0 34946 59 0 0 25 0 1 0 512164809 148828160 22128 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36335 22128 231 231 0 36104 0
vsize: 145340
[startup+360.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23037 0 0 0 35946 59 0 0 25 0 1 0 512164809 148975616 22302 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36371 22302 231 231 0 36140 0
vsize: 145484
[startup+370.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23167 0 0 0 36945 59 0 0 25 0 1 0 512164809 149118976 22432 4294967295 134512640 135450300 3221224640 3221223456 134537251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36406 22432 231 231 0 36175 0
vsize: 145624
[startup+380.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23210 0 0 0 37945 59 0 0 25 0 1 0 512164809 149409792 22475 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36477 22475 231 231 0 36246 0
vsize: 145908
[startup+390.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23263 0 0 0 38945 60 0 0 25 0 1 0 512164809 149557248 22528 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36513 22528 231 231 0 36282 0
vsize: 146052
[startup+400.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23362 0 0 0 39945 61 0 0 25 0 1 0 512164809 149557248 22627 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36513 22627 231 231 0 36282 0
vsize: 146052
[startup+410.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23490 0 0 0 40944 61 0 0 25 0 1 0 512164809 149721088 22755 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36553 22755 231 231 0 36322 0
vsize: 146212
[startup+420.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23539 0 0 0 41944 61 0 0 25 0 1 0 512164809 149872640 22804 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36590 22804 231 231 0 36359 0
vsize: 146360
[startup+430.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23567 0 0 0 42944 61 0 0 25 0 1 0 512164809 150040576 22832 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36631 22832 231 231 0 36400 0
vsize: 146524
[startup+440.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23611 0 0 0 43944 62 0 0 25 0 1 0 512164809 150204416 22876 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36671 22876 231 231 0 36440 0
vsize: 146684
[startup+450.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23765 0 0 0 44944 62 0 0 25 0 1 0 512164809 150368256 23030 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36711 23030 231 231 0 36480 0
vsize: 146844
[startup+460.002 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23782 0 0 0 45944 63 0 0 25 0 1 0 512164809 150368256 23047 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36711 23047 231 231 0 36480 0
vsize: 146844
[startup+470.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23802 0 0 0 46943 63 0 0 25 0 1 0 512164809 150523904 23067 4294967295 134512640 135450300 3221224640 3221223456 134536501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36749 23067 231 231 0 36518 0
vsize: 146996
[startup+480.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23850 0 0 0 47943 63 0 0 25 0 1 0 512164809 150687744 23115 4294967295 134512640 135450300 3221224640 3221223104 134532585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36789 23115 231 231 0 36558 0
vsize: 147156
[startup+490.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23963 0 0 0 48943 64 0 0 25 0 1 0 512164809 150835200 23228 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36825 23228 231 231 0 36594 0
vsize: 147300
[startup+500.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 23984 0 0 0 49943 64 0 0 25 0 1 0 512164809 150835200 23249 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36825 23249 231 231 0 36594 0
vsize: 147300
[startup+510.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24048 0 0 0 50943 65 0 0 25 0 1 0 512164809 151138304 23313 4294967295 134512640 135450300 3221224640 3221223024 134602091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36899 23313 231 231 0 36668 0
vsize: 147596
[startup+520.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24069 0 0 0 51943 65 0 0 25 0 1 0 512164809 151334912 23334 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36947 23334 231 231 0 36716 0
vsize: 147788
[startup+530.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24341 0 0 0 52942 65 0 0 25 0 1 0 512164809 151334912 23606 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36947 23606 231 231 0 36716 0
vsize: 147788
[startup+540.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24384 0 0 0 53942 66 0 0 25 0 1 0 512164809 151498752 23649 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36987 23649 231 231 0 36756 0
vsize: 147948
[startup+550.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24436 0 0 0 54942 66 0 0 25 0 1 0 512164809 151810048 23701 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37063 23701 231 231 0 36832 0
vsize: 148252
[startup+560.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24460 0 0 0 55942 66 0 0 25 0 1 0 512164809 151945216 23725 4294967295 134512640 135450300 3221224640 3221223432 134535393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37096 23725 231 231 0 36865 0
vsize: 148384
[startup+570.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24478 0 0 0 56942 66 0 0 25 0 1 0 512164809 151945216 23743 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37096 23743 231 231 0 36865 0
vsize: 148384
[startup+580.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24490 0 0 0 57942 67 0 0 25 0 1 0 512164809 151945216 23755 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37096 23755 231 231 0 36865 0
vsize: 148384
[startup+590.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24508 0 0 0 58942 67 0 0 25 0 1 0 512164809 152150016 23773 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37146 23773 231 231 0 36915 0
vsize: 148584
[startup+600.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24534 0 0 0 59942 67 0 0 25 0 1 0 512164809 152150016 23799 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37146 23799 231 231 0 36915 0
vsize: 148584
[startup+610.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24574 0 0 0 60942 67 0 0 25 0 1 0 512164809 152297472 23839 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37182 23839 231 231 0 36951 0
vsize: 148728
[startup+620.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24592 0 0 0 61942 67 0 0 25 0 1 0 512164809 152485888 23857 4294967295 134512640 135450300 3221224640 3221223024 134579238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 23857 231 231 0 36997 0
vsize: 148912
[startup+630.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24607 0 0 0 62942 67 0 0 25 0 1 0 512164809 152485888 23872 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 23872 231 231 0 36997 0
vsize: 148912
[startup+640.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24622 0 0 0 63942 67 0 0 25 0 1 0 512164809 152485888 23887 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 23887 231 231 0 36997 0
vsize: 148912
[startup+650.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24635 0 0 0 64942 67 0 0 25 0 1 0 512164809 152485888 23900 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 23900 231 231 0 36997 0
vsize: 148912
[startup+660.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24669 0 0 0 65942 68 0 0 25 0 1 0 512164809 152633344 23934 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37264 23934 231 231 0 37033 0
vsize: 149056
[startup+670.006 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24697 0 0 0 66943 68 0 0 25 0 1 0 512164809 152797184 23962 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 23962 231 231 0 37073 0
vsize: 149216
[startup+680.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24735 0 0 0 67943 68 0 0 25 0 1 0 512164809 152797184 24000 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 24000 231 231 0 37073 0
vsize: 149216
[startup+690.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24750 0 0 0 68942 68 0 0 25 0 1 0 512164809 152961024 24015 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37344 24015 231 231 0 37113 0
vsize: 149376
[startup+700.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24773 0 0 0 69942 68 0 0 25 0 1 0 512164809 152961024 24038 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37344 24038 231 231 0 37113 0
vsize: 149376
[startup+710.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24795 0 0 0 70942 69 0 0 25 0 1 0 512164809 153182208 24060 4294967295 134512640 135450300 3221224640 3221223296 134532715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37398 24060 231 231 0 37167 0
vsize: 149592
[startup+720.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24803 0 0 0 71942 69 0 0 25 0 1 0 512164809 153182208 24068 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37398 24068 231 231 0 37167 0
vsize: 149592
[startup+730.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24818 0 0 0 72942 69 0 0 25 0 1 0 512164809 153182208 24083 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37398 24083 231 231 0 37167 0
vsize: 149592
[startup+740.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24842 0 0 0 73942 69 0 0 25 0 1 0 512164809 153182208 24107 4294967295 134512640 135450300 3221224640 3221223456 134537242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37398 24107 231 231 0 37167 0
vsize: 149592
[startup+750.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24911 0 0 0 74942 70 0 0 25 0 1 0 512164809 153493504 24176 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37474 24176 231 231 0 37243 0
vsize: 149896
[startup+760.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24945 0 0 0 75942 70 0 0 25 0 1 0 512164809 153812992 24210 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 24210 231 231 0 37321 0
vsize: 150208
[startup+770.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 24983 0 0 0 76941 70 0 0 25 0 1 0 512164809 153812992 24248 4294967295 134512640 135450300 3221224640 3221223120 134580023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37552 24248 231 231 0 37321 0
vsize: 150208
[startup+780.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25011 0 0 0 77941 71 0 0 25 0 1 0 512164809 153960448 24276 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37588 24276 231 231 0 37357 0
vsize: 150352
[startup+790.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25035 0 0 0 78941 71 0 0 25 0 1 0 512164809 153960448 24300 4294967295 134512640 135450300 3221224640 3221223116 134571974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37588 24300 231 231 0 37357 0
vsize: 150352
[startup+800.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25049 0 0 0 79941 71 0 0 25 0 1 0 512164809 154124288 24314 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24314 231 231 0 37397 0
vsize: 150512
[startup+810.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25059 0 0 0 80941 71 0 0 25 0 1 0 512164809 154124288 24324 4294967295 134512640 135450300 3221224640 3221223168 134544093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24324 231 231 0 37397 0
vsize: 150512
[startup+820.005 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25068 0 0 0 81941 72 0 0 25 0 1 0 512164809 154124288 24333 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24333 231 231 0 37397 0
vsize: 150512
[startup+830.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25082 0 0 0 82941 72 0 0 25 0 1 0 512164809 154124288 24347 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24347 231 231 0 37397 0
vsize: 150512
[startup+840.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25098 0 0 0 83941 72 0 0 25 0 1 0 512164809 154124288 24363 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37628 24363 231 231 0 37397 0
vsize: 150512
[startup+850.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25109 0 0 0 84941 72 0 0 25 0 1 0 512164809 154329088 24374 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37678 24374 231 231 0 37447 0
vsize: 150712
[startup+860.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25118 0 0 0 85941 72 0 0 25 0 1 0 512164809 154329088 24383 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37678 24383 231 231 0 37447 0
vsize: 150712
[startup+870.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25137 0 0 0 86941 72 0 0 25 0 1 0 512164809 154329088 24402 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37678 24402 231 231 0 37447 0
vsize: 150712
[startup+880.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25152 0 0 0 87941 72 0 0 25 0 1 0 512164809 154329088 24417 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37678 24417 231 231 0 37447 0
vsize: 150712
[startup+890.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25272 0 0 0 88941 73 0 0 25 0 1 0 512164809 154984448 24537 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37838 24537 231 231 0 37607 0
vsize: 151352
[startup+900.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25294 0 0 0 89941 73 0 0 25 0 1 0 512164809 155193344 24559 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37889 24559 231 231 0 37658 0
vsize: 151556
[startup+910.003 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25333 0 0 0 90941 73 0 0 25 0 1 0 512164809 155357184 24598 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37929 24598 231 231 0 37698 0
vsize: 151716
[startup+920.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25356 0 0 0 91941 73 0 0 25 0 1 0 512164809 155357184 24621 4294967295 134512640 135450300 3221224640 3221223456 134547894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37929 24621 231 231 0 37698 0
vsize: 151716
[startup+930.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25393 0 0 0 92941 74 0 0 25 0 1 0 512164809 155357184 24658 4294967295 134512640 135450300 3221224640 3221223024 134602283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37929 24658 231 231 0 37698 0
vsize: 151716
[startup+940.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25401 0 0 0 93941 74 0 0 25 0 1 0 512164809 155357184 24666 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37929 24666 231 231 0 37698 0
vsize: 151716
[startup+950.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25416 0 0 0 94941 74 0 0 25 0 1 0 512164809 155521024 24681 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37969 24681 231 231 0 37738 0
vsize: 151876
[startup+960.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25438 0 0 0 95941 74 0 0 25 0 1 0 512164809 155672576 24703 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38006 24703 231 231 0 37775 0
vsize: 152024
[startup+970.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25454 0 0 0 96940 75 0 0 25 0 1 0 512164809 155672576 24719 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38006 24719 231 231 0 37775 0
vsize: 152024
[startup+980.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25473 0 0 0 97941 75 0 0 25 0 1 0 512164809 155672576 24738 4294967295 134512640 135450300 3221224640 3221223152 134544680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38006 24738 231 231 0 37775 0
vsize: 152024
[startup+990.004 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25502 0 0 0 98940 75 0 0 25 0 1 0 512164809 155836416 24767 4294967295 134512640 135450300 3221224640 3221223024 134579489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38046 24767 231 231 0 37815 0
vsize: 152184
[startup+1000 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25512 0 0 0 99940 75 0 0 25 0 1 0 512164809 155836416 24777 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38046 24777 231 231 0 37815 0
vsize: 152184
[startup+1010 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25521 0 0 0 100940 76 0 0 25 0 1 0 512164809 155836416 24786 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38046 24786 231 231 0 37815 0
vsize: 152184
[startup+1020 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25532 0 0 0 101940 76 0 0 25 0 1 0 512164809 155836416 24797 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38046 24797 231 231 0 37815 0
vsize: 152184
[startup+1030 s]
Raw data (loadavg): 0.99 1.00 0.95 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25545 0 0 0 102940 76 0 0 25 0 1 0 512164809 155992064 24810 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38084 24810 231 231 0 37853 0
vsize: 152336
[startup+1040 s]
Raw data (loadavg): 1.07 1.02 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25586 0 0 0 103940 77 0 0 25 0 1 0 512164809 156155904 24851 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38124 24851 231 231 0 37893 0
vsize: 152496
[startup+1050 s]
Raw data (loadavg): 1.06 1.02 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 25621 0 0 0 104940 77 0 0 25 0 1 0 512164809 156319744 24886 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38164 24886 231 231 0 37933 0
vsize: 152656
[startup+1060 s]
Raw data (loadavg): 1.05 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 26958 0 0 0 105937 80 0 0 25 0 1 0 512164809 159465472 25454 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38932 25454 231 231 0 38701 0
vsize: 155728
[startup+1070 s]
Raw data (loadavg): 1.04 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 26977 0 0 0 106937 80 0 0 25 0 1 0 512164809 159465472 25473 4294967295 134512640 135450300 3221224640 3221223472 134549493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38932 25473 231 231 0 38701 0
vsize: 155728
[startup+1080.01 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 26992 0 0 0 107937 80 0 0 25 0 1 0 512164809 159465472 25488 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38932 25488 231 231 0 38701 0
vsize: 155728
[startup+1090.01 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27011 0 0 0 108937 81 0 0 25 0 1 0 512164809 159629312 25507 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38972 25507 231 231 0 38741 0
vsize: 155888
[startup+1100.01 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27022 0 0 0 109937 81 0 0 25 0 1 0 512164809 159764480 25518 4294967295 134512640 135450300 3221224640 3221223152 134545029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39005 25518 231 231 0 38774 0
vsize: 156020
[startup+1110.01 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27032 0 0 0 110937 81 0 0 25 0 1 0 512164809 159764480 25528 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39005 25528 231 231 0 38774 0
vsize: 156020
[startup+1120.01 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27063 0 0 0 111936 82 0 0 25 0 1 0 512164809 159764480 25559 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39005 25559 231 231 0 38774 0
vsize: 156020
[startup+1130.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27073 0 0 0 112936 82 0 0 25 0 1 0 512164809 159764480 25569 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39005 25569 231 231 0 38774 0
vsize: 156020
[startup+1140.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27265 0 0 0 113936 82 0 0 25 0 1 0 512164809 160616448 25761 4294967295 134512640 135450300 3221224640 3221223168 134543607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39213 25761 231 231 0 38982 0
vsize: 156852
[startup+1150.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27348 0 0 0 114936 83 0 0 25 0 1 0 512164809 160976896 25844 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39301 25844 231 231 0 39070 0
vsize: 157204
[startup+1160.01 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27420 0 0 0 115935 84 0 0 25 0 1 0 512164809 161284096 25916 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39376 25916 231 231 0 39145 0
vsize: 157504
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27436 0 0 0 116935 84 0 0 25 0 1 0 512164809 161447936 25932 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39416 25932 231 231 0 39185 0
vsize: 157664
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27459 0 0 0 117935 85 0 0 25 0 1 0 512164809 161447936 25955 4294967295 134512640 135450300 3221224640 3221223168 134544124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39416 25955 231 231 0 39185 0
vsize: 157664
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27542 0 0 0 118935 85 0 0 25 0 1 0 512164809 161775616 26038 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39496 26038 231 231 0 39265 0
vsize: 157984
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24002
Raw data (stat): 24000 (PBS4) R 23999 27565 27564 0 -1 0 27558 0 0 0 119935 85 0 0 25 0 1 0 512164809 161775616 26054 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39496 26054 231 231 0 39265 0
vsize: 157984
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 24002
Raw data (stat): 24000 (PBS4) Z 23999 27565 27564 0 -1 1036 27558 0 0 0 119935 90 0 0 25 0 1 0 512164809 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.06
CPU time (s): 1200.25
CPU user time (s): 1199.35
CPU system time (s): 0.902862
CPU usage (%): 100.016
Max. virtual memory (Kb): 157984
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####