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/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM	48809ba02390b1184dab90aed89aff8e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4517
Optimality of the best value was proved	NO
Number of terms in the objective function	651
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	28138
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	28138
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	651
Total number of constraints	1658
Number of constraints which are clauses	1656
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	1
Maximum length of a constraint	42
Trace number 7853

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-17 16:39:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2211 boxname=wulflinc6 idbench=246 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  48809ba02390b1184dab90aed89aff8e  /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb
IDLAUNCH: 2211
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        828568 kB
Buffers:         37584 kB
Cached:         144936 kB
SwapCached:       2644 kB
Active:          68328 kB
Inactive:       119732 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        828288 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12404 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:59:18 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 2211 7 1200.43 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.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.84 0.95 0.90 2/54 20803
Raw data (stat): 20803 (runsolver) R 20802 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453799583 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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.0001 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 706 0 0 0 994 5 0 0 25 0 1 0 453799583 3690496 702 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 901 702 231 231 0 670 0
vsize: 3604
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.95 0.90 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 1151 0 0 0 1993 6 0 0 25 0 1 0 453799583 5988352 1147 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1462 1147 231 231 0 1231 0
vsize: 5848
[startup+30.0001 s]
Raw data (loadavg): 0.90 0.95 0.90 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 1478 0 0 0 2993 6 0 0 25 0 1 0 453799583 10182656 1474 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1474 231 231 0 2255 0
vsize: 9944
[startup+39.9996 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 1824 0 0 0 3992 8 0 0 25 0 1 0 453799583 10182656 1820 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1820 231 231 0 2255 0
vsize: 9944
[startup+49.9994 s]
Raw data (loadavg): 0.93 0.96 0.90 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 2145 0 0 0 4990 10 0 0 25 0 1 0 453799583 10182656 2141 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 2141 231 231 0 2255 0
vsize: 9944
[startup+59.9985 s]
Raw data (loadavg): 0.94 0.96 0.90 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 2454 0 0 0 5989 11 0 0 25 0 1 0 453799583 18571264 2450 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4534 2450 231 231 0 4303 0
vsize: 18136
[startup+69.999 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 2807 0 0 0 6988 12 0 0 25 0 1 0 453799583 18903040 2754 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4615 2754 231 231 0 4384 0
vsize: 18460
[startup+79.9991 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3124 0 0 0 7987 14 0 0 25 0 1 0 453799583 19042304 3071 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4649 3071 231 231 0 4418 0
vsize: 18596
[startup+89.999 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3365 0 0 0 8986 15 0 0 25 0 1 0 453799583 19042304 3312 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4649 3312 231 231 0 4418 0
vsize: 18596
[startup+99.9985 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3516 0 0 0 9986 16 0 0 25 0 1 0 453799583 19173376 3463 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3463 231 231 0 4450 0
vsize: 18724
[startup+109.999 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3783 0 0 0 10985 17 0 0 25 0 1 0 453799583 19173376 3730 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3730 231 231 0 4450 0
vsize: 18724
[startup+119.998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3794 0 0 0 11985 18 0 0 25 0 1 0 453799583 19173376 3741 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3741 231 231 0 4450 0
vsize: 18724
[startup+129.998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3804 0 0 0 12984 18 0 0 25 0 1 0 453799583 19173376 3751 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3751 231 231 0 4450 0
vsize: 18724
[startup+139.998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3812 0 0 0 13984 19 0 0 25 0 1 0 453799583 19312640 3759 4294967295 134512640 135450300 3221224640 3221223376 134538895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4715 3759 231 231 0 4484 0
vsize: 18860
[startup+149.998 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3826 0 0 0 14984 19 0 0 25 0 1 0 453799583 19312640 3773 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4715 3773 231 231 0 4484 0
vsize: 18860
[startup+159.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3841 0 0 0 15984 20 0 0 25 0 1 0 453799583 19312640 3788 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4715 3788 231 231 0 4484 0
vsize: 18860
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3855 0 0 0 16984 20 0 0 25 0 1 0 453799583 19312640 3802 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4715 3802 231 231 0 4484 0
vsize: 18860
[startup+179.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3864 0 0 0 17984 20 0 0 25 0 1 0 453799583 19439616 3811 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3811 231 231 0 4515 0
vsize: 18984
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3976 0 0 0 18983 21 0 0 25 0 1 0 453799583 19832832 3826 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4842 3826 231 231 0 4611 0
vsize: 19368
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3987 0 0 0 19983 21 0 0 25 0 1 0 453799583 19832832 3837 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4842 3837 231 231 0 4611 0
vsize: 19368
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4011 0 0 0 20983 23 0 0 25 0 1 0 453799583 19988480 3861 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 3861 231 231 0 4649 0
vsize: 19520
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4021 0 0 0 21982 23 0 0 25 0 1 0 453799583 19988480 3871 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 3871 231 231 0 4649 0
vsize: 19520
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4033 0 0 0 22983 23 0 0 25 0 1 0 453799583 19988480 3883 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 3883 231 231 0 4649 0
vsize: 19520
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4041 0 0 0 23982 24 0 0 25 0 1 0 453799583 19988480 3891 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 3891 231 231 0 4649 0
vsize: 19520
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4045 0 0 0 24982 24 0 0 25 0 1 0 453799583 19988480 3895 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 3895 231 231 0 4649 0
vsize: 19520
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4056 0 0 0 25979 28 0 0 25 0 1 0 453799583 19988480 3906 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 3906 231 231 0 4649 0
vsize: 19520
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4064 0 0 0 26980 28 0 0 25 0 1 0 453799583 19988480 3914 4294967295 134512640 135450300 3221224640 3221223376 134538654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4880 3914 231 231 0 4649 0
vsize: 19520
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4084 0 0 0 27980 28 0 0 25 0 1 0 453799583 20152320 3934 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 3934 231 231 0 4689 0
vsize: 19680
[startup+289.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4094 0 0 0 28980 28 0 0 25 0 1 0 453799583 20152320 3944 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 3944 231 231 0 4689 0
vsize: 19680
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4102 0 0 0 29980 29 0 0 25 0 1 0 453799583 20152320 3952 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 3952 231 231 0 4689 0
vsize: 19680
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4103 0 0 0 30980 29 0 0 25 0 1 0 453799583 20152320 3953 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 3953 231 231 0 4689 0
vsize: 19680
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4105 0 0 0 31980 29 0 0 25 0 1 0 453799583 20152320 3955 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 3955 231 231 0 4689 0
vsize: 19680
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4126 0 0 0 32980 29 0 0 25 0 1 0 453799583 20283392 3976 4294967295 134512640 135450300 3221224640 3221223360 134535944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 3976 231 231 0 4721 0
vsize: 19808
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4131 0 0 0 33980 29 0 0 25 0 1 0 453799583 20283392 3981 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 3981 231 231 0 4721 0
vsize: 19808
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4135 0 0 0 34981 29 0 0 25 0 1 0 453799583 20283392 3985 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 3985 231 231 0 4721 0
vsize: 19808
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4153 0 0 0 35979 31 0 0 25 0 1 0 453799583 20283392 4003 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 4003 231 231 0 4721 0
vsize: 19808
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4154 0 0 0 36979 31 0 0 25 0 1 0 453799583 20283392 4004 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 4004 231 231 0 4721 0
vsize: 19808
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4155 0 0 0 37980 31 0 0 25 0 1 0 453799583 20283392 4005 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 4005 231 231 0 4721 0
vsize: 19808
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4169 0 0 0 38980 32 0 0 25 0 1 0 453799583 20283392 4019 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4952 4019 231 231 0 4721 0
vsize: 19808
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4174 0 0 0 39980 32 0 0 25 0 1 0 453799583 20410368 4024 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4024 231 231 0 4752 0
vsize: 19932
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4178 0 0 0 40980 32 0 0 25 0 1 0 453799583 20410368 4028 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4028 231 231 0 4752 0
vsize: 19932
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4181 0 0 0 41981 32 0 0 25 0 1 0 453799583 20410368 4031 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4031 231 231 0 4752 0
vsize: 19932
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4183 0 0 0 42981 32 0 0 25 0 1 0 453799583 20410368 4033 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4033 231 231 0 4752 0
vsize: 19932
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4197 0 0 0 43981 32 0 0 25 0 1 0 453799583 20410368 4047 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4047 231 231 0 4752 0
vsize: 19932
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4202 0 0 0 44981 33 0 0 25 0 1 0 453799583 20410368 4052 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4052 231 231 0 4752 0
vsize: 19932
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4206 0 0 0 45981 33 0 0 25 0 1 0 453799583 20410368 4056 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4056 231 231 0 4752 0
vsize: 19932
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4208 0 0 0 46982 33 0 0 25 0 1 0 453799583 20410368 4058 4294967295 134512640 135450300 3221224640 3221223360 134535898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4058 231 231 0 4752 0
vsize: 19932
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4217 0 0 0 47982 33 0 0 25 0 1 0 453799583 20410368 4067 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4983 4067 231 231 0 4752 0
vsize: 19932
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4416 0 0 0 48982 33 0 0 25 0 1 0 453799583 21196800 4073 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 4073 231 231 0 4944 0
vsize: 20700
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4418 0 0 0 49982 34 0 0 25 0 1 0 453799583 21196800 4075 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 4075 231 231 0 4944 0
vsize: 20700
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4427 0 0 0 50983 34 0 0 25 0 1 0 453799583 21356544 4084 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4084 231 231 0 4983 0
vsize: 20856
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4440 0 0 0 51982 34 0 0 25 0 1 0 453799583 21356544 4097 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4097 231 231 0 4983 0
vsize: 20856
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4445 0 0 0 52983 34 0 0 25 0 1 0 453799583 21356544 4102 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4102 231 231 0 4983 0
vsize: 20856
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4446 0 0 0 53983 34 0 0 25 0 1 0 453799583 21356544 4103 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4103 231 231 0 4983 0
vsize: 20856
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4462 0 0 0 54983 35 0 0 25 0 1 0 453799583 21356544 4119 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4119 231 231 0 4983 0
vsize: 20856
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4474 0 0 0 55983 35 0 0 25 0 1 0 453799583 21356544 4131 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4131 231 231 0 4983 0
vsize: 20856
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4476 0 0 0 56983 35 0 0 25 0 1 0 453799583 21356544 4133 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4133 231 231 0 4983 0
vsize: 20856
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4478 0 0 0 57983 35 0 0 25 0 1 0 453799583 21356544 4135 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4135 231 231 0 4983 0
vsize: 20856
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4500 0 0 0 58983 36 0 0 25 0 1 0 453799583 21491712 4157 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4157 231 231 0 5016 0
vsize: 20988
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4505 0 0 0 59983 36 0 0 25 0 1 0 453799583 21491712 4162 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4162 231 231 0 5016 0
vsize: 20988
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4506 0 0 0 60983 36 0 0 25 0 1 0 453799583 21491712 4163 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4163 231 231 0 5016 0
vsize: 20988
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4509 0 0 0 61983 37 0 0 25 0 1 0 453799583 21491712 4166 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4166 231 231 0 5016 0
vsize: 20988
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4528 0 0 0 62983 37 0 0 25 0 1 0 453799583 21491712 4185 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4185 231 231 0 5016 0
vsize: 20988
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4530 0 0 0 63984 37 0 0 25 0 1 0 453799583 21491712 4187 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4187 231 231 0 5016 0
vsize: 20988
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4550 0 0 0 64984 37 0 0 25 0 1 0 453799583 21639168 4207 4294967295 134512640 135450300 3221224640 3221223104 134532896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 4207 231 231 0 5052 0
vsize: 21132
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4570 0 0 0 65983 39 0 0 25 0 1 0 453799583 21639168 4227 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 4227 231 231 0 5052 0
vsize: 21132
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4585 0 0 0 66983 39 0 0 25 0 1 0 453799583 21639168 4242 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 4242 231 231 0 5052 0
vsize: 21132
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4596 0 0 0 67983 39 0 0 25 0 1 0 453799583 21639168 4253 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 4253 231 231 0 5052 0
vsize: 21132
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4606 0 0 0 68983 40 0 0 25 0 1 0 453799583 21639168 4263 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 4263 231 231 0 5052 0
vsize: 21132
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4622 0 0 0 69983 40 0 0 25 0 1 0 453799583 21831680 4279 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4279 231 231 0 5099 0
vsize: 21320
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4635 0 0 0 70983 40 0 0 25 0 1 0 453799583 21831680 4292 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4292 231 231 0 5099 0
vsize: 21320
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4649 0 0 0 71983 40 0 0 25 0 1 0 453799583 21831680 4306 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4306 231 231 0 5099 0
vsize: 21320
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4660 0 0 0 72983 41 0 0 25 0 1 0 453799583 21831680 4317 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4317 231 231 0 5099 0
vsize: 21320
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4671 0 0 0 73983 41 0 0 25 0 1 0 453799583 21962752 4328 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4328 231 231 0 5131 0
vsize: 21448
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4686 0 0 0 74983 41 0 0 25 0 1 0 453799583 21962752 4343 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4343 231 231 0 5131 0
vsize: 21448
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4701 0 0 0 75983 42 0 0 25 0 1 0 453799583 21962752 4358 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4358 231 231 0 5131 0
vsize: 21448
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4714 0 0 0 76983 42 0 0 25 0 1 0 453799583 21962752 4371 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4371 231 231 0 5131 0
vsize: 21448
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4883 0 0 0 77983 42 0 0 25 0 1 0 453799583 21962752 4540 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4540 231 231 0 5131 0
vsize: 21448
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4926 0 0 0 78983 43 0 0 25 0 1 0 453799583 22118400 4583 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5400 4583 231 231 0 5169 0
vsize: 21600
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4929 0 0 0 79983 44 0 0 25 0 1 0 453799583 22118400 4586 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5400 4586 231 231 0 5169 0
vsize: 21600
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4949 0 0 0 80982 44 0 0 25 0 1 0 453799583 22118400 4606 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5400 4606 231 231 0 5169 0
vsize: 21600
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5034 0 0 0 81982 45 0 0 25 0 1 0 453799583 22253568 4691 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5433 4691 231 231 0 5202 0
vsize: 21732
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5316 0 0 0 82981 46 0 0 25 0 1 0 453799583 22253568 4973 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5433 4973 231 231 0 5202 0
vsize: 21732
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5580 0 0 0 83980 48 0 0 25 0 1 0 453799583 39030784 5237 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9529 5237 231 231 0 9298 0
vsize: 38116
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5671 0 0 0 84980 48 0 0 25 0 1 0 453799583 39030784 5328 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9529 5328 231 231 0 9298 0
vsize: 38116
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5781 0 0 0 85980 49 0 0 25 0 1 0 453799583 39030784 5438 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9529 5438 231 231 0 9298 0
vsize: 38116
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5789 0 0 0 86980 49 0 0 25 0 1 0 453799583 39161856 5446 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9561 5446 231 231 0 9330 0
vsize: 38244
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5794 0 0 0 87980 50 0 0 25 0 1 0 453799583 39161856 5451 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9561 5451 231 231 0 9330 0
vsize: 38244
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5800 0 0 0 88980 50 0 0 25 0 1 0 453799583 39161856 5457 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9561 5457 231 231 0 9330 0
vsize: 38244
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5808 0 0 0 89980 50 0 0 25 0 1 0 453799583 39161856 5465 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9561 5465 231 231 0 9330 0
vsize: 38244
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5815 0 0 0 90980 51 0 0 25 0 1 0 453799583 39161856 5472 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9561 5472 231 231 0 9330 0
vsize: 38244
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5824 0 0 0 91979 51 0 0 25 0 1 0 453799583 39161856 5481 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9561 5481 231 231 0 9330 0
vsize: 38244
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6221 0 0 0 92979 52 0 0 25 0 1 0 453799583 40734720 5493 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9945 5493 231 231 0 9714 0
vsize: 39780
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6230 0 0 0 93979 52 0 0 25 0 1 0 453799583 40734720 5502 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9945 5502 231 231 0 9714 0
vsize: 39780
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6233 0 0 0 94979 52 0 0 25 0 1 0 453799583 40734720 5505 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9945 5505 231 231 0 9714 0
vsize: 39780
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6241 0 0 0 95979 53 0 0 25 0 1 0 453799583 40734720 5513 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9945 5513 231 231 0 9714 0
vsize: 39780
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6258 0 0 0 96979 53 0 0 25 0 1 0 453799583 40865792 5530 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9977 5530 231 231 0 9746 0
vsize: 39908
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6270 0 0 0 97979 54 0 0 25 0 1 0 453799583 40865792 5542 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9977 5542 231 231 0 9746 0
vsize: 39908
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6290 0 0 0 98978 55 0 0 25 0 1 0 453799583 40996864 5562 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10009 5562 231 231 0 9778 0
vsize: 40036
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6301 0 0 0 99978 55 0 0 25 0 1 0 453799583 40996864 5573 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10009 5573 231 231 0 9778 0
vsize: 40036
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6314 0 0 0 100978 56 0 0 25 0 1 0 453799583 40996864 5586 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10009 5586 231 231 0 9778 0
vsize: 40036
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6323 0 0 0 101978 56 0 0 25 0 1 0 453799583 41140224 5595 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10044 5595 231 231 0 9813 0
vsize: 40176
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6331 0 0 0 102978 56 0 0 25 0 1 0 453799583 41140224 5603 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10044 5603 231 231 0 9813 0
vsize: 40176
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6342 0 0 0 103978 57 0 0 25 0 1 0 453799583 41140224 5614 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10044 5614 231 231 0 9813 0
vsize: 40176
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6346 0 0 0 104979 57 0 0 25 0 1 0 453799583 41140224 5618 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10044 5618 231 231 0 9813 0
vsize: 40176
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6356 0 0 0 105979 57 0 0 25 0 1 0 453799583 41140224 5628 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10044 5628 231 231 0 9813 0
vsize: 40176
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6366 0 0 0 106979 57 0 0 25 0 1 0 453799583 41140224 5638 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10044 5638 231 231 0 9813 0
vsize: 40176
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6378 0 0 0 107979 57 0 0 25 0 1 0 453799583 41140224 5650 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10044 5650 231 231 0 9813 0
vsize: 40176
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6390 0 0 0 108979 57 0 0 25 0 1 0 453799583 41275392 5662 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 5662 231 231 0 9846 0
vsize: 40308
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6397 0 0 0 109979 58 0 0 25 0 1 0 453799583 41275392 5669 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 5669 231 231 0 9846 0
vsize: 40308
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6465 0 0 0 110979 58 0 0 25 0 1 0 453799583 41275392 5737 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 5737 231 231 0 9846 0
vsize: 40308
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6619 0 0 0 111979 59 0 0 25 0 1 0 453799583 41275392 5891 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 5891 231 231 0 9846 0
vsize: 40308
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6789 0 0 0 112978 60 0 0 25 0 1 0 453799583 41275392 6061 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 6061 231 231 0 9846 0
vsize: 40308
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6892 0 0 0 113978 60 0 0 25 0 1 0 453799583 41275392 6164 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 6164 231 231 0 9846 0
vsize: 40308
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6900 0 0 0 114978 61 0 0 25 0 1 0 453799583 41275392 6172 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 6172 231 231 0 9846 0
vsize: 40308
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6906 0 0 0 115978 61 0 0 25 0 1 0 453799583 41275392 6178 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 6178 231 231 0 9846 0
vsize: 40308
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6917 0 0 0 116979 61 0 0 25 0 1 0 453799583 41275392 6189 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 6189 231 231 0 9846 0
vsize: 40308
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6972 0 0 0 117978 62 0 0 25 0 1 0 453799583 41275392 6244 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10077 6244 231 231 0 9846 0
vsize: 40308
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 7155 0 0 0 118978 63 0 0 25 0 1 0 453799583 41476096 6427 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10126 6427 231 231 0 9895 0
vsize: 40504
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20803
Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 7167 0 0 0 119978 63 0 0 25 0 1 0 453799583 41476096 6439 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10126 6439 231 231 0 9895 0
vsize: 40504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20803
Raw data (stat): 20803 (PBS4) Z 20802 29653 29652 0 -1 1036 7167 0 0 0 119978 64 0 0 25 0 1 0 453799583 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.04
CPU time (s): 1200.43
CPU user time (s): 1199.79
CPU system time (s): 0.643902
CPU usage (%): 100.033
Max. virtual memory (Kb): 40504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####