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/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
MD5SUM	89f41bbcf2b70665bd7071c5b58e0ec8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	95.1845
Number of variables	49621
Total number of constraints	138346
Number of constraints which are clauses	127390
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	10956
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 7874

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-17 16:51:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2706 boxname=wulflinc19 idbench=301 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  89f41bbcf2b70665bd7071c5b58e0ec8  /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
IDLAUNCH: 2706
/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:        813528 kB
Buffers:         36880 kB
Cached:         148656 kB
SwapCached:         36 kB
Active:          66208 kB
Inactive:       122296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813276 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7040 kB
Slab:            26868 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:07:02 (client local time) WITH STATUS 20 IN 922.56 SECONDS
stats: 2706 7 922.56 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc19/normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb ......
s UNSATISFIABLE
c Done, CPU Time=915.296
#### 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.69 0.87 0.88 2/55 17064
Raw data (stat): 17064 (runsolver) R 17063 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512091020 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0008 s]
Raw data (loadavg): 0.74 0.88 0.88 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 6557 0 0 0 980 19 0 0 25 0 1 0 512091020 24776704 5541 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6049 5541 231 231 0 5818 0
vsize: 24196
[startup+20.0013 s]
Raw data (loadavg): 0.78 0.88 0.88 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 7219 0 0 0 1977 21 0 0 25 0 1 0 512091020 27013120 6009 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6595 6009 231 231 0 6364 0
vsize: 26380
[startup+30.0011 s]
Raw data (loadavg): 0.81 0.89 0.88 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 7553 0 0 0 2975 23 0 0 25 0 1 0 512091020 28028928 6246 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 6246 231 231 0 6612 0
vsize: 27372
[startup+40.0013 s]
Raw data (loadavg): 0.84 0.89 0.88 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 8550 0 0 0 3972 27 0 0 25 0 1 0 512091020 31535104 6377 4294967295 134512640 135450300 3221224624 3221223360 134538383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7699 6377 231 231 0 7468 0
vsize: 30796
[startup+50.0008 s]
Raw data (loadavg): 0.87 0.89 0.88 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 8687 0 0 0 4969 30 0 0 25 0 1 0 512091020 31928320 6514 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7795 6514 231 231 0 7564 0
vsize: 31180
[startup+60.0006 s]
Raw data (loadavg): 0.89 0.89 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 8886 0 0 0 5967 32 0 0 25 0 1 0 512091020 36319232 6616 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8867 6616 231 231 0 8636 0
vsize: 35468
[startup+70.0007 s]
Raw data (loadavg): 0.90 0.90 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 9199 0 0 0 6965 35 0 0 25 0 1 0 512091020 36843520 6735 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8995 6735 231 231 0 8764 0
vsize: 35980
[startup+80.0012 s]
Raw data (loadavg): 0.92 0.90 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 9403 0 0 0 7963 36 0 0 25 0 1 0 512091020 37040128 6842 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9043 6842 231 231 0 8812 0
vsize: 36172
[startup+90.0011 s]
Raw data (loadavg): 0.93 0.90 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 9734 0 0 0 8960 39 0 0 25 0 1 0 512091020 37367808 6979 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9123 6979 231 231 0 8892 0
vsize: 36492
[startup+100.001 s]
Raw data (loadavg): 0.94 0.91 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 9885 0 0 0 9958 42 0 0 25 0 1 0 512091020 37564416 7033 4294967295 134512640 135450300 3221224624 3221223472 134539344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9171 7033 231 231 0 8940 0
vsize: 36684
[startup+110.002 s]
Raw data (loadavg): 0.95 0.91 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 10005 0 0 0 10956 44 0 0 25 0 1 0 512091020 37564416 7056 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9171 7056 231 231 0 8940 0
vsize: 36684
[startup+120.002 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 10207 0 0 0 11953 47 0 0 25 0 1 0 512091020 37761024 7161 4294967295 134512640 135450300 3221224624 3221223440 134536422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 7161 231 231 0 8988 0
vsize: 36876
[startup+130.003 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 10488 0 0 0 12951 49 0 0 25 0 1 0 512091020 37924864 7248 4294967295 134512640 135450300 3221224624 3221223564 134530260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9259 7248 231 231 0 9028 0
vsize: 37036
[startup+140.003 s]
Raw data (loadavg): 0.97 0.92 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 10544 0 0 0 13949 52 0 0 25 0 1 0 512091020 37924864 7304 4294967295 134512640 135450300 3221224624 3221222976 134533126 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9259 7304 231 231 0 9028 0
vsize: 37036
[startup+150.003 s]
Raw data (loadavg): 0.97 0.92 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 10661 0 0 0 14947 54 0 0 25 0 1 0 512091020 37924864 7324 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9259 7324 231 231 0 9028 0
vsize: 37036
[startup+160.003 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 10776 0 0 0 15945 56 0 0 25 0 1 0 512091020 38121472 7342 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9307 7342 231 231 0 9076 0
vsize: 37228
[startup+170.003 s]
Raw data (loadavg): 0.98 0.92 0.90 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 11017 0 0 0 16943 58 0 0 25 0 1 0 512091020 38121472 7389 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9307 7389 231 231 0 9076 0
vsize: 37228
[startup+180.002 s]
Raw data (loadavg): 0.98 0.92 0.90 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 11192 0 0 0 17940 61 0 0 25 0 1 0 512091020 38121472 7467 4294967295 134512640 135450300 3221224624 3221222976 134533118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9307 7467 231 231 0 9076 0
vsize: 37228
[startup+190.003 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 11323 0 0 0 18938 63 0 0 25 0 1 0 512091020 38121472 7501 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9307 7501 231 231 0 9076 0
vsize: 37228
[startup+200.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 11454 0 0 0 19937 65 0 0 25 0 1 0 512091020 38391808 7535 4294967295 134512640 135450300 3221224624 3221222976 134533340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9373 7535 231 231 0 9142 0
vsize: 37492
[startup+210.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 11622 0 0 0 20936 66 0 0 25 0 1 0 512091020 38699008 7606 4294967295 134512640 135450300 3221224624 3221223360 134538069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9448 7606 231 231 0 9217 0
vsize: 37792
[startup+220.002 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 11780 0 0 0 21934 68 0 0 25 0 1 0 512091020 38699008 7667 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9448 7667 231 231 0 9217 0
vsize: 37792
[startup+230.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 17064
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 11923 0 0 0 22933 69 0 0 25 0 1 0 512091020 38699008 7713 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9448 7713 231 231 0 9217 0
vsize: 37792
[startup+240.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 12054 0 0 0 23930 72 0 0 25 0 1 0 512091020 38699008 7747 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9448 7747 231 231 0 9217 0
vsize: 37792
[startup+250.002 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 12178 0 0 0 24929 73 0 0 25 0 1 0 512091020 38830080 7774 4294967295 134512640 135450300 3221224624 3221223488 134539216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9480 7774 231 231 0 9249 0
vsize: 37920
[startup+260.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 12414 0 0 0 25927 75 0 0 25 0 1 0 512091020 38830080 7816 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9480 7816 231 231 0 9249 0
vsize: 37920
[startup+270.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 12588 0 0 0 26926 76 0 0 25 0 1 0 512091020 38830080 7893 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9480 7893 231 231 0 9249 0
vsize: 37920
[startup+280.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 12724 0 0 0 27924 79 0 0 25 0 1 0 512091020 38961152 7932 4294967295 134512640 135450300 3221224624 3221223360 134538250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9512 7932 231 231 0 9281 0
vsize: 38048
[startup+290.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 12831 0 0 0 28922 81 0 0 25 0 1 0 512091020 38961152 7942 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9512 7942 231 231 0 9281 0
vsize: 38048
[startup+300.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 12945 0 0 0 29920 83 0 0 25 0 1 0 512091020 38961152 7959 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9512 7959 231 231 0 9281 0
vsize: 38048
[startup+310.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13057 0 0 0 30918 85 0 0 25 0 1 0 512091020 38961152 7974 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9512 7974 231 231 0 9281 0
vsize: 38048
[startup+320.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13083 0 0 0 31917 86 0 0 25 0 1 0 512091020 39084032 8000 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 8000 231 231 0 9311 0
vsize: 38168
[startup+330.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13206 0 0 0 32915 89 0 0 25 0 1 0 512091020 39084032 8026 4294967295 134512640 135450300 3221224624 3221223516 134539104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 8026 231 231 0 9311 0
vsize: 38168
[startup+340.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13350 0 0 0 33913 90 0 0 25 0 1 0 512091020 39084032 8073 4294967295 134512640 135450300 3221224624 3221223152 134544099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 8073 231 231 0 9311 0
vsize: 38168
[startup+350.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13471 0 0 0 34911 92 0 0 25 0 1 0 512091020 39280640 8097 4294967295 134512640 135450300 3221224624 3221222976 134533093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9590 8097 231 231 0 9359 0
vsize: 38360
[startup+360.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13599 0 0 0 35909 94 0 0 25 0 1 0 512091020 39280640 8128 4294967295 134512640 135450300 3221224624 3221223520 134533521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9590 8128 231 231 0 9359 0
vsize: 38360
[startup+370.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13654 0 0 0 36907 97 0 0 25 0 1 0 512091020 39280640 8183 4294967295 134512640 135450300 3221224624 3221223360 134538412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9590 8183 231 231 0 9359 0
vsize: 38360
[startup+380.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13834 0 0 0 37906 99 0 0 25 0 1 0 512091020 39280640 8266 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9590 8266 231 231 0 9359 0
vsize: 38360
[startup+390.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 13985 0 0 0 38903 102 0 0 25 0 1 0 512091020 39280640 8320 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9590 8320 231 231 0 9359 0
vsize: 38360
[startup+400.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 14113 0 0 0 39901 103 0 0 25 0 1 0 512091020 39419904 8351 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8351 231 231 0 9393 0
vsize: 38496
[startup+410.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 14236 0 0 0 40900 105 0 0 25 0 1 0 512091020 39419904 8377 4294967295 134512640 135450300 3221224624 3221223360 134538412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8377 231 231 0 9393 0
vsize: 38496
[startup+420.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 14363 0 0 0 41898 107 0 0 25 0 1 0 512091020 39419904 8407 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9624 8407 231 231 0 9393 0
vsize: 38496
[startup+430.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 14519 0 0 0 42896 109 0 0 25 0 1 0 512091020 39579648 8466 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8466 231 231 0 9432 0
vsize: 38652
[startup+440.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 14676 0 0 0 43894 111 0 0 25 0 1 0 512091020 39579648 8526 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9663 8526 231 231 0 9432 0
vsize: 38652
[startup+450.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 14820 0 0 0 44892 113 0 0 25 0 1 0 512091020 39870464 8573 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9734 8573 231 231 0 9503 0
vsize: 38936
[startup+460.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 14935 0 0 0 45891 115 0 0 25 0 1 0 512091020 39870464 8591 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9734 8591 231 231 0 9503 0
vsize: 38936
[startup+470.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15050 0 0 0 46889 117 0 0 25 0 1 0 512091020 39870464 8609 4294967295 134512640 135450300 3221224624 3221223040 134533471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9734 8609 231 231 0 9503 0
vsize: 38936
[startup+480.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15217 0 0 0 47888 118 0 0 25 0 1 0 512091020 48259072 8679 4294967295 134512640 135450300 3221224624 3221223440 134546459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11782 8679 231 231 0 11551 0
vsize: 47128
[startup+490.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15370 0 0 0 48886 120 0 0 25 0 1 0 512091020 48394240 8735 4294967295 134512640 135450300 3221224624 3221223360 134538242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11815 8735 231 231 0 11584 0
vsize: 47260
[startup+500.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17066
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15506 0 0 0 49885 122 0 0 25 0 1 0 512091020 48394240 8774 4294967295 134512640 135450300 3221224624 3221223360 134538619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11815 8774 231 231 0 11584 0
vsize: 47260
[startup+510.238 s]
Raw data (loadavg): 0.99 0.96 0.91 3/58 17103
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15621 0 0 0 50905 124 0 0 25 0 1 0 512091020 48394240 8792 4294967295 134512640 135450300 3221224624 3221223480 134539300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11815 8792 231 231 0 11584 0
vsize: 47260
[startup+520.326 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 17119
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15725 0 0 0 51912 126 0 0 25 0 1 0 512091020 48394240 8799 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11815 8799 231 231 0 11584 0
vsize: 47260
[startup+530.524 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 17119
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15834 0 0 0 52930 128 0 0 25 0 1 0 512091020 48394240 8811 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11815 8811 231 231 0 11584 0
vsize: 47260
[startup+540.524 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 17121
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 15993 0 0 0 53929 129 0 0 25 0 1 0 512091020 48525312 8873 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 8873 231 231 0 11616 0
vsize: 47388
[startup+550.524 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 17121
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16142 0 0 0 54927 131 0 0 25 0 1 0 512091020 48525312 8925 4294967295 134512640 135450300 3221224624 3221223456 134549920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 8925 231 231 0 11616 0
vsize: 47388
[startup+560.524 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 17121
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16247 0 0 0 55925 133 0 0 25 0 1 0 512091020 48525312 8933 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 8933 231 231 0 11616 0
vsize: 47388
[startup+570.525 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 17121
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16254 0 0 0 56924 135 0 0 25 0 1 0 512091020 48525312 8940 4294967295 134512640 135450300 3221224624 3221223440 134537284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 8940 231 231 0 11616 0
vsize: 47388
[startup+580.525 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16365 0 0 0 57923 137 0 0 25 0 1 0 512091020 48525312 8954 4294967295 134512640 135450300 3221224624 3221223048 134533456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 8954 231 231 0 11616 0
vsize: 47388
[startup+590.525 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16472 0 0 0 58921 139 0 0 25 0 1 0 512091020 48525312 8964 4294967295 134512640 135450300 3221224624 3221223520 134539779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 8964 231 231 0 11616 0
vsize: 47388
[startup+600.524 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16579 0 0 0 59920 140 0 0 25 0 1 0 512091020 48664576 8974 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11881 8974 231 231 0 11650 0
vsize: 47524
[startup+610.525 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16684 0 0 0 60917 142 0 0 25 0 1 0 512091020 48664576 8982 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11881 8982 231 231 0 11650 0
vsize: 47524
[startup+620.525 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16696 0 0 0 61916 144 0 0 25 0 1 0 512091020 48664576 8994 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11881 8994 231 231 0 11650 0
vsize: 47524
[startup+630.526 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16812 0 0 0 62914 146 0 0 25 0 1 0 512091020 48971776 9013 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11956 9013 231 231 0 11725 0
vsize: 47824
[startup+640.526 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16822 0 0 0 63913 147 0 0 25 0 1 0 512091020 48971776 9023 4294967295 134512640 135450300 3221224624 3221223360 134538446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11956 9023 231 231 0 11725 0
vsize: 47824
[startup+650.525 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 16933 0 0 0 64911 149 0 0 25 0 1 0 512091020 49106944 9037 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9037 231 231 0 11758 0
vsize: 47956
[startup+660.526 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17046 0 0 0 65909 151 0 0 25 0 1 0 512091020 49106944 9053 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9053 231 231 0 11758 0
vsize: 47956
[startup+670.527 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17095 0 0 0 66907 154 0 0 25 0 1 0 512091020 49106944 9102 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9102 231 231 0 11758 0
vsize: 47956
[startup+680.528 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17240 0 0 0 67906 155 0 0 25 0 1 0 512091020 49106944 9150 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9150 231 231 0 11758 0
vsize: 47956
[startup+690.527 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17371 0 0 0 68904 157 0 0 25 0 1 0 512091020 49106944 9184 4294967295 134512640 135450300 3221224624 3221223360 134538554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9184 231 231 0 11758 0
vsize: 47956
[startup+700.527 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17479 0 0 0 69902 159 0 0 25 0 1 0 512091020 49106944 9195 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9195 231 231 0 11758 0
vsize: 47956
[startup+710.528 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17485 0 0 0 70901 161 0 0 25 0 1 0 512091020 49106944 9201 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9201 231 231 0 11758 0
vsize: 47956
[startup+720.528 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17593 0 0 0 71900 162 0 0 25 0 1 0 512091020 49106944 9212 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9212 231 231 0 11758 0
vsize: 47956
[startup+730.529 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17700 0 0 0 72899 163 0 0 25 0 1 0 512091020 49238016 9222 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12021 9222 231 231 0 11790 0
vsize: 48084
[startup+740.53 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17808 0 0 0 73896 166 0 0 25 0 1 0 512091020 49238016 9233 4294967295 134512640 135450300 3221224624 3221223552 134539668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12021 9233 231 231 0 11790 0
vsize: 48084
[startup+750.529 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 17916 0 0 0 74895 168 0 0 25 0 1 0 512091020 49238016 9244 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12021 9244 231 231 0 11790 0
vsize: 48084
[startup+760.529 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18023 0 0 0 75893 169 0 0 25 0 1 0 512091020 49238016 9254 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12021 9254 231 231 0 11790 0
vsize: 48084
[startup+770.53 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18177 0 0 0 76891 172 0 0 25 0 1 0 512091020 49238016 9311 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12021 9311 231 231 0 11790 0
vsize: 48084
[startup+780.531 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18248 0 0 0 77890 173 0 0 25 0 1 0 512091020 49238016 9382 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12021 9382 231 231 0 11790 0
vsize: 48084
[startup+790.53 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18312 0 0 0 78888 175 0 0 25 0 1 0 512091020 49238016 9446 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12021 9446 231 231 0 11790 0
vsize: 48084
[startup+800.53 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18475 0 0 0 79887 176 0 0 25 0 1 0 512091020 49377280 9512 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9512 231 231 0 11824 0
vsize: 48220
[startup+810.531 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18530 0 0 0 80886 177 0 0 25 0 1 0 512091020 49377280 9567 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9567 231 231 0 11824 0
vsize: 48220
[startup+820.531 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18684 0 0 0 81885 179 0 0 25 0 1 0 512091020 49377280 9624 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9624 231 231 0 11824 0
vsize: 48220
[startup+830.532 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17123
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18745 0 0 0 82883 181 0 0 25 0 1 0 512091020 49377280 9685 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9685 231 231 0 11824 0
vsize: 48220
[startup+840.533 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17125
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18898 0 0 0 83881 183 0 0 25 0 1 0 512091020 49377280 9741 4294967295 134512640 135450300 3221224624 3221223564 134530380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9741 231 231 0 11824 0
vsize: 48220
[startup+850.532 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 18905 0 0 0 84879 185 0 0 25 0 1 0 512091020 49377280 9748 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9748 231 231 0 11824 0
vsize: 48220
[startup+860.533 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19010 0 0 0 85878 187 0 0 25 0 1 0 512091020 49377280 9756 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9756 231 231 0 11824 0
vsize: 48220
[startup+870.533 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19016 0 0 0 86877 188 0 0 25 0 1 0 512091020 49377280 9762 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9762 231 231 0 11824 0
vsize: 48220
[startup+880.534 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19123 0 0 0 87876 189 0 0 25 0 1 0 512091020 49377280 9772 4294967295 134512640 135450300 3221224624 3221223360 134538898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9772 231 231 0 11824 0
vsize: 48220
[startup+890.533 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19178 0 0 0 88875 190 0 0 25 0 1 0 512091020 49377280 9827 4294967295 134512640 135450300 3221224624 3221223360 134538878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12055 9827 231 231 0 11824 0
vsize: 48220
[startup+900.533 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19242 0 0 0 89874 191 0 0 25 0 1 0 512091020 49508352 9891 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12087 9891 231 231 0 11856 0
vsize: 48348
[startup+910.534 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19304 0 0 0 90873 193 0 0 25 0 1 0 512091020 49508352 9953 4294967295 134512640 135450300 3221224624 3221223360 134538145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12087 9953 231 231 0 11856 0
vsize: 48348
[startup+920.534 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19399 0 0 0 91872 194 0 0 25 0 1 0 512091020 49643520 10048 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12120 10048 231 231 0 11889 0
vsize: 48480
[startup+922.426 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 17127
Raw data (stat): 17064 (PBS4) R 17063 22929 22928 0 -1 0 19399 0 0 0 91872 194 0 0 25 0 1 0 512091020 49643520 10048 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12120 10048 231 231 0 11889 0
vsize: 0

Child status: 20
Real time (s): 922.426
CPU time (s): 922.56
CPU user time (s): 920.592
CPU system time (s): 1.9677
CPU usage (%): 100.015
Max. virtual memory (Kb): 48480
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####