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/logic-synthesis/normalized-alu4.b.opb
MD5SUM	db06e7fbd4f70a4af68f8f196fdb3636
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	808
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03884
Number of variables	807
Total number of constraints	1838
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 7683

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-04-17 15:39:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=546 boxname=wulflinc3 idbench=61 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc3/normalized-alu4.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc3/normalized-alu4.b.opb
IDLAUNCH: 546
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 2
cpu MHz		: 451.190
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:        795828 kB
Buffers:         37300 kB
Cached:         176888 kB
SwapCached:       3276 kB
Active:          88096 kB
Inactive:       132220 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        795576 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            12900 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 15:59:51 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 546 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc3/normalized-alu4.b.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.00 0.00 0.00 2/54 3822
Raw data (stat): 3822 (runsolver) R 3821 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453439283 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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+9.9999 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 643 0 0 0 987 11 0 0 25 0 1 0 453439283 3784704 639 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 924 639 231 231 0 693 0
vsize: 3696
[startup+20.0004 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 731 0 0 0 1986 13 0 0 25 0 1 0 453439283 3784704 727 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 924 727 231 231 0 693 0
vsize: 3696
[startup+30.0005 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 807 0 0 0 2986 13 0 0 25 0 1 0 453439283 6021120 803 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1470 803 231 231 0 1239 0
vsize: 5880
[startup+40.0003 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 895 0 0 0 3986 13 0 0 25 0 1 0 453439283 6021120 891 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1470 891 231 231 0 1239 0
vsize: 5880
[startup+50.0008 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1049 0 0 0 4986 13 0 0 25 0 1 0 453439283 6021120 1045 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1470 1045 231 231 0 1239 0
vsize: 5880
[startup+60.001 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1146 0 0 0 5986 14 0 0 25 0 1 0 453439283 6021120 1142 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1470 1142 231 231 0 1239 0
vsize: 5880
[startup+70.0018 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1251 0 0 0 6986 14 0 0 25 0 1 0 453439283 6221824 1247 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1519 1247 231 231 0 1288 0
vsize: 6076
[startup+80.0023 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1332 0 0 0 7986 14 0 0 25 0 1 0 453439283 6221824 1328 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1519 1328 231 231 0 1288 0
vsize: 6076
[startup+90.0024 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1410 0 0 0 8986 14 0 0 25 0 1 0 453439283 10416128 1406 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1406 231 231 0 2312 0
vsize: 10172
[startup+100.002 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1486 0 0 0 9986 14 0 0 25 0 1 0 453439283 10416128 1482 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1482 231 231 0 2312 0
vsize: 10172
[startup+110.002 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1568 0 0 0 10986 15 0 0 25 0 1 0 453439283 10416128 1564 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1564 231 231 0 2312 0
vsize: 10172
[startup+120.003 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1661 0 0 0 11985 15 0 0 25 0 1 0 453439283 10416128 1657 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1657 231 231 0 2312 0
vsize: 10172
[startup+130.002 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1736 0 0 0 12985 15 0 0 25 0 1 0 453439283 10416128 1732 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1732 231 231 0 2312 0
vsize: 10172
[startup+140.003 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1817 0 0 0 13985 16 0 0 25 0 1 0 453439283 10416128 1813 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1813 231 231 0 2312 0
vsize: 10172
[startup+150.003 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1890 0 0 0 14985 16 0 0 25 0 1 0 453439283 10416128 1886 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1886 231 231 0 2312 0
vsize: 10172
[startup+160.003 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 1964 0 0 0 15985 16 0 0 25 0 1 0 453439283 10416128 1960 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 1960 231 231 0 2312 0
vsize: 10172
[startup+170.003 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2039 0 0 0 16985 16 0 0 25 0 1 0 453439283 10416128 2035 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 2035 231 231 0 2312 0
vsize: 10172
[startup+180.003 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2120 0 0 0 17985 16 0 0 25 0 1 0 453439283 10416128 2116 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 2116 231 231 0 2312 0
vsize: 10172
[startup+190.003 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2198 0 0 0 18985 17 0 0 25 0 1 0 453439283 10416128 2194 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 2194 231 231 0 2312 0
vsize: 10172
[startup+200.004 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2271 0 0 0 19985 17 0 0 25 0 1 0 453439283 10416128 2267 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 2267 231 231 0 2312 0
vsize: 10172
[startup+210.003 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2350 0 0 0 20985 18 0 0 25 0 1 0 453439283 10416128 2346 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2543 2346 231 231 0 2312 0
vsize: 10172
[startup+220.004 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2424 0 0 0 21985 18 0 0 25 0 1 0 453439283 18804736 2420 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 2420 231 231 0 4360 0
vsize: 18364
[startup+230.004 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2505 0 0 0 22985 18 0 0 25 0 1 0 453439283 18804736 2501 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 2501 231 231 0 4360 0
vsize: 18364
[startup+240.004 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2620 0 0 0 23984 19 0 0 25 0 1 0 453439283 18804736 2616 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 2616 231 231 0 4360 0
vsize: 18364
[startup+250.005 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2748 0 0 0 24984 19 0 0 25 0 1 0 453439283 19001344 2695 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4639 2695 231 231 0 4408 0
vsize: 18556
[startup+260.005 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2832 0 0 0 25984 19 0 0 25 0 1 0 453439283 19001344 2779 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4639 2779 231 231 0 4408 0
vsize: 18556
[startup+270.006 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 2903 0 0 0 26984 19 0 0 25 0 1 0 453439283 19001344 2850 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4639 2850 231 231 0 4408 0
vsize: 18556
[startup+280.006 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3066 0 0 0 27981 22 0 0 25 0 1 0 453439283 19136512 3013 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 3013 231 231 0 4441 0
vsize: 18688
[startup+290.006 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3226 0 0 0 28979 25 0 0 25 0 1 0 453439283 19136512 3173 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 3173 231 231 0 4441 0
vsize: 18688
[startup+300.007 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3434 0 0 0 29975 29 0 0 25 0 1 0 453439283 19415040 3381 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3381 231 231 0 4509 0
vsize: 18960
[startup+310.007 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3548 0 0 0 30973 31 0 0 25 0 1 0 453439283 19415040 3495 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3495 231 231 0 4509 0
vsize: 18960
[startup+320.007 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3551 0 0 0 31972 32 0 0 25 0 1 0 453439283 19415040 3498 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3498 231 231 0 4509 0
vsize: 18960
[startup+330.008 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3561 0 0 0 32971 34 0 0 25 0 1 0 453439283 19415040 3508 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3508 231 231 0 4509 0
vsize: 18960
[startup+340.008 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3570 0 0 0 33971 34 0 0 25 0 1 0 453439283 19415040 3517 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3517 231 231 0 4509 0
vsize: 18960
[startup+350.008 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3573 0 0 0 34971 34 0 0 25 0 1 0 453439283 19415040 3520 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3520 231 231 0 4509 0
vsize: 18960
[startup+360.009 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3583 0 0 0 35971 34 0 0 25 0 1 0 453439283 19415040 3530 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3530 231 231 0 4509 0
vsize: 18960
[startup+370.01 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3592 0 0 0 36971 34 0 0 25 0 1 0 453439283 19570688 3539 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3539 231 231 0 4547 0
vsize: 19112
[startup+380.009 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3594 0 0 0 37971 35 0 0 25 0 1 0 453439283 19570688 3541 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3541 231 231 0 4547 0
vsize: 19112
[startup+390.009 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3604 0 0 0 38971 35 0 0 25 0 1 0 453439283 19570688 3551 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3551 231 231 0 4547 0
vsize: 19112
[startup+400.01 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3613 0 0 0 39971 35 0 0 25 0 1 0 453439283 19570688 3560 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3560 231 231 0 4547 0
vsize: 19112
[startup+410.01 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3623 0 0 0 40971 36 0 0 25 0 1 0 453439283 19570688 3570 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3570 231 231 0 4547 0
vsize: 19112
[startup+420.011 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3632 0 0 0 41970 36 0 0 25 0 1 0 453439283 19570688 3579 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 3579 231 231 0 4547 0
vsize: 19112
[startup+430.011 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3734 0 0 0 42970 37 0 0 25 0 1 0 453439283 19963904 3584 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 3584 231 231 0 4643 0
vsize: 19496
[startup+440.011 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3747 0 0 0 43969 38 0 0 25 0 1 0 453439283 20111360 3597 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4910 3597 231 231 0 4679 0
vsize: 19640
[startup+450.012 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3753 0 0 0 44969 38 0 0 25 0 1 0 453439283 20111360 3603 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4910 3603 231 231 0 4679 0
vsize: 19640
[startup+460.012 s]
Raw data (loadavg): 1.15 0.81 0.38 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3767 0 0 0 45969 39 0 0 25 0 1 0 453439283 20111360 3617 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4910 3617 231 231 0 4679 0
vsize: 19640
[startup+470.013 s]
Raw data (loadavg): 1.12 0.81 0.39 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3789 0 0 0 46968 39 0 0 25 0 1 0 453439283 20111360 3639 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4910 3639 231 231 0 4679 0
vsize: 19640
[startup+480.013 s]
Raw data (loadavg): 1.10 0.82 0.40 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3792 0 0 0 47968 39 0 0 25 0 1 0 453439283 20111360 3642 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4910 3642 231 231 0 4679 0
vsize: 19640
[startup+490.012 s]
Raw data (loadavg): 1.09 0.82 0.40 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3802 0 0 0 48969 39 0 0 25 0 1 0 453439283 20246528 3652 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 3652 231 231 0 4712 0
vsize: 19772
[startup+500.013 s]
Raw data (loadavg): 1.07 0.83 0.41 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3814 0 0 0 49968 40 0 0 25 0 1 0 453439283 20246528 3664 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 3664 231 231 0 4712 0
vsize: 19772
[startup+510.013 s]
Raw data (loadavg): 1.06 0.83 0.41 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3818 0 0 0 50969 40 0 0 25 0 1 0 453439283 20246528 3668 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 3668 231 231 0 4712 0
vsize: 19772
[startup+520.014 s]
Raw data (loadavg): 1.05 0.84 0.42 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3836 0 0 0 51967 42 0 0 25 0 1 0 453439283 20246528 3686 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 3686 231 231 0 4712 0
vsize: 19772
[startup+530.014 s]
Raw data (loadavg): 1.04 0.84 0.42 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3849 0 0 0 52967 42 0 0 25 0 1 0 453439283 20381696 3699 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4976 3699 231 231 0 4745 0
vsize: 19904
[startup+540.014 s]
Raw data (loadavg): 1.04 0.85 0.43 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3870 0 0 0 53965 44 0 0 25 0 1 0 453439283 20381696 3720 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4976 3720 231 231 0 4745 0
vsize: 19904
[startup+550.014 s]
Raw data (loadavg): 1.03 0.85 0.44 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3882 0 0 0 54965 44 0 0 25 0 1 0 453439283 20381696 3732 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4976 3732 231 231 0 4745 0
vsize: 19904
[startup+560.014 s]
Raw data (loadavg): 1.03 0.86 0.44 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3884 0 0 0 55965 44 0 0 25 0 1 0 453439283 20381696 3734 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4976 3734 231 231 0 4745 0
vsize: 19904
[startup+570.015 s]
Raw data (loadavg): 1.02 0.86 0.45 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3896 0 0 0 56965 45 0 0 25 0 1 0 453439283 20516864 3746 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5009 3746 231 231 0 4778 0
vsize: 20036
[startup+580.014 s]
Raw data (loadavg): 1.17 0.90 0.46 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3922 0 0 0 57959 51 0 0 25 0 1 0 453439283 20516864 3772 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5009 3772 231 231 0 4778 0
vsize: 20036
[startup+590.015 s]
Raw data (loadavg): 1.14 0.90 0.47 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3924 0 0 0 58959 51 0 0 25 0 1 0 453439283 20516864 3774 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5009 3774 231 231 0 4778 0
vsize: 20036
[startup+600.015 s]
Raw data (loadavg): 1.12 0.90 0.47 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3941 0 0 0 59959 51 0 0 25 0 1 0 453439283 20652032 3791 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3791 231 231 0 4811 0
vsize: 20168
[startup+610.016 s]
Raw data (loadavg): 1.10 0.91 0.48 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3943 0 0 0 60959 51 0 0 25 0 1 0 453439283 20652032 3793 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3793 231 231 0 4811 0
vsize: 20168
[startup+620.017 s]
Raw data (loadavg): 1.09 0.91 0.48 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3944 0 0 0 61959 51 0 0 25 0 1 0 453439283 20652032 3794 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3794 231 231 0 4811 0
vsize: 20168
[startup+630.017 s]
Raw data (loadavg): 1.07 0.91 0.49 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3946 0 0 0 62959 51 0 0 25 0 1 0 453439283 20652032 3796 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3796 231 231 0 4811 0
vsize: 20168
[startup+640.016 s]
Raw data (loadavg): 1.06 0.91 0.49 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3947 0 0 0 63959 51 0 0 25 0 1 0 453439283 20652032 3797 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3797 231 231 0 4811 0
vsize: 20168
[startup+650.017 s]
Raw data (loadavg): 1.05 0.92 0.50 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3948 0 0 0 64960 51 0 0 25 0 1 0 453439283 20652032 3798 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3798 231 231 0 4811 0
vsize: 20168
[startup+660.016 s]
Raw data (loadavg): 1.04 0.92 0.50 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3949 0 0 0 65960 51 0 0 25 0 1 0 453439283 20652032 3799 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3799 231 231 0 4811 0
vsize: 20168
[startup+670.017 s]
Raw data (loadavg): 1.04 0.92 0.51 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3949 0 0 0 66960 51 0 0 25 0 1 0 453439283 20652032 3799 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3799 231 231 0 4811 0
vsize: 20168
[startup+680.018 s]
Raw data (loadavg): 1.03 0.92 0.51 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3950 0 0 0 67960 51 0 0 25 0 1 0 453439283 20652032 3800 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3800 231 231 0 4811 0
vsize: 20168
[startup+690.018 s]
Raw data (loadavg): 1.02 0.92 0.52 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3950 0 0 0 68960 51 0 0 25 0 1 0 453439283 20652032 3800 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3800 231 231 0 4811 0
vsize: 20168
[startup+700.019 s]
Raw data (loadavg): 1.02 0.93 0.52 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3952 0 0 0 69961 51 0 0 25 0 1 0 453439283 20652032 3802 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3802 231 231 0 4811 0
vsize: 20168
[startup+710.019 s]
Raw data (loadavg): 1.02 0.93 0.53 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3952 0 0 0 70961 51 0 0 25 0 1 0 453439283 20652032 3802 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3802 231 231 0 4811 0
vsize: 20168
[startup+720.019 s]
Raw data (loadavg): 1.01 0.93 0.53 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3964 0 0 0 71961 51 0 0 25 0 1 0 453439283 20652032 3814 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3814 231 231 0 4811 0
vsize: 20168
[startup+730.019 s]
Raw data (loadavg): 1.01 0.93 0.54 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3965 0 0 0 72961 51 0 0 25 0 1 0 453439283 20652032 3815 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3815 231 231 0 4811 0
vsize: 20168
[startup+740.019 s]
Raw data (loadavg): 1.01 0.93 0.54 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3966 0 0 0 73961 52 0 0 25 0 1 0 453439283 20652032 3816 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3816 231 231 0 4811 0
vsize: 20168
[startup+750.02 s]
Raw data (loadavg): 1.01 0.94 0.55 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3969 0 0 0 74961 52 0 0 25 0 1 0 453439283 20652032 3819 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3819 231 231 0 4811 0
vsize: 20168
[startup+760.02 s]
Raw data (loadavg): 1.01 0.94 0.55 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3972 0 0 0 75961 52 0 0 25 0 1 0 453439283 20652032 3822 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3822 231 231 0 4811 0
vsize: 20168
[startup+770.02 s]
Raw data (loadavg): 1.00 0.94 0.56 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3976 0 0 0 76961 52 0 0 25 0 1 0 453439283 20652032 3826 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3826 231 231 0 4811 0
vsize: 20168
[startup+780.02 s]
Raw data (loadavg): 1.00 0.94 0.56 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3977 0 0 0 77961 52 0 0 25 0 1 0 453439283 20652032 3827 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3827 231 231 0 4811 0
vsize: 20168
[startup+790.02 s]
Raw data (loadavg): 1.00 0.94 0.56 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3977 0 0 0 78961 52 0 0 25 0 1 0 453439283 20652032 3827 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3827 231 231 0 4811 0
vsize: 20168
[startup+800.021 s]
Raw data (loadavg): 1.00 0.94 0.57 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3977 0 0 0 79962 52 0 0 25 0 1 0 453439283 20652032 3827 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3827 231 231 0 4811 0
vsize: 20168
[startup+810.021 s]
Raw data (loadavg): 1.00 0.94 0.57 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3977 0 0 0 80962 52 0 0 25 0 1 0 453439283 20652032 3827 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3827 231 231 0 4811 0
vsize: 20168
[startup+820.022 s]
Raw data (loadavg): 1.00 0.95 0.57 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3978 0 0 0 81962 52 0 0 25 0 1 0 453439283 20652032 3828 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3828 231 231 0 4811 0
vsize: 20168
[startup+830.021 s]
Raw data (loadavg): 1.00 0.95 0.58 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3979 0 0 0 82962 52 0 0 25 0 1 0 453439283 20652032 3829 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3829 231 231 0 4811 0
vsize: 20168
[startup+840.021 s]
Raw data (loadavg): 1.00 0.95 0.58 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3979 0 0 0 83962 52 0 0 25 0 1 0 453439283 20652032 3829 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3829 231 231 0 4811 0
vsize: 20168
[startup+850.022 s]
Raw data (loadavg): 1.00 0.95 0.59 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3980 0 0 0 84962 52 0 0 25 0 1 0 453439283 20652032 3830 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3830 231 231 0 4811 0
vsize: 20168
[startup+860.021 s]
Raw data (loadavg): 1.00 0.95 0.59 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3980 0 0 0 85963 52 0 0 25 0 1 0 453439283 20652032 3830 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3830 231 231 0 4811 0
vsize: 20168
[startup+870.022 s]
Raw data (loadavg): 1.00 0.95 0.59 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3980 0 0 0 86963 52 0 0 25 0 1 0 453439283 20652032 3830 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3830 231 231 0 4811 0
vsize: 20168
[startup+880.021 s]
Raw data (loadavg): 1.00 0.95 0.60 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3981 0 0 0 87963 52 0 0 25 0 1 0 453439283 20652032 3831 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3831 231 231 0 4811 0
vsize: 20168
[startup+890.021 s]
Raw data (loadavg): 1.00 0.95 0.60 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3982 0 0 0 88963 52 0 0 25 0 1 0 453439283 20652032 3832 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3832 231 231 0 4811 0
vsize: 20168
[startup+900.021 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3982 0 0 0 89963 52 0 0 25 0 1 0 453439283 20652032 3832 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3832 231 231 0 4811 0
vsize: 20168
[startup+910.021 s]
Raw data (loadavg): 1.00 0.95 0.61 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3982 0 0 0 90963 52 0 0 25 0 1 0 453439283 20652032 3832 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 3832 231 231 0 4811 0
vsize: 20168
[startup+920.021 s]
Raw data (loadavg): 1.00 0.96 0.61 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 3997 0 0 0 91963 52 0 0 25 0 1 0 453439283 20811776 3847 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3847 231 231 0 4850 0
vsize: 20324
[startup+930.022 s]
Raw data (loadavg): 1.00 0.96 0.62 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4001 0 0 0 92964 52 0 0 25 0 1 0 453439283 20811776 3851 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3851 231 231 0 4850 0
vsize: 20324
[startup+940.021 s]
Raw data (loadavg): 1.00 0.96 0.62 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4003 0 0 0 93964 53 0 0 25 0 1 0 453439283 20811776 3853 4294967295 134512640 135450300 3221224640 3221223248 134537675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3853 231 231 0 4850 0
vsize: 20324
[startup+950.022 s]
Raw data (loadavg): 1.00 0.96 0.63 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4005 0 0 0 94964 53 0 0 25 0 1 0 453439283 20811776 3855 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3855 231 231 0 4850 0
vsize: 20324
[startup+960.022 s]
Raw data (loadavg): 1.00 0.96 0.63 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4006 0 0 0 95964 53 0 0 25 0 1 0 453439283 20811776 3856 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3856 231 231 0 4850 0
vsize: 20324
[startup+970.023 s]
Raw data (loadavg): 1.00 0.96 0.63 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4006 0 0 0 96964 53 0 0 25 0 1 0 453439283 20811776 3856 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3856 231 231 0 4850 0
vsize: 20324
[startup+980.023 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4009 0 0 0 97964 53 0 0 25 0 1 0 453439283 20811776 3859 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3859 231 231 0 4850 0
vsize: 20324
[startup+990.024 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4009 0 0 0 98964 53 0 0 25 0 1 0 453439283 20811776 3859 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3859 231 231 0 4850 0
vsize: 20324
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.96 0.64 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4010 0 0 0 99965 53 0 0 25 0 1 0 453439283 20811776 3860 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3860 231 231 0 4850 0
vsize: 20324
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.96 0.65 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4010 0 0 0 100965 53 0 0 25 0 1 0 453439283 20811776 3860 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3860 231 231 0 4850 0
vsize: 20324
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4010 0 0 0 101965 53 0 0 25 0 1 0 453439283 20811776 3860 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3860 231 231 0 4850 0
vsize: 20324
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4012 0 0 0 102965 53 0 0 25 0 1 0 453439283 20811776 3862 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3862 231 231 0 4850 0
vsize: 20324
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.65 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4012 0 0 0 103965 53 0 0 25 0 1 0 453439283 20811776 3862 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3862 231 231 0 4850 0
vsize: 20324
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4024 0 0 0 104965 53 0 0 25 0 1 0 453439283 20811776 3874 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3874 231 231 0 4850 0
vsize: 20324
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4025 0 0 0 105965 53 0 0 25 0 1 0 453439283 20811776 3875 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3875 231 231 0 4850 0
vsize: 20324
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.97 0.66 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4027 0 0 0 106965 53 0 0 25 0 1 0 453439283 20811776 3877 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3877 231 231 0 4850 0
vsize: 20324
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4028 0 0 0 107965 54 0 0 25 0 1 0 453439283 20811776 3878 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3878 231 231 0 4850 0
vsize: 20324
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4028 0 0 0 108966 54 0 0 25 0 1 0 453439283 20811776 3878 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3878 231 231 0 4850 0
vsize: 20324
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.97 0.67 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4028 0 0 0 109966 54 0 0 25 0 1 0 453439283 20811776 3878 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3878 231 231 0 4850 0
vsize: 20324
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4030 0 0 0 110966 54 0 0 25 0 1 0 453439283 20811776 3880 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3880 231 231 0 4850 0
vsize: 20324
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4030 0 0 0 111966 54 0 0 25 0 1 0 453439283 20811776 3880 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3880 231 231 0 4850 0
vsize: 20324
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4030 0 0 0 112966 54 0 0 25 0 1 0 453439283 20811776 3880 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3880 231 231 0 4850 0
vsize: 20324
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.68 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4031 0 0 0 113968 54 0 0 25 0 1 0 453439283 20811776 3881 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3881 231 231 0 4850 0
vsize: 20324
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4031 0 0 0 114968 54 0 0 25 0 1 0 453439283 20811776 3881 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3881 231 231 0 4850 0
vsize: 20324
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4031 0 0 0 115968 54 0 0 25 0 1 0 453439283 20811776 3881 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3881 231 231 0 4850 0
vsize: 20324
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.69 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4031 0 0 0 116968 54 0 0 25 0 1 0 453439283 20811776 3881 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3881 231 231 0 4850 0
vsize: 20324
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4032 0 0 0 117969 54 0 0 25 0 1 0 453439283 20811776 3882 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3882 231 231 0 4850 0
vsize: 20324
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4032 0 0 0 118969 54 0 0 25 0 1 0 453439283 20811776 3882 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3882 231 231 0 4850 0
vsize: 20324
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.70 2/54 3822
Raw data (stat): 3822 (PBS4) R 3821 10720 10719 0 -1 0 4032 0 0 0 119969 54 0 0 25 0 1 0 453439283 20811776 3882 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 3882 231 231 0 4850 0
vsize: 20324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.70 1/54 3822
Raw data (stat): 3822 (PBS4) Z 3821 10720 10719 0 -1 1036 4032 0 0 0 119969 54 0 0 25 0 1 0 453439283 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.05
CPU time (s): 1200.24
CPU user time (s): 1199.7
CPU system time (s): 0.547916
CPU usage (%): 100.016
Max. virtual memory (Kb): 20324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####