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/course-ass/normalized-ws97-3.opb
MD5SUM	77c89bda49ebcdc0428e1292512864a9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3080
Optimality of the best value was proved	NO
Number of terms in the objective function	2792
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	1385986
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1000
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	1385986
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07184
Number of variables	3300
Total number of constraints	5284
Number of constraints which are clauses	1364
Number of constraints which are cardinality constraints (but not clauses)	3920
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	220
Trace number 7948

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-17 17:23:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3210 boxname=wulflinc9 idbench=357 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  77c89bda49ebcdc0428e1292512864a9  /oldhome/oroussel/tmp/wulflinc9/normalized-ws97-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc9/normalized-ws97-3.opb
IDLAUNCH: 3210
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        849784 kB
Buffers:         38036 kB
Cached:         125280 kB
SwapCached:        564 kB
Active:          71532 kB
Inactive:        95208 kB
HighTotal:      131008 kB
HighFree:         1792 kB
LowTotal:       903652 kB
LowFree:        847992 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12500 kB
Committed_AS:    63560 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 17:43:33 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 3210 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-ws97-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.86 0.97 0.91 2/54 25556
Raw data (stat): 25556 (runsolver) R 25555 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454065788 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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+9.9996 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 710 0 0 0 994 5 0 0 25 0 1 0 454065788 3629056 706 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 886 706 231 231 0 655 0
vsize: 3544
[startup+20.0006 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1022 0 0 0 1993 6 0 0 25 0 1 0 454065788 6774784 1018 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1654 1018 231 231 0 1423 0
vsize: 6616
[startup+30.0014 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1334 0 0 0 2992 7 0 0 25 0 1 0 454065788 6774784 1330 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1654 1330 231 231 0 1423 0
vsize: 6616
[startup+40.0018 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1645 0 0 0 3992 7 0 0 25 0 1 0 454065788 10969088 1641 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2678 1641 231 231 0 2447 0
vsize: 10712
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1964 0 0 0 4991 8 0 0 25 0 1 0 454065788 10969088 1960 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2678 1960 231 231 0 2447 0
vsize: 10712
[startup+60.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 2292 0 0 0 5990 9 0 0 25 0 1 0 454065788 10969088 2288 4294967295 134512640 135450300 3221224640 3221223168 134544896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2678 2288 231 231 0 2447 0
vsize: 10712
[startup+70.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 2602 0 0 0 6990 10 0 0 25 0 1 0 454065788 19357696 2598 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 2598 231 231 0 4495 0
vsize: 18904
[startup+80.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 2915 0 0 0 7989 11 0 0 25 0 1 0 454065788 19357696 2911 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 2911 231 231 0 4495 0
vsize: 18904
[startup+90.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 3230 0 0 0 8988 12 0 0 25 0 1 0 454065788 19357696 3226 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 3226 231 231 0 4495 0
vsize: 18904
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 3546 0 0 0 9988 12 0 0 25 0 1 0 454065788 19357696 3542 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 3542 231 231 0 4495 0
vsize: 18904
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 3861 0 0 0 10987 13 0 0 25 0 1 0 454065788 19357696 3857 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 3857 231 231 0 4495 0
vsize: 18904
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 4187 0 0 0 11987 14 0 0 25 0 1 0 454065788 19357696 4183 4294967295 134512640 135450300 3221224640 3221223116 134572060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 4183 231 231 0 4495 0
vsize: 18904
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 4500 0 0 0 12986 15 0 0 25 0 1 0 454065788 19357696 4496 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4726 4496 231 231 0 4495 0
vsize: 18904
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 4811 0 0 0 13986 15 0 0 25 0 1 0 454065788 36134912 4807 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8822 4807 231 231 0 8591 0
vsize: 35288
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 5146 0 0 0 14985 16 0 0 25 0 1 0 454065788 36335616 5142 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 5142 231 231 0 8640 0
vsize: 35484
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 5449 0 0 0 15985 17 0 0 25 0 1 0 454065788 36335616 5445 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 5445 231 231 0 8640 0
vsize: 35484
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 5763 0 0 0 16984 17 0 0 25 0 1 0 454065788 36335616 5759 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 5759 231 231 0 8640 0
vsize: 35484
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 6084 0 0 0 17984 18 0 0 25 0 1 0 454065788 36335616 6080 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 6080 231 231 0 8640 0
vsize: 35484
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 6401 0 0 0 18984 19 0 0 25 0 1 0 454065788 36335616 6397 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 6397 231 231 0 8640 0
vsize: 35484
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 6713 0 0 0 19983 19 0 0 25 0 1 0 454065788 36335616 6709 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 6709 231 231 0 8640 0
vsize: 35484
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7025 0 0 0 20982 21 0 0 25 0 1 0 454065788 36335616 7021 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 7021 231 231 0 8640 0
vsize: 35484
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7342 0 0 0 21981 21 0 0 25 0 1 0 454065788 36335616 7338 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 7338 231 231 0 8640 0
vsize: 35484
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7653 0 0 0 22980 23 0 0 25 0 1 0 454065788 36335616 7649 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 7649 231 231 0 8640 0
vsize: 35484
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7961 0 0 0 23980 23 0 0 25 0 1 0 454065788 36335616 7957 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 7957 231 231 0 8640 0
vsize: 35484
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 8280 0 0 0 24980 24 0 0 25 0 1 0 454065788 36335616 8276 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 8276 231 231 0 8640 0
vsize: 35484
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 8597 0 0 0 25979 24 0 0 25 0 1 0 454065788 36335616 8593 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8871 8593 231 231 0 8640 0
vsize: 35484
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 8909 0 0 0 26979 25 0 0 25 0 1 0 454065788 69890048 8905 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 8905 231 231 0 16832 0
vsize: 68252
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 9222 0 0 0 27978 25 0 0 25 0 1 0 454065788 69890048 9218 4294967295 134512640 135450300 3221224640 3221222916 135070907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 9218 231 231 0 16832 0
vsize: 68252
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 9531 0 0 0 28978 26 0 0 25 0 1 0 454065788 69890048 9527 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 9527 231 231 0 16832 0
vsize: 68252
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 9840 0 0 0 29977 27 0 0 25 0 1 0 454065788 69890048 9836 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 9836 231 231 0 16832 0
vsize: 68252
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 10150 0 0 0 30977 28 0 0 25 0 1 0 454065788 69890048 10146 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 10146 231 231 0 16832 0
vsize: 68252
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 10463 0 0 0 31976 29 0 0 25 0 1 0 454065788 69890048 10459 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 10459 231 231 0 16832 0
vsize: 68252
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 10756 0 0 0 32975 29 0 0 25 0 1 0 454065788 69890048 10752 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 10752 231 231 0 16832 0
vsize: 68252
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 11093 0 0 0 33975 30 0 0 25 0 1 0 454065788 69890048 11089 4294967295 134512640 135450300 3221224640 3221223376 134538528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 11089 231 231 0 16832 0
vsize: 68252
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 11425 0 0 0 34974 32 0 0 25 0 1 0 454065788 69890048 11421 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 11421 231 231 0 16832 0
vsize: 68252
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 11740 0 0 0 35973 32 0 0 25 0 1 0 454065788 69890048 11736 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 11736 231 231 0 16832 0
vsize: 68252
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12054 0 0 0 36972 34 0 0 25 0 1 0 454065788 69890048 12050 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 12050 231 231 0 16832 0
vsize: 68252
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12366 0 0 0 37971 35 0 0 25 0 1 0 454065788 69890048 12362 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 12362 231 231 0 16832 0
vsize: 68252
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12679 0 0 0 38970 35 0 0 25 0 1 0 454065788 69890048 12675 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 12675 231 231 0 16832 0
vsize: 68252
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12994 0 0 0 39970 36 0 0 25 0 1 0 454065788 69890048 12990 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 12990 231 231 0 16832 0
vsize: 68252
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 13304 0 0 0 40969 38 0 0 25 0 1 0 454065788 69890048 13300 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 13300 231 231 0 16832 0
vsize: 68252
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 13664 0 0 0 41968 38 0 0 25 0 1 0 454065788 70086656 13611 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 13611 231 231 0 16880 0
vsize: 68444
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 13961 0 0 0 42968 39 0 0 25 0 1 0 454065788 70086656 13908 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 13908 231 231 0 16880 0
vsize: 68444
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 14273 0 0 0 43967 40 0 0 25 0 1 0 454065788 70086656 14220 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 14220 231 231 0 16880 0
vsize: 68444
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 14579 0 0 0 44967 40 0 0 25 0 1 0 454065788 70086656 14526 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 14526 231 231 0 16880 0
vsize: 68444
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 14886 0 0 0 45967 41 0 0 25 0 1 0 454065788 70086656 14833 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 14833 231 231 0 16880 0
vsize: 68444
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 15158 0 0 0 46966 42 0 0 25 0 1 0 454065788 70086656 15105 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 15105 231 231 0 16880 0
vsize: 68444
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 15506 0 0 0 47963 45 0 0 25 0 1 0 454065788 70332416 15453 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 15453 231 231 0 16940 0
vsize: 68684
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 15822 0 0 0 48961 47 0 0 25 0 1 0 454065788 70332416 15769 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 15769 231 231 0 16940 0
vsize: 68684
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 16250 0 0 0 49960 48 0 0 25 0 1 0 454065788 70332416 16197 4294967295 134512640 135450300 3221224640 3221223376 134537913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17171 16197 231 231 0 16940 0
vsize: 68684
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 16653 0 0 0 50959 49 0 0 25 0 1 0 454065788 70496256 16600 4294967295 134512640 135450300 3221224640 3221223360 134598272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17211 16600 231 231 0 16980 0
vsize: 68844
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17154 0 0 0 51952 57 0 0 25 0 1 0 454065788 70762496 17101 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17276 17101 231 231 0 17045 0
vsize: 69104
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17167 0 0 0 52951 58 0 0 25 0 1 0 454065788 70893568 17114 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17308 17114 231 231 0 17077 0
vsize: 69232
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17210 0 0 0 53947 61 0 0 25 0 1 0 454065788 71032832 17157 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17342 17157 231 231 0 17111 0
vsize: 69368
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17212 0 0 0 54947 62 0 0 25 0 1 0 454065788 71032832 17159 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17342 17159 231 231 0 17111 0
vsize: 69368
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17270 0 0 0 55944 65 0 0 25 0 1 0 454065788 71303168 17217 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17408 17217 231 231 0 17177 0
vsize: 69632
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17288 0 0 0 56940 69 0 0 25 0 1 0 454065788 71303168 17235 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17408 17235 231 231 0 17177 0
vsize: 69632
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17289 0 0 0 57940 69 0 0 25 0 1 0 454065788 71303168 17236 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17408 17236 231 231 0 17177 0
vsize: 69632
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17289 0 0 0 58941 69 0 0 25 0 1 0 454065788 71303168 17236 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17408 17236 231 231 0 17177 0
vsize: 69632
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17293 0 0 0 59941 69 0 0 25 0 1 0 454065788 71303168 17240 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17408 17240 231 231 0 17177 0
vsize: 69632
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17309 0 0 0 60938 72 0 0 25 0 1 0 454065788 71421952 17256 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 17256 231 231 0 17206 0
vsize: 69748
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17313 0 0 0 61936 74 0 0 25 0 1 0 454065788 71421952 17260 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 17260 231 231 0 17206 0
vsize: 69748
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17317 0 0 0 62935 75 0 0 25 0 1 0 454065788 71421952 17264 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 17264 231 231 0 17206 0
vsize: 69748
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17318 0 0 0 63935 75 0 0 25 0 1 0 454065788 71421952 17265 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 17265 231 231 0 17206 0
vsize: 69748
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17319 0 0 0 64935 76 0 0 25 0 1 0 454065788 71421952 17266 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17437 17266 231 231 0 17206 0
vsize: 69748
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17350 0 0 0 65935 76 0 0 25 0 1 0 454065788 71565312 17297 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17472 17297 231 231 0 17241 0
vsize: 69888
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17365 0 0 0 66935 76 0 0 25 0 1 0 454065788 71565312 17312 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17472 17312 231 231 0 17241 0
vsize: 69888
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17376 0 0 0 67935 76 0 0 25 0 1 0 454065788 71700480 17323 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 17323 231 231 0 17274 0
vsize: 70020
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17381 0 0 0 68935 76 0 0 25 0 1 0 454065788 71700480 17328 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 17328 231 231 0 17274 0
vsize: 70020
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17383 0 0 0 69935 76 0 0 25 0 1 0 454065788 71700480 17330 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 17330 231 231 0 17274 0
vsize: 70020
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17384 0 0 0 70936 76 0 0 25 0 1 0 454065788 71700480 17331 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 17331 231 231 0 17274 0
vsize: 70020
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17391 0 0 0 71936 76 0 0 25 0 1 0 454065788 71700480 17338 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 17338 231 231 0 17274 0
vsize: 70020
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17392 0 0 0 72936 77 0 0 25 0 1 0 454065788 71700480 17339 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 17339 231 231 0 17274 0
vsize: 70020
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17409 0 0 0 73932 81 0 0 25 0 1 0 454065788 71700480 17356 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 17356 231 231 0 17274 0
vsize: 70020
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17415 0 0 0 74931 82 0 0 25 0 1 0 454065788 71839744 17362 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17539 17362 231 231 0 17308 0
vsize: 70156
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17451 0 0 0 75929 84 0 0 25 0 1 0 454065788 71974912 17398 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17572 17398 231 231 0 17341 0
vsize: 70288
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17452 0 0 0 76927 86 0 0 25 0 1 0 454065788 71974912 17399 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17572 17399 231 231 0 17341 0
vsize: 70288
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17453 0 0 0 77926 87 0 0 25 0 1 0 454065788 71974912 17400 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17572 17400 231 231 0 17341 0
vsize: 70288
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17454 0 0 0 78926 87 0 0 25 0 1 0 454065788 71974912 17401 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17572 17401 231 231 0 17341 0
vsize: 70288
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17465 0 0 0 79926 88 0 0 25 0 1 0 454065788 71974912 17412 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17572 17412 231 231 0 17341 0
vsize: 70288
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17507 0 0 0 80924 90 0 0 25 0 1 0 454065788 72110080 17454 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17605 17454 231 231 0 17374 0
vsize: 70420
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17508 0 0 0 81923 91 0 0 25 0 1 0 454065788 72110080 17455 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17605 17455 231 231 0 17374 0
vsize: 70420
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17509 0 0 0 82923 92 0 0 25 0 1 0 454065788 72110080 17456 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17605 17456 231 231 0 17374 0
vsize: 70420
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17517 0 0 0 83922 92 0 0 25 0 1 0 454065788 72110080 17464 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17605 17464 231 231 0 17374 0
vsize: 70420
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17527 0 0 0 84916 98 0 0 25 0 1 0 454065788 72245248 17474 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17638 17474 231 231 0 17407 0
vsize: 70552
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17626 0 0 0 85916 99 0 0 25 0 1 0 454065788 72638464 17476 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17476 231 231 0 17503 0
vsize: 70936
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17636 0 0 0 86916 99 0 0 25 0 1 0 454065788 72638464 17486 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17486 231 231 0 17503 0
vsize: 70936
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17643 0 0 0 87916 100 0 0 25 0 1 0 454065788 72638464 17493 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17493 231 231 0 17503 0
vsize: 70936
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17643 0 0 0 88916 100 0 0 25 0 1 0 454065788 72638464 17493 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17493 231 231 0 17503 0
vsize: 70936
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17644 0 0 0 89916 100 0 0 25 0 1 0 454065788 72638464 17494 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17494 231 231 0 17503 0
vsize: 70936
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17644 0 0 0 90916 100 0 0 25 0 1 0 454065788 72638464 17494 4294967295 134512640 135450300 3221224640 3221223376 134538577 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17494 231 231 0 17503 0
vsize: 70936
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17645 0 0 0 91916 100 0 0 25 0 1 0 454065788 72638464 17495 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17495 231 231 0 17503 0
vsize: 70936
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17646 0 0 0 92916 100 0 0 25 0 1 0 454065788 72638464 17496 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17496 231 231 0 17503 0
vsize: 70936
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17647 0 0 0 93916 100 0 0 25 0 1 0 454065788 72638464 17497 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17497 231 231 0 17503 0
vsize: 70936
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17657 0 0 0 94916 101 0 0 25 0 1 0 454065788 72638464 17507 4294967295 134512640 135450300 3221224640 3221222992 134533233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17734 17507 231 231 0 17503 0
vsize: 70936
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17663 0 0 0 95911 106 0 0 25 0 1 0 454065788 72773632 17513 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17513 231 231 0 17536 0
vsize: 71068
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17665 0 0 0 96911 106 0 0 25 0 1 0 454065788 72773632 17515 4294967295 134512640 135450300 3221224640 3221223456 134546480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17515 231 231 0 17536 0
vsize: 71068
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17674 0 0 0 97910 107 0 0 25 0 1 0 454065788 72773632 17524 4294967295 134512640 135450300 3221224640 3221223168 134544104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17524 231 231 0 17536 0
vsize: 71068
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17676 0 0 0 98907 111 0 0 25 0 1 0 454065788 72773632 17526 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17526 231 231 0 17536 0
vsize: 71068
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17680 0 0 0 99904 114 0 0 25 0 1 0 454065788 72773632 17530 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17530 231 231 0 17536 0
vsize: 71068
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17681 0 0 0 100904 114 0 0 25 0 1 0 454065788 72773632 17531 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17531 231 231 0 17536 0
vsize: 71068
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17698 0 0 0 101899 119 0 0 25 0 1 0 454065788 72773632 17548 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17548 231 231 0 17536 0
vsize: 71068
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17702 0 0 0 102899 119 0 0 25 0 1 0 454065788 72773632 17552 4294967295 134512640 135450300 3221224640 3221223116 134572079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 17552 231 231 0 17536 0
vsize: 71068
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17709 0 0 0 103897 122 0 0 25 0 1 0 454065788 72892416 17559 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17559 231 231 0 17565 0
vsize: 71184
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17710 0 0 0 104895 124 0 0 25 0 1 0 454065788 72892416 17560 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17560 231 231 0 17565 0
vsize: 71184
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17712 0 0 0 105895 124 0 0 25 0 1 0 454065788 72892416 17562 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17562 231 231 0 17565 0
vsize: 71184
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17724 0 0 0 106889 130 0 0 25 0 1 0 454065788 72892416 17574 4294967295 134512640 135450300 3221224640 3221223248 134537672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17574 231 231 0 17565 0
vsize: 71184
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17726 0 0 0 107889 130 0 0 25 0 1 0 454065788 72892416 17576 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17576 231 231 0 17565 0
vsize: 71184
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17733 0 0 0 108886 133 0 0 25 0 1 0 454065788 72892416 17583 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17583 231 231 0 17565 0
vsize: 71184
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17736 0 0 0 109884 136 0 0 25 0 1 0 454065788 72892416 17586 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17586 231 231 0 17565 0
vsize: 71184
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17745 0 0 0 110884 136 0 0 25 0 1 0 454065788 72892416 17595 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17796 17595 231 231 0 17565 0
vsize: 71184
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17751 0 0 0 111883 137 0 0 25 0 1 0 454065788 73027584 17601 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17829 17601 231 231 0 17598 0
vsize: 71316
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17758 0 0 0 112883 138 0 0 25 0 1 0 454065788 73027584 17608 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17829 17608 231 231 0 17598 0
vsize: 71316
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17760 0 0 0 113883 138 0 0 25 0 1 0 454065788 73027584 17610 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17829 17610 231 231 0 17598 0
vsize: 71316
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17761 0 0 0 114883 138 0 0 25 0 1 0 454065788 73027584 17611 4294967295 134512640 135450300 3221224640 3221223456 134546472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17829 17611 231 231 0 17598 0
vsize: 71316
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17762 0 0 0 115883 138 0 0 25 0 1 0 454065788 73027584 17612 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17829 17612 231 231 0 17598 0
vsize: 71316
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17792 0 0 0 116877 144 0 0 25 0 1 0 454065788 73162752 17642 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17862 17642 231 231 0 17631 0
vsize: 71448
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17821 0 0 0 117875 146 0 0 25 0 1 0 454065788 73162752 17671 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17862 17671 231 231 0 17631 0
vsize: 71448
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17831 0 0 0 118874 148 0 0 25 0 1 0 454065788 73281536 17681 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17891 17681 231 231 0 17660 0
vsize: 71564
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25556
Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17831 0 0 0 119870 152 0 0 25 0 1 0 454065788 73281536 17681 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17891 17681 231 231 0 17660 0
vsize: 71564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25556
Raw data (stat): 25556 (PBS4) Z 25555 30854 30853 0 -1 1036 17831 0 0 0 119870 155 0 0 25 0 1 0 454065788 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.06
CPU time (s): 1200.26
CPU user time (s): 1198.71
CPU system time (s): 1.55576
CPU usage (%): 100.017
Max. virtual memory (Kb): 71564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####