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.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.95:100.opb
MD5SUM	ac4ddb996334a0834a018e09e97d1ecb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	76
Optimality of the best value was proved	NO
Number of terms in the objective function	4617
Biggest coefficient in the objective function	2642
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	13340
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	2642
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	13340
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06984
Number of variables	4617
Total number of constraints	9896
Number of constraints which are clauses	4395
Number of constraints which are cardinality constraints (but not clauses)	5501
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	23
Trace number 7958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-17 17:28:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3327 boxname=wulflinc22 idbench=370 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  ac4ddb996334a0834a018e09e97d1ecb  /oldhome/oroussel/tmp/wulflinc22/normalized-30:30:4.5:0.95:100.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-30:30:4.5:0.95:100.opb
IDLAUNCH: 3327
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        808560 kB
Buffers:         34144 kB
Cached:         148368 kB
SwapCached:          0 kB
Active:          71080 kB
Inactive:       114344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808308 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            35076 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:48:16 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 3327 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-30:30:4.5:0.95:100.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.92 0.97 0.92 2/54 18173
Raw data (stat): 18173 (runsolver) R 18172 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512313675 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.001 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 1119 0 0 0 992 6 0 0 25 0 1 0 512313675 7139328 1115 4294967295 134512640 135450300 3221224624 3221222976 134533299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1743 1115 231 231 0 1512 0
vsize: 6972
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 1446 0 0 0 1992 7 0 0 25 0 1 0 512313675 7430144 1442 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1814 1442 231 231 0 1583 0
vsize: 7256
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 1588 0 0 0 2992 7 0 0 25 0 1 0 512313675 7565312 1584 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1847 1584 231 231 0 1616 0
vsize: 7388
[startup+40.002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 1679 0 0 0 3991 8 0 0 25 0 1 0 512313675 11759616 1675 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 1675 231 231 0 2640 0
vsize: 11484
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 1791 0 0 0 4991 8 0 0 25 0 1 0 512313675 11759616 1787 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 1787 231 231 0 2640 0
vsize: 11484
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 1933 0 0 0 5991 9 0 0 25 0 1 0 512313675 11759616 1929 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 1929 231 231 0 2640 0
vsize: 11484
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2063 0 0 0 6991 9 0 0 25 0 1 0 512313675 11759616 2059 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2059 231 231 0 2640 0
vsize: 11484
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2265 0 0 0 7990 10 0 0 25 0 1 0 512313675 11759616 2261 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2261 231 231 0 2640 0
vsize: 11484
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2410 0 0 0 8990 10 0 0 25 0 1 0 512313675 11759616 2406 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2406 231 231 0 2640 0
vsize: 11484
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2483 0 0 0 9990 10 0 0 25 0 1 0 512313675 11759616 2479 4294967295 134512640 135450300 3221224624 3221223232 134537573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2479 231 231 0 2640 0
vsize: 11484
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2577 0 0 0 10990 11 0 0 25 0 1 0 512313675 11759616 2573 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2573 231 231 0 2640 0
vsize: 11484
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2665 0 0 0 11989 11 0 0 25 0 1 0 512313675 11759616 2661 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2661 231 231 0 2640 0
vsize: 11484
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2729 0 0 0 12989 12 0 0 25 0 1 0 512313675 20148224 2725 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 2725 231 231 0 4688 0
vsize: 19676
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2824 0 0 0 13989 12 0 0 25 0 1 0 512313675 20148224 2820 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 2820 231 231 0 4688 0
vsize: 19676
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 2906 0 0 0 14989 12 0 0 25 0 1 0 512313675 20148224 2902 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 2902 231 231 0 4688 0
vsize: 19676
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3022 0 0 0 15989 12 0 0 25 0 1 0 512313675 20148224 3018 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3018 231 231 0 4688 0
vsize: 19676
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3132 0 0 0 16989 12 0 0 25 0 1 0 512313675 20148224 3128 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3128 231 231 0 4688 0
vsize: 19676
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3260 0 0 0 17989 13 0 0 25 0 1 0 512313675 20148224 3256 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3256 231 231 0 4688 0
vsize: 19676
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3389 0 0 0 18989 13 0 0 25 0 1 0 512313675 20148224 3385 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3385 231 231 0 4688 0
vsize: 19676
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3519 0 0 0 19989 14 0 0 25 0 1 0 512313675 20148224 3515 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3515 231 231 0 4688 0
vsize: 19676
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3618 0 0 0 20988 14 0 0 25 0 1 0 512313675 20148224 3614 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3614 231 231 0 4688 0
vsize: 19676
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3707 0 0 0 21988 14 0 0 25 0 1 0 512313675 20148224 3703 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3703 231 231 0 4688 0
vsize: 19676
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3789 0 0 0 22988 15 0 0 25 0 1 0 512313675 20279296 3785 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3785 231 231 0 4720 0
vsize: 19804
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 3899 0 0 0 23988 15 0 0 25 0 1 0 512313675 20279296 3895 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 3895 231 231 0 4720 0
vsize: 19804
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4107 0 0 0 24988 15 0 0 25 0 1 0 512313675 20279296 4103 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4103 231 231 0 4720 0
vsize: 19804
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4205 0 0 0 25988 15 0 0 25 0 1 0 512313675 20279296 4201 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4201 231 231 0 4720 0
vsize: 19804
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4338 0 0 0 26988 16 0 0 25 0 1 0 512313675 20279296 4334 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4334 231 231 0 4720 0
vsize: 19804
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4464 0 0 0 27988 16 0 0 25 0 1 0 512313675 20279296 4460 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4460 231 231 0 4720 0
vsize: 19804
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4599 0 0 0 28988 16 0 0 25 0 1 0 512313675 20279296 4595 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4595 231 231 0 4720 0
vsize: 19804
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4705 0 0 0 29988 16 0 0 25 0 1 0 512313675 20279296 4701 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4701 231 231 0 4720 0
vsize: 19804
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4811 0 0 0 30988 17 0 0 25 0 1 0 512313675 37056512 4807 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 4807 231 231 0 8816 0
vsize: 36188
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 4923 0 0 0 31987 18 0 0 25 0 1 0 512313675 37056512 4919 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 4919 231 231 0 8816 0
vsize: 36188
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5025 0 0 0 32987 18 0 0 25 0 1 0 512313675 37056512 5021 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5021 231 231 0 8816 0
vsize: 36188
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5149 0 0 0 33986 19 0 0 25 0 1 0 512313675 37056512 5145 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5145 231 231 0 8816 0
vsize: 36188
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5288 0 0 0 34986 19 0 0 25 0 1 0 512313675 37056512 5284 4294967295 134512640 135450300 3221224624 3221223344 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5284 231 231 0 8816 0
vsize: 36188
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5397 0 0 0 35986 20 0 0 25 0 1 0 512313675 37056512 5393 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5393 231 231 0 8816 0
vsize: 36188
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5497 0 0 0 36985 20 0 0 25 0 1 0 512313675 37056512 5493 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5493 231 231 0 8816 0
vsize: 36188
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5581 0 0 0 37985 20 0 0 25 0 1 0 512313675 37056512 5577 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5577 231 231 0 8816 0
vsize: 36188
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5714 0 0 0 38985 21 0 0 25 0 1 0 512313675 37056512 5710 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5710 231 231 0 8816 0
vsize: 36188
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5848 0 0 0 39984 22 0 0 25 0 1 0 512313675 37056512 5844 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5844 231 231 0 8816 0
vsize: 36188
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 5944 0 0 0 40984 22 0 0 25 0 1 0 512313675 37056512 5940 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 5940 231 231 0 8816 0
vsize: 36188
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6055 0 0 0 41984 23 0 0 25 0 1 0 512313675 37056512 6051 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6051 231 231 0 8816 0
vsize: 36188
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6190 0 0 0 42984 23 0 0 25 0 1 0 512313675 37056512 6186 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6186 231 231 0 8816 0
vsize: 36188
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6269 0 0 0 43984 23 0 0 25 0 1 0 512313675 37056512 6265 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6265 231 231 0 8816 0
vsize: 36188
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6402 0 0 0 44983 24 0 0 25 0 1 0 512313675 37056512 6398 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6398 231 231 0 8816 0
vsize: 36188
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6505 0 0 0 45983 24 0 0 25 0 1 0 512313675 37056512 6501 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6501 231 231 0 8816 0
vsize: 36188
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6638 0 0 0 46983 24 0 0 25 0 1 0 512313675 37056512 6634 4294967295 134512640 135450300 3221224624 3221223344 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6634 231 231 0 8816 0
vsize: 36188
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6724 0 0 0 47983 24 0 0 25 0 1 0 512313675 37056512 6720 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6720 231 231 0 8816 0
vsize: 36188
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6831 0 0 0 48983 24 0 0 25 0 1 0 512313675 37056512 6827 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6827 231 231 0 8816 0
vsize: 36188
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 6957 0 0 0 49983 25 0 0 25 0 1 0 512313675 37056512 6953 4294967295 134512640 135450300 3221224624 3221223440 134547155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 6953 231 231 0 8816 0
vsize: 36188
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7064 0 0 0 50983 25 0 0 25 0 1 0 512313675 37056512 7060 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7060 231 231 0 8816 0
vsize: 36188
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7181 0 0 0 51983 26 0 0 25 0 1 0 512313675 37056512 7177 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7177 231 231 0 8816 0
vsize: 36188
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7290 0 0 0 52982 26 0 0 25 0 1 0 512313675 37056512 7286 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7286 231 231 0 8816 0
vsize: 36188
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7406 0 0 0 53982 26 0 0 25 0 1 0 512313675 37056512 7402 4294967295 134512640 135450300 3221224624 3221223040 134533471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7402 231 231 0 8816 0
vsize: 36188
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7502 0 0 0 54982 27 0 0 25 0 1 0 512313675 37056512 7498 4294967295 134512640 135450300 3221224624 3221223440 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7498 231 231 0 8816 0
vsize: 36188
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7585 0 0 0 55981 27 0 0 25 0 1 0 512313675 37056512 7581 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7581 231 231 0 8816 0
vsize: 36188
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7747 0 0 0 56981 28 0 0 25 0 1 0 512313675 37056512 7743 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7743 231 231 0 8816 0
vsize: 36188
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7834 0 0 0 57981 28 0 0 25 0 1 0 512313675 37056512 7830 4294967295 134512640 135450300 3221224624 3221223344 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7830 231 231 0 8816 0
vsize: 36188
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7928 0 0 0 58981 28 0 0 25 0 1 0 512313675 37056512 7924 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7924 231 231 0 8816 0
vsize: 36188
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 7999 0 0 0 59981 29 0 0 25 0 1 0 512313675 37056512 7995 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 7995 231 231 0 8816 0
vsize: 36188
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8125 0 0 0 60981 29 0 0 25 0 1 0 512313675 37056512 8121 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8121 231 231 0 8816 0
vsize: 36188
[startup+620.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8220 0 0 0 61981 29 0 0 25 0 1 0 512313675 37056512 8216 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8216 231 231 0 8816 0
vsize: 36188
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8304 0 0 0 62980 30 0 0 25 0 1 0 512313675 37056512 8300 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8300 231 231 0 8816 0
vsize: 36188
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8439 0 0 0 63980 30 0 0 25 0 1 0 512313675 37056512 8435 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8435 231 231 0 8816 0
vsize: 36188
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8588 0 0 0 64980 30 0 0 25 0 1 0 512313675 37056512 8584 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8584 231 231 0 8816 0
vsize: 36188
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8691 0 0 0 65980 31 0 0 25 0 1 0 512313675 37056512 8687 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8687 231 231 0 8816 0
vsize: 36188
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8787 0 0 0 66980 31 0 0 25 0 1 0 512313675 37056512 8783 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8783 231 231 0 8816 0
vsize: 36188
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 8884 0 0 0 67979 32 0 0 25 0 1 0 512313675 37056512 8880 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9047 8880 231 231 0 8816 0
vsize: 36188
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9011 0 0 0 68978 33 0 0 25 0 1 0 512313675 70610944 9007 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9007 231 231 0 17008 0
vsize: 68956
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9130 0 0 0 69978 33 0 0 25 0 1 0 512313675 70610944 9126 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9126 231 231 0 17008 0
vsize: 68956
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9260 0 0 0 70978 34 0 0 25 0 1 0 512313675 70610944 9256 4294967295 134512640 135450300 3221224624 3221223344 134535898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9256 231 231 0 17008 0
vsize: 68956
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9382 0 0 0 71978 34 0 0 25 0 1 0 512313675 70610944 9378 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9378 231 231 0 17008 0
vsize: 68956
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9523 0 0 0 72977 34 0 0 25 0 1 0 512313675 70610944 9519 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9519 231 231 0 17008 0
vsize: 68956
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9618 0 0 0 73977 35 0 0 25 0 1 0 512313675 70610944 9614 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9614 231 231 0 17008 0
vsize: 68956
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9725 0 0 0 74977 35 0 0 25 0 1 0 512313675 70610944 9721 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9721 231 231 0 17008 0
vsize: 68956
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9826 0 0 0 75977 35 0 0 25 0 1 0 512313675 70610944 9822 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9822 231 231 0 17008 0
vsize: 68956
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 9957 0 0 0 76977 35 0 0 25 0 1 0 512313675 70610944 9953 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 9953 231 231 0 17008 0
vsize: 68956
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 10055 0 0 0 77977 36 0 0 25 0 1 0 512313675 70610944 10051 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 10051 231 231 0 17008 0
vsize: 68956
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 10190 0 0 0 78977 36 0 0 25 0 1 0 512313675 70610944 10186 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 10186 231 231 0 17008 0
vsize: 68956
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 10297 0 0 0 79976 37 0 0 25 0 1 0 512313675 70610944 10293 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 10293 231 231 0 17008 0
vsize: 68956
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 10470 0 0 0 80976 37 0 0 25 0 1 0 512313675 70610944 10466 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 10466 231 231 0 17008 0
vsize: 68956
[startup+820.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 10621 0 0 0 81976 38 0 0 25 0 1 0 512313675 70610944 10617 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 10617 231 231 0 17008 0
vsize: 68956
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 10754 0 0 0 82976 38 0 0 25 0 1 0 512313675 70610944 10750 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 10750 231 231 0 17008 0
vsize: 68956
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 10895 0 0 0 83975 39 0 0 25 0 1 0 512313675 70610944 10891 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17239 10891 231 231 0 17008 0
vsize: 68956
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11089 0 0 0 84975 39 0 0 25 0 1 0 512313675 70807552 11036 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11036 231 231 0 17056 0
vsize: 69148
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11217 0 0 0 85975 39 0 0 25 0 1 0 512313675 70807552 11164 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11164 231 231 0 17056 0
vsize: 69148
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11295 0 0 0 86975 40 0 0 25 0 1 0 512313675 70807552 11242 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11242 231 231 0 17056 0
vsize: 69148
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11373 0 0 0 87975 40 0 0 25 0 1 0 512313675 70807552 11320 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11320 231 231 0 17056 0
vsize: 69148
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11442 0 0 0 88975 40 0 0 25 0 1 0 512313675 70807552 11389 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11389 231 231 0 17056 0
vsize: 69148
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11611 0 0 0 89974 41 0 0 25 0 1 0 512313675 70807552 11558 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11558 231 231 0 17056 0
vsize: 69148
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11716 0 0 0 90974 41 0 0 25 0 1 0 512313675 70807552 11663 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11663 231 231 0 17056 0
vsize: 69148
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 11868 0 0 0 91974 41 0 0 25 0 1 0 512313675 70807552 11815 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11815 231 231 0 17056 0
vsize: 69148
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12001 0 0 0 92974 42 0 0 25 0 1 0 512313675 70807552 11948 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 11948 231 231 0 17056 0
vsize: 69148
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12092 0 0 0 93974 42 0 0 25 0 1 0 512313675 70807552 12039 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12039 231 231 0 17056 0
vsize: 69148
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12189 0 0 0 94973 43 0 0 25 0 1 0 512313675 70807552 12136 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12136 231 231 0 17056 0
vsize: 69148
[startup+960.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12310 0 0 0 95973 43 0 0 25 0 1 0 512313675 70807552 12257 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12257 231 231 0 17056 0
vsize: 69148
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12420 0 0 0 96973 44 0 0 25 0 1 0 512313675 70807552 12367 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12367 231 231 0 17056 0
vsize: 69148
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12571 0 0 0 97972 44 0 0 25 0 1 0 512313675 70807552 12518 4294967295 134512640 135450300 3221224624 3221223344 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12518 231 231 0 17056 0
vsize: 69148
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12661 0 0 0 98972 45 0 0 25 0 1 0 512313675 70807552 12608 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12608 231 231 0 17056 0
vsize: 69148
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12761 0 0 0 99972 45 0 0 25 0 1 0 512313675 70807552 12708 4294967295 134512640 135450300 3221224624 3221223344 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12708 231 231 0 17056 0
vsize: 69148
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12826 0 0 0 100972 45 0 0 25 0 1 0 512313675 70807552 12773 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 12773 231 231 0 17056 0
vsize: 69148
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12913 0 0 0 101972 45 0 0 25 0 1 0 512313675 70926336 12860 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 12860 231 231 0 17085 0
vsize: 69264
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 12990 0 0 0 102971 46 0 0 25 0 1 0 512313675 70926336 12937 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 12937 231 231 0 17085 0
vsize: 69264
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 13121 0 0 0 103972 46 0 0 25 0 1 0 512313675 70926336 13068 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13068 231 231 0 17085 0
vsize: 69264
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 13241 0 0 0 104972 46 0 0 25 0 1 0 512313675 70926336 13188 4294967295 134512640 135450300 3221224624 3221223232 134537645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13188 231 231 0 17085 0
vsize: 69264
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 13371 0 0 0 105971 47 0 0 25 0 1 0 512313675 70926336 13318 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13318 231 231 0 17085 0
vsize: 69264
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 13536 0 0 0 106971 47 0 0 25 0 1 0 512313675 70926336 13483 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13483 231 231 0 17085 0
vsize: 69264
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 13660 0 0 0 107971 47 0 0 25 0 1 0 512313675 70926336 13607 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13607 231 231 0 17085 0
vsize: 69264
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 13788 0 0 0 108971 48 0 0 25 0 1 0 512313675 70926336 13735 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13735 231 231 0 17085 0
vsize: 69264
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 13939 0 0 0 109971 48 0 0 25 0 1 0 512313675 70926336 13886 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13886 231 231 0 17085 0
vsize: 69264
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 14041 0 0 0 110971 48 0 0 25 0 1 0 512313675 70926336 13988 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 13988 231 231 0 17085 0
vsize: 69264
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 14139 0 0 0 111971 48 0 0 25 0 1 0 512313675 70926336 14086 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 14086 231 231 0 17085 0
vsize: 69264
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 14266 0 0 0 112971 48 0 0 25 0 1 0 512313675 70926336 14213 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 14213 231 231 0 17085 0
vsize: 69264
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 14454 0 0 0 113971 49 0 0 25 0 1 0 512313675 70926336 14401 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 14401 231 231 0 17085 0
vsize: 69264
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 14599 0 0 0 114970 49 0 0 25 0 1 0 512313675 70926336 14546 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 14546 231 231 0 17085 0
vsize: 69264
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 14751 0 0 0 115970 50 0 0 25 0 1 0 512313675 70926336 14698 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 14698 231 231 0 17085 0
vsize: 69264
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 14890 0 0 0 116970 50 0 0 25 0 1 0 512313675 70926336 14837 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 14837 231 231 0 17085 0
vsize: 69264
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 15045 0 0 0 117969 51 0 0 25 0 1 0 512313675 70926336 14992 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 14992 231 231 0 17085 0
vsize: 69264
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 15154 0 0 0 118969 51 0 0 25 0 1 0 512313675 70926336 15101 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 15101 231 231 0 17085 0
vsize: 69264
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 18173
Raw data (stat): 18173 (PBS4) R 18172 26298 26297 0 -1 0 15281 0 0 0 119969 52 0 0 25 0 1 0 512313675 70926336 15228 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17316 15228 231 231 0 17085 0
vsize: 69264
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 18173
Raw data (stat): 18173 (PBS4) Z 18172 26298 26297 0 -1 1036 15281 0 0 0 119969 55 0 0 25 0 1 0 512313675 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.04
CPU time (s): 1200.24
CPU user time (s): 1199.69
CPU system time (s): 0.551916
CPU usage (%): 100.017
Max. virtual memory (Kb): 69264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####