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/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM	140696e76e8ed6af142b84a22a9a8f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.09
Number of variables	1150
Total number of constraints	81068
Number of constraints which are clauses	81068
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 7907

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-17 17:07:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3021 boxname=wulflinc19 idbench=336 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc19/normalized-frb50-23-3.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc19/normalized-frb50-23-3.opb
IDLAUNCH: 3021
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        815312 kB
Buffers:         36896 kB
Cached:         147212 kB
SwapCached:         36 kB
Active:          62956 kB
Inactive:       124140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        815060 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7040 kB
Slab:            26520 kB
Committed_AS:    63716 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:27:12 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 3021 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc19/normalized-frb50-23-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.92 0.98 0.91 2/55 17218
Raw data (stat): 17218 (runsolver) R 17217 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512184064 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 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 4048 0 0 0 987 11 0 0 25 0 1 0 512184064 22650880 3316 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 3316 231 231 0 5299 0
vsize: 22120
[startup+19.9995 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 5867 0 0 0 1983 16 0 0 25 0 1 0 512184064 39567360 5135 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9660 5135 231 231 0 9429 0
vsize: 38640
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 7462 0 0 0 2980 19 0 0 25 0 1 0 512184064 39706624 6730 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9694 6730 231 231 0 9463 0
vsize: 38776
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 8747 0 0 0 3976 23 0 0 25 0 1 0 512184064 39706624 8015 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9694 8015 231 231 0 9463 0
vsize: 38776
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 10275 0 0 0 4972 27 0 0 25 0 1 0 512184064 73396224 9543 4294967295 134512640 135450300 3221224640 3221223104 134532583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17919 9543 231 231 0 17688 0
vsize: 71676
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 11580 0 0 0 5969 30 0 0 25 0 1 0 512184064 73396224 10848 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17919 10848 231 231 0 17688 0
vsize: 71676
[startup+70.0007 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 13440 0 0 0 6965 35 0 0 25 0 1 0 512184064 73396224 12708 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17919 12708 231 231 0 17688 0
vsize: 71676
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 15114 0 0 0 7961 39 0 0 25 0 1 0 512184064 73535488 14382 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17953 14382 231 231 0 17722 0
vsize: 71812
[startup+90.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 16392 0 0 0 8958 42 0 0 25 0 1 0 512184064 73535488 15660 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17953 15660 231 231 0 17722 0
vsize: 71812
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 17572 0 0 0 9957 44 0 0 25 0 1 0 512184064 73682944 16840 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17989 16840 231 231 0 17758 0
vsize: 71956
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 19088 0 0 0 10954 47 0 0 25 0 1 0 512184064 141398016 18356 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34521 18356 231 231 0 34290 0
vsize: 138084
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 20363 0 0 0 11950 50 0 0 25 0 1 0 512184064 142012416 19631 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34671 19631 231 231 0 34440 0
vsize: 138684
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 21665 0 0 0 12947 54 0 0 25 0 1 0 512184064 142446592 20933 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34777 20933 231 231 0 34546 0
vsize: 139108
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 22517 0 0 0 13945 56 0 0 25 0 1 0 512184064 142581760 21785 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34810 21785 231 231 0 34579 0
vsize: 139240
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 22564 0 0 0 14945 56 0 0 25 0 1 0 512184064 142745600 21832 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34850 21832 231 231 0 34619 0
vsize: 139400
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 22601 0 0 0 15945 57 0 0 25 0 1 0 512184064 142880768 21869 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34883 21869 231 231 0 34652 0
vsize: 139532
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 23630 0 0 0 16943 58 0 0 25 0 1 0 512184064 143155200 22898 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34950 22900 231 231 0 34719 0
vsize: 139800
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 25054 0 0 0 17939 62 0 0 25 0 1 0 512184064 143155200 24322 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34950 24322 231 231 0 34719 0
vsize: 139800
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 26513 0 0 0 18936 65 0 0 25 0 1 0 512184064 143892480 25781 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35130 25781 231 231 0 34899 0
vsize: 140520
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17218
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 26795 0 0 0 19936 66 0 0 25 0 1 0 512184064 144056320 26063 4294967295 134512640 135450300 3221224640 3221223024 134579638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35170 26063 231 231 0 34939 0
vsize: 140680
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 26874 0 0 0 20936 67 0 0 25 0 1 0 512184064 144498688 26142 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35278 26142 231 231 0 35047 0
vsize: 141112
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 26925 0 0 0 21936 67 0 0 25 0 1 0 512184064 144637952 26193 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35312 26193 231 231 0 35081 0
vsize: 141248
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 26929 0 0 0 22936 67 0 0 25 0 1 0 512184064 144637952 26197 4294967295 134512640 135450300 3221224640 3221223456 134536480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35312 26197 231 231 0 35081 0
vsize: 141248
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 27289 0 0 0 23935 68 0 0 25 0 1 0 512184064 144777216 26557 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35346 26557 231 231 0 35115 0
vsize: 141384
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 28719 0 0 0 24931 72 0 0 25 0 1 0 512184064 145051648 27987 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35413 27987 231 231 0 35182 0
vsize: 141652
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 28956 0 0 0 25931 72 0 0 25 0 1 0 512184064 145211392 28224 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35452 28224 231 231 0 35221 0
vsize: 141808
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 29030 0 0 0 26931 73 0 0 25 0 1 0 512184064 145649664 28298 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35559 28298 231 231 0 35328 0
vsize: 142236
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 29036 0 0 0 27931 73 0 0 25 0 1 0 512184064 145649664 28304 4294967295 134512640 135450300 3221224640 3221223456 134536843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35559 28304 231 231 0 35328 0
vsize: 142236
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 29084 0 0 0 28931 73 0 0 25 0 1 0 512184064 145936384 28352 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35629 28352 231 231 0 35398 0
vsize: 142516
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 29122 0 0 0 29931 73 0 0 25 0 1 0 512184064 145936384 28390 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35629 28390 231 231 0 35398 0
vsize: 142516
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 30320 0 0 0 30927 77 0 0 25 0 1 0 512184064 146477056 29588 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35761 29588 231 231 0 35530 0
vsize: 143044
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 30653 0 0 0 31926 78 0 0 25 0 1 0 512184064 146477056 29921 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35761 29921 231 231 0 35530 0
vsize: 143044
[startup+330.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 30685 0 0 0 32926 78 0 0 25 0 1 0 512184064 146743296 29953 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35826 29953 231 231 0 35595 0
vsize: 143304
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 30720 0 0 0 33926 78 0 0 25 0 1 0 512184064 146743296 29988 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35826 29988 231 231 0 35595 0
vsize: 143304
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 30754 0 0 0 34926 79 0 0 25 0 1 0 512184064 146886656 30022 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35861 30022 231 231 0 35630 0
vsize: 143444
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 30762 0 0 0 35926 79 0 0 25 0 1 0 512184064 146886656 30030 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35861 30030 231 231 0 35630 0
vsize: 143444
[startup+370.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 31120 0 0 0 36925 80 0 0 25 0 1 0 512184064 147148800 30388 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35925 30388 231 231 0 35694 0
vsize: 143700
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 31804 0 0 0 37923 83 0 0 25 0 1 0 512184064 147283968 31072 4294967295 134512640 135450300 3221224640 3221223104 134532638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35958 31072 231 231 0 35727 0
vsize: 143832
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 31848 0 0 0 38923 83 0 0 25 0 1 0 512184064 147447808 31116 4294967295 134512640 135450300 3221224640 3221223104 134532896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35998 31116 231 231 0 35767 0
vsize: 143992
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 31875 0 0 0 39923 83 0 0 25 0 1 0 512184064 147595264 31143 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36034 31143 231 231 0 35803 0
vsize: 144136
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 31929 0 0 0 40922 84 0 0 25 0 1 0 512184064 147877888 31197 4294967295 134512640 135450300 3221224640 3221223120 134580025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36103 31197 231 231 0 35872 0
vsize: 144412
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 31947 0 0 0 41922 84 0 0 25 0 1 0 512184064 147877888 31215 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36103 31215 231 231 0 35872 0
vsize: 144412
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 31994 0 0 0 42922 85 0 0 25 0 1 0 512184064 148160512 31262 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36172 31262 231 231 0 35941 0
vsize: 144688
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 32745 0 0 0 43920 86 0 0 25 0 1 0 512184064 148299776 32013 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36206 32013 231 231 0 35975 0
vsize: 144824
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 32778 0 0 0 44920 87 0 0 25 0 1 0 512184064 148451328 32046 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36243 32046 231 231 0 36012 0
vsize: 144972
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 32845 0 0 0 45920 87 0 0 25 0 1 0 512184064 148606976 32113 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36281 32113 231 231 0 36050 0
vsize: 145124
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 32895 0 0 0 46919 88 0 0 25 0 1 0 512184064 148910080 32163 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36355 32163 231 231 0 36124 0
vsize: 145420
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 32940 0 0 0 47920 88 0 0 25 0 1 0 512184064 149106688 32208 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36403 32208 231 231 0 36172 0
vsize: 145612
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 32962 0 0 0 48919 88 0 0 25 0 1 0 512184064 149270528 32230 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36443 32230 231 231 0 36212 0
vsize: 145772
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17220
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 33480 0 0 0 49917 91 0 0 25 0 1 0 512184064 149270528 32748 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36443 32748 231 231 0 36212 0
vsize: 145772
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 33552 0 0 0 50917 91 0 0 25 0 1 0 512184064 149561344 32820 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36514 32820 231 231 0 36283 0
vsize: 146056
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 33607 0 0 0 51917 91 0 0 25 0 1 0 512184064 149872640 32875 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36590 32875 231 231 0 36359 0
vsize: 146360
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 33677 0 0 0 52917 92 0 0 25 0 1 0 512184064 150196224 32945 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36669 32945 231 231 0 36438 0
vsize: 146676
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 33710 0 0 0 53917 92 0 0 25 0 1 0 512184064 150339584 32978 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36704 32978 231 231 0 36473 0
vsize: 146816
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 33737 0 0 0 54917 92 0 0 25 0 1 0 512184064 150339584 33005 4294967295 134512640 135450300 3221224640 3221223024 134579290 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36704 33005 231 231 0 36473 0
vsize: 146816
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 33948 0 0 0 55916 93 0 0 25 0 1 0 512184064 150339584 33216 4294967295 134512640 135450300 3221224640 3221223376 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36704 33216 231 231 0 36473 0
vsize: 146816
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34137 0 0 0 56916 93 0 0 25 0 1 0 512184064 150642688 33405 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36778 33405 231 231 0 36547 0
vsize: 147112
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34152 0 0 0 57916 93 0 0 25 0 1 0 512184064 150642688 33420 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36778 33420 231 231 0 36547 0
vsize: 147112
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34188 0 0 0 58916 94 0 0 25 0 1 0 512184064 150790144 33456 4294967295 134512640 135450300 3221224640 3221223376 134538883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36814 33456 231 231 0 36583 0
vsize: 147256
[startup+600.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34227 0 0 0 59916 94 0 0 25 0 1 0 512184064 150937600 33495 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36850 33495 231 231 0 36619 0
vsize: 147400
[startup+610.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34274 0 0 0 60916 94 0 0 25 0 1 0 512184064 151076864 33542 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36884 33542 231 231 0 36653 0
vsize: 147536
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34304 0 0 0 61916 94 0 0 25 0 1 0 512184064 151212032 33572 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36917 33572 231 231 0 36686 0
vsize: 147668
[startup+630.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34576 0 0 0 62915 95 0 0 25 0 1 0 512184064 151212032 33844 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36917 33844 231 231 0 36686 0
vsize: 147668
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34609 0 0 0 63915 96 0 0 25 0 1 0 512184064 151359488 33877 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36953 33877 231 231 0 36722 0
vsize: 147812
[startup+650.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34683 0 0 0 64915 96 0 0 25 0 1 0 512184064 151646208 33951 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37023 33951 231 231 0 36792 0
vsize: 148092
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34710 0 0 0 65915 96 0 0 25 0 1 0 512184064 151777280 33978 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37055 33978 231 231 0 36824 0
vsize: 148220
[startup+670.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34728 0 0 0 66915 96 0 0 25 0 1 0 512184064 151924736 33996 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37091 33996 231 231 0 36860 0
vsize: 148364
[startup+680.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34736 0 0 0 67915 96 0 0 25 0 1 0 512184064 151924736 34004 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37091 34004 231 231 0 36860 0
vsize: 148364
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 34756 0 0 0 68915 96 0 0 25 0 1 0 512184064 151924736 34024 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37091 34024 231 231 0 36860 0
vsize: 148364
[startup+700.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35000 0 0 0 69914 97 0 0 25 0 1 0 512184064 152211456 34268 4294967295 134512640 135450300 3221224640 3221223104 134532755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37161 34268 231 231 0 36930 0
vsize: 148644
[startup+710.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35022 0 0 0 70914 97 0 0 25 0 1 0 512184064 152211456 34290 4294967295 134512640 135450300 3221224640 3221222740 134615664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37161 34290 231 231 0 36930 0
vsize: 148644
[startup+720.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35025 0 0 0 71914 98 0 0 25 0 1 0 512184064 152211456 34293 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37161 34293 231 231 0 36930 0
vsize: 148644
[startup+730.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35053 0 0 0 72915 98 0 0 25 0 1 0 512184064 152375296 34321 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37201 34321 231 231 0 36970 0
vsize: 148804
[startup+740.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35087 0 0 0 73915 98 0 0 25 0 1 0 512184064 152539136 34355 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37241 34355 231 231 0 37010 0
vsize: 148964
[startup+750.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35135 0 0 0 74915 98 0 0 25 0 1 0 512184064 152678400 34403 4294967295 134512640 135450300 3221224640 3221223168 134545065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37275 34403 231 231 0 37044 0
vsize: 149100
[startup+760.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35147 0 0 0 75915 98 0 0 25 0 1 0 512184064 152817664 34415 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37309 34415 231 231 0 37078 0
vsize: 149236
[startup+770.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35193 0 0 0 76915 98 0 0 25 0 1 0 512184064 152965120 34461 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37345 34461 231 231 0 37114 0
vsize: 149380
[startup+780.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35222 0 0 0 77915 98 0 0 25 0 1 0 512184064 153128960 34490 4294967295 134512640 135450300 3221224640 3221223024 134602457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37385 34490 231 231 0 37154 0
vsize: 149540
[startup+790.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35241 0 0 0 78915 99 0 0 25 0 1 0 512184064 153325568 34509 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37433 34509 231 231 0 37202 0
vsize: 149732
[startup+800.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17222
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35245 0 0 0 79915 99 0 0 25 0 1 0 512184064 153325568 34513 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37433 34513 231 231 0 37202 0
vsize: 149732
[startup+810.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35291 0 0 0 80915 99 0 0 25 0 1 0 512184064 153473024 34559 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37469 34559 231 231 0 37238 0
vsize: 149876
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35516 0 0 0 81914 100 0 0 25 0 1 0 512184064 153620480 34784 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37505 34784 231 231 0 37274 0
vsize: 150020
[startup+830.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35538 0 0 0 82914 100 0 0 25 0 1 0 512184064 153620480 34806 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37505 34806 231 231 0 37274 0
vsize: 150020
[startup+840.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35597 0 0 0 83914 100 0 0 25 0 1 0 512184064 153907200 34865 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37575 34865 231 231 0 37344 0
vsize: 150300
[startup+850.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35628 0 0 0 84914 100 0 0 25 0 1 0 512184064 154189824 34896 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37644 34896 231 231 0 37413 0
vsize: 150576
[startup+860.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35632 0 0 0 85914 101 0 0 25 0 1 0 512184064 154189824 34900 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37644 34900 231 231 0 37413 0
vsize: 150576
[startup+870.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35667 0 0 0 86914 101 0 0 25 0 1 0 512184064 154337280 34935 4294967295 134512640 135450300 3221224640 3221223116 134572098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37680 34935 231 231 0 37449 0
vsize: 150720
[startup+880.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 35669 0 0 0 87914 101 0 0 25 0 1 0 512184064 154337280 34937 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37680 34937 231 231 0 37449 0
vsize: 150720
[startup+890.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36544 0 0 0 88912 103 0 0 25 0 1 0 512184064 157483008 35043 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38448 35043 231 231 0 38217 0
vsize: 153792
[startup+900.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36568 0 0 0 89912 103 0 0 25 0 1 0 512184064 157630464 35067 4294967295 134512640 135450300 3221224640 3221223168 134545045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38484 35067 231 231 0 38253 0
vsize: 153936
[startup+910.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36589 0 0 0 90912 103 0 0 25 0 1 0 512184064 157773824 35088 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38519 35088 231 231 0 38288 0
vsize: 154076
[startup+920.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36592 0 0 0 91913 103 0 0 25 0 1 0 512184064 157773824 35091 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38519 35091 231 231 0 38288 0
vsize: 154076
[startup+930.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36607 0 0 0 92912 104 0 0 25 0 1 0 512184064 157773824 35106 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38519 35106 231 231 0 38288 0
vsize: 154076
[startup+940.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36622 0 0 0 93912 104 0 0 25 0 1 0 512184064 157773824 35121 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38519 35121 231 231 0 38288 0
vsize: 154076
[startup+950.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36625 0 0 0 94912 104 0 0 25 0 1 0 512184064 157773824 35124 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38519 35124 231 231 0 38288 0
vsize: 154076
[startup+960.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36652 0 0 0 95912 104 0 0 25 0 1 0 512184064 157921280 35151 4294967295 134512640 135450300 3221224640 3221223168 134543725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38555 35151 231 231 0 38324 0
vsize: 154220
[startup+970.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36705 0 0 0 96912 105 0 0 25 0 1 0 512184064 157921280 35204 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38555 35204 231 231 0 38324 0
vsize: 154220
[startup+980.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36757 0 0 0 97912 105 0 0 25 0 1 0 512184064 158228480 35256 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38630 35256 231 231 0 38399 0
vsize: 154520
[startup+990.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36767 0 0 0 98912 106 0 0 25 0 1 0 512184064 158228480 35266 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38630 35266 231 231 0 38399 0
vsize: 154520
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36774 0 0 0 99912 106 0 0 25 0 1 0 512184064 158228480 35273 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38630 35273 231 231 0 38399 0
vsize: 154520
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36801 0 0 0 100912 106 0 0 25 0 1 0 512184064 158367744 35300 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38664 35300 231 231 0 38433 0
vsize: 154656
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36814 0 0 0 101912 106 0 0 25 0 1 0 512184064 158367744 35313 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38664 35313 231 231 0 38433 0
vsize: 154656
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36833 0 0 0 102912 106 0 0 25 0 1 0 512184064 158515200 35332 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38700 35332 231 231 0 38469 0
vsize: 154800
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36897 0 0 0 103912 107 0 0 25 0 1 0 512184064 158515200 35396 4294967295 134512640 135450300 3221224640 3221223360 134535495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38700 35396 231 231 0 38469 0
vsize: 154800
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36900 0 0 0 104911 107 0 0 25 0 1 0 512184064 158515200 35399 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38700 35399 231 231 0 38469 0
vsize: 154800
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36929 0 0 0 105912 107 0 0 25 0 1 0 512184064 158679040 35428 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38740 35428 231 231 0 38509 0
vsize: 154960
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36947 0 0 0 106911 107 0 0 25 0 1 0 512184064 158814208 35446 4294967295 134512640 135450300 3221224640 3221223116 134572051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38773 35446 231 231 0 38542 0
vsize: 155092
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36951 0 0 0 107911 107 0 0 25 0 1 0 512184064 158814208 35450 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38773 35450 231 231 0 38542 0
vsize: 155092
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36978 0 0 0 108911 108 0 0 25 0 1 0 512184064 158814208 35477 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38773 35477 231 231 0 38542 0
vsize: 155092
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17224
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36996 0 0 0 109911 108 0 0 25 0 1 0 512184064 158978048 35495 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38813 35495 231 231 0 38582 0
vsize: 155252
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 36998 0 0 0 110911 108 0 0 25 0 1 0 512184064 158978048 35497 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38813 35497 231 231 0 38582 0
vsize: 155252
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37049 0 0 0 111911 108 0 0 25 0 1 0 512184064 158978048 35548 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38813 35548 231 231 0 38582 0
vsize: 155252
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37052 0 0 0 112911 109 0 0 25 0 1 0 512184064 158978048 35551 4294967295 134512640 135450300 3221224640 3221223456 134537263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38813 35551 231 231 0 38582 0
vsize: 155252
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37088 0 0 0 113911 109 0 0 25 0 1 0 512184064 159289344 35587 4294967295 134512640 135450300 3221224640 3221223360 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38889 35587 231 231 0 38658 0
vsize: 155556
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37099 0 0 0 114911 109 0 0 25 0 1 0 512184064 159289344 35598 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38889 35598 231 231 0 38658 0
vsize: 155556
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37157 0 0 0 115911 109 0 0 25 0 1 0 512184064 159436800 35656 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38925 35656 231 231 0 38694 0
vsize: 155700
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37169 0 0 0 116911 110 0 0 25 0 1 0 512184064 159436800 35668 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38925 35668 231 231 0 38694 0
vsize: 155700
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37201 0 0 0 117911 110 0 0 25 0 1 0 512184064 159600640 35700 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38965 35700 231 231 0 38734 0
vsize: 155860
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37234 0 0 0 118911 110 0 0 25 0 1 0 512184064 159600640 35733 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38965 35733 231 231 0 38734 0
vsize: 155860
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 17226
Raw data (stat): 17218 (PBS4) R 17217 22929 22928 0 -1 0 37245 0 0 0 119911 110 0 0 25 0 1 0 512184064 159748096 35744 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39001 35744 231 231 0 38770 0
vsize: 156004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.91 1/55 17226
Raw data (stat): 17218 (PBS4) Z 17217 22929 22928 0 -1 1036 37245 0 0 0 119911 117 0 0 25 0 1 0 512184064 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.09
CPU time (s): 1200.29
CPU user time (s): 1199.11
CPU system time (s): 1.17182
CPU usage (%): 100.016
Max. virtual memory (Kb): 156004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####