PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/ttp/normalized-data6_3.opb
MD5SUM	3ce91e964f348d481da3f7741c5768eb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	25102
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	116904
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	116904
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 7869

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-17 16:43:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2355 boxname=wulflinc30 idbench=262 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  3ce91e964f348d481da3f7741c5768eb  /oldhome/oroussel/tmp/wulflinc30/normalized-data6_3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-data6_3.opb
IDLAUNCH: 2355
/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:        704576 kB
Buffers:         39228 kB
Cached:         249568 kB
SwapCached:          0 kB
Active:          92688 kB
Inactive:       198988 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704324 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            32780 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:03:36 (client local time) WITH STATUS 0 IN 1200.58 SECONDS
stats: 2355 7 1200.58 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-data6_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.91 0.96 0.90 2/54 3506
Raw data (stat): 3506 (runsolver) R 3505 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512044564 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.90 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 1349 0 0 0 994 4 0 0 25 0 1 0 512044564 6762496 1296 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1651 1296 231 231 0 1420 0
vsize: 6604
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 1972 0 0 0 1990 9 0 0 25 0 1 0 512044564 11509760 1919 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2810 1919 231 231 0 2579 0
vsize: 11240
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 2192 0 0 0 2988 11 0 0 25 0 1 0 512044564 12312576 2042 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3006 2042 231 231 0 2775 0
vsize: 12024
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 2438 0 0 0 3986 13 0 0 25 0 1 0 512044564 12730368 2288 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3108 2288 231 231 0 2877 0
vsize: 12432
[startup+50.0004 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 2857 0 0 0 4983 16 0 0 25 0 1 0 512044564 13033472 2707 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2707 231 231 0 2951 0
vsize: 12728
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 3348 0 0 0 5981 18 0 0 25 0 1 0 512044564 14098432 3005 4294967295 134512640 135450300 3221224640 3221223376 134538812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3442 3005 231 231 0 3211 0
vsize: 13768
[startup+70.0003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 3574 0 0 0 6980 19 0 0 25 0 1 0 512044564 22786048 3231 4294967295 134512640 135450300 3221224640 3221223232 134844257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5563 3231 231 231 0 5332 0
vsize: 22252
[startup+80.0008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 3718 0 0 0 7979 21 0 0 25 0 1 0 512044564 23232512 3375 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3375 231 231 0 5441 0
vsize: 22688
[startup+90.0073 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 3815 0 0 0 8978 23 0 0 25 0 1 0 512044564 23531520 3472 4294967295 134512640 135450300 3221224640 3221223424 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5745 3472 231 231 0 5514 0
vsize: 22980
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 4337 0 0 0 9975 26 0 0 25 0 1 0 512044564 23859200 3994 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5825 3994 231 231 0 5594 0
vsize: 23300
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 4398 0 0 0 10974 27 0 0 25 0 1 0 512044564 23994368 4055 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5858 4055 231 231 0 5627 0
vsize: 23432
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 4488 0 0 0 11974 27 0 0 25 0 1 0 512044564 24141824 4145 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5894 4145 231 231 0 5663 0
vsize: 23576
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 5017 0 0 0 12972 30 0 0 25 0 1 0 512044564 24428544 4674 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 4674 231 231 0 5733 0
vsize: 23856
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 5278 0 0 0 13970 31 0 0 25 0 1 0 512044564 24576000 4935 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6000 4935 231 231 0 5769 0
vsize: 24000
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 5550 0 0 0 14968 33 0 0 25 0 1 0 512044564 24715264 5207 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6034 5207 231 231 0 5803 0
vsize: 24136
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 5992 0 0 0 15967 35 0 0 25 0 1 0 512044564 26435584 5264 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6454 5264 231 231 0 6223 0
vsize: 25816
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 6266 0 0 0 16965 37 0 0 25 0 1 0 512044564 26894336 5538 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6566 5538 231 231 0 6335 0
vsize: 26264
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 6381 0 0 0 17964 38 0 0 25 0 1 0 512044564 27058176 5653 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6606 5653 231 231 0 6375 0
vsize: 26424
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 6436 0 0 0 18963 39 0 0 25 0 1 0 512044564 27373568 5708 4294967295 134512640 135450300 3221224640 3221223376 134538705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6683 5708 231 231 0 6452 0
vsize: 26732
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 6479 0 0 0 19962 40 0 0 25 0 1 0 512044564 27373568 5751 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6683 5751 231 231 0 6452 0
vsize: 26732
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 6754 0 0 0 20961 42 0 0 25 0 1 0 512044564 27684864 6026 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6759 6026 231 231 0 6528 0
vsize: 27036
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 7072 0 0 0 21958 44 0 0 25 0 1 0 512044564 44789760 6344 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10935 6344 231 231 0 10704 0
vsize: 43740
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 7272 0 0 0 22957 46 0 0 25 0 1 0 512044564 44929024 6544 4294967295 134512640 135450300 3221224640 3221223456 134547607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10969 6544 231 231 0 10738 0
vsize: 43876
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 7372 0 0 0 23956 47 0 0 25 0 1 0 512044564 45404160 6644 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11085 6644 231 231 0 10854 0
vsize: 44340
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 7563 0 0 0 24955 48 0 0 25 0 1 0 512044564 45568000 6835 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11125 6835 231 231 0 10894 0
vsize: 44500
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 7730 0 0 0 25954 49 0 0 25 0 1 0 512044564 45895680 7002 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11205 7002 231 231 0 10974 0
vsize: 44820
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 7863 0 0 0 26953 50 0 0 25 0 1 0 512044564 46112768 7135 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11258 7135 231 231 0 11027 0
vsize: 45032
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 7995 0 0 0 27952 52 0 0 25 0 1 0 512044564 46112768 7267 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11258 7267 231 231 0 11027 0
vsize: 45032
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8156 0 0 0 28951 53 0 0 25 0 1 0 512044564 46333952 7428 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11312 7428 231 231 0 11081 0
vsize: 45248
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8191 0 0 0 29951 53 0 0 25 0 1 0 512044564 46559232 7463 4294967295 134512640 135450300 3221224640 3221223456 134537302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11367 7463 231 231 0 11136 0
vsize: 45468
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8256 0 0 0 30950 54 0 0 25 0 1 0 512044564 46723072 7528 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11407 7528 231 231 0 11176 0
vsize: 45628
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8313 0 0 0 31950 54 0 0 25 0 1 0 512044564 46886912 7585 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11447 7585 231 231 0 11216 0
vsize: 45788
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8501 0 0 0 32949 55 0 0 25 0 1 0 512044564 47050752 7773 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11487 7773 231 231 0 11256 0
vsize: 45948
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8591 0 0 0 33948 57 0 0 25 0 1 0 512044564 47185920 7863 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11520 7863 231 231 0 11289 0
vsize: 46080
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8637 0 0 0 34947 58 0 0 25 0 1 0 512044564 47349760 7909 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11560 7909 231 231 0 11329 0
vsize: 46240
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8705 0 0 0 35946 59 0 0 25 0 1 0 512044564 47689728 7977 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11643 7977 231 231 0 11412 0
vsize: 46572
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8764 0 0 0 36945 60 0 0 25 0 1 0 512044564 47853568 8036 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11683 8036 231 231 0 11452 0
vsize: 46732
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8799 0 0 0 37944 61 0 0 25 0 1 0 512044564 48001024 8071 4294967295 134512640 135450300 3221224640 3221223376 134538595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11719 8071 231 231 0 11488 0
vsize: 46876
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8839 0 0 0 38944 62 0 0 25 0 1 0 512044564 48001024 8111 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11719 8111 231 231 0 11488 0
vsize: 46876
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8862 0 0 0 39943 63 0 0 25 0 1 0 512044564 48001024 8134 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11719 8134 231 231 0 11488 0
vsize: 46876
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8937 0 0 0 40941 65 0 0 25 0 1 0 512044564 48320512 8209 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11797 8209 231 231 0 11566 0
vsize: 47188
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 8993 0 0 0 41941 65 0 0 25 0 1 0 512044564 48517120 8265 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11845 8265 231 231 0 11614 0
vsize: 47380
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 9018 0 0 0 42940 66 0 0 25 0 1 0 512044564 48517120 8290 4294967295 134512640 135450300 3221224640 3221223376 134538501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11845 8290 231 231 0 11614 0
vsize: 47380
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 9052 0 0 0 43940 67 0 0 25 0 1 0 512044564 48517120 8324 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11845 8324 231 231 0 11614 0
vsize: 47380
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 9849 0 0 0 44938 69 0 0 25 0 1 0 512044564 51826688 8352 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12653 8352 231 231 0 12422 0
vsize: 50612
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 9892 0 0 0 45937 70 0 0 25 0 1 0 512044564 51826688 8395 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12653 8395 231 231 0 12422 0
vsize: 50612
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 9994 0 0 0 46936 71 0 0 25 0 1 0 512044564 51965952 8497 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12687 8497 231 231 0 12456 0
vsize: 50748
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10058 0 0 0 47935 72 0 0 25 0 1 0 512044564 51965952 8561 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12687 8561 231 231 0 12456 0
vsize: 50748
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10152 0 0 0 48934 73 0 0 25 0 1 0 512044564 51965952 8655 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12687 8655 231 231 0 12456 0
vsize: 50748
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10442 0 0 0 49933 75 0 0 25 0 1 0 512044564 52113408 8945 4294967295 134512640 135450300 3221224640 3221223360 134535555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12723 8945 231 231 0 12492 0
vsize: 50892
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10462 0 0 0 50932 75 0 0 25 0 1 0 512044564 52113408 8965 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12723 8965 231 231 0 12492 0
vsize: 50892
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10488 0 0 0 51932 76 0 0 25 0 1 0 512044564 52113408 8991 4294967295 134512640 135450300 3221224640 3221223376 134538487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12723 8991 231 231 0 12492 0
vsize: 50892
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10610 0 0 0 52931 77 0 0 25 0 1 0 512044564 52273152 9113 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12762 9113 231 231 0 12531 0
vsize: 51048
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10735 0 0 0 53930 79 0 0 25 0 1 0 512044564 52436992 9238 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 9238 231 231 0 12571 0
vsize: 51208
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10770 0 0 0 54929 79 0 0 25 0 1 0 512044564 52436992 9273 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 9273 231 231 0 12571 0
vsize: 51208
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10791 0 0 0 55928 80 0 0 25 0 1 0 512044564 52436992 9294 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12802 9294 231 231 0 12571 0
vsize: 51208
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10820 0 0 0 56928 81 0 0 25 0 1 0 512044564 52604928 9323 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12843 9323 231 231 0 12612 0
vsize: 51372
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10859 0 0 0 57927 82 0 0 25 0 1 0 512044564 52768768 9362 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12883 9362 231 231 0 12652 0
vsize: 51532
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10883 0 0 0 58926 83 0 0 25 0 1 0 512044564 52768768 9386 4294967295 134512640 135450300 3221224640 3221223348 134537524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12883 9386 231 231 0 12652 0
vsize: 51532
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10908 0 0 0 59925 84 0 0 25 0 1 0 512044564 52768768 9411 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12883 9411 231 231 0 12652 0
vsize: 51532
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 10970 0 0 0 60924 85 0 0 25 0 1 0 512044564 52768768 9473 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12883 9473 231 231 0 12652 0
vsize: 51532
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11056 0 0 0 61923 87 0 0 25 0 1 0 512044564 52948992 9559 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 9559 231 231 0 12696 0
vsize: 51708
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11146 0 0 0 62922 88 0 0 25 0 1 0 512044564 52948992 9649 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 9649 231 231 0 12696 0
vsize: 51708
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11167 0 0 0 63921 89 0 0 25 0 1 0 512044564 52948992 9670 4294967295 134512640 135450300 3221224640 3221223376 134538245 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 9670 231 231 0 12696 0
vsize: 51708
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11188 0 0 0 64921 89 0 0 25 0 1 0 512044564 53112832 9691 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12967 9691 231 231 0 12736 0
vsize: 51868
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11341 0 0 0 65920 90 0 0 25 0 1 0 512044564 53112832 9844 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12967 9844 231 231 0 12736 0
vsize: 51868
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11359 0 0 0 66920 90 0 0 25 0 1 0 512044564 53112832 9862 4294967295 134512640 135450300 3221224640 3221223376 134538520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12967 9862 231 231 0 12736 0
vsize: 51868
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11503 0 0 0 67919 92 0 0 25 0 1 0 512044564 53301248 10006 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13013 10006 231 231 0 12782 0
vsize: 52052
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11535 0 0 0 68919 92 0 0 25 0 1 0 512044564 53301248 10038 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13013 10038 231 231 0 12782 0
vsize: 52052
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11647 0 0 0 69917 94 0 0 25 0 1 0 512044564 53301248 10150 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13013 10150 231 231 0 12782 0
vsize: 52052
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11686 0 0 0 70917 94 0 0 25 0 1 0 512044564 53465088 10189 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13053 10189 231 231 0 12822 0
vsize: 52212
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11868 0 0 0 71916 95 0 0 25 0 1 0 512044564 53862400 10371 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 10371 231 231 0 12919 0
vsize: 52600
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11893 0 0 0 72915 97 0 0 25 0 1 0 512044564 53862400 10396 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 10396 231 231 0 12919 0
vsize: 52600
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11910 0 0 0 73915 97 0 0 25 0 1 0 512044564 53862400 10413 4294967295 134512640 135450300 3221224640 3221223456 134537308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 10413 231 231 0 12919 0
vsize: 52600
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 11938 0 0 0 74914 98 0 0 25 0 1 0 512044564 53862400 10441 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 10441 231 231 0 12919 0
vsize: 52600
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12062 0 0 0 75914 98 0 0 25 0 1 0 512044564 53862400 10565 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13150 10565 231 231 0 12919 0
vsize: 52600
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12110 0 0 0 76913 99 0 0 25 0 1 0 512044564 54059008 10613 4294967295 134512640 135450300 3221224640 3221223376 134538759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13198 10613 231 231 0 12967 0
vsize: 52792
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12144 0 0 0 77913 100 0 0 25 0 1 0 512044564 54255616 10647 4294967295 134512640 135450300 3221224640 3221223456 134537238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13246 10647 231 231 0 13015 0
vsize: 52984
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12206 0 0 0 78912 101 0 0 25 0 1 0 512044564 54452224 10709 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13294 10709 231 231 0 13063 0
vsize: 53176
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12288 0 0 0 79911 101 0 0 25 0 1 0 512044564 55058432 10791 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13442 10791 231 231 0 13211 0
vsize: 53768
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12398 0 0 0 80910 102 0 0 25 0 1 0 512044564 55058432 10901 4294967295 134512640 135450300 3221224640 3221223376 134538067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13442 10901 231 231 0 13211 0
vsize: 53768
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12440 0 0 0 81910 103 0 0 25 0 1 0 512044564 55255040 10943 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13490 10943 231 231 0 13259 0
vsize: 53960
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12599 0 0 0 82908 105 0 0 25 0 1 0 512044564 55480320 11102 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13545 11102 231 231 0 13314 0
vsize: 54180
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12668 0 0 0 83907 107 0 0 25 0 1 0 512044564 55480320 11171 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13545 11171 231 231 0 13314 0
vsize: 54180
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12690 0 0 0 84906 107 0 0 25 0 1 0 512044564 55676928 11193 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13593 11193 231 231 0 13362 0
vsize: 54372
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12710 0 0 0 85905 109 0 0 25 0 1 0 512044564 55918592 11213 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11213 231 231 0 13421 0
vsize: 54608
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12724 0 0 0 86904 109 0 0 25 0 1 0 512044564 55918592 11227 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11227 231 231 0 13421 0
vsize: 54608
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12743 0 0 0 87904 110 0 0 25 0 1 0 512044564 55918592 11246 4294967295 134512640 135450300 3221224640 3221223376 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11246 231 231 0 13421 0
vsize: 54608
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12756 0 0 0 88903 111 0 0 25 0 1 0 512044564 55918592 11259 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11259 231 231 0 13421 0
vsize: 54608
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12770 0 0 0 89903 111 0 0 25 0 1 0 512044564 55918592 11273 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11273 231 231 0 13421 0
vsize: 54608
[startup+910.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12802 0 0 0 90902 112 0 0 25 0 1 0 512044564 55918592 11305 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11305 231 231 0 13421 0
vsize: 54608
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12815 0 0 0 91902 113 0 0 25 0 1 0 512044564 55918592 11318 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11318 231 231 0 13421 0
vsize: 54608
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12840 0 0 0 92901 113 0 0 25 0 1 0 512044564 55918592 11343 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13652 11343 231 231 0 13421 0
vsize: 54608
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12862 0 0 0 93901 114 0 0 25 0 1 0 512044564 56172544 11365 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11365 231 231 0 13483 0
vsize: 54856
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12879 0 0 0 94901 114 0 0 25 0 1 0 512044564 56172544 11382 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11382 231 231 0 13483 0
vsize: 54856
[startup+960.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12921 0 0 0 95900 115 0 0 25 0 1 0 512044564 56172544 11424 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11424 231 231 0 13483 0
vsize: 54856
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12937 0 0 0 96900 116 0 0 25 0 1 0 512044564 56172544 11440 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11440 231 231 0 13483 0
vsize: 54856
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12950 0 0 0 97900 116 0 0 25 0 1 0 512044564 56172544 11453 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11453 231 231 0 13483 0
vsize: 54856
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3506
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12964 0 0 0 98899 117 0 0 25 0 1 0 512044564 56172544 11467 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11467 231 231 0 13483 0
vsize: 54856
[startup+1000.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 3547
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12986 0 0 0 99899 117 0 0 25 0 1 0 512044564 56172544 11489 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11489 231 231 0 13483 0
vsize: 54856
[startup+1010.28 s]
Raw data (loadavg): 1.29 1.04 0.93 2/54 3559
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 12998 0 0 0 100925 118 0 0 25 0 1 0 512044564 56172544 11501 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13714 11501 231 231 0 13483 0
vsize: 54856
[startup+1020.36 s]
Raw data (loadavg): 1.24 1.03 0.93 2/54 3559
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13011 0 0 0 101933 119 0 0 25 0 1 0 512044564 56442880 11514 4294967295 134512640 135450300 3221224640 3221223044 135070417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13780 11514 231 231 0 13549 0
vsize: 55120
[startup+1030.36 s]
Raw data (loadavg): 1.21 1.03 0.93 2/54 3559
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13031 0 0 0 102932 119 0 0 25 0 1 0 512044564 56639488 11534 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13828 11534 231 231 0 13597 0
vsize: 55312
[startup+1040.36 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 3559
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13053 0 0 0 103932 119 0 0 25 0 1 0 512044564 56639488 11556 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13828 11556 231 231 0 13597 0
vsize: 55312
[startup+1050.36 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 3559
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13085 0 0 0 104932 120 0 0 25 0 1 0 512044564 56639488 11588 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13828 11588 231 231 0 13597 0
vsize: 55312
[startup+1060.36 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 3559
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13107 0 0 0 105932 120 0 0 25 0 1 0 512044564 56836096 11610 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13876 11610 231 231 0 13645 0
vsize: 55504
[startup+1070.36 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13126 0 0 0 106931 121 0 0 25 0 1 0 512044564 56836096 11629 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13876 11629 231 231 0 13645 0
vsize: 55504
[startup+1080.36 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13158 0 0 0 107931 122 0 0 25 0 1 0 512044564 56836096 11661 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13876 11661 231 231 0 13645 0
vsize: 55504
[startup+1090.36 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13168 0 0 0 108931 122 0 0 25 0 1 0 512044564 56836096 11671 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13876 11671 231 231 0 13645 0
vsize: 55504
[startup+1100.36 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13201 0 0 0 109931 122 0 0 25 0 1 0 512044564 57032704 11704 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13924 11704 231 231 0 13693 0
vsize: 55696
[startup+1110.36 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13232 0 0 0 110930 123 0 0 25 0 1 0 512044564 57032704 11735 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13924 11735 231 231 0 13693 0
vsize: 55696
[startup+1120.36 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13245 0 0 0 111930 123 0 0 25 0 1 0 512044564 57032704 11748 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13924 11748 231 231 0 13693 0
vsize: 55696
[startup+1130.36 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13256 0 0 0 112930 123 0 0 25 0 1 0 512044564 57032704 11759 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13924 11759 231 231 0 13693 0
vsize: 55696
[startup+1140.36 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13281 0 0 0 113930 124 0 0 25 0 1 0 512044564 57319424 11784 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13994 11784 231 231 0 13763 0
vsize: 55976
[startup+1150.36 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13293 0 0 0 114929 124 0 0 25 0 1 0 512044564 57319424 11796 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13994 11796 231 231 0 13763 0
vsize: 55976
[startup+1160.36 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13307 0 0 0 115928 125 0 0 25 0 1 0 512044564 57319424 11810 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13994 11810 231 231 0 13763 0
vsize: 55976
[startup+1170.36 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13338 0 0 0 116928 126 0 0 25 0 1 0 512044564 57319424 11841 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13994 11841 231 231 0 13763 0
vsize: 55976
[startup+1180.37 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13362 0 0 0 117927 127 0 0 25 0 1 0 512044564 57319424 11865 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13994 11865 231 231 0 13763 0
vsize: 55976
[startup+1190.36 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13396 0 0 0 118927 127 0 0 25 0 1 0 512044564 57516032 11899 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14042 11899 231 231 0 13811 0
vsize: 56168
[startup+1200.36 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 3561
Raw data (stat): 3506 (PBS4) R 3505 11931 11930 0 -1 0 13434 0 0 0 119926 128 0 0 25 0 1 0 512044564 57712640 11937 4294967295 134512640 135450300 3221224640 3221222992 134533103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14090 11937 231 231 0 13859 0
vsize: 56360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 1.01 1.01 0.93 1/54 3561
Raw data (stat): 3506 (PBS4) Z 3505 11931 11930 0 -1 1036 13434 0 0 0 119926 130 0 0 25 0 1 0 512044564 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.39
CPU time (s): 1200.58
CPU user time (s): 1199.27
CPU system time (s): 1.3098
CPU usage (%): 100.016
Max. virtual memory (Kb): 56360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####