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/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM	1694d09a3d3e6cb31138c73ed644b225
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	109601
Number of constraints which are clauses	109601
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 7926

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-17 17:19:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3129 boxname=wulflinc17 idbench=348 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  1694d09a3d3e6cb31138c73ed644b225  /oldhome/oroussel/tmp/wulflinc17/normalized-frb56-25-5.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-frb56-25-5.opb
IDLAUNCH: 3129
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        729744 kB
Buffers:         37436 kB
Cached:         231508 kB
SwapCached:       2376 kB
Active:          70848 kB
Inactive:       203428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        729492 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           7044 kB
Slab:            24992 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:39:45 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 3129 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-frb56-25-5.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): 1.07 1.02 0.93 2/55 17310
Raw data (stat): 17310 (runsolver) R 17309 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512271968 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+10.0012 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 4006 0 0 0 987 11 0 0 25 0 1 0 512271968 14712832 3271 4294967295 134512640 135450300 3221224640 3221223168 134544896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3592 3271 231 231 0 3361 0
vsize: 14368
[startup+20.0019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 5393 0 0 0 1984 14 0 0 25 0 1 0 512271968 23101440 4658 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 4658 231 231 0 5409 0
vsize: 22560
[startup+30.0014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 6714 0 0 0 2981 17 0 0 25 0 1 0 512271968 39878656 5979 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 5979 231 231 0 9505 0
vsize: 38944
[startup+40.0016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 8213 0 0 0 3977 21 0 0 25 0 1 0 512271968 40013824 7478 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9769 7478 231 231 0 9538 0
vsize: 39076
[startup+50.0016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 9664 0 0 0 4973 25 0 0 25 0 1 0 512271968 40013824 8929 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9769 8929 231 231 0 9538 0
vsize: 39076
[startup+60.0025 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 11201 0 0 0 5970 29 0 0 25 0 1 0 512271968 73711616 10466 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17996 10466 231 231 0 17765 0
vsize: 71984
[startup+70.0024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 12706 0 0 0 6966 32 0 0 25 0 1 0 512271968 73711616 11971 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17996 11971 231 231 0 17765 0
vsize: 71984
[startup+80.0024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 13605 0 0 0 7963 35 0 0 25 0 1 0 512271968 73846784 12870 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18029 12870 231 231 0 17798 0
vsize: 72116
[startup+90.0026 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 14696 0 0 0 8960 38 0 0 25 0 1 0 512271968 73846784 13961 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18029 13961 231 231 0 17798 0
vsize: 72116
[startup+100.002 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 15688 0 0 0 9957 41 0 0 25 0 1 0 512271968 73986048 14953 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18063 14953 231 231 0 17832 0
vsize: 72252
[startup+110.003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 16702 0 0 0 10955 44 0 0 25 0 1 0 512271968 73986048 15967 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18063 15967 231 231 0 17832 0
vsize: 72252
[startup+120.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 17398 0 0 0 11953 45 0 0 25 0 1 0 512271968 73986048 16663 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18063 16663 231 231 0 17832 0
vsize: 72252
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 18760 0 0 0 12950 49 0 0 25 0 1 0 512271968 141094912 18025 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34447 18025 231 231 0 34216 0
vsize: 137788
[startup+140.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 20133 0 0 0 13948 51 0 0 25 0 1 0 512271968 141258752 19398 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34487 19398 231 231 0 34256 0
vsize: 137948
[startup+150.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 21336 0 0 0 14945 54 0 0 25 0 1 0 512271968 141258752 20601 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34487 20601 231 231 0 34256 0
vsize: 137948
[startup+160.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 22954 0 0 0 15940 60 0 0 25 0 1 0 512271968 141414400 22219 4294967295 134512640 135450300 3221224640 3221223168 134544177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34525 22219 231 231 0 34294 0
vsize: 138100
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 23306 0 0 0 16939 61 0 0 25 0 1 0 512271968 141701120 22571 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34595 22571 231 231 0 34364 0
vsize: 138380
[startup+180.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 23517 0 0 0 17938 61 0 0 25 0 1 0 512271968 142921728 22782 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34893 22782 231 231 0 34662 0
vsize: 139572
[startup+190.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 24861 0 0 0 18934 65 0 0 25 0 1 0 512271968 142921728 24126 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34893 24126 231 231 0 34662 0
vsize: 139572
[startup+200.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 26552 0 0 0 19930 69 0 0 25 0 1 0 512271968 143192064 25817 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34959 25817 231 231 0 34728 0
vsize: 139836
[startup+210.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 27856 0 0 0 20927 73 0 0 25 0 1 0 512271968 143466496 27121 4294967295 134512640 135450300 3221224640 3221223024 134579411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35026 27121 231 231 0 34795 0
vsize: 140104
[startup+220.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 29150 0 0 0 21923 77 0 0 25 0 1 0 512271968 144179200 28415 4294967295 134512640 135450300 3221224640 3221223116 134571602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35200 28415 231 231 0 34969 0
vsize: 140800
[startup+230.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 30708 0 0 0 22921 80 0 0 25 0 1 0 512271968 144179200 29973 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35200 29973 231 231 0 34969 0
vsize: 140800
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 30784 0 0 0 23920 80 0 0 25 0 1 0 512271968 144314368 30049 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35233 30049 231 231 0 35002 0
vsize: 140932
[startup+250.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 30842 0 0 0 24919 81 0 0 25 0 1 0 512271968 144596992 30107 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35302 30107 231 231 0 35071 0
vsize: 141208
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 30849 0 0 0 25919 81 0 0 25 0 1 0 512271968 144596992 30114 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35302 30114 231 231 0 35071 0
vsize: 141208
[startup+270.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 30890 0 0 0 26919 82 0 0 25 0 1 0 512271968 144736256 30155 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35336 30155 231 231 0 35105 0
vsize: 141344
[startup+280.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 30934 0 0 0 27918 82 0 0 25 0 1 0 512271968 144896000 30199 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35375 30199 231 231 0 35144 0
vsize: 141500
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 31963 0 0 0 28917 84 0 0 25 0 1 0 512271968 145498112 31228 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35522 31228 231 231 0 35291 0
vsize: 142088
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17312
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 33451 0 0 0 29914 87 0 0 25 0 1 0 512271968 145981440 32716 4294967295 134512640 135450300 3221224640 3221223104 134532823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35640 32716 231 231 0 35409 0
vsize: 142560
[startup+310.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 33885 0 0 0 30912 89 0 0 25 0 1 0 512271968 146124800 33150 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35675 33150 231 231 0 35444 0
vsize: 142700
[startup+320.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 33888 0 0 0 31912 89 0 0 25 0 1 0 512271968 146124800 33153 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35675 33153 231 231 0 35444 0
vsize: 142700
[startup+330.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 33932 0 0 0 32912 89 0 0 25 0 1 0 512271968 146264064 33197 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35709 33197 231 231 0 35478 0
vsize: 142836
[startup+340.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 33994 0 0 0 33912 90 0 0 25 0 1 0 512271968 146534400 33259 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35775 33259 231 231 0 35544 0
vsize: 143100
[startup+350.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 34045 0 0 0 34911 91 0 0 25 0 1 0 512271968 146669568 33310 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35808 33310 231 231 0 35577 0
vsize: 143232
[startup+360.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 34053 0 0 0 35911 91 0 0 25 0 1 0 512271968 146669568 33318 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35808 33318 231 231 0 35577 0
vsize: 143232
[startup+370.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 35133 0 0 0 36907 95 0 0 25 0 1 0 512271968 146948096 34398 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35876 34398 231 231 0 35645 0
vsize: 143504
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 36075 0 0 0 37904 98 0 0 25 0 1 0 512271968 146948096 35340 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35876 35340 231 231 0 35645 0
vsize: 143504
[startup+390.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 36111 0 0 0 38904 98 0 0 25 0 1 0 512271968 147111936 35376 4294967295 134512640 135450300 3221224640 3221223376 134538557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35916 35376 231 231 0 35685 0
vsize: 143664
[startup+400.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 36156 0 0 0 39903 99 0 0 25 0 1 0 512271968 147398656 35421 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35986 35421 231 231 0 35755 0
vsize: 143944
[startup+410.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 36225 0 0 0 40903 100 0 0 25 0 1 0 512271968 147685376 35490 4294967295 134512640 135450300 3221224640 3221223024 134579356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36056 35490 231 231 0 35825 0
vsize: 144224
[startup+420.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 36258 0 0 0 41903 100 0 0 25 0 1 0 512271968 147832832 35523 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36092 35523 231 231 0 35861 0
vsize: 144368
[startup+430.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 36297 0 0 0 42903 100 0 0 25 0 1 0 512271968 147980288 35562 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36128 35562 231 231 0 35897 0
vsize: 144512
[startup+440.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 36323 0 0 0 43903 100 0 0 25 0 1 0 512271968 148127744 35588 4294967295 134512640 135450300 3221224640 3221223104 134532799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36164 35588 231 231 0 35933 0
vsize: 144656
[startup+450.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38532 0 0 0 44897 106 0 0 25 0 1 0 512271968 285491200 37028 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69700 37028 231 231 0 69469 0
vsize: 278800
[startup+460.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38570 0 0 0 45897 106 0 0 25 0 1 0 512271968 285630464 37066 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69734 37066 231 231 0 69503 0
vsize: 278936
[startup+470.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38602 0 0 0 46897 107 0 0 25 0 1 0 512271968 285765632 37098 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69767 37098 231 231 0 69536 0
vsize: 279068
[startup+480.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38605 0 0 0 47897 107 0 0 25 0 1 0 512271968 285765632 37101 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69767 37101 231 231 0 69536 0
vsize: 279068
[startup+490.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38640 0 0 0 48897 107 0 0 25 0 1 0 512271968 285904896 37136 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69801 37136 231 231 0 69570 0
vsize: 279204
[startup+500.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38670 0 0 0 49897 107 0 0 25 0 1 0 512271968 286027776 37166 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69831 37166 231 231 0 69600 0
vsize: 279324
[startup+510.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38673 0 0 0 50897 107 0 0 25 0 1 0 512271968 286027776 37169 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69831 37169 231 231 0 69600 0
vsize: 279324
[startup+520.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 38703 0 0 0 51897 107 0 0 25 0 1 0 512271968 286167040 37199 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69865 37199 231 231 0 69634 0
vsize: 279460
[startup+530.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 39740 0 0 0 52895 110 0 0 25 0 1 0 512271968 286167040 38236 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69865 38236 231 231 0 69634 0
vsize: 279460
[startup+540.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 39852 0 0 0 53895 110 0 0 25 0 1 0 512271968 286781440 38348 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70015 38348 231 231 0 69784 0
vsize: 280060
[startup+550.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 39906 0 0 0 54895 110 0 0 25 0 1 0 512271968 286945280 38402 4294967295 134512640 135450300 3221224640 3221223104 134532816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70055 38402 231 231 0 69824 0
vsize: 280220
[startup+560.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 39910 0 0 0 55895 110 0 0 25 0 1 0 512271968 286945280 38406 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70055 38406 231 231 0 69824 0
vsize: 280220
[startup+570.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 39979 0 0 0 56895 111 0 0 25 0 1 0 512271968 287371264 38475 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70159 38475 231 231 0 69928 0
vsize: 280636
[startup+580.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40004 0 0 0 57895 111 0 0 25 0 1 0 512271968 287371264 38500 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70159 38500 231 231 0 69928 0
vsize: 280636
[startup+590.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40007 0 0 0 58895 111 0 0 25 0 1 0 512271968 287371264 38503 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70159 38503 231 231 0 69928 0
vsize: 280636
[startup+600.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17314
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40028 0 0 0 59895 111 0 0 25 0 1 0 512271968 287510528 38524 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70193 38524 231 231 0 69962 0
vsize: 280772
[startup+610.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40786 0 0 0 60893 113 0 0 25 0 1 0 512271968 287510528 39282 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70193 39282 231 231 0 69962 0
vsize: 280772
[startup+620.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40825 0 0 0 61893 113 0 0 25 0 1 0 512271968 287674368 39321 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70233 39321 231 231 0 70002 0
vsize: 280932
[startup+630.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40845 0 0 0 62893 113 0 0 25 0 1 0 512271968 287817728 39341 4294967295 134512640 135450300 3221224640 3221223456 134547853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70268 39341 231 231 0 70037 0
vsize: 281072
[startup+640.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40848 0 0 0 63893 113 0 0 25 0 1 0 512271968 287817728 39344 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70268 39344 231 231 0 70037 0
vsize: 281072
[startup+650.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40874 0 0 0 64893 114 0 0 25 0 1 0 512271968 287817728 39370 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70268 39370 231 231 0 70037 0
vsize: 281072
[startup+660.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40935 0 0 0 65893 114 0 0 25 0 1 0 512271968 288104448 39431 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70338 39431 231 231 0 70107 0
vsize: 281352
[startup+670.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40938 0 0 0 66893 114 0 0 25 0 1 0 512271968 288104448 39434 4294967295 134512640 135450300 3221224640 3221223376 134538520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70338 39434 231 231 0 70107 0
vsize: 281352
[startup+680.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 40955 0 0 0 67893 114 0 0 25 0 1 0 512271968 288268288 39451 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70378 39451 231 231 0 70147 0
vsize: 281512
[startup+690.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 41520 0 0 0 68892 116 0 0 25 0 1 0 512271968 288268288 40016 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70378 40016 231 231 0 70147 0
vsize: 281512
[startup+700.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 41546 0 0 0 69892 116 0 0 25 0 1 0 512271968 288268288 40042 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70378 40042 231 231 0 70147 0
vsize: 281512
[startup+710.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 41566 0 0 0 70892 116 0 0 25 0 1 0 512271968 288432128 40062 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70418 40062 231 231 0 70187 0
vsize: 281672
[startup+720.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 41569 0 0 0 71892 116 0 0 25 0 1 0 512271968 288432128 40065 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70418 40065 231 231 0 70187 0
vsize: 281672
[startup+730.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 41594 0 0 0 72892 117 0 0 25 0 1 0 512271968 288583680 40090 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70455 40090 231 231 0 70224 0
vsize: 281820
[startup+740.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 41614 0 0 0 73892 117 0 0 25 0 1 0 512271968 288583680 40110 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70455 40110 231 231 0 70224 0
vsize: 281820
[startup+750.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 41644 0 0 0 74892 117 0 0 25 0 1 0 512271968 288731136 40140 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70491 40140 231 231 0 70260 0
vsize: 281964
[startup+760.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42038 0 0 0 75892 117 0 0 25 0 1 0 512271968 288731136 40534 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70491 40534 231 231 0 70260 0
vsize: 281964
[startup+770.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42083 0 0 0 76892 117 0 0 25 0 1 0 512271968 288890880 40579 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70530 40579 231 231 0 70299 0
vsize: 282120
[startup+780.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42085 0 0 0 77892 117 0 0 25 0 1 0 512271968 288890880 40581 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70530 40581 231 231 0 70299 0
vsize: 282120
[startup+790.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42171 0 0 0 78892 118 0 0 25 0 1 0 512271968 289185792 40667 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70602 40667 231 231 0 70371 0
vsize: 282408
[startup+800.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42175 0 0 0 79892 118 0 0 25 0 1 0 512271968 289185792 40671 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70602 40671 231 231 0 70371 0
vsize: 282408
[startup+810.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42208 0 0 0 80892 118 0 0 25 0 1 0 512271968 289488896 40704 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70676 40704 231 231 0 70445 0
vsize: 282704
[startup+820.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42234 0 0 0 81892 118 0 0 25 0 1 0 512271968 289488896 40730 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70676 40730 231 231 0 70445 0
vsize: 282704
[startup+830.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42237 0 0 0 82892 118 0 0 25 0 1 0 512271968 289488896 40733 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70676 40733 231 231 0 70445 0
vsize: 282704
[startup+840.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42264 0 0 0 83892 118 0 0 25 0 1 0 512271968 289652736 40760 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70716 40760 231 231 0 70485 0
vsize: 282864
[startup+850.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42553 0 0 0 84891 119 0 0 25 0 1 0 512271968 289652736 41049 4294967295 134512640 135450300 3221224640 3221223376 134538449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70716 41049 231 231 0 70485 0
vsize: 282864
[startup+860.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42574 0 0 0 85891 119 0 0 25 0 1 0 512271968 289652736 41070 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70716 41070 231 231 0 70485 0
vsize: 282864
[startup+870.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42603 0 0 0 86891 120 0 0 25 0 1 0 512271968 289800192 41099 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70752 41099 231 231 0 70521 0
vsize: 283008
[startup+880.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42606 0 0 0 87891 120 0 0 25 0 1 0 512271968 289800192 41102 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70752 41102 231 231 0 70521 0
vsize: 283008
[startup+890.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42655 0 0 0 88891 120 0 0 25 0 1 0 512271968 290107392 41151 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70827 41151 231 231 0 70596 0
vsize: 283308
[startup+900.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17316
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42684 0 0 0 89891 120 0 0 25 0 1 0 512271968 290107392 41180 4294967295 134512640 135450300 3221224640 3221223104 134532878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70827 41180 231 231 0 70596 0
vsize: 283308
[startup+910.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42687 0 0 0 90891 121 0 0 25 0 1 0 512271968 290107392 41183 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70827 41183 231 231 0 70596 0
vsize: 283308
[startup+920.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42700 0 0 0 91891 121 0 0 25 0 1 0 512271968 290271232 41196 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70867 41196 231 231 0 70636 0
vsize: 283468
[startup+930.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42898 0 0 0 92891 121 0 0 25 0 1 0 512271968 290271232 41394 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70867 41394 231 231 0 70636 0
vsize: 283468
[startup+940.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42904 0 0 0 93890 122 0 0 25 0 1 0 512271968 290271232 41400 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70867 41400 231 231 0 70636 0
vsize: 283468
[startup+950.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 42987 0 0 0 94890 122 0 0 25 0 1 0 512271968 290729984 41483 4294967295 134512640 135450300 3221224640 3221223104 134532767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70979 41483 231 231 0 70748 0
vsize: 283916
[startup+960.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43041 0 0 0 95890 122 0 0 25 0 1 0 512271968 290869248 41537 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71013 41537 231 231 0 70782 0
vsize: 284052
[startup+970.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43086 0 0 0 96890 123 0 0 25 0 1 0 512271968 291033088 41582 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71053 41582 231 231 0 70822 0
vsize: 284212
[startup+980.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43154 0 0 0 97890 123 0 0 25 0 1 0 512271968 291545088 41650 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71178 41650 231 231 0 70947 0
vsize: 284712
[startup+990.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43169 0 0 0 98890 123 0 0 25 0 1 0 512271968 291545088 41665 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71178 41665 231 231 0 70947 0
vsize: 284712
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43228 0 0 0 99890 123 0 0 25 0 1 0 512271968 291864576 41724 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71256 41724 231 231 0 71025 0
vsize: 285024
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43241 0 0 0 100890 124 0 0 25 0 1 0 512271968 291864576 41737 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71256 41737 231 231 0 71025 0
vsize: 285024
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43244 0 0 0 101890 124 0 0 25 0 1 0 512271968 291864576 41740 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71256 41740 231 231 0 71025 0
vsize: 285024
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43272 0 0 0 102890 124 0 0 25 0 1 0 512271968 291864576 41768 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71256 41768 231 231 0 71025 0
vsize: 285024
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43282 0 0 0 103890 124 0 0 25 0 1 0 512271968 292012032 41778 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71292 41778 231 231 0 71061 0
vsize: 285168
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43288 0 0 0 104890 125 0 0 25 0 1 0 512271968 292012032 41784 4294967295 134512640 135450300 3221224640 3221223088 134580045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71292 41784 231 231 0 71061 0
vsize: 285168
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43344 0 0 0 105890 125 0 0 25 0 1 0 512271968 292294656 41840 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71361 41840 231 231 0 71130 0
vsize: 285444
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43355 0 0 0 106890 125 0 0 25 0 1 0 512271968 292294656 41851 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71361 41851 231 231 0 71130 0
vsize: 285444
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43607 0 0 0 107889 126 0 0 25 0 1 0 512271968 292294656 42103 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71361 42103 231 231 0 71130 0
vsize: 285444
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43611 0 0 0 108889 126 0 0 25 0 1 0 512271968 292294656 42107 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71361 42107 231 231 0 71130 0
vsize: 285444
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43659 0 0 0 109889 127 0 0 25 0 1 0 512271968 292429824 42155 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71394 42155 231 231 0 71163 0
vsize: 285576
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43706 0 0 0 110889 127 0 0 25 0 1 0 512271968 292708352 42202 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71462 42202 231 231 0 71231 0
vsize: 285848
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43714 0 0 0 111889 127 0 0 25 0 1 0 512271968 292708352 42210 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71462 42210 231 231 0 71231 0
vsize: 285848
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43743 0 0 0 112889 127 0 0 25 0 1 0 512271968 292884480 42239 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71505 42239 231 231 0 71274 0
vsize: 286020
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43766 0 0 0 113889 127 0 0 25 0 1 0 512271968 292884480 42262 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71505 42262 231 231 0 71274 0
vsize: 286020
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43768 0 0 0 114889 127 0 0 25 0 1 0 512271968 292884480 42264 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71505 42264 231 231 0 71274 0
vsize: 286020
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43857 0 0 0 115889 127 0 0 25 0 1 0 512271968 293048320 42353 4294967295 134512640 135450300 3221224640 3221223360 134535917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71545 42353 231 231 0 71314 0
vsize: 286180
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43860 0 0 0 116889 128 0 0 25 0 1 0 512271968 293048320 42356 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71545 42356 231 231 0 71314 0
vsize: 286180
[startup+1180 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43877 0 0 0 117889 128 0 0 25 0 1 0 512271968 293048320 42373 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71545 42373 231 231 0 71314 0
vsize: 286180
[startup+1190 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43879 0 0 0 118889 128 0 0 25 0 1 0 512271968 293048320 42375 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71545 42375 231 231 0 71314 0
vsize: 286180
[startup+1200 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 17318
Raw data (stat): 17310 (PBS4) R 17309 20838 20837 0 -1 0 43885 0 0 0 119889 128 0 0 25 0 1 0 512271968 293048320 42381 4294967295 134512640 135450300 3221224640 3221223024 134579436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71545 42381 231 231 0 71314 0
vsize: 286180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 17318
Raw data (stat): 17310 (PBS4) Z 17309 20838 20837 0 -1 1036 43885 0 0 0 119889 136 0 0 25 0 1 0 512271968 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.08
CPU time (s): 1200.26
CPU user time (s): 1198.89
CPU system time (s): 1.36779
CPU usage (%): 100.015
Max. virtual memory (Kb): 286180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####