PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM	b3a3f977e810fc2043ea057a8d94a7d8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-34
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
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	1175.07
Number of variables	945
Total number of constraints	58245
Number of constraints which are clauses	58245
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	2
Maximum length of a constraint	2
Trace number 7899

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-17 17:03:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2976 boxname=wulflinc30 idbench=331 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b3a3f977e810fc2043ea057a8d94a7d8  /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-3.opb
IDLAUNCH: 2976
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        701552 kB
Buffers:         39244 kB
Cached:         252000 kB
SwapCached:          0 kB
Active:          93828 kB
Inactive:       200304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701300 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            33156 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:23:46 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 2976 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-frb45-21-3.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.98 0.92 2/54 3651
Raw data (stat): 3651 (runsolver) R 3650 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512165585 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.88 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 3262 0 0 0 991 8 0 0 25 0 1 0 512165585 20619264 2916 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5034 2916 231 231 0 4803 0
vsize: 20136
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 5013 0 0 0 1987 12 0 0 25 0 1 0 512165585 20754432 4667 4294967295 134512640 135450300 3221224640 3221223472 134549514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5067 4667 231 231 0 4836 0
vsize: 20268
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 7050 0 0 0 2981 18 0 0 25 0 1 0 512165585 37806080 6704 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9230 6704 231 231 0 8999 0
vsize: 36920
[startup+40.0004 s]
Raw data (loadavg): 0.92 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 9040 0 0 0 3976 23 0 0 25 0 1 0 512165585 37806080 8694 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9230 8694 231 231 0 8999 0
vsize: 36920
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 10664 0 0 0 4973 26 0 0 25 0 1 0 512165585 71495680 10318 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17455 10318 231 231 0 17224 0
vsize: 69820
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 11879 0 0 0 5971 29 0 0 25 0 1 0 512165585 71639040 11533 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17490 11533 231 231 0 17259 0
vsize: 69960
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 13494 0 0 0 6967 32 0 0 25 0 1 0 512165585 71639040 13148 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17490 13149 231 231 0 17259 0
vsize: 69960
[startup+80.0016 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 15184 0 0 0 7964 36 0 0 25 0 1 0 512165585 73490432 14453 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17942 14453 231 231 0 17711 0
vsize: 71768
[startup+90.0017 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 16112 0 0 0 8962 39 0 0 25 0 1 0 512165585 74612736 15381 4294967295 134512640 135450300 3221224640 3221223376 134538743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18216 15381 231 231 0 17985 0
vsize: 72864
[startup+100.002 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 16782 0 0 0 9960 41 0 0 25 0 1 0 512165585 75726848 16051 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18488 16051 231 231 0 18257 0
vsize: 73952
[startup+110.002 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 18278 0 0 0 10958 43 0 0 25 0 1 0 512165585 76038144 17547 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18564 17547 231 231 0 18333 0
vsize: 74256
[startup+120.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 19487 0 0 0 11953 47 0 0 25 0 1 0 512165585 143765504 18756 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35099 18756 231 231 0 34868 0
vsize: 140396
[startup+130.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 19913 0 0 0 12953 48 0 0 25 0 1 0 512165585 143765504 19182 4294967295 134512640 135450300 3221224640 3221223116 134572098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35099 19182 231 231 0 34868 0
vsize: 140396
[startup+140.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 19957 0 0 0 13953 48 0 0 25 0 1 0 512165585 143912960 19226 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35135 19226 231 231 0 34904 0
vsize: 140540
[startup+150.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 20207 0 0 0 14952 49 0 0 25 0 1 0 512165585 144187392 19476 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35202 19476 231 231 0 34971 0
vsize: 140808
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3651
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 21497 0 0 0 15950 52 0 0 25 0 1 0 512165585 144334848 20766 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35238 20766 231 231 0 35007 0
vsize: 140952
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22794 0 0 0 16947 54 0 0 25 0 1 0 512165585 144605184 22063 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35304 22063 231 231 0 35073 0
vsize: 141216
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22907 0 0 0 17947 55 0 0 25 0 1 0 512165585 145039360 22176 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35410 22176 231 231 0 35179 0
vsize: 141640
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22938 0 0 0 18947 55 0 0 25 0 1 0 512165585 145195008 22207 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35448 22207 231 231 0 35217 0
vsize: 141792
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 22975 0 0 0 19946 56 0 0 25 0 1 0 512165585 145338368 22244 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35483 22244 231 231 0 35252 0
vsize: 141932
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 23194 0 0 0 20946 56 0 0 25 0 1 0 512165585 145612800 22463 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35550 22463 231 231 0 35319 0
vsize: 142200
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24488 0 0 0 21943 59 0 0 25 0 1 0 512165585 145752064 23757 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35584 23757 231 231 0 35353 0
vsize: 142336
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24583 0 0 0 22943 60 0 0 25 0 1 0 512165585 146173952 23852 4294967295 134512640 135450300 3221224640 3221223024 134602494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35687 23852 231 231 0 35456 0
vsize: 142748
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24587 0 0 0 23943 60 0 0 25 0 1 0 512165585 146173952 23856 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35687 23856 231 231 0 35456 0
vsize: 142748
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24625 0 0 0 24943 60 0 0 25 0 1 0 512165585 146337792 23894 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35727 23894 231 231 0 35496 0
vsize: 142908
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 24663 0 0 0 25943 60 0 0 25 0 1 0 512165585 146477056 23932 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35761 23932 231 231 0 35530 0
vsize: 143044
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25528 0 0 0 26940 63 0 0 25 0 1 0 512165585 146751488 24797 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35828 24797 231 231 0 35597 0
vsize: 143312
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25855 0 0 0 27940 63 0 0 25 0 1 0 512165585 147374080 25124 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35980 25124 231 231 0 35749 0
vsize: 143920
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25870 0 0 0 28940 64 0 0 25 0 1 0 512165585 147374080 25139 4294967295 134512640 135450300 3221224640 3221223360 134535548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35980 25139 231 231 0 35749 0
vsize: 143920
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25914 0 0 0 29940 64 0 0 25 0 1 0 512165585 147509248 25183 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36013 25183 231 231 0 35782 0
vsize: 144052
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 25971 0 0 0 30940 64 0 0 25 0 1 0 512165585 147816448 25240 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36088 25240 231 231 0 35857 0
vsize: 144352
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26024 0 0 0 31939 65 0 0 25 0 1 0 512165585 147980288 25293 4294967295 134512640 135450300 3221224640 3221223024 134579576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36128 25293 231 231 0 35897 0
vsize: 144512
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26779 0 0 0 32937 67 0 0 25 0 1 0 512165585 148115456 26048 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36161 26048 231 231 0 35930 0
vsize: 144644
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26902 0 0 0 33937 67 0 0 25 0 1 0 512165585 148721664 26171 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36309 26171 231 231 0 36078 0
vsize: 145236
[startup+350.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26977 0 0 0 34937 68 0 0 25 0 1 0 512165585 149049344 26246 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36389 26246 231 231 0 36158 0
vsize: 145556
[startup+360.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 26981 0 0 0 35937 68 0 0 25 0 1 0 512165585 149049344 26250 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36389 26250 231 231 0 36158 0
vsize: 145556
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27051 0 0 0 36937 68 0 0 25 0 1 0 512165585 149495808 26320 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36498 26320 231 231 0 36267 0
vsize: 145992
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27130 0 0 0 37937 68 0 0 25 0 1 0 512165585 149839872 26399 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36582 26399 231 231 0 36351 0
vsize: 146328
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27152 0 0 0 38936 69 0 0 25 0 1 0 512165585 149987328 26421 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36618 26421 231 231 0 36387 0
vsize: 146472
[startup+400.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27219 0 0 0 39936 69 0 0 25 0 1 0 512165585 150274048 26488 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36688 26488 231 231 0 36457 0
vsize: 146752
[startup+410.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27271 0 0 0 40936 69 0 0 25 0 1 0 512165585 150601728 26540 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36768 26540 231 231 0 36537 0
vsize: 147072
[startup+420.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27305 0 0 0 41936 70 0 0 25 0 1 0 512165585 150773760 26574 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36810 26574 231 231 0 36579 0
vsize: 147240
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 27948 0 0 0 42935 71 0 0 25 0 1 0 512165585 150773760 27217 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36810 27217 231 231 0 36579 0
vsize: 147240
[startup+440.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28171 0 0 0 43935 72 0 0 25 0 1 0 512165585 150773760 27440 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36810 27440 231 231 0 36579 0
vsize: 147240
[startup+450.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28200 0 0 0 44934 72 0 0 25 0 1 0 512165585 150937600 27469 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36850 27469 231 231 0 36619 0
vsize: 147400
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28203 0 0 0 45934 72 0 0 25 0 1 0 512165585 150937600 27472 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36850 27472 231 231 0 36619 0
vsize: 147400
[startup+470.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28237 0 0 0 46934 72 0 0 25 0 1 0 512165585 151113728 27506 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36893 27506 231 231 0 36662 0
vsize: 147572
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28248 0 0 0 47934 73 0 0 25 0 1 0 512165585 151113728 27517 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36893 27517 231 231 0 36662 0
vsize: 147572
[startup+490.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28565 0 0 0 48933 74 0 0 25 0 1 0 512165585 151261184 27834 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36929 27834 231 231 0 36698 0
vsize: 147716
[startup+500.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28583 0 0 0 49933 74 0 0 25 0 1 0 512165585 151261184 27852 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36929 27852 231 231 0 36698 0
vsize: 147716
[startup+510.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28601 0 0 0 50933 74 0 0 25 0 1 0 512165585 151408640 27870 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36965 27870 231 231 0 36734 0
vsize: 147860
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28623 0 0 0 51933 75 0 0 25 0 1 0 512165585 151572480 27892 4294967295 134512640 135450300 3221224640 3221223456 134547900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37005 27892 231 231 0 36774 0
vsize: 148020
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28645 0 0 0 52933 75 0 0 25 0 1 0 512165585 151572480 27914 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37005 27914 231 231 0 36774 0
vsize: 148020
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28660 0 0 0 53933 75 0 0 25 0 1 0 512165585 151572480 27929 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37005 27929 231 231 0 36774 0
vsize: 148020
[startup+550.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28899 0 0 0 54932 76 0 0 25 0 1 0 512165585 151719936 28168 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37041 28168 231 231 0 36810 0
vsize: 148164
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28939 0 0 0 55932 77 0 0 25 0 1 0 512165585 152018944 28208 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37114 28208 231 231 0 36883 0
vsize: 148456
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 28971 0 0 0 56932 77 0 0 25 0 1 0 512165585 152018944 28240 4294967295 134512640 135450300 3221224640 3221223024 134579530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37114 28240 231 231 0 36883 0
vsize: 148456
[startup+580.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29010 0 0 0 57931 77 0 0 25 0 1 0 512165585 152174592 28279 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37152 28279 231 231 0 36921 0
vsize: 148608
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29018 0 0 0 58931 78 0 0 25 0 1 0 512165585 152174592 28287 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37152 28287 231 231 0 36921 0
vsize: 148608
[startup+600.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29206 0 0 0 59931 78 0 0 25 0 1 0 512165585 152338432 28475 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37192 28475 231 231 0 36961 0
vsize: 148768
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29234 0 0 0 60931 78 0 0 25 0 1 0 512165585 152477696 28503 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 28503 231 231 0 36995 0
vsize: 148904
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29241 0 0 0 61931 79 0 0 25 0 1 0 512165585 152477696 28510 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37226 28510 231 231 0 36995 0
vsize: 148904
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29270 0 0 0 62931 79 0 0 25 0 1 0 512165585 152653824 28539 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37269 28539 231 231 0 37038 0
vsize: 149076
[startup+640.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29313 0 0 0 63931 79 0 0 25 0 1 0 512165585 152801280 28582 4294967295 134512640 135450300 3221224640 3221223104 134532784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37305 28582 231 231 0 37074 0
vsize: 149220
[startup+650.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29335 0 0 0 64930 80 0 0 25 0 1 0 512165585 152801280 28604 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37305 28604 231 231 0 37074 0
vsize: 149220
[startup+660.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29472 0 0 0 65930 80 0 0 25 0 1 0 512165585 152801280 28741 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37305 28741 231 231 0 37074 0
vsize: 149220
[startup+670.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29514 0 0 0 66930 81 0 0 25 0 1 0 512165585 153112576 28783 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37381 28783 231 231 0 37150 0
vsize: 149524
[startup+680.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29539 0 0 0 67929 81 0 0 25 0 1 0 512165585 153112576 28808 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37381 28808 231 231 0 37150 0
vsize: 149524
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29544 0 0 0 68929 81 0 0 25 0 1 0 512165585 153112576 28813 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37381 28813 231 231 0 37150 0
vsize: 149524
[startup+700.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29606 0 0 0 69929 82 0 0 25 0 1 0 512165585 153440256 28875 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37461 28875 231 231 0 37230 0
vsize: 149844
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29626 0 0 0 70929 82 0 0 25 0 1 0 512165585 153440256 28895 4294967295 134512640 135450300 3221224640 3221223104 134532859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37461 28895 231 231 0 37230 0
vsize: 149844
[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29729 0 0 0 71928 83 0 0 25 0 1 0 512165585 153604096 28998 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37501 28998 231 231 0 37270 0
vsize: 150004
[startup+730.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29739 0 0 0 72928 83 0 0 25 0 1 0 512165585 153604096 29008 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37501 29008 231 231 0 37270 0
vsize: 150004
[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29756 0 0 0 73928 84 0 0 25 0 1 0 512165585 153604096 29025 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37501 29025 231 231 0 37270 0
vsize: 150004
[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29766 0 0 0 74928 84 0 0 25 0 1 0 512165585 153604096 29035 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37501 29035 231 231 0 37270 0
vsize: 150004
[startup+760.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29787 0 0 0 75928 84 0 0 25 0 1 0 512165585 153767936 29056 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37541 29056 231 231 0 37310 0
vsize: 150164
[startup+770.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29845 0 0 0 76928 85 0 0 25 0 1 0 512165585 153767936 29114 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37541 29114 231 231 0 37310 0
vsize: 150164
[startup+780.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29893 0 0 0 77927 85 0 0 25 0 1 0 512165585 154054656 29162 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37611 29162 231 231 0 37380 0
vsize: 150444
[startup+790.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29922 0 0 0 78927 85 0 0 25 0 1 0 512165585 154054656 29191 4294967295 134512640 135450300 3221224640 3221223248 134537768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37611 29191 231 231 0 37380 0
vsize: 150444
[startup+800.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29938 0 0 0 79927 86 0 0 25 0 1 0 512165585 154054656 29207 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37611 29207 231 231 0 37380 0
vsize: 150444
[startup+810.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29970 0 0 0 80926 86 0 0 25 0 1 0 512165585 154345472 29239 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37682 29239 231 231 0 37451 0
vsize: 150728
[startup+820.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 29982 0 0 0 81926 87 0 0 25 0 1 0 512165585 154345472 29251 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37682 29251 231 231 0 37451 0
vsize: 150728
[startup+830.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30033 0 0 0 82926 87 0 0 25 0 1 0 512165585 154345472 29302 4294967295 134512640 135450300 3221224640 3221223024 134602468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37682 29302 231 231 0 37451 0
vsize: 150728
[startup+840.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30050 0 0 0 83926 87 0 0 25 0 1 0 512165585 154492928 29319 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37718 29319 231 231 0 37487 0
vsize: 150872
[startup+850.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30062 0 0 0 84926 88 0 0 25 0 1 0 512165585 154492928 29331 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37718 29331 231 231 0 37487 0
vsize: 150872
[startup+860.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30073 0 0 0 85926 88 0 0 25 0 1 0 512165585 154492928 29342 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37718 29342 231 231 0 37487 0
vsize: 150872
[startup+870.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30076 0 0 0 86925 89 0 0 25 0 1 0 512165585 154492928 29345 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37718 29345 231 231 0 37487 0
vsize: 150872
[startup+880.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30097 0 0 0 87925 89 0 0 25 0 1 0 512165585 154640384 29366 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37754 29366 231 231 0 37523 0
vsize: 151016
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30132 0 0 0 88925 89 0 0 25 0 1 0 512165585 154640384 29401 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37754 29401 231 231 0 37523 0
vsize: 151016
[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30159 0 0 0 89925 90 0 0 25 0 1 0 512165585 154640384 29428 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37754 29428 231 231 0 37523 0
vsize: 151016
[startup+910.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30167 0 0 0 90925 90 0 0 25 0 1 0 512165585 154640384 29436 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37754 29436 231 231 0 37523 0
vsize: 151016
[startup+920.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30179 0 0 0 91925 90 0 0 25 0 1 0 512165585 154841088 29448 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37803 29448 231 231 0 37572 0
vsize: 151212
[startup+930.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30202 0 0 0 92925 91 0 0 25 0 1 0 512165585 154841088 29471 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37803 29471 231 231 0 37572 0
vsize: 151212
[startup+940.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30239 0 0 0 93925 91 0 0 25 0 1 0 512165585 154841088 29508 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37803 29508 231 231 0 37572 0
vsize: 151212
[startup+950.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30253 0 0 0 94925 91 0 0 25 0 1 0 512165585 154841088 29522 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37803 29522 231 231 0 37572 0
vsize: 151212
[startup+960.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30261 0 0 0 95924 91 0 0 25 0 1 0 512165585 154841088 29530 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37803 29530 231 231 0 37572 0
vsize: 151212
[startup+970.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30286 0 0 0 96925 91 0 0 25 0 1 0 512165585 154980352 29555 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37837 29555 231 231 0 37606 0
vsize: 151348
[startup+980.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30317 0 0 0 97925 91 0 0 25 0 1 0 512165585 155119616 29586 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37871 29586 231 231 0 37640 0
vsize: 151484
[startup+990.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30341 0 0 0 98924 92 0 0 25 0 1 0 512165585 155279360 29610 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37910 29610 231 231 0 37679 0
vsize: 151640
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30354 0 0 0 99925 92 0 0 25 0 1 0 512165585 155279360 29623 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37910 29623 231 231 0 37679 0
vsize: 151640
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30391 0 0 0 100924 92 0 0 25 0 1 0 512165585 155426816 29660 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37946 29660 231 231 0 37715 0
vsize: 151784
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30420 0 0 0 101924 93 0 0 25 0 1 0 512165585 155574272 29689 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37982 29689 231 231 0 37751 0
vsize: 151928
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30433 0 0 0 102924 93 0 0 25 0 1 0 512165585 155574272 29702 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37982 29702 231 231 0 37751 0
vsize: 151928
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30449 0 0 0 103924 93 0 0 25 0 1 0 512165585 155754496 29718 4294967295 134512640 135450300 3221224640 3221223472 134549498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38026 29718 231 231 0 37795 0
vsize: 152104
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30462 0 0 0 104924 93 0 0 25 0 1 0 512165585 155754496 29731 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38026 29731 231 231 0 37795 0
vsize: 152104
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30478 0 0 0 105925 93 0 0 25 0 1 0 512165585 155754496 29747 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38026 29747 231 231 0 37795 0
vsize: 152104
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30489 0 0 0 106925 93 0 0 25 0 1 0 512165585 155754496 29758 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38026 29758 231 231 0 37795 0
vsize: 152104
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30493 0 0 0 107925 93 0 0 25 0 1 0 512165585 155754496 29762 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38026 29762 231 231 0 37795 0
vsize: 152104
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30514 0 0 0 108925 93 0 0 25 0 1 0 512165585 155754496 29783 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38026 29783 231 231 0 37795 0
vsize: 152104
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 30530 0 0 0 109924 94 0 0 25 0 1 0 512165585 155893760 29799 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38060 29799 231 231 0 37829 0
vsize: 152240
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31321 0 0 0 110923 95 0 0 25 0 1 0 512165585 159174656 29821 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 29821 231 231 0 38630 0
vsize: 155444
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31340 0 0 0 111923 96 0 0 25 0 1 0 512165585 159174656 29840 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38861 29840 231 231 0 38630 0
vsize: 155444
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31356 0 0 0 112923 96 0 0 25 0 1 0 512165585 159322112 29856 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38897 29856 231 231 0 38666 0
vsize: 155588
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31364 0 0 0 113923 96 0 0 25 0 1 0 512165585 159322112 29864 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38897 29864 231 231 0 38666 0
vsize: 155588
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31386 0 0 0 114923 97 0 0 25 0 1 0 512165585 159322112 29886 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38897 29886 231 231 0 38666 0
vsize: 155588
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31389 0 0 0 115923 97 0 0 25 0 1 0 512165585 159322112 29889 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38897 29889 231 231 0 38666 0
vsize: 155588
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31411 0 0 0 116923 97 0 0 25 0 1 0 512165585 159322112 29911 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38897 29911 231 231 0 38666 0
vsize: 155588
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31430 0 0 0 117923 97 0 0 25 0 1 0 512165585 159469568 29930 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38933 29930 231 231 0 38702 0
vsize: 155732
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31440 0 0 0 118923 97 0 0 25 0 1 0 512165585 159469568 29940 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38933 29940 231 231 0 38702 0
vsize: 155732
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 3653
Raw data (stat): 3651 (PBS4) R 3650 11931 11930 0 -1 0 31456 0 0 0 119922 98 0 0 25 0 1 0 512165585 159604736 29956 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38966 29956 231 231 0 38735 0
vsize: 155864
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 3653
Raw data (stat): 3651 (PBS4) Z 3650 11931 11930 0 -1 1036 31456 0 0 0 119923 103 0 0 25 0 1 0 512165585 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.27
CPU user time (s): 1199.23
CPU system time (s): 1.03884
CPU usage (%): 100.016
Max. virtual memory (Kb): 155864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####