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/logic-synthesis/normalized-apex4.a.opb
MD5SUM	4a690348e685ba516d0f6942be0bf113
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	779
Optimality of the best value was proved	NO
Number of terms in the objective function	4317
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4317
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4317
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	4316
Total number of constraints	11912
Number of constraints which are clauses	11912
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	160
Trace number 7684

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-17 15:39:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=555 boxname=wulflinc10 idbench=62 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  4a690348e685ba516d0f6942be0bf113  /oldhome/oroussel/tmp/wulflinc10/normalized-apex4.a.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-apex4.a.opb
IDLAUNCH: 555
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        816028 kB
Buffers:         36580 kB
Cached:         160932 kB
SwapCached:        164 kB
Active:          75548 kB
Inactive:       124968 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        815776 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            12476 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:00:01 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 555 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-apex4.a.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.00 0.00 0.00 2/54 18017
Raw data (stat): 18017 (runsolver) R 18016 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453451878 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.0005 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 793 0 0 0 987 12 0 0 25 0 1 0 453451878 3952640 736 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 965 736 231 231 0 734 0
vsize: 3860
[startup+20.0011 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 1322 0 0 0 1986 13 0 0 25 0 1 0 453451878 7380992 1265 4294967295 134512640 135450300 3221224640 3221223248 134537672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1802 1265 231 231 0 1571 0
vsize: 7208
[startup+30.0012 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 1790 0 0 0 2984 15 0 0 25 0 1 0 453451878 11575296 1733 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 1733 231 231 0 2595 0
vsize: 11304
[startup+40.0012 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 2216 0 0 0 3982 16 0 0 25 0 1 0 453451878 11575296 2159 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 2159 231 231 0 2595 0
vsize: 11304
[startup+50.0017 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 2649 0 0 0 4981 18 0 0 25 0 1 0 453451878 11575296 2592 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 2592 231 231 0 2595 0
vsize: 11304
[startup+60.0008 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 3051 0 0 0 5980 19 0 0 25 0 1 0 453451878 19963904 2994 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 2994 231 231 0 4643 0
vsize: 19496
[startup+70.0018 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 3484 0 0 0 6979 20 0 0 25 0 1 0 453451878 19963904 3427 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 3427 231 231 0 4643 0
vsize: 19496
[startup+80.002 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 3908 0 0 0 7978 22 0 0 25 0 1 0 453451878 19963904 3851 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 3851 231 231 0 4643 0
vsize: 19496
[startup+90.0015 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 4387 0 0 0 8976 23 0 0 25 0 1 0 453451878 19963904 4330 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4330 231 231 0 4643 0
vsize: 19496
[startup+100.002 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 4814 0 0 0 9975 24 0 0 25 0 1 0 453451878 36741120 4757 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 4757 231 231 0 8739 0
vsize: 35880
[startup+110.002 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 5229 0 0 0 10974 25 0 0 25 0 1 0 453451878 36741120 5172 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 5172 231 231 0 8739 0
vsize: 35880
[startup+120.002 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 5669 0 0 0 11972 27 0 0 25 0 1 0 453451878 36741120 5612 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 5612 231 231 0 8739 0
vsize: 35880
[startup+130.002 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 6126 0 0 0 12971 29 0 0 25 0 1 0 453451878 36741120 6069 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 6069 231 231 0 8739 0
vsize: 35880
[startup+140.001 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 6514 0 0 0 13969 30 0 0 25 0 1 0 453451878 36741120 6457 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 6457 231 231 0 8739 0
vsize: 35880
[startup+150.002 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 6945 0 0 0 14968 32 0 0 25 0 1 0 453451878 36741120 6888 4294967295 134512640 135450300 3221224640 3221223116 134572367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 6888 231 231 0 8739 0
vsize: 35880
[startup+160.002 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 7335 0 0 0 15966 34 0 0 25 0 1 0 453451878 36741120 7278 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8970 7278 231 231 0 8739 0
vsize: 35880
[startup+170.002 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 7752 0 0 0 16965 35 0 0 25 0 1 0 453451878 36876288 7695 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 7695 231 231 0 8772 0
vsize: 36012
[startup+180.002 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 8153 0 0 0 17964 36 0 0 25 0 1 0 453451878 36876288 8096 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8096 231 231 0 8772 0
vsize: 36012
[startup+190.003 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 8592 0 0 0 18962 38 0 0 25 0 1 0 453451878 36876288 8535 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9003 8535 231 231 0 8772 0
vsize: 36012
[startup+200.003 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 9034 0 0 0 19961 39 0 0 25 0 1 0 453451878 70430720 8977 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17195 8977 231 231 0 16964 0
vsize: 68780
[startup+210.002 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 9449 0 0 0 20960 40 0 0 25 0 1 0 453451878 70430720 9392 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17195 9392 231 231 0 16964 0
vsize: 68780
[startup+220.003 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 9858 0 0 0 21959 41 0 0 25 0 1 0 453451878 70430720 9801 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17195 9801 231 231 0 16964 0
vsize: 68780
[startup+230.004 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 10260 0 0 0 22958 43 0 0 25 0 1 0 453451878 70430720 10203 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17195 10203 231 231 0 16964 0
vsize: 68780
[startup+240.004 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 10670 0 0 0 23956 44 0 0 25 0 1 0 453451878 70430720 10613 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 10613 231 231 0 16964 0
vsize: 68780
[startup+250.004 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 11067 0 0 0 24956 45 0 0 25 0 1 0 453451878 70430720 11010 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 11010 231 231 0 16964 0
vsize: 68780
[startup+260.004 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 11457 0 0 0 25956 45 0 0 25 0 1 0 453451878 70430720 11400 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 11400 231 231 0 16964 0
vsize: 68780
[startup+270.004 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 11921 0 0 0 26955 46 0 0 25 0 1 0 453451878 70430720 11864 4294967295 134512640 135450300 3221224640 3221223500 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 11864 231 231 0 16964 0
vsize: 68780
[startup+280.004 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 12362 0 0 0 27954 47 0 0 25 0 1 0 453451878 70430720 12305 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 12305 231 231 0 16964 0
vsize: 68780
[startup+290.003 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 12713 0 0 0 28954 48 0 0 25 0 1 0 453451878 70430720 12656 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 12656 231 231 0 16964 0
vsize: 68780
[startup+300.003 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 13104 0 0 0 29953 49 0 0 25 0 1 0 453451878 70430720 13047 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 13047 231 231 0 16964 0
vsize: 68780
[startup+310.002 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 13513 0 0 0 30952 50 0 0 25 0 1 0 453451878 70430720 13456 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 13456 231 231 0 16964 0
vsize: 68780
[startup+320.002 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 13901 0 0 0 31951 51 0 0 25 0 1 0 453451878 70430720 13844 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 13844 231 231 0 16964 0
vsize: 68780
[startup+330.002 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 14229 0 0 0 32950 51 0 0 25 0 1 0 453451878 70430720 14172 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 14172 231 231 0 16964 0
vsize: 68780
[startup+340.002 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 14626 0 0 0 33950 52 0 0 25 0 1 0 453451878 70430720 14569 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 14569 231 231 0 16964 0
vsize: 68780
[startup+350.001 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 15004 0 0 0 34949 53 0 0 25 0 1 0 453451878 70430720 14947 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 14947 231 231 0 16964 0
vsize: 68780
[startup+360.001 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 15410 0 0 0 35947 55 0 0 25 0 1 0 453451878 70430720 15353 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 15353 231 231 0 16964 0
vsize: 68780
[startup+370.002 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 15793 0 0 0 36947 56 0 0 25 0 1 0 453451878 70430720 15736 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 15736 231 231 0 16964 0
vsize: 68780
[startup+380.001 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 16222 0 0 0 37945 57 0 0 25 0 1 0 453451878 70430720 16165 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 16165 231 231 0 16964 0
vsize: 68780
[startup+390 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 16676 0 0 0 38945 58 0 0 25 0 1 0 453451878 70823936 16522 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17291 16522 231 231 0 17060 0
vsize: 69164
[startup+400.001 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 17066 0 0 0 39944 59 0 0 25 0 1 0 453451878 70823936 16912 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17291 16912 231 231 0 17060 0
vsize: 69164
[startup+410.001 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 17493 0 0 0 40941 62 0 0 25 0 1 0 453451878 137932800 17339 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 17339 231 231 0 33444 0
vsize: 134700
[startup+420 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 17754 0 0 0 41940 63 0 0 25 0 1 0 453451878 137932800 17600 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 17600 231 231 0 33444 0
vsize: 134700
[startup+430.001 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 18079 0 0 0 42940 63 0 0 25 0 1 0 453451878 137932800 17925 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 17925 231 231 0 33444 0
vsize: 134700
[startup+440 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 18420 0 0 0 43940 64 0 0 25 0 1 0 453451878 137932800 18266 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 18266 231 231 0 33444 0
vsize: 134700
[startup+450 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 18740 0 0 0 44939 65 0 0 25 0 1 0 453451878 137932800 18586 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 18586 231 231 0 33444 0
vsize: 134700
[startup+460 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 19096 0 0 0 45938 66 0 0 25 0 1 0 453451878 137932800 18942 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 18942 231 231 0 33444 0
vsize: 134700
[startup+470 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 19462 0 0 0 46938 66 0 0 25 0 1 0 453451878 137932800 19308 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 19308 231 231 0 33444 0
vsize: 134700
[startup+480 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 19818 0 0 0 47937 67 0 0 25 0 1 0 453451878 137932800 19664 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 19664 231 231 0 33444 0
vsize: 134700
[startup+489.999 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 20148 0 0 0 48937 68 0 0 25 0 1 0 453451878 137932800 19994 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 19994 231 231 0 33444 0
vsize: 134700
[startup+500 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 20525 0 0 0 49936 68 0 0 25 0 1 0 453451878 137932800 20371 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 20371 231 231 0 33444 0
vsize: 134700
[startup+509.999 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 20841 0 0 0 50936 69 0 0 25 0 1 0 453451878 137932800 20687 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 20687 231 231 0 33444 0
vsize: 134700
[startup+519.999 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 21193 0 0 0 51935 70 0 0 25 0 1 0 453451878 137932800 21039 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 21039 231 231 0 33444 0
vsize: 134700
[startup+529.998 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 21564 0 0 0 52935 71 0 0 25 0 1 0 453451878 137932800 21410 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 21410 231 231 0 33444 0
vsize: 134700
[startup+539.998 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 21950 0 0 0 53934 72 0 0 25 0 1 0 453451878 137932800 21796 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 21796 231 231 0 33444 0
vsize: 134700
[startup+549.999 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 22345 0 0 0 54933 73 0 0 25 0 1 0 453451878 137932800 22191 4294967295 134512640 135450300 3221224640 3221223360 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 22191 231 231 0 33444 0
vsize: 134700
[startup+559.998 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 22665 0 0 0 55932 73 0 0 25 0 1 0 453451878 137932800 22511 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 22511 231 231 0 33444 0
vsize: 134700
[startup+569.999 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 23049 0 0 0 56932 74 0 0 25 0 1 0 453451878 137932800 22895 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 22895 231 231 0 33444 0
vsize: 134700
[startup+579.999 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 23391 0 0 0 57931 75 0 0 25 0 1 0 453451878 137932800 23237 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 23237 231 231 0 33444 0
vsize: 134700
[startup+589.998 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 23757 0 0 0 58929 77 0 0 25 0 1 0 453451878 137932800 23603 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 23603 231 231 0 33444 0
vsize: 134700
[startup+599.998 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 24095 0 0 0 59928 78 0 0 25 0 1 0 453451878 137932800 23941 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 23941 231 231 0 33444 0
vsize: 134700
[startup+609.998 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 24422 0 0 0 60928 79 0 0 25 0 1 0 453451878 137932800 24268 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 24268 231 231 0 33444 0
vsize: 134700
[startup+619.999 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 24764 0 0 0 61927 79 0 0 25 0 1 0 453451878 137932800 24610 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 24610 231 231 0 33444 0
vsize: 134700
[startup+629.998 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 25085 0 0 0 62927 80 0 0 25 0 1 0 453451878 137932800 24931 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 24931 231 231 0 33444 0
vsize: 134700
[startup+639.998 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 25429 0 0 0 63926 81 0 0 25 0 1 0 453451878 137932800 25275 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33675 25275 231 231 0 33444 0
vsize: 134700
[startup+649.998 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 25612 0 0 0 64923 84 0 0 25 0 1 0 453451878 138047488 25458 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33703 25458 231 231 0 33472 0
vsize: 134812
[startup+659.998 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 25762 0 0 0 65919 89 0 0 25 0 1 0 453451878 138047488 25608 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33703 25608 231 231 0 33472 0
vsize: 134812
[startup+669.999 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 25912 0 0 0 66916 92 0 0 25 0 1 0 453451878 138047488 25758 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33703 25758 231 231 0 33472 0
vsize: 134812
[startup+679.999 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 26072 0 0 0 67911 97 0 0 25 0 1 0 453451878 138162176 25918 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33731 25918 231 231 0 33500 0
vsize: 134924
[startup+689.999 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 26231 0 0 0 68907 101 0 0 25 0 1 0 453451878 138162176 26077 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33731 26077 231 231 0 33500 0
vsize: 134924
[startup+699.998 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 26389 0 0 0 69903 106 0 0 25 0 1 0 453451878 138162176 26235 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33731 26235 231 231 0 33500 0
vsize: 134924
[startup+709.999 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 26538 0 0 0 70900 108 0 0 25 0 1 0 453451878 138293248 26384 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 26384 231 231 0 33532 0
vsize: 135052
[startup+720 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 26692 0 0 0 71896 113 0 0 25 0 1 0 453451878 138293248 26538 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 26538 231 231 0 33532 0
vsize: 135052
[startup+729.999 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 26846 0 0 0 72893 116 0 0 25 0 1 0 453451878 138293248 26692 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 26692 231 231 0 33532 0
vsize: 135052
[startup+739.999 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 26974 0 0 0 73892 117 0 0 25 0 1 0 453451878 138293248 26820 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 26820 231 231 0 33532 0
vsize: 135052
[startup+749.999 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27090 0 0 0 74893 117 0 0 25 0 1 0 453451878 138293248 26936 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 26936 231 231 0 33532 0
vsize: 135052
[startup+759.999 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27210 0 0 0 75892 117 0 0 25 0 1 0 453451878 138293248 27056 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27056 231 231 0 33532 0
vsize: 135052
[startup+769.999 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27325 0 0 0 76893 117 0 0 25 0 1 0 453451878 138293248 27171 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27171 231 231 0 33532 0
vsize: 135052
[startup+780 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27445 0 0 0 77893 118 0 0 25 0 1 0 453451878 138293248 27291 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27291 231 231 0 33532 0
vsize: 135052
[startup+790 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27565 0 0 0 78892 118 0 0 25 0 1 0 453451878 138293248 27411 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27411 231 231 0 33532 0
vsize: 135052
[startup+800 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27688 0 0 0 79893 118 0 0 25 0 1 0 453451878 138293248 27534 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27534 231 231 0 33532 0
vsize: 135052
[startup+810 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27800 0 0 0 80892 118 0 0 25 0 1 0 453451878 138293248 27646 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27646 231 231 0 33532 0
vsize: 135052
[startup+820 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 27923 0 0 0 81892 119 0 0 25 0 1 0 453451878 138293248 27769 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27769 231 231 0 33532 0
vsize: 135052
[startup+830 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28043 0 0 0 82892 119 0 0 25 0 1 0 453451878 138293248 27889 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33763 27889 231 231 0 33532 0
vsize: 135052
[startup+839.999 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28120 0 0 0 83890 121 0 0 25 0 1 0 453451878 138461184 27966 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33804 27966 231 231 0 33573 0
vsize: 135216
[startup+850 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28182 0 0 0 84888 123 0 0 25 0 1 0 453451878 138596352 28028 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28028 231 231 0 33606 0
vsize: 135348
[startup+860 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28231 0 0 0 85886 126 0 0 25 0 1 0 453451878 138596352 28077 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28077 231 231 0 33606 0
vsize: 135348
[startup+870 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28288 0 0 0 86884 128 0 0 25 0 1 0 453451878 138596352 28134 4294967295 134512640 135450300 3221224640 3221223360 134535944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28134 231 231 0 33606 0
vsize: 135348
[startup+880 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28342 0 0 0 87883 129 0 0 25 0 1 0 453451878 138596352 28188 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28188 231 231 0 33606 0
vsize: 135348
[startup+889.999 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28397 0 0 0 88880 132 0 0 25 0 1 0 453451878 138596352 28243 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28243 231 231 0 33606 0
vsize: 135348
[startup+900 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28450 0 0 0 89878 134 0 0 25 0 1 0 453451878 138596352 28296 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28296 231 231 0 33606 0
vsize: 135348
[startup+909.999 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28501 0 0 0 90876 136 0 0 25 0 1 0 453451878 138596352 28347 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28347 231 231 0 33606 0
vsize: 135348
[startup+920 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28556 0 0 0 91874 139 0 0 25 0 1 0 453451878 138596352 28402 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28402 231 231 0 33606 0
vsize: 135348
[startup+929.999 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28608 0 0 0 92872 141 0 0 25 0 1 0 453451878 138596352 28454 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28454 231 231 0 33606 0
vsize: 135348
[startup+939.999 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28670 0 0 0 93870 143 0 0 25 0 1 0 453451878 138596352 28516 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28516 231 231 0 33606 0
vsize: 135348
[startup+950 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28719 0 0 0 94869 144 0 0 25 0 1 0 453451878 138596352 28565 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33837 28565 231 231 0 33606 0
vsize: 135348
[startup+959.999 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28770 0 0 0 95867 147 0 0 25 0 1 0 453451878 138731520 28616 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28616 231 231 0 33639 0
vsize: 135480
[startup+970 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28824 0 0 0 96866 148 0 0 25 0 1 0 453451878 138731520 28670 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28670 231 231 0 33639 0
vsize: 135480
[startup+979.999 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28862 0 0 0 97865 149 0 0 25 0 1 0 453451878 138731520 28708 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28708 231 231 0 33639 0
vsize: 135480
[startup+989.999 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28908 0 0 0 98864 150 0 0 25 0 1 0 453451878 138731520 28754 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28754 231 231 0 33639 0
vsize: 135480
[startup+999.998 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 28962 0 0 0 99862 153 0 0 25 0 1 0 453451878 138731520 28808 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28808 231 231 0 33639 0
vsize: 135480
[startup+1010 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29015 0 0 0 100858 156 0 0 25 0 1 0 453451878 138731520 28861 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28861 231 231 0 33639 0
vsize: 135480
[startup+1020 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29068 0 0 0 101856 159 0 0 25 0 1 0 453451878 138731520 28914 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28914 231 231 0 33639 0
vsize: 135480
[startup+1030 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29117 0 0 0 102854 160 0 0 25 0 1 0 453451878 138731520 28963 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28963 231 231 0 33639 0
vsize: 135480
[startup+1040 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29152 0 0 0 103854 161 0 0 25 0 1 0 453451878 138731520 28998 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 28998 231 231 0 33639 0
vsize: 135480
[startup+1050 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29187 0 0 0 104854 161 0 0 25 0 1 0 453451878 138731520 29033 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29033 231 231 0 33639 0
vsize: 135480
[startup+1060 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29226 0 0 0 105854 161 0 0 25 0 1 0 453451878 138731520 29072 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29072 231 231 0 33639 0
vsize: 135480
[startup+1070 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29261 0 0 0 106854 161 0 0 25 0 1 0 453451878 138731520 29107 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29107 231 231 0 33639 0
vsize: 135480
[startup+1080 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29296 0 0 0 107855 161 0 0 25 0 1 0 453451878 138731520 29142 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29142 231 231 0 33639 0
vsize: 135480
[startup+1090 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29335 0 0 0 108855 161 0 0 25 0 1 0 453451878 138731520 29181 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29181 231 231 0 33639 0
vsize: 135480
[startup+1100 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29370 0 0 0 109855 161 0 0 25 0 1 0 453451878 138731520 29216 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29216 231 231 0 33639 0
vsize: 135480
[startup+1110 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29406 0 0 0 110855 161 0 0 25 0 1 0 453451878 138731520 29252 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29252 231 231 0 33639 0
vsize: 135480
[startup+1120 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29445 0 0 0 111855 161 0 0 25 0 1 0 453451878 138731520 29291 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29291 231 231 0 33639 0
vsize: 135480
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29480 0 0 0 112857 161 0 0 25 0 1 0 453451878 138731520 29326 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29326 231 231 0 33639 0
vsize: 135480
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29518 0 0 0 113857 161 0 0 25 0 1 0 453451878 138731520 29364 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29364 231 231 0 33639 0
vsize: 135480
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29553 0 0 0 114857 161 0 0 25 0 1 0 453451878 138731520 29399 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29399 231 231 0 33639 0
vsize: 135480
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29589 0 0 0 115857 162 0 0 25 0 1 0 453451878 138731520 29435 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29435 231 231 0 33639 0
vsize: 135480
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29627 0 0 0 116857 162 0 0 25 0 1 0 453451878 138731520 29473 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29473 231 231 0 33639 0
vsize: 135480
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29662 0 0 0 117857 162 0 0 25 0 1 0 453451878 138731520 29508 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29508 231 231 0 33639 0
vsize: 135480
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29697 0 0 0 118857 162 0 0 25 0 1 0 453451878 138731520 29543 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29543 231 231 0 33639 0
vsize: 135480
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18017
Raw data (stat): 18017 (PBS4) R 18016 25347 25346 0 -1 0 29736 0 0 0 119857 162 0 0 25 0 1 0 453451878 138731520 29582 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33870 29582 231 231 0 33639 0
vsize: 135480
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.69 1/54 18017
Raw data (stat): 18017 (PBS4) Z 18016 25347 25346 0 -1 1036 29736 0 0 0 119857 167 0 0 25 0 1 0 453451878 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.07
CPU time (s): 1200.26
CPU user time (s): 1198.58
CPU system time (s): 1.67674
CPU usage (%): 100.016
Max. virtual memory (Kb): 135480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####