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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM	df52a42b636b50954671d81e4d85c221
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-16384
Optimality of the best value was proved	NO
Number of terms in the objective function	19
Biggest coefficient in the objective function	262144
Number of bits for the biggest coefficient in the objective function	19
Sum of the numbers in the objective function	524287
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	393216
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	917503
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	787
Total number of constraints	833
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	816
Number of constraints which are nor clauses,nor cardinality constraints	17
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 21657

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-22 00:35:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12876 boxname=wulflinc2 idbench=991 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  df52a42b636b50954671d81e4d85c221  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-opt1217.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-opt1217.opb
IDLAUNCH: 12876
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        377408 kB
Buffers:         32628 kB
Cached:         601072 kB
SwapCached:       3324 kB
Active:         351120 kB
Inactive:       287344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        377156 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13008 kB
Committed_AS:    71748 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 00:55:58 (client local time) WITH STATUS 0 IN 1200.71 SECONDS
stats: 12876 7 1200.71 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-opt1217.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.85 0.97 0.92 2/54 16972
Raw data (stat): 16972 (runsolver) R 16971 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 491227202 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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+9.99975 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 2062 0 0 0 989 10 0 0 25 0 1 0 491227202 11210752 2058 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2737 2058 231 231 0 2506 0
vsize: 10948
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 3253 0 0 0 1985 13 0 0 25 0 1 0 491227202 19800064 3249 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4834 3249 231 231 0 4603 0
vsize: 19336
[startup+30.0007 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 3990 0 0 0 2983 16 0 0 25 0 1 0 491227202 19800064 3986 4294967295 134512640 135450300 3221224624 3221223456 134549462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4834 3986 231 231 0 4603 0
vsize: 19336
[startup+40.0018 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 4852 0 0 0 3979 20 0 0 25 0 1 0 491227202 36724736 4848 4294967295 134512640 135450300 3221224624 3221223008 134602233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8966 4848 231 231 0 8735 0
vsize: 35864
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 5311 0 0 0 4978 21 0 0 25 0 1 0 491227202 37208064 5258 4294967295 134512640 135450300 3221224624 3221223104 134534869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 5258 231 231 0 8853 0
vsize: 36336
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 5902 0 0 0 5975 24 0 0 25 0 1 0 491227202 37343232 5849 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9117 5849 231 231 0 8886 0
vsize: 36468
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6272 0 0 0 6974 25 0 0 25 0 1 0 491227202 37343232 6219 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9117 6219 231 231 0 8886 0
vsize: 36468
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6303 0 0 0 7973 27 0 0 25 0 1 0 491227202 37478400 6250 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9150 6250 231 231 0 8919 0
vsize: 36600
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6465 0 0 0 8971 29 0 0 25 0 1 0 491227202 38006784 6315 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 6315 231 231 0 9048 0
vsize: 37116
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6487 0 0 0 9970 30 0 0 25 0 1 0 491227202 38170624 6337 4294967295 134512640 135450300 3221224624 3221223344 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9319 6337 231 231 0 9088 0
vsize: 37276
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6508 0 0 0 10969 30 0 0 25 0 1 0 491227202 38170624 6358 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9319 6358 231 231 0 9088 0
vsize: 37276
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6521 0 0 0 11969 31 0 0 25 0 1 0 491227202 38170624 6371 4294967295 134512640 135450300 3221224624 3221223420 134535392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9319 6371 231 231 0 9088 0
vsize: 37276
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6545 0 0 0 12969 32 0 0 25 0 1 0 491227202 38309888 6395 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9353 6395 231 231 0 9122 0
vsize: 37412
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6565 0 0 0 13968 33 0 0 25 0 1 0 491227202 38309888 6415 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9353 6415 231 231 0 9122 0
vsize: 37412
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6583 0 0 0 14968 33 0 0 25 0 1 0 491227202 38436864 6433 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9384 6433 231 231 0 9153 0
vsize: 37536
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6624 0 0 0 15966 35 0 0 25 0 1 0 491227202 38436864 6474 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9384 6474 231 231 0 9153 0
vsize: 37536
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6658 0 0 0 16965 36 0 0 25 0 1 0 491227202 38572032 6508 4294967295 134512640 135450300 3221224624 3221223344 134535695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9417 6508 231 231 0 9186 0
vsize: 37668
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6661 0 0 0 17964 36 0 0 25 0 1 0 491227202 38572032 6511 4294967295 134512640 135450300 3221224624 3221223440 134547150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9417 6511 231 231 0 9186 0
vsize: 37668
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6688 0 0 0 18966 36 0 0 25 0 1 0 491227202 38727680 6538 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 6538 231 231 0 9224 0
vsize: 37820
[startup+200.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6720 0 0 0 19965 38 0 0 25 0 1 0 491227202 38727680 6570 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 6570 231 231 0 9224 0
vsize: 37820
[startup+210.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6724 0 0 0 20968 38 0 0 25 0 1 0 491227202 38727680 6574 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9455 6574 231 231 0 9224 0
vsize: 37820
[startup+220.075 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6943 0 0 0 21969 39 0 0 25 0 1 0 491227202 39649280 6600 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9680 6600 231 231 0 9449 0
vsize: 38720
[startup+230.08 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 6985 0 0 0 22967 41 0 0 25 0 1 0 491227202 39780352 6642 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9712 6642 231 231 0 9481 0
vsize: 38848
[startup+240.081 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7005 0 0 0 23966 42 0 0 25 0 1 0 491227202 39780352 6662 4294967295 134512640 135450300 3221224624 3221223008 134602277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9712 6662 231 231 0 9481 0
vsize: 38848
[startup+250.082 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7024 0 0 0 24966 42 0 0 25 0 1 0 491227202 39780352 6681 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9712 6681 231 231 0 9481 0
vsize: 38848
[startup+260.082 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7058 0 0 0 25966 43 0 0 25 0 1 0 491227202 39911424 6715 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 6715 231 231 0 9513 0
vsize: 38976
[startup+270.082 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7074 0 0 0 26966 43 0 0 25 0 1 0 491227202 39911424 6731 4294967295 134512640 135450300 3221224624 3221223440 134537254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9744 6731 231 231 0 9513 0
vsize: 38976
[startup+280.083 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7117 0 0 0 27965 44 0 0 25 0 1 0 491227202 40083456 6774 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9786 6774 231 231 0 9555 0
vsize: 39144
[startup+290.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7123 0 0 0 28965 44 0 0 25 0 1 0 491227202 40083456 6780 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9786 6780 231 231 0 9555 0
vsize: 39144
[startup+300.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7158 0 0 0 29965 44 0 0 25 0 1 0 491227202 40218624 6815 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9819 6815 231 231 0 9588 0
vsize: 39276
[startup+310.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7188 0 0 0 30964 45 0 0 25 0 1 0 491227202 40218624 6845 4294967295 134512640 135450300 3221224624 3221223416 134535393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9819 6845 231 231 0 9588 0
vsize: 39276
[startup+320.084 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7245 0 0 0 31962 47 0 0 25 0 1 0 491227202 40566784 6902 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9904 6902 231 231 0 9673 0
vsize: 39616
[startup+330.085 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7308 0 0 0 32960 49 0 0 25 0 1 0 491227202 40747008 6965 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9948 6965 231 231 0 9717 0
vsize: 39792
[startup+340.085 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7348 0 0 0 33959 51 0 0 25 0 1 0 491227202 40906752 7005 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7005 231 231 0 9756 0
vsize: 39948
[startup+350.086 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7400 0 0 0 34956 53 0 0 25 0 1 0 491227202 41095168 7057 4294967295 134512640 135450300 3221224624 3221223456 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10033 7057 231 231 0 9802 0
vsize: 40132
[startup+360.086 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7410 0 0 0 35956 54 0 0 25 0 1 0 491227202 41095168 7067 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10033 7067 231 231 0 9802 0
vsize: 40132
[startup+370.086 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7427 0 0 0 36954 55 0 0 25 0 1 0 491227202 41095168 7084 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10033 7084 231 231 0 9802 0
vsize: 40132
[startup+380.087 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7446 0 0 0 37954 56 0 0 25 0 1 0 491227202 41095168 7103 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10033 7103 231 231 0 9802 0
vsize: 40132
[startup+390.088 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7502 0 0 0 38952 58 0 0 25 0 1 0 491227202 41271296 7159 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10076 7159 231 231 0 9845 0
vsize: 40304
[startup+400.088 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7909 0 0 0 39948 62 0 0 25 0 1 0 491227202 42844160 7181 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 7181 231 231 0 10229 0
vsize: 41840
[startup+410.088 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7921 0 0 0 40948 62 0 0 25 0 1 0 491227202 42844160 7193 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10460 7193 231 231 0 10229 0
vsize: 41840
[startup+420.088 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7936 0 0 0 41947 64 0 0 25 0 1 0 491227202 43048960 7208 4294967295 134512640 135450300 3221224624 3221222976 134533077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10510 7208 231 231 0 10279 0
vsize: 42040
[startup+430.089 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7953 0 0 0 42946 64 0 0 25 0 1 0 491227202 43048960 7225 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10510 7225 231 231 0 10279 0
vsize: 42040
[startup+440.09 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 7980 0 0 0 43946 65 0 0 25 0 1 0 491227202 43048960 7252 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10510 7252 231 231 0 10279 0
vsize: 42040
[startup+450.091 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8007 0 0 0 44942 68 0 0 25 0 1 0 491227202 43237376 7279 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10556 7279 231 231 0 10325 0
vsize: 42224
[startup+460.091 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8024 0 0 0 45941 70 0 0 25 0 1 0 491227202 43237376 7296 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10556 7296 231 231 0 10325 0
vsize: 42224
[startup+470.092 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8044 0 0 0 46940 71 0 0 25 0 1 0 491227202 43237376 7316 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10556 7316 231 231 0 10325 0
vsize: 42224
[startup+480.093 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8061 0 0 0 47940 71 0 0 25 0 1 0 491227202 43372544 7333 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10589 7333 231 231 0 10358 0
vsize: 42356
[startup+490.093 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8087 0 0 0 48939 72 0 0 25 0 1 0 491227202 43372544 7359 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10589 7359 231 231 0 10358 0
vsize: 42356
[startup+500.094 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8101 0 0 0 49939 73 0 0 25 0 1 0 491227202 43372544 7373 4294967295 134512640 135450300 3221224624 3221223360 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10589 7373 231 231 0 10358 0
vsize: 42356
[startup+510.094 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8121 0 0 0 50938 74 0 0 25 0 1 0 491227202 43372544 7393 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10589 7393 231 231 0 10358 0
vsize: 42356
[startup+520.094 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8134 0 0 0 51935 76 0 0 25 0 1 0 491227202 43524096 7406 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10626 7406 231 231 0 10395 0
vsize: 42504
[startup+530.094 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8149 0 0 0 52934 77 0 0 25 0 1 0 491227202 43524096 7421 4294967295 134512640 135450300 3221224624 3221223440 134547210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10626 7421 231 231 0 10395 0
vsize: 42504
[startup+540.096 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8196 0 0 0 53932 80 0 0 25 0 1 0 491227202 43663360 7468 4294967295 134512640 135450300 3221224624 3221223344 134535404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 7468 231 231 0 10429 0
vsize: 42640
[startup+550.096 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8199 0 0 0 54931 81 0 0 25 0 1 0 491227202 43663360 7471 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 7471 231 231 0 10429 0
vsize: 42640
[startup+560.096 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8215 0 0 0 55931 81 0 0 25 0 1 0 491227202 43663360 7487 4294967295 134512640 135450300 3221224624 3221223440 134548046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 7487 231 231 0 10429 0
vsize: 42640
[startup+570.097 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8228 0 0 0 56930 82 0 0 25 0 1 0 491227202 43663360 7500 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 7500 231 231 0 10429 0
vsize: 42640
[startup+580.097 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8240 0 0 0 57930 82 0 0 25 0 1 0 491227202 43663360 7512 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 7512 231 231 0 10429 0
vsize: 42640
[startup+590.098 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8263 0 0 0 58929 83 0 0 25 0 1 0 491227202 43663360 7535 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 7535 231 231 0 10429 0
vsize: 42640
[startup+600.099 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8267 0 0 0 59929 84 0 0 25 0 1 0 491227202 43663360 7539 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 7539 231 231 0 10429 0
vsize: 42640
[startup+610.099 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8281 0 0 0 60929 84 0 0 25 0 1 0 491227202 43810816 7553 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10696 7553 231 231 0 10465 0
vsize: 42784
[startup+620.099 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8299 0 0 0 61928 85 0 0 25 0 1 0 491227202 43810816 7571 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10696 7571 231 231 0 10465 0
vsize: 42784
[startup+630.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8317 0 0 0 62927 86 0 0 25 0 1 0 491227202 43810816 7589 4294967295 134512640 135450300 3221224624 3221223344 134535520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10696 7589 231 231 0 10465 0
vsize: 42784
[startup+640.101 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8339 0 0 0 63927 86 0 0 25 0 1 0 491227202 43810816 7611 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10696 7611 231 231 0 10465 0
vsize: 42784
[startup+650.101 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8350 0 0 0 64927 86 0 0 25 0 1 0 491227202 43810816 7622 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10696 7622 231 231 0 10465 0
vsize: 42784
[startup+660.101 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8372 0 0 0 65927 87 0 0 25 0 1 0 491227202 44109824 7644 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10769 7644 231 231 0 10538 0
vsize: 43076
[startup+670.101 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8391 0 0 0 66926 88 0 0 25 0 1 0 491227202 44109824 7663 4294967295 134512640 135450300 3221224624 3221223232 134537746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10769 7663 231 231 0 10538 0
vsize: 43076
[startup+680.101 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8419 0 0 0 67926 88 0 0 25 0 1 0 491227202 44109824 7691 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10769 7691 231 231 0 10538 0
vsize: 43076
[startup+690.102 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8437 0 0 0 68926 88 0 0 25 0 1 0 491227202 44109824 7709 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10769 7709 231 231 0 10538 0
vsize: 43076
[startup+700.102 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8450 0 0 0 69926 88 0 0 25 0 1 0 491227202 44109824 7722 4294967295 134512640 135450300 3221224624 3221223360 134538751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10769 7722 231 231 0 10538 0
vsize: 43076
[startup+710.102 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8470 0 0 0 70925 90 0 0 25 0 1 0 491227202 44273664 7742 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10809 7742 231 231 0 10578 0
vsize: 43236
[startup+720.103 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8518 0 0 0 71921 94 0 0 25 0 1 0 491227202 44273664 7790 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10809 7790 231 231 0 10578 0
vsize: 43236
[startup+730.103 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8546 0 0 0 72917 98 0 0 25 0 1 0 491227202 44449792 7818 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10852 7818 231 231 0 10621 0
vsize: 43408
[startup+740.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8580 0 0 0 73913 102 0 0 25 0 1 0 491227202 44449792 7852 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10852 7852 231 231 0 10621 0
vsize: 43408
[startup+750.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8618 0 0 0 74910 106 0 0 25 0 1 0 491227202 44634112 7890 4294967295 134512640 135450300 3221224624 3221223360 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 7890 231 231 0 10666 0
vsize: 43588
[startup+760.103 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8627 0 0 0 75910 106 0 0 25 0 1 0 491227202 44634112 7899 4294967295 134512640 135450300 3221224624 3221223408 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 7899 231 231 0 10666 0
vsize: 43588
[startup+770.103 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8663 0 0 0 76909 107 0 0 25 0 1 0 491227202 44634112 7935 4294967295 134512640 135450300 3221224624 3221223068 134579200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 7935 231 231 0 10666 0
vsize: 43588
[startup+780.103 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8667 0 0 0 77909 107 0 0 25 0 1 0 491227202 44634112 7939 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 7939 231 231 0 10666 0
vsize: 43588
[startup+790.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8683 0 0 0 78908 108 0 0 25 0 1 0 491227202 44634112 7955 4294967295 134512640 135450300 3221224624 3221223344 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 7955 231 231 0 10666 0
vsize: 43588
[startup+800.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 8704 0 0 0 79908 109 0 0 25 0 1 0 491227202 44634112 7976 4294967295 134512640 135450300 3221224624 3221222928 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10897 7976 231 231 0 10666 0
vsize: 43588
[startup+810.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9510 0 0 0 80906 111 0 0 25 0 1 0 491227202 47976448 8013 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11713 8013 231 231 0 11482 0
vsize: 46852
[startup+820.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9535 0 0 0 81905 112 0 0 25 0 1 0 491227202 47976448 8038 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11713 8038 231 231 0 11482 0
vsize: 46852
[startup+830.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9569 0 0 0 82905 112 0 0 25 0 1 0 491227202 48107520 8072 4294967295 134512640 135450300 3221224624 3221223456 134549307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11745 8072 231 231 0 11514 0
vsize: 46980
[startup+840.105 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9584 0 0 0 83905 113 0 0 25 0 1 0 491227202 48107520 8087 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11745 8087 231 231 0 11514 0
vsize: 46980
[startup+850.105 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9642 0 0 0 84903 114 0 0 25 0 1 0 491227202 48316416 8145 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11796 8145 231 231 0 11565 0
vsize: 47184
[startup+860.105 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9668 0 0 0 85903 115 0 0 25 0 1 0 491227202 48316416 8171 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11796 8171 231 231 0 11565 0
vsize: 47184
[startup+870.106 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9699 0 0 0 86902 116 0 0 25 0 1 0 491227202 48537600 8202 4294967295 134512640 135450300 3221224624 3221223440 134547886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 8202 231 231 0 11619 0
vsize: 47400
[startup+880.106 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9709 0 0 0 87902 116 0 0 25 0 1 0 491227202 48537600 8212 4294967295 134512640 135450300 3221224624 3221223360 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 8212 231 231 0 11619 0
vsize: 47400
[startup+890.107 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9725 0 0 0 88902 116 0 0 25 0 1 0 491227202 48537600 8228 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 8228 231 231 0 11619 0
vsize: 47400
[startup+900.108 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9763 0 0 0 89901 117 0 0 25 0 1 0 491227202 48537600 8266 4294967295 134512640 135450300 3221224624 3221223344 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 8266 231 231 0 11619 0
vsize: 47400
[startup+910.107 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9779 0 0 0 90900 118 0 0 25 0 1 0 491227202 48537600 8282 4294967295 134512640 135450300 3221224624 3221223440 134547155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 8282 231 231 0 11619 0
vsize: 47400
[startup+920.108 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9814 0 0 0 91900 119 0 0 25 0 1 0 491227202 48537600 8317 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 8317 231 231 0 11619 0
vsize: 47400
[startup+930.108 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9828 0 0 0 92899 120 0 0 25 0 1 0 491227202 48771072 8331 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11907 8331 231 231 0 11676 0
vsize: 47628
[startup+940.111 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9859 0 0 0 93898 122 0 0 25 0 1 0 491227202 48910336 8362 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11941 8362 231 231 0 11710 0
vsize: 47764
[startup+950.111 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9895 0 0 0 94896 124 0 0 25 0 1 0 491227202 48910336 8398 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11941 8398 231 231 0 11710 0
vsize: 47764
[startup+960.111 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9915 0 0 0 95896 124 0 0 25 0 1 0 491227202 48910336 8418 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11941 8418 231 231 0 11710 0
vsize: 47764
[startup+970.111 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9948 0 0 0 96894 126 0 0 25 0 1 0 491227202 49160192 8451 4294967295 134512640 135450300 3221224624 3221223008 134579521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12002 8451 231 231 0 11771 0
vsize: 48008
[startup+980.119 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9969 0 0 0 97894 128 0 0 25 0 1 0 491227202 49160192 8472 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12002 8472 231 231 0 11771 0
vsize: 48008
[startup+990.127 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 9975 0 0 0 98893 129 0 0 25 0 1 0 491227202 49160192 8478 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12002 8478 231 231 0 11771 0
vsize: 48008
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10017 0 0 0 99890 133 0 0 25 0 1 0 491227202 49160192 8520 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12002 8520 231 231 0 11771 0
vsize: 48008
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10028 0 0 0 100890 133 0 0 25 0 1 0 491227202 49160192 8531 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12002 8531 231 231 0 11771 0
vsize: 48008
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10034 0 0 0 101890 133 0 0 25 0 1 0 491227202 49160192 8537 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12002 8537 231 231 0 11771 0
vsize: 48008
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10047 0 0 0 102889 134 0 0 25 0 1 0 491227202 49160192 8550 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12002 8550 231 231 0 11771 0
vsize: 48008
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10060 0 0 0 103890 134 0 0 25 0 1 0 491227202 49426432 8563 4294967295 134512640 135450300 3221224624 3221223360 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12067 8563 231 231 0 11836 0
vsize: 48268
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10087 0 0 0 104889 135 0 0 25 0 1 0 491227202 49426432 8590 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12067 8590 231 231 0 11836 0
vsize: 48268
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10123 0 0 0 105888 137 0 0 25 0 1 0 491227202 49426432 8626 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12067 8626 231 231 0 11836 0
vsize: 48268
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10133 0 0 0 106887 138 0 0 25 0 1 0 491227202 49426432 8636 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12067 8636 231 231 0 11836 0
vsize: 48268
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10148 0 0 0 107887 139 0 0 25 0 1 0 491227202 49426432 8651 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12067 8651 231 231 0 11836 0
vsize: 48268
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10185 0 0 0 108886 141 0 0 25 0 1 0 491227202 49426432 8688 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12067 8688 231 231 0 11836 0
vsize: 48268
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10193 0 0 0 109886 141 0 0 25 0 1 0 491227202 49709056 8696 4294967295 134512640 135450300 3221224624 3221223420 134535392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8696 231 231 0 11905 0
vsize: 48544
[startup+1110.15 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10207 0 0 0 110885 142 0 0 25 0 1 0 491227202 49709056 8710 4294967295 134512640 135450300 3221224624 3221223440 134547879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8710 231 231 0 11905 0
vsize: 48544
[startup+1120.16 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10219 0 0 0 111884 144 0 0 25 0 1 0 491227202 49709056 8722 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8722 231 231 0 11905 0
vsize: 48544
[startup+1130.29 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10255 0 0 0 112894 146 0 0 25 0 1 0 491227202 49709056 8758 4294967295 134512640 135450300 3221224624 3221223152 134543678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8758 231 231 0 11905 0
vsize: 48544
[startup+1140.29 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10261 0 0 0 113894 146 0 0 25 0 1 0 491227202 49709056 8764 4294967295 134512640 135450300 3221224624 3221223344 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8764 231 231 0 11905 0
vsize: 48544
[startup+1150.39 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10269 0 0 0 114905 146 0 0 25 0 1 0 491227202 49709056 8772 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8772 231 231 0 11905 0
vsize: 48544
[startup+1160.4 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10282 0 0 0 115904 149 0 0 25 0 1 0 491227202 49709056 8785 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8785 231 231 0 11905 0
vsize: 48544
[startup+1170.41 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10305 0 0 0 116903 150 0 0 25 0 1 0 491227202 49709056 8808 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8808 231 231 0 11905 0
vsize: 48544
[startup+1180.41 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10318 0 0 0 117904 150 0 0 25 0 1 0 491227202 49709056 8821 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8821 231 231 0 11905 0
vsize: 48544
[startup+1190.43 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10328 0 0 0 118905 151 0 0 25 0 1 0 491227202 49709056 8831 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12136 8831 231 231 0 11905 0
vsize: 48544
[startup+1200.54 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 16972
Raw data (stat): 16972 (PBS4) R 16971 20937 20936 0 -1 0 10352 0 0 0 119916 151 0 0 25 0 1 0 491227202 50008064 8855 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 8855 231 231 0 11978 0
vsize: 48836
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.59 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 16972
Raw data (stat): 16972 (PBS4) Z 16971 20937 20936 0 -1 1036 10352 0 0 0 119916 153 0 0 23 0 1 0 491227202 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.59
CPU time (s): 1200.71
CPU user time (s): 1199.17
CPU system time (s): 1.53677
CPU usage (%): 100.01
Max. virtual memory (Kb): 48836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####