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/frb30-15-opb/normalized-frb30-15-3.opb
MD5SUM	063fe125a766c5e46d0ecbf211fd8049
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04584
Number of variables	450
Total number of constraints	17809
Number of constraints which are clauses	17809
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 7883

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-17 16:59:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2841 boxname=wulflinc24 idbench=316 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  063fe125a766c5e46d0ecbf211fd8049  /oldhome/oroussel/tmp/wulflinc24/normalized-frb30-15-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc24/normalized-frb30-15-3.opb
IDLAUNCH: 2841
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        798668 kB
Buffers:         36920 kB
Cached:         155432 kB
SwapCached:       3828 kB
Active:          72804 kB
Inactive:       126268 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        798416 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            31396 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:19:28 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 2841 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc24/normalized-frb30-15-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.84 0.94 0.90 2/54 22278
Raw data (stat): 22278 (runsolver) R 22277 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512139048 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.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 22278
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 3112 0 0 0 991 7 0 0 25 0 1 0 512139048 19316736 2957 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4716 2957 231 231 0 4485 0
vsize: 18864
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 22278
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 5055 0 0 0 1984 13 0 0 25 0 1 0 512139048 36241408 4900 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8848 4900 231 231 0 8617 0
vsize: 35392
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 22278
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 6424 0 0 0 2981 17 0 0 25 0 1 0 512139048 36716544 6269 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8964 6269 231 231 0 8733 0
vsize: 35856
[startup+40.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 22278
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 8234 0 0 0 3977 21 0 0 25 0 1 0 512139048 38551552 8079 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9412 8079 231 231 0 9181 0
vsize: 37648
[startup+50.0689 s]
Raw data (loadavg): 1.01 0.96 0.91 3/57 22322
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 9085 0 0 0 4979 25 0 0 25 0 1 0 512139048 39108608 8930 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 8930 231 231 0 9317 0
vsize: 38192
[startup+60.0695 s]
Raw data (loadavg): 1.08 0.98 0.91 2/54 22331
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 10514 0 0 0 5976 28 0 0 25 0 1 0 512139048 72949760 10359 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17810 10359 231 231 0 17579 0
vsize: 71240
[startup+70.0689 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 22331
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 10624 0 0 0 6976 29 0 0 25 0 1 0 512139048 73400320 10469 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17920 10469 231 231 0 17689 0
vsize: 71680
[startup+80.0698 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 22331
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 11545 0 0 0 7974 31 0 0 25 0 1 0 512139048 74600448 11197 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18213 11198 231 231 0 17982 0
vsize: 72852
[startup+90.0695 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 22331
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 11793 0 0 0 8973 32 0 0 25 0 1 0 512139048 75489280 11445 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18430 11445 231 231 0 18199 0
vsize: 73720
[startup+100.07 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 22331
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 12018 0 0 0 9972 34 0 0 25 0 1 0 512139048 75911168 11670 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18533 11670 231 231 0 18302 0
vsize: 74132
[startup+110.07 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 22331
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 12485 0 0 0 10970 35 0 0 25 0 1 0 512139048 76324864 12137 4294967295 134512640 135450300 3221224640 3221222944 134844234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18634 12137 231 231 0 18403 0
vsize: 74536
[startup+120.07 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 12549 0 0 0 11970 36 0 0 25 0 1 0 512139048 76615680 12201 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18705 12201 231 231 0 18474 0
vsize: 74820
[startup+130.07 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 12978 0 0 0 12970 36 0 0 25 0 1 0 512139048 76926976 12630 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18781 12630 231 231 0 18550 0
vsize: 75124
[startup+140.07 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 13022 0 0 0 13970 36 0 0 25 0 1 0 512139048 77070336 12674 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18816 12674 231 231 0 18585 0
vsize: 75264
[startup+150.07 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 13324 0 0 0 14969 37 0 0 25 0 1 0 512139048 77213696 12976 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18851 12976 231 231 0 18620 0
vsize: 75404
[startup+160.069 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 13408 0 0 0 15969 38 0 0 25 0 1 0 512139048 77537280 13060 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18930 13060 231 231 0 18699 0
vsize: 75720
[startup+170.069 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 13722 0 0 0 16967 39 0 0 25 0 1 0 512139048 77983744 13374 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19039 13374 231 231 0 18808 0
vsize: 76156
[startup+180.07 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 13820 0 0 0 17967 40 0 0 25 0 1 0 512139048 78278656 13472 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19111 13472 231 231 0 18880 0
vsize: 76444
[startup+190.07 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 13878 0 0 0 18967 40 0 0 25 0 1 0 512139048 78577664 13530 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19184 13530 231 231 0 18953 0
vsize: 76736
[startup+200.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14108 0 0 0 19965 42 0 0 25 0 1 0 512139048 78864384 13760 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19254 13760 231 231 0 19023 0
vsize: 77016
[startup+210.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14224 0 0 0 20965 43 0 0 25 0 1 0 512139048 79462400 13876 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19400 13876 231 231 0 19169 0
vsize: 77600
[startup+220.069 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14310 0 0 0 21964 43 0 0 25 0 1 0 512139048 79802368 13962 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19483 13962 231 231 0 19252 0
vsize: 77932
[startup+230.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14362 0 0 0 22964 44 0 0 25 0 1 0 512139048 79966208 14014 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19523 14014 231 231 0 19292 0
vsize: 78092
[startup+240.07 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14569 0 0 0 23963 44 0 0 25 0 1 0 512139048 80277504 14221 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19599 14221 231 231 0 19368 0
vsize: 78396
[startup+250.071 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14613 0 0 0 24962 46 0 0 25 0 1 0 512139048 80441344 14265 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19639 14265 231 231 0 19408 0
vsize: 78556
[startup+260.071 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14792 0 0 0 25961 47 0 0 25 0 1 0 512139048 80936960 14444 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19760 14444 231 231 0 19529 0
vsize: 79040
[startup+270.071 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14814 0 0 0 26961 47 0 0 25 0 1 0 512139048 80936960 14466 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19760 14466 231 231 0 19529 0
vsize: 79040
[startup+280.071 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14839 0 0 0 27961 47 0 0 25 0 1 0 512139048 80936960 14491 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19760 14491 231 231 0 19529 0
vsize: 79040
[startup+290.071 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 14887 0 0 0 28961 48 0 0 25 0 1 0 512139048 81076224 14539 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19794 14539 231 231 0 19563 0
vsize: 79176
[startup+300.072 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15302 0 0 0 29961 48 0 0 25 0 1 0 512139048 82792448 14569 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20213 14569 231 231 0 19982 0
vsize: 80852
[startup+310.073 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15419 0 0 0 30960 49 0 0 25 0 1 0 512139048 83283968 14686 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20333 14686 231 231 0 20102 0
vsize: 81332
[startup+320.072 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15451 0 0 0 31960 50 0 0 25 0 1 0 512139048 83447808 14718 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20373 14718 231 231 0 20142 0
vsize: 81492
[startup+330.072 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15497 0 0 0 32959 50 0 0 25 0 1 0 512139048 83615744 14764 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20414 14764 231 231 0 20183 0
vsize: 81656
[startup+340.073 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15544 0 0 0 33958 52 0 0 25 0 1 0 512139048 83779584 14811 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20454 14811 231 231 0 20223 0
vsize: 81816
[startup+350.073 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15565 0 0 0 34958 52 0 0 25 0 1 0 512139048 83914752 14832 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20487 14832 231 231 0 20256 0
vsize: 81948
[startup+360.073 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15597 0 0 0 35957 53 0 0 25 0 1 0 512139048 83914752 14864 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20487 14864 231 231 0 20256 0
vsize: 81948
[startup+370.073 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22333
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15610 0 0 0 36957 54 0 0 25 0 1 0 512139048 83914752 14877 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20487 14877 231 231 0 20256 0
vsize: 81948
[startup+380.073 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15639 0 0 0 37956 54 0 0 25 0 1 0 512139048 84058112 14906 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20522 14906 231 231 0 20291 0
vsize: 82088
[startup+390.073 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15664 0 0 0 38956 55 0 0 25 0 1 0 512139048 84058112 14931 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20522 14931 231 231 0 20291 0
vsize: 82088
[startup+400.074 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15708 0 0 0 39955 56 0 0 25 0 1 0 512139048 84271104 14975 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20574 14975 231 231 0 20343 0
vsize: 82296
[startup+410.074 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15747 0 0 0 40955 56 0 0 25 0 1 0 512139048 84271104 15014 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20574 15014 231 231 0 20343 0
vsize: 82296
[startup+420.074 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15774 0 0 0 41955 57 0 0 25 0 1 0 512139048 84434944 15041 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20614 15041 231 231 0 20383 0
vsize: 82456
[startup+430.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15792 0 0 0 42954 57 0 0 25 0 1 0 512139048 84434944 15059 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20614 15059 231 231 0 20383 0
vsize: 82456
[startup+440.074 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15823 0 0 0 43954 58 0 0 25 0 1 0 512139048 84434944 15090 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20614 15090 231 231 0 20383 0
vsize: 82456
[startup+450.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15849 0 0 0 44954 58 0 0 25 0 1 0 512139048 84586496 15116 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20651 15116 231 231 0 20420 0
vsize: 82604
[startup+460.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15868 0 0 0 45953 59 0 0 25 0 1 0 512139048 84586496 15135 4294967295 134512640 135450300 3221224640 3221223116 134572380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20651 15135 231 231 0 20420 0
vsize: 82604
[startup+470.074 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15884 0 0 0 46953 59 0 0 25 0 1 0 512139048 84586496 15151 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20651 15151 231 231 0 20420 0
vsize: 82604
[startup+480.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15901 0 0 0 47953 60 0 0 25 0 1 0 512139048 84811776 15168 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20706 15168 231 231 0 20475 0
vsize: 82824
[startup+490.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15923 0 0 0 48953 60 0 0 25 0 1 0 512139048 84811776 15190 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20706 15190 231 231 0 20475 0
vsize: 82824
[startup+500.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15980 0 0 0 49952 61 0 0 25 0 1 0 512139048 84975616 15247 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20746 15247 231 231 0 20515 0
vsize: 82984
[startup+510.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 15993 0 0 0 50952 61 0 0 25 0 1 0 512139048 85147648 15260 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20788 15260 231 231 0 20557 0
vsize: 83152
[startup+520.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16024 0 0 0 51952 61 0 0 25 0 1 0 512139048 85147648 15291 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20788 15291 231 231 0 20557 0
vsize: 83152
[startup+530.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16046 0 0 0 52952 61 0 0 25 0 1 0 512139048 85147648 15313 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20788 15313 231 231 0 20557 0
vsize: 83152
[startup+540.075 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16083 0 0 0 53952 61 0 0 25 0 1 0 512139048 85520384 15350 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20879 15350 231 231 0 20648 0
vsize: 83516
[startup+550.076 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16111 0 0 0 54952 62 0 0 25 0 1 0 512139048 85520384 15378 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20879 15378 231 231 0 20648 0
vsize: 83516
[startup+560.076 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16123 0 0 0 55952 62 0 0 25 0 1 0 512139048 85520384 15390 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20879 15390 231 231 0 20648 0
vsize: 83516
[startup+570.076 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16158 0 0 0 56952 62 0 0 25 0 1 0 512139048 85684224 15425 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20919 15425 231 231 0 20688 0
vsize: 83676
[startup+580.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16184 0 0 0 57952 63 0 0 25 0 1 0 512139048 85868544 15451 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20964 15451 231 231 0 20733 0
vsize: 83856
[startup+590.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16200 0 0 0 58952 63 0 0 25 0 1 0 512139048 85868544 15467 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20964 15467 231 231 0 20733 0
vsize: 83856
[startup+600.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16241 0 0 0 59951 64 0 0 25 0 1 0 512139048 86032384 15508 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21004 15508 231 231 0 20773 0
vsize: 84016
[startup+610.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16276 0 0 0 60951 64 0 0 25 0 1 0 512139048 86032384 15543 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21004 15543 231 231 0 20773 0
vsize: 84016
[startup+620.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16310 0 0 0 61950 65 0 0 25 0 1 0 512139048 86384640 15577 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21090 15577 231 231 0 20859 0
vsize: 84360
[startup+630.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16347 0 0 0 62950 65 0 0 25 0 1 0 512139048 86384640 15614 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21090 15614 231 231 0 20859 0
vsize: 84360
[startup+640.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16374 0 0 0 63950 66 0 0 25 0 1 0 512139048 86384640 15641 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21090 15641 231 231 0 20859 0
vsize: 84360
[startup+650.077 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16419 0 0 0 64950 66 0 0 25 0 1 0 512139048 86548480 15686 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21130 15686 231 231 0 20899 0
vsize: 84520
[startup+660.078 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16443 0 0 0 65949 67 0 0 25 0 1 0 512139048 86847488 15710 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21203 15710 231 231 0 20972 0
vsize: 84812
[startup+670.078 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16462 0 0 0 66949 67 0 0 25 0 1 0 512139048 86847488 15729 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21203 15729 231 231 0 20972 0
vsize: 84812
[startup+680.078 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16489 0 0 0 67949 68 0 0 25 0 1 0 512139048 86847488 15756 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21203 15756 231 231 0 20972 0
vsize: 84812
[startup+690.078 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16505 0 0 0 68948 68 0 0 25 0 1 0 512139048 86847488 15772 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21203 15772 231 231 0 20972 0
vsize: 84812
[startup+700.079 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16527 0 0 0 69947 69 0 0 25 0 1 0 512139048 86990848 15794 4294967295 134512640 135450300 3221224640 3221223456 134547493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21238 15794 231 231 0 21007 0
vsize: 84952
[startup+710.078 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16547 0 0 0 70947 69 0 0 25 0 1 0 512139048 87154688 15814 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21278 15814 231 231 0 21047 0
vsize: 85112
[startup+720.078 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16580 0 0 0 71947 70 0 0 25 0 1 0 512139048 87154688 15847 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21278 15847 231 231 0 21047 0
vsize: 85112
[startup+730.079 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16596 0 0 0 72947 70 0 0 25 0 1 0 512139048 87154688 15863 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21278 15863 231 231 0 21047 0
vsize: 85112
[startup+740.08 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16613 0 0 0 73947 70 0 0 25 0 1 0 512139048 87154688 15880 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21278 15880 231 231 0 21047 0
vsize: 85112
[startup+750.081 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16639 0 0 0 74947 71 0 0 25 0 1 0 512139048 87318528 15906 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21318 15906 231 231 0 21087 0
vsize: 85272
[startup+760.081 s]
Raw data (loadavg): 1.15 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16667 0 0 0 75947 71 0 0 25 0 1 0 512139048 87470080 15934 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21355 15934 231 231 0 21124 0
vsize: 85420
[startup+770.081 s]
Raw data (loadavg): 1.13 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16690 0 0 0 76946 72 0 0 25 0 1 0 512139048 87470080 15957 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21355 15957 231 231 0 21124 0
vsize: 85420
[startup+780.081 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16703 0 0 0 77946 72 0 0 25 0 1 0 512139048 87470080 15970 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21355 15970 231 231 0 21124 0
vsize: 85420
[startup+790.081 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 16732 0 0 0 78945 73 0 0 25 0 1 0 512139048 87633920 15999 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21395 15999 231 231 0 21164 0
vsize: 85580
[startup+800.082 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17523 0 0 0 79944 74 0 0 25 0 1 0 512139048 90779648 16021 4294967295 134512640 135450300 3221224640 3221223024 134579894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22163 16021 231 231 0 21932 0
vsize: 88652
[startup+810.082 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17544 0 0 0 80944 75 0 0 25 0 1 0 512139048 90943488 16042 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22203 16042 231 231 0 21972 0
vsize: 88812
[startup+820.081 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17559 0 0 0 81944 75 0 0 25 0 1 0 512139048 90943488 16057 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22203 16057 231 231 0 21972 0
vsize: 88812
[startup+830.082 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17570 0 0 0 82943 76 0 0 25 0 1 0 512139048 90943488 16068 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22203 16068 231 231 0 21972 0
vsize: 88812
[startup+840.082 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17586 0 0 0 83943 76 0 0 25 0 1 0 512139048 90943488 16084 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22203 16084 231 231 0 21972 0
vsize: 88812
[startup+850.083 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17599 0 0 0 84943 76 0 0 25 0 1 0 512139048 90943488 16097 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22203 16097 231 231 0 21972 0
vsize: 88812
[startup+860.083 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17655 0 0 0 85943 77 0 0 25 0 1 0 512139048 91279360 16153 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22285 16153 231 231 0 22054 0
vsize: 89140
[startup+870.083 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17677 0 0 0 86942 78 0 0 25 0 1 0 512139048 91443200 16175 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22325 16175 231 231 0 22094 0
vsize: 89300
[startup+880.083 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17698 0 0 0 87942 78 0 0 25 0 1 0 512139048 91443200 16196 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22325 16196 231 231 0 22094 0
vsize: 89300
[startup+890.083 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17722 0 0 0 88942 78 0 0 25 0 1 0 512139048 91443200 16220 4294967295 134512640 135450300 3221224640 3221223168 134544647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22325 16220 231 231 0 22094 0
vsize: 89300
[startup+900.084 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17740 0 0 0 89942 79 0 0 25 0 1 0 512139048 91443200 16238 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22325 16238 231 231 0 22094 0
vsize: 89300
[startup+910.084 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17757 0 0 0 90942 79 0 0 25 0 1 0 512139048 91443200 16255 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22325 16255 231 231 0 22094 0
vsize: 89300
[startup+920.083 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17779 0 0 0 91942 79 0 0 25 0 1 0 512139048 91627520 16277 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22370 16277 231 231 0 22139 0
vsize: 89480
[startup+930.083 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17794 0 0 0 92942 79 0 0 25 0 1 0 512139048 91627520 16292 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22370 16292 231 231 0 22139 0
vsize: 89480
[startup+940.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17807 0 0 0 93941 80 0 0 25 0 1 0 512139048 91627520 16305 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22370 16305 231 231 0 22139 0
vsize: 89480
[startup+950.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17821 0 0 0 94941 81 0 0 25 0 1 0 512139048 91627520 16319 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22370 16319 231 231 0 22139 0
vsize: 89480
[startup+960.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17850 0 0 0 95940 81 0 0 25 0 1 0 512139048 91791360 16348 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22410 16348 231 231 0 22179 0
vsize: 89640
[startup+970.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17866 0 0 0 96940 82 0 0 25 0 1 0 512139048 91791360 16364 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22410 16364 231 231 0 22179 0
vsize: 89640
[startup+980.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17881 0 0 0 97940 82 0 0 25 0 1 0 512139048 91983872 16379 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22457 16379 231 231 0 22226 0
vsize: 89828
[startup+990.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17897 0 0 0 98940 82 0 0 25 0 1 0 512139048 91983872 16395 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22457 16395 231 231 0 22226 0
vsize: 89828
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17909 0 0 0 99940 83 0 0 25 0 1 0 512139048 91983872 16407 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22457 16407 231 231 0 22226 0
vsize: 89828
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17930 0 0 0 100939 83 0 0 25 0 1 0 512139048 91983872 16428 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22457 16428 231 231 0 22226 0
vsize: 89828
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17946 0 0 0 101939 84 0 0 25 0 1 0 512139048 91983872 16444 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22457 16444 231 231 0 22226 0
vsize: 89828
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17975 0 0 0 102939 85 0 0 25 0 1 0 512139048 92147712 16473 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22497 16473 231 231 0 22266 0
vsize: 89988
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 17991 0 0 0 103938 85 0 0 25 0 1 0 512139048 92147712 16489 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22497 16489 231 231 0 22266 0
vsize: 89988
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18007 0 0 0 104938 85 0 0 25 0 1 0 512139048 92352512 16505 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22547 16505 231 231 0 22316 0
vsize: 90188
[startup+1060.09 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18020 0 0 0 105938 85 0 0 25 0 1 0 512139048 92352512 16518 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22547 16518 231 231 0 22316 0
vsize: 90188
[startup+1070.09 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18034 0 0 0 106938 86 0 0 25 0 1 0 512139048 92352512 16532 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22547 16532 231 231 0 22316 0
vsize: 90188
[startup+1080.09 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18050 0 0 0 107938 86 0 0 25 0 1 0 512139048 92352512 16548 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22547 16548 231 231 0 22316 0
vsize: 90188
[startup+1090.09 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18072 0 0 0 108937 87 0 0 25 0 1 0 512139048 92352512 16570 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22547 16570 231 231 0 22316 0
vsize: 90188
[startup+1100.09 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18100 0 0 0 109937 87 0 0 25 0 1 0 512139048 92352512 16598 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22547 16598 231 231 0 22316 0
vsize: 90188
[startup+1110.09 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18127 0 0 0 110937 88 0 0 25 0 1 0 512139048 92516352 16625 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22587 16625 231 231 0 22356 0
vsize: 90348
[startup+1120.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18146 0 0 0 111937 88 0 0 25 0 1 0 512139048 92733440 16644 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22640 16644 231 231 0 22409 0
vsize: 90560
[startup+1130.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18157 0 0 0 112937 88 0 0 25 0 1 0 512139048 92733440 16655 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22640 16655 231 231 0 22409 0
vsize: 90560
[startup+1140.09 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18171 0 0 0 113937 88 0 0 25 0 1 0 512139048 92733440 16669 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22640 16669 231 231 0 22409 0
vsize: 90560
[startup+1150.09 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18184 0 0 0 114937 89 0 0 25 0 1 0 512139048 92733440 16682 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22640 16682 231 231 0 22409 0
vsize: 90560
[startup+1160.09 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18223 0 0 0 115937 89 0 0 25 0 1 0 512139048 92897280 16721 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22680 16721 231 231 0 22449 0
vsize: 90720
[startup+1170.09 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18255 0 0 0 116937 89 0 0 25 0 1 0 512139048 92897280 16753 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22680 16753 231 231 0 22449 0
vsize: 90720
[startup+1180.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18276 0 0 0 117936 90 0 0 25 0 1 0 512139048 92897280 16774 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22680 16774 231 231 0 22449 0
vsize: 90720
[startup+1190.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18287 0 0 0 118936 90 0 0 25 0 1 0 512139048 92897280 16785 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22680 16785 231 231 0 22449 0
vsize: 90720
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22335
Raw data (stat): 22278 (PBS4) R 22277 28546 28545 0 -1 0 18303 0 0 0 119936 90 0 0 25 0 1 0 512139048 93130752 16801 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22737 16801 231 231 0 22506 0
vsize: 90948
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 22335
Raw data (stat): 22278 (PBS4) Z 22277 28546 28545 0 -1 1036 18303 0 0 0 119937 93 0 0 25 0 1 0 512139048 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.12
CPU time (s): 1200.31
CPU user time (s): 1199.37
CPU system time (s): 0.937857
CPU usage (%): 100.015
Max. virtual memory (Kb): 90948
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####