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/routing/normalized-s4-4-3-3pb.opb
MD5SUM	c267b57d74142f6538ad16680277f9bf
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	62
Optimality of the best value was proved	NO
Number of terms in the objective function	648
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	648
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	648
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	648
Total number of constraints	1954
Number of constraints which are clauses	1930
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 7842

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-17 16:34:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2148 boxname=wulflinc10 idbench=239 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  c267b57d74142f6538ad16680277f9bf  /oldhome/oroussel/tmp/wulflinc10/normalized-s4-4-3-3pb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc10/normalized-s4-4-3-3pb.opb
IDLAUNCH: 2148
/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:        816652 kB
Buffers:         36644 kB
Cached:         160392 kB
SwapCached:        164 kB
Active:          78820 kB
Inactive:       121288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        816400 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            12300 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:54:51 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2148 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc10/normalized-s4-4-3-3pb.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.91 0.95 0.90 2/54 18436
Raw data (stat): 18436 (runsolver) R 18435 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453780992 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.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 1090 0 0 0 989 9 0 0 25 0 1 0 453780992 5128192 940 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1252 941 231 231 0 1021 0
vsize: 5008
[startup+19.9996 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 1558 0 0 0 1984 14 0 0 25 0 1 0 453780992 7798784 1408 4294967295 134512640 135450300 3221224640 3221223504 134539179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1904 1408 231 231 0 1673 0
vsize: 7616
[startup+29.9995 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 2108 0 0 0 2980 19 0 0 25 0 1 0 453780992 9015296 1765 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2201 1765 231 231 0 1970 0
vsize: 8804
[startup+39.9988 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 2398 0 0 0 3975 23 0 0 25 0 1 0 453780992 13639680 2055 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2055 231 231 0 3099 0
vsize: 13320
[startup+49.9984 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 2700 0 0 0 4969 29 0 0 25 0 1 0 453780992 14139392 2357 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3452 2357 231 231 0 3221 0
vsize: 13808
[startup+59.9982 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 2991 0 0 0 5967 32 0 0 25 0 1 0 453780992 14532608 2648 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3548 2648 231 231 0 3317 0
vsize: 14192
[startup+69.9985 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 3220 0 0 0 6964 35 0 0 25 0 1 0 453780992 14888960 2877 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2877 231 231 0 3404 0
vsize: 14540
[startup+79.9981 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 3818 0 0 0 7960 40 0 0 25 0 1 0 453780992 16625664 3090 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3090 231 231 0 3828 0
vsize: 16236
[startup+89.998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 4031 0 0 0 8957 43 0 0 25 0 1 0 453780992 16773120 3303 4294967295 134512640 135450300 3221224640 3221223376 134538759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4095 3303 231 231 0 3864 0
vsize: 16380
[startup+99.9972 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 4211 0 0 0 9955 45 0 0 25 0 1 0 453780992 16928768 3483 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3483 231 231 0 3902 0
vsize: 16532
[startup+109.998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 4370 0 0 0 10953 47 0 0 25 0 1 0 453780992 17092608 3642 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3642 231 231 0 3942 0
vsize: 16692
[startup+119.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 4550 0 0 0 11951 49 0 0 25 0 1 0 453780992 25763840 3822 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6290 3822 231 231 0 6059 0
vsize: 25160
[startup+129.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 4653 0 0 0 12949 51 0 0 25 0 1 0 453780992 25935872 3925 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6332 3925 231 231 0 6101 0
vsize: 25328
[startup+139.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 4766 0 0 0 13947 53 0 0 25 0 1 0 453780992 26251264 4038 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 4038 231 231 0 6178 0
vsize: 25636
[startup+149.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 4863 0 0 0 14946 54 0 0 25 0 1 0 453780992 26386432 4135 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 4135 231 231 0 6211 0
vsize: 25768
[startup+159.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5066 0 0 0 15944 56 0 0 25 0 1 0 453780992 26521600 4338 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6475 4338 231 231 0 6244 0
vsize: 25900
[startup+169.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5167 0 0 0 16942 58 0 0 25 0 1 0 453780992 26685440 4439 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6515 4439 231 231 0 6284 0
vsize: 26060
[startup+179.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5277 0 0 0 17941 59 0 0 25 0 1 0 453780992 26877952 4549 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6562 4549 231 231 0 6331 0
vsize: 26248
[startup+189.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5371 0 0 0 18940 61 0 0 25 0 1 0 453780992 27148288 4643 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6628 4643 231 231 0 6397 0
vsize: 26512
[startup+199.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5403 0 0 0 19939 63 0 0 25 0 1 0 453780992 27148288 4675 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6628 4675 231 231 0 6397 0
vsize: 26512
[startup+209.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5543 0 0 0 20937 65 0 0 25 0 1 0 453780992 27463680 4815 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6705 4815 231 231 0 6474 0
vsize: 26820
[startup+219.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5645 0 0 0 21935 66 0 0 25 0 1 0 453780992 27664384 4917 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6754 4917 231 231 0 6523 0
vsize: 27016
[startup+229.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5796 0 0 0 22935 67 0 0 25 0 1 0 453780992 28069888 5068 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6853 5068 231 231 0 6622 0
vsize: 27412
[startup+239.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 5962 0 0 0 23933 69 0 0 25 0 1 0 453780992 28069888 5234 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6853 5234 231 231 0 6622 0
vsize: 27412
[startup+249.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 6037 0 0 0 24932 70 0 0 25 0 1 0 453780992 28397568 5309 4294967295 134512640 135450300 3221224640 3221223376 134538699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6933 5309 231 231 0 6702 0
vsize: 27732
[startup+259.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 6861 0 0 0 25929 73 0 0 25 0 1 0 453780992 31711232 5364 4294967295 134512640 135450300 3221224640 3221223360 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7742 5364 231 231 0 7511 0
vsize: 30968
[startup+269.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 6881 0 0 0 26928 74 0 0 25 0 1 0 453780992 31711232 5384 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7742 5384 231 231 0 7511 0
vsize: 30968
[startup+279.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 6908 0 0 0 27927 75 0 0 25 0 1 0 453780992 31711232 5411 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7742 5411 231 231 0 7511 0
vsize: 30968
[startup+289.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 6964 0 0 0 28926 77 0 0 25 0 1 0 453780992 31711232 5467 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7742 5467 231 231 0 7511 0
vsize: 30968
[startup+299.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 6976 0 0 0 29926 77 0 0 25 0 1 0 453780992 31895552 5479 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7787 5479 231 231 0 7556 0
vsize: 31148
[startup+309.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7033 0 0 0 30926 78 0 0 25 0 1 0 453780992 31895552 5536 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7787 5536 231 231 0 7556 0
vsize: 31148
[startup+319.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7122 0 0 0 31925 79 0 0 25 0 1 0 453780992 31895552 5625 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7787 5625 231 231 0 7556 0
vsize: 31148
[startup+329.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7199 0 0 0 32924 80 0 0 25 0 1 0 453780992 32133120 5702 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7845 5702 231 231 0 7614 0
vsize: 31380
[startup+339.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7217 0 0 0 33924 80 0 0 25 0 1 0 453780992 32133120 5720 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7845 5720 231 231 0 7614 0
vsize: 31380
[startup+349.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7244 0 0 0 34923 81 0 0 25 0 1 0 453780992 32133120 5747 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7845 5747 231 231 0 7614 0
vsize: 31380
[startup+359.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7290 0 0 0 35922 82 0 0 25 0 1 0 453780992 32296960 5793 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7885 5793 231 231 0 7654 0
vsize: 31540
[startup+369.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7304 0 0 0 36921 83 0 0 25 0 1 0 453780992 32296960 5807 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7885 5807 231 231 0 7654 0
vsize: 31540
[startup+379.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7388 0 0 0 37921 83 0 0 25 0 1 0 453780992 32436224 5891 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7919 5891 231 231 0 7688 0
vsize: 31676
[startup+389.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7535 0 0 0 38920 85 0 0 25 0 1 0 453780992 32436224 6038 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7919 6038 231 231 0 7688 0
vsize: 31676
[startup+399.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7634 0 0 0 39920 85 0 0 25 0 1 0 453780992 32436224 6137 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7919 6137 231 231 0 7688 0
vsize: 31676
[startup+409.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7673 0 0 0 40919 86 0 0 25 0 1 0 453780992 32600064 6176 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7959 6176 231 231 0 7728 0
vsize: 31836
[startup+419.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7810 0 0 0 41918 87 0 0 25 0 1 0 453780992 32780288 6313 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8003 6313 231 231 0 7772 0
vsize: 32012
[startup+429.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7829 0 0 0 42918 88 0 0 25 0 1 0 453780992 32780288 6332 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8003 6332 231 231 0 7772 0
vsize: 32012
[startup+439.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7877 0 0 0 43917 88 0 0 25 0 1 0 453780992 32915456 6380 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8036 6380 231 231 0 7805 0
vsize: 32144
[startup+449.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7912 0 0 0 44917 89 0 0 25 0 1 0 453780992 32915456 6415 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8036 6415 231 231 0 7805 0
vsize: 32144
[startup+459.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 7959 0 0 0 45916 90 0 0 25 0 1 0 453780992 33107968 6462 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 6462 231 231 0 7852 0
vsize: 32332
[startup+469.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8019 0 0 0 46915 91 0 0 25 0 1 0 453780992 33304576 6522 4294967295 134512640 135450300 3221224640 3221223456 134537149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8131 6522 231 231 0 7900 0
vsize: 32524
[startup+479.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8024 0 0 0 47915 91 0 0 25 0 1 0 453780992 33304576 6527 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8131 6527 231 231 0 7900 0
vsize: 32524
[startup+489.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8045 0 0 0 48915 92 0 0 25 0 1 0 453780992 33304576 6548 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8131 6548 231 231 0 7900 0
vsize: 32524
[startup+499.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8091 0 0 0 49915 92 0 0 25 0 1 0 453780992 33304576 6594 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8131 6594 231 231 0 7900 0
vsize: 32524
[startup+509.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8184 0 0 0 50914 93 0 0 25 0 1 0 453780992 33697792 6687 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8227 6687 231 231 0 7996 0
vsize: 32908
[startup+519.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8251 0 0 0 51913 94 0 0 25 0 1 0 453780992 33697792 6754 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8227 6754 231 231 0 7996 0
vsize: 32908
[startup+529.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8377 0 0 0 52912 95 0 0 25 0 1 0 453780992 33697792 6880 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8227 6880 231 231 0 7996 0
vsize: 32908
[startup+539.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8430 0 0 0 53911 96 0 0 25 0 1 0 453780992 33697792 6933 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8227 6933 231 231 0 7996 0
vsize: 32908
[startup+549.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8470 0 0 0 54911 97 0 0 25 0 1 0 453780992 33837056 6973 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8261 6973 231 231 0 8030 0
vsize: 33044
[startup+559.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8491 0 0 0 55910 98 0 0 25 0 1 0 453780992 33837056 6994 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8261 6994 231 231 0 8030 0
vsize: 33044
[startup+569.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8512 0 0 0 56909 99 0 0 25 0 1 0 453780992 33837056 7015 4294967295 134512640 135450300 3221224640 3221223544 134580065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8261 7015 231 231 0 8030 0
vsize: 33044
[startup+579.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8521 0 0 0 57908 100 0 0 25 0 1 0 453780992 33837056 7024 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8261 7024 231 231 0 8030 0
vsize: 33044
[startup+589.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8552 0 0 0 58908 101 0 0 25 0 1 0 453780992 33972224 7055 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 7055 231 231 0 8063 0
vsize: 33176
[startup+599.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8640 0 0 0 59908 101 0 0 25 0 1 0 453780992 33972224 7143 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 7143 231 231 0 8063 0
vsize: 33176
[startup+609.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8759 0 0 0 60907 102 0 0 25 0 1 0 453780992 33972224 7262 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 7262 231 231 0 8063 0
vsize: 33176
[startup+619.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8824 0 0 0 61906 103 0 0 25 0 1 0 453780992 34123776 7327 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7327 231 231 0 8100 0
vsize: 33324
[startup+629.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8832 0 0 0 62906 103 0 0 25 0 1 0 453780992 34123776 7335 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7335 231 231 0 8100 0
vsize: 33324
[startup+639.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8847 0 0 0 63906 104 0 0 25 0 1 0 453780992 34123776 7350 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7350 231 231 0 8100 0
vsize: 33324
[startup+649.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 8874 0 0 0 64905 104 0 0 25 0 1 0 453780992 34123776 7377 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7377 231 231 0 8100 0
vsize: 33324
[startup+659.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9014 0 0 0 65904 106 0 0 25 0 1 0 453780992 34123776 7517 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 7517 231 231 0 8100 0
vsize: 33324
[startup+669.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9067 0 0 0 66904 106 0 0 25 0 1 0 453780992 34320384 7570 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8379 7570 231 231 0 8148 0
vsize: 33516
[startup+679.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9092 0 0 0 67904 107 0 0 25 0 1 0 453780992 34455552 7595 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8412 7595 231 231 0 8181 0
vsize: 33648
[startup+689.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9264 0 0 0 68902 109 0 0 25 0 1 0 453780992 51392512 7767 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12547 7767 231 231 0 12316 0
vsize: 50188
[startup+699.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9436 0 0 0 69900 110 0 0 25 0 1 0 453780992 51392512 7939 4294967295 134512640 135450300 3221224640 3221223456 134536843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12547 7939 231 231 0 12316 0
vsize: 50188
[startup+709.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9468 0 0 0 70900 111 0 0 25 0 1 0 453780992 51392512 7971 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12547 7971 231 231 0 12316 0
vsize: 50188
[startup+719.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9491 0 0 0 71899 112 0 0 25 0 1 0 453780992 51757056 7994 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12636 7994 231 231 0 12405 0
vsize: 50544
[startup+729.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9499 0 0 0 72899 112 0 0 25 0 1 0 453780992 51757056 8002 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12636 8002 231 231 0 12405 0
vsize: 50544
[startup+739.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9514 0 0 0 73899 113 0 0 25 0 1 0 453780992 51757056 8017 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12636 8017 231 231 0 12405 0
vsize: 50544
[startup+749.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9521 0 0 0 74899 113 0 0 25 0 1 0 453780992 51757056 8024 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12636 8024 231 231 0 12405 0
vsize: 50544
[startup+759.995 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9559 0 0 0 75898 113 0 0 25 0 1 0 453780992 51757056 8062 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12636 8062 231 231 0 12405 0
vsize: 50544
[startup+769.996 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9605 0 0 0 76899 114 0 0 25 0 1 0 453780992 51757056 8108 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12636 8108 231 231 0 12405 0
vsize: 50544
[startup+779.995 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9625 0 0 0 77898 114 0 0 25 0 1 0 453780992 51937280 8128 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12680 8128 231 231 0 12449 0
vsize: 50720
[startup+789.995 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9634 0 0 0 78898 115 0 0 25 0 1 0 453780992 51937280 8137 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12680 8137 231 231 0 12449 0
vsize: 50720
[startup+799.996 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9653 0 0 0 79897 115 0 0 25 0 1 0 453780992 51937280 8156 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12680 8156 231 231 0 12449 0
vsize: 50720
[startup+809.997 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9674 0 0 0 80898 116 0 0 25 0 1 0 453780992 51937280 8177 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12680 8177 231 231 0 12449 0
vsize: 50720
[startup+819.996 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9704 0 0 0 81897 116 0 0 25 0 1 0 453780992 52072448 8207 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12713 8207 231 231 0 12482 0
vsize: 50852
[startup+829.996 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9721 0 0 0 82897 116 0 0 25 0 1 0 453780992 52072448 8224 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12713 8224 231 231 0 12482 0
vsize: 50852
[startup+839.997 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9739 0 0 0 83897 117 0 0 25 0 1 0 453780992 52072448 8242 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12713 8242 231 231 0 12482 0
vsize: 50852
[startup+849.996 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9753 0 0 0 84896 117 0 0 25 0 1 0 453780992 52072448 8256 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12713 8256 231 231 0 12482 0
vsize: 50852
[startup+859.996 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9812 0 0 0 85896 118 0 0 25 0 1 0 453780992 52391936 8282 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12791 8282 231 231 0 12560 0
vsize: 51164
[startup+869.996 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9871 0 0 0 86895 119 0 0 25 0 1 0 453780992 52719616 8308 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12871 8308 231 231 0 12640 0
vsize: 51484
[startup+879.995 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9882 0 0 0 87895 119 0 0 25 0 1 0 453780992 52719616 8319 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12871 8319 231 231 0 12640 0
vsize: 51484
[startup+889.995 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9915 0 0 0 88895 120 0 0 25 0 1 0 453780992 52719616 8352 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12871 8352 231 231 0 12640 0
vsize: 51484
[startup+899.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 9926 0 0 0 89895 120 0 0 25 0 1 0 453780992 52719616 8363 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12871 8363 231 231 0 12640 0
vsize: 51484
[startup+909.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10044 0 0 0 90894 121 0 0 25 0 1 0 453780992 52883456 8481 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12911 8481 231 231 0 12680 0
vsize: 51644
[startup+919.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10108 0 0 0 91894 121 0 0 25 0 1 0 453780992 52883456 8545 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12911 8545 231 231 0 12680 0
vsize: 51644
[startup+929.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10156 0 0 0 92893 122 0 0 25 0 1 0 453780992 53014528 8560 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12943 8560 231 231 0 12712 0
vsize: 51772
[startup+939.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10167 0 0 0 93893 122 0 0 25 0 1 0 453780992 53014528 8571 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12943 8571 231 231 0 12712 0
vsize: 51772
[startup+949.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10182 0 0 0 94893 123 0 0 25 0 1 0 453780992 53014528 8586 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12943 8586 231 231 0 12712 0
vsize: 51772
[startup+959.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10240 0 0 0 95892 124 0 0 25 0 1 0 453780992 53350400 8644 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13025 8644 231 231 0 12794 0
vsize: 52100
[startup+969.996 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10332 0 0 0 96891 125 0 0 25 0 1 0 453780992 53616640 8736 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 8736 231 231 0 12859 0
vsize: 52360
[startup+979.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10339 0 0 0 97891 125 0 0 25 0 1 0 453780992 53616640 8743 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 8743 231 231 0 12859 0
vsize: 52360
[startup+989.996 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10359 0 0 0 98891 126 0 0 25 0 1 0 453780992 53616640 8763 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 8763 231 231 0 12859 0
vsize: 52360
[startup+999.996 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10485 0 0 0 99890 127 0 0 25 0 1 0 453780992 53616640 8889 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 8889 231 231 0 12859 0
vsize: 52360
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10520 0 0 0 100890 127 0 0 25 0 1 0 453780992 53616640 8924 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 8924 231 231 0 12859 0
vsize: 52360
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10557 0 0 0 101889 128 0 0 25 0 1 0 453780992 53616640 8961 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 8961 231 231 0 12859 0
vsize: 52360
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10570 0 0 0 102889 128 0 0 25 0 1 0 453780992 53616640 8974 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 8974 231 231 0 12859 0
vsize: 52360
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10635 0 0 0 103889 129 0 0 25 0 1 0 453780992 53616640 9039 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 9039 231 231 0 12859 0
vsize: 52360
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10684 0 0 0 104888 129 0 0 25 0 1 0 453780992 53882880 9088 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13155 9088 231 231 0 12924 0
vsize: 52620
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10712 0 0 0 105888 130 0 0 25 0 1 0 453780992 54095872 9116 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13207 9116 231 231 0 12976 0
vsize: 52828
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10762 0 0 0 106887 130 0 0 25 0 1 0 453780992 54095872 9166 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13207 9166 231 231 0 12976 0
vsize: 52828
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10785 0 0 0 107887 131 0 0 25 0 1 0 453780992 54095872 9189 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13207 9189 231 231 0 12976 0
vsize: 52828
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10840 0 0 0 108887 132 0 0 25 0 1 0 453780992 54362112 9244 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13272 9244 231 231 0 13041 0
vsize: 53088
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 10844 0 0 0 109886 132 0 0 25 0 1 0 453780992 54362112 9248 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13272 9248 231 231 0 13041 0
vsize: 53088
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12398 0 0 0 110884 135 0 0 25 0 1 0 453780992 60653568 9265 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14808 9265 231 231 0 14577 0
vsize: 59232
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12414 0 0 0 111883 136 0 0 25 0 1 0 453780992 60653568 9281 4294967295 134512640 135450300 3221224640 3221223504 134539263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14808 9281 231 231 0 14577 0
vsize: 59232
[startup+1129.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12439 0 0 0 112883 136 0 0 25 0 1 0 453780992 60882944 9306 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14864 9306 231 231 0 14633 0
vsize: 59456
[startup+1139.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12458 0 0 0 113883 136 0 0 25 0 1 0 453780992 60882944 9325 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14864 9325 231 231 0 14633 0
vsize: 59456
[startup+1149.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12484 0 0 0 114882 137 0 0 25 0 1 0 453780992 60882944 9351 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14864 9351 231 231 0 14633 0
vsize: 59456
[startup+1159.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12499 0 0 0 115882 138 0 0 25 0 1 0 453780992 60882944 9366 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14864 9366 231 231 0 14633 0
vsize: 59456
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12543 0 0 0 116882 138 0 0 25 0 1 0 453780992 61018112 9410 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14897 9410 231 231 0 14666 0
vsize: 59588
[startup+1179.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12548 0 0 0 117881 138 0 0 25 0 1 0 453780992 61018112 9415 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14897 9415 231 231 0 14666 0
vsize: 59588
[startup+1189.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12575 0 0 0 118881 139 0 0 25 0 1 0 453780992 61153280 9442 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14930 9442 231 231 0 14699 0
vsize: 59720
[startup+1199.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18436
Raw data (stat): 18436 (PBS4) R 18435 25347 25346 0 -1 0 12631 0 0 0 119881 139 0 0 25 0 1 0 453780992 61394944 9498 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14989 9498 231 231 0 14758 0
vsize: 59956
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 18436
Raw data (stat): 18436 (PBS4) Z 18435 25347 25346 0 -1 1036 12631 0 0 0 119881 141 0 0 25 0 1 0 453780992 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.01
CPU time (s): 1200.23
CPU user time (s): 1198.82
CPU system time (s): 1.41478
CPU usage (%): 100.018
Max. virtual memory (Kb): 59956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####