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-count.b.opb
MD5SUM	f13ba9c997276002b5bd6db1f679a6f5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	24
Optimality of the best value was proved	NO
Number of terms in the objective function	467
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	467
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	467
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04584
Number of variables	466
Total number of constraints	694
Number of constraints which are clauses	694
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	78
Trace number 7687

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-17 15:40:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=582 boxname=wulflinc19 idbench=65 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  f13ba9c997276002b5bd6db1f679a6f5  /oldhome/oroussel/tmp/wulflinc19/normalized-count.b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc19/normalized-count.b.opb
IDLAUNCH: 582
/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:        827716 kB
Buffers:         36760 kB
Cached:         135312 kB
SwapCached:         36 kB
Active:          57584 kB
Inactive:       117488 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        827436 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           7040 kB
Slab:            26252 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:00:45 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 582 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc19/normalized-count.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/55 16163
Raw data (stat): 16163 (runsolver) R 16162 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 21 0 1 0 511665211 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.0005 s]
Raw data (loadavg): 0.15 0.03 0.01 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 366 0 0 0 993 6 0 0 25 0 1 0 511665211 2646016 362 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 646 362 231 231 0 415 0
vsize: 2584
[startup+20.0005 s]
Raw data (loadavg): 0.28 0.06 0.02 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 471 0 0 0 1993 6 0 0 25 0 1 0 511665211 2789376 467 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 681 467 231 231 0 450 0
vsize: 2724
[startup+30.0013 s]
Raw data (loadavg): 0.39 0.09 0.03 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 576 0 0 0 2993 7 0 0 25 0 1 0 511665211 3837952 572 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 937 572 231 231 0 706 0
vsize: 3748
[startup+40.0008 s]
Raw data (loadavg): 0.49 0.12 0.04 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 703 0 0 0 3992 7 0 0 25 0 1 0 511665211 3940352 699 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 962 699 231 231 0 731 0
vsize: 3848
[startup+50.0008 s]
Raw data (loadavg): 0.56 0.15 0.05 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 787 0 0 0 4992 8 0 0 25 0 1 0 511665211 3940352 783 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 962 783 231 231 0 731 0
vsize: 3848
[startup+60.0005 s]
Raw data (loadavg): 0.63 0.18 0.06 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 875 0 0 0 5992 8 0 0 25 0 1 0 511665211 6037504 871 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1474 871 231 231 0 1243 0
vsize: 5896
[startup+70 s]
Raw data (loadavg): 0.69 0.21 0.07 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 955 0 0 0 6992 8 0 0 25 0 1 0 511665211 6037504 951 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1474 951 231 231 0 1243 0
vsize: 5896
[startup+80.0011 s]
Raw data (loadavg): 0.73 0.23 0.08 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1033 0 0 0 7991 9 0 0 25 0 1 0 511665211 6037504 1029 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1474 1029 231 231 0 1243 0
vsize: 5896
[startup+90.0008 s]
Raw data (loadavg): 0.77 0.26 0.09 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1157 0 0 0 8991 10 0 0 25 0 1 0 511665211 6234112 1104 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1522 1104 231 231 0 1291 0
vsize: 6088
[startup+100 s]
Raw data (loadavg): 0.81 0.28 0.10 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1220 0 0 0 9990 10 0 0 25 0 1 0 511665211 6234112 1167 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1522 1167 231 231 0 1291 0
vsize: 6088
[startup+110.001 s]
Raw data (loadavg): 0.84 0.30 0.11 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1316 0 0 0 10990 11 0 0 25 0 1 0 511665211 6369280 1263 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1555 1263 231 231 0 1324 0
vsize: 6220
[startup+120.001 s]
Raw data (loadavg): 0.86 0.33 0.12 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1359 0 0 0 11989 11 0 0 25 0 1 0 511665211 6369280 1306 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1555 1306 231 231 0 1324 0
vsize: 6220
[startup+130.002 s]
Raw data (loadavg): 0.89 0.36 0.13 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1421 0 0 0 12989 12 0 0 25 0 1 0 511665211 6369280 1368 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1555 1368 231 231 0 1324 0
vsize: 6220
[startup+140.002 s]
Raw data (loadavg): 0.91 0.38 0.14 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1511 0 0 0 13989 12 0 0 25 0 1 0 511665211 10698752 1458 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2612 1458 231 231 0 2381 0
vsize: 10448
[startup+150.002 s]
Raw data (loadavg): 0.92 0.40 0.15 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1554 0 0 0 14989 13 0 0 25 0 1 0 511665211 10698752 1501 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2612 1501 231 231 0 2381 0
vsize: 10448
[startup+160.002 s]
Raw data (loadavg): 0.93 0.42 0.15 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1603 0 0 0 15989 13 0 0 25 0 1 0 511665211 10833920 1550 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2645 1550 231 231 0 2414 0
vsize: 10580
[startup+170.002 s]
Raw data (loadavg): 0.94 0.44 0.16 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1703 0 0 0 16988 14 0 0 25 0 1 0 511665211 10833920 1650 4294967295 134512640 135450300 3221224640 3221223376 134537879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2645 1650 231 231 0 2414 0
vsize: 10580
[startup+180.004 s]
Raw data (loadavg): 0.95 0.45 0.17 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1825 0 0 0 17987 15 0 0 25 0 1 0 511665211 10969088 1772 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2678 1772 231 231 0 2447 0
vsize: 10712
[startup+190.004 s]
Raw data (loadavg): 0.96 0.47 0.18 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1871 0 0 0 18987 15 0 0 25 0 1 0 511665211 10969088 1818 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2678 1818 231 231 0 2447 0
vsize: 10712
[startup+200.004 s]
Raw data (loadavg): 0.96 0.49 0.19 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1886 0 0 0 19987 15 0 0 25 0 1 0 511665211 10969088 1833 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2678 1833 231 231 0 2447 0
vsize: 10712
[startup+210.005 s]
Raw data (loadavg): 0.97 0.51 0.20 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 1908 0 0 0 20987 16 0 0 25 0 1 0 511665211 11104256 1855 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2711 1855 231 231 0 2480 0
vsize: 10844
[startup+220.004 s]
Raw data (loadavg): 0.97 0.52 0.20 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2020 0 0 0 21986 17 0 0 25 0 1 0 511665211 11497472 1870 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2807 1870 231 231 0 2576 0
vsize: 11228
[startup+230.005 s]
Raw data (loadavg): 0.98 0.54 0.21 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2080 0 0 0 22986 18 0 0 25 0 1 0 511665211 11632640 1930 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2840 1930 231 231 0 2609 0
vsize: 11360
[startup+240.004 s]
Raw data (loadavg): 0.98 0.55 0.22 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2138 0 0 0 23985 18 0 0 25 0 1 0 511665211 11632640 1988 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2840 1988 231 231 0 2609 0
vsize: 11360
[startup+250.004 s]
Raw data (loadavg): 0.98 0.57 0.23 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2162 0 0 0 24985 19 0 0 25 0 1 0 511665211 11776000 2012 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2875 2012 231 231 0 2644 0
vsize: 11500
[startup+260.005 s]
Raw data (loadavg): 0.98 0.58 0.24 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2179 0 0 0 25984 20 0 0 25 0 1 0 511665211 11776000 2029 4294967295 134512640 135450300 3221224640 3221223456 134536559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2875 2029 231 231 0 2644 0
vsize: 11500
[startup+270.005 s]
Raw data (loadavg): 0.99 0.59 0.24 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2187 0 0 0 26983 20 0 0 25 0 1 0 511665211 11776000 2037 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2875 2037 231 231 0 2644 0
vsize: 11500
[startup+280.005 s]
Raw data (loadavg): 0.99 0.61 0.25 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2200 0 0 0 27983 21 0 0 25 0 1 0 511665211 11927552 2050 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2912 2050 231 231 0 2681 0
vsize: 11648
[startup+290.005 s]
Raw data (loadavg): 0.99 0.62 0.26 2/55 16163
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2212 0 0 0 28982 22 0 0 25 0 1 0 511665211 11927552 2062 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2912 2062 231 231 0 2681 0
vsize: 11648
[startup+300.005 s]
Raw data (loadavg): 0.99 0.63 0.27 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2239 0 0 0 29982 23 0 0 25 0 1 0 511665211 12066816 2089 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2089 231 231 0 2715 0
vsize: 11784
[startup+310.005 s]
Raw data (loadavg): 0.99 0.64 0.28 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2244 0 0 0 30981 23 0 0 25 0 1 0 511665211 12066816 2094 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2094 231 231 0 2715 0
vsize: 11784
[startup+320.006 s]
Raw data (loadavg): 0.99 0.65 0.28 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2257 0 0 0 31981 24 0 0 25 0 1 0 511665211 12066816 2107 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2107 231 231 0 2715 0
vsize: 11784
[startup+330.006 s]
Raw data (loadavg): 0.99 0.66 0.29 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2271 0 0 0 32980 25 0 0 25 0 1 0 511665211 12066816 2121 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2946 2121 231 231 0 2715 0
vsize: 11784
[startup+340.006 s]
Raw data (loadavg): 0.99 0.67 0.30 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2284 0 0 0 33979 26 0 0 25 0 1 0 511665211 12210176 2134 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2981 2134 231 231 0 2750 0
vsize: 11924
[startup+350.006 s]
Raw data (loadavg): 0.99 0.68 0.30 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2299 0 0 0 34978 27 0 0 25 0 1 0 511665211 12210176 2149 4294967295 134512640 135450300 3221224640 3221223376 134538663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2981 2149 231 231 0 2750 0
vsize: 11924
[startup+360.006 s]
Raw data (loadavg): 0.99 0.69 0.31 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2321 0 0 0 35978 27 0 0 25 0 1 0 511665211 12210176 2171 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2981 2171 231 231 0 2750 0
vsize: 11924
[startup+370.006 s]
Raw data (loadavg): 0.99 0.70 0.32 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2335 0 0 0 36977 29 0 0 25 0 1 0 511665211 12345344 2185 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2185 231 231 0 2783 0
vsize: 12056
[startup+380.006 s]
Raw data (loadavg): 0.99 0.71 0.32 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2350 0 0 0 37976 30 0 0 25 0 1 0 511665211 12345344 2200 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2200 231 231 0 2783 0
vsize: 12056
[startup+390.007 s]
Raw data (loadavg): 0.99 0.72 0.33 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2362 0 0 0 38975 31 0 0 25 0 1 0 511665211 12345344 2212 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2212 231 231 0 2783 0
vsize: 12056
[startup+400.006 s]
Raw data (loadavg): 0.99 0.73 0.34 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2377 0 0 0 39973 33 0 0 25 0 1 0 511665211 12345344 2227 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2227 231 231 0 2783 0
vsize: 12056
[startup+410.006 s]
Raw data (loadavg): 0.99 0.74 0.34 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2386 0 0 0 40972 35 0 0 25 0 1 0 511665211 12484608 2236 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3048 2236 231 231 0 2817 0
vsize: 12192
[startup+420.006 s]
Raw data (loadavg): 0.99 0.75 0.35 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2402 0 0 0 41969 37 0 0 25 0 1 0 511665211 12484608 2252 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3048 2252 231 231 0 2817 0
vsize: 12192
[startup+430.006 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2619 0 0 0 42967 39 0 0 25 0 1 0 511665211 13271040 2276 4294967295 134512640 135450300 3221224640 3221223360 134535997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3240 2276 231 231 0 3009 0
vsize: 12960
[startup+440.007 s]
Raw data (loadavg): 0.99 0.76 0.36 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2632 0 0 0 43967 40 0 0 25 0 1 0 511665211 13402112 2289 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 2289 231 231 0 3041 0
vsize: 13088
[startup+450.006 s]
Raw data (loadavg): 0.99 0.77 0.37 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2647 0 0 0 44964 43 0 0 25 0 1 0 511665211 13402112 2304 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 2304 231 231 0 3041 0
vsize: 13088
[startup+460.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2660 0 0 0 45963 44 0 0 25 0 1 0 511665211 13402112 2317 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 2317 231 231 0 3041 0
vsize: 13088
[startup+470.007 s]
Raw data (loadavg): 0.99 0.78 0.38 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2673 0 0 0 46962 45 0 0 25 0 1 0 511665211 13402112 2330 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 2330 231 231 0 3041 0
vsize: 13088
[startup+480.008 s]
Raw data (loadavg): 0.99 0.79 0.39 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2682 0 0 0 47962 46 0 0 25 0 1 0 511665211 13402112 2339 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3272 2339 231 231 0 3041 0
vsize: 13088
[startup+490.007 s]
Raw data (loadavg): 0.99 0.80 0.39 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2688 0 0 0 48961 47 0 0 25 0 1 0 511665211 13537280 2345 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3305 2345 231 231 0 3074 0
vsize: 13220
[startup+500.007 s]
Raw data (loadavg): 0.99 0.80 0.40 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2696 0 0 0 49961 47 0 0 25 0 1 0 511665211 13537280 2353 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3305 2353 231 231 0 3074 0
vsize: 13220
[startup+510.008 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2710 0 0 0 50960 48 0 0 25 0 1 0 511665211 13537280 2367 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3305 2367 231 231 0 3074 0
vsize: 13220
[startup+520.007 s]
Raw data (loadavg): 0.99 0.81 0.41 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2729 0 0 0 51959 50 0 0 25 0 1 0 511665211 13680640 2386 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2386 231 231 0 3109 0
vsize: 13360
[startup+530.008 s]
Raw data (loadavg): 0.99 0.82 0.42 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2734 0 0 0 52958 50 0 0 25 0 1 0 511665211 13680640 2391 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2391 231 231 0 3109 0
vsize: 13360
[startup+540.008 s]
Raw data (loadavg): 0.99 0.83 0.42 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2743 0 0 0 53957 52 0 0 25 0 1 0 511665211 13680640 2400 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2400 231 231 0 3109 0
vsize: 13360
[startup+550.008 s]
Raw data (loadavg): 0.99 0.83 0.43 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2756 0 0 0 54957 52 0 0 25 0 1 0 511665211 13680640 2413 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2413 231 231 0 3109 0
vsize: 13360
[startup+560.008 s]
Raw data (loadavg): 0.99 0.84 0.43 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2781 0 0 0 55955 54 0 0 25 0 1 0 511665211 13680640 2438 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2438 231 231 0 3109 0
vsize: 13360
[startup+570.009 s]
Raw data (loadavg): 0.99 0.84 0.44 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2795 0 0 0 56954 55 0 0 25 0 1 0 511665211 13869056 2452 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2452 231 231 0 3155 0
vsize: 13544
[startup+580.009 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2804 0 0 0 57954 56 0 0 25 0 1 0 511665211 13869056 2461 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2461 231 231 0 3155 0
vsize: 13544
[startup+590.009 s]
Raw data (loadavg): 0.99 0.85 0.45 2/55 16165
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2816 0 0 0 58953 56 0 0 25 0 1 0 511665211 13869056 2473 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2473 231 231 0 3155 0
vsize: 13544
[startup+600.009 s]
Raw data (loadavg): 0.99 0.85 0.46 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2831 0 0 0 59952 58 0 0 25 0 1 0 511665211 13869056 2488 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2488 231 231 0 3155 0
vsize: 13544
[startup+610.009 s]
Raw data (loadavg): 0.99 0.86 0.46 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2833 0 0 0 60952 58 0 0 25 0 1 0 511665211 13869056 2490 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3386 2490 231 231 0 3155 0
vsize: 13544
[startup+620.01 s]
Raw data (loadavg): 0.99 0.86 0.47 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2846 0 0 0 61952 59 0 0 25 0 1 0 511665211 14000128 2503 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2503 231 231 0 3187 0
vsize: 13672
[startup+630.01 s]
Raw data (loadavg): 0.99 0.87 0.47 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2864 0 0 0 62951 60 0 0 25 0 1 0 511665211 14000128 2521 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2521 231 231 0 3187 0
vsize: 13672
[startup+640.01 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2867 0 0 0 63950 60 0 0 25 0 1 0 511665211 14000128 2524 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2524 231 231 0 3187 0
vsize: 13672
[startup+650.01 s]
Raw data (loadavg): 0.99 0.87 0.48 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2882 0 0 0 64949 62 0 0 25 0 1 0 511665211 14000128 2539 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2539 231 231 0 3187 0
vsize: 13672
[startup+660.011 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2897 0 0 0 65948 63 0 0 25 0 1 0 511665211 14135296 2554 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2554 231 231 0 3220 0
vsize: 13804
[startup+670.012 s]
Raw data (loadavg): 0.99 0.88 0.49 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2908 0 0 0 66946 65 0 0 25 0 1 0 511665211 14135296 2565 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2565 231 231 0 3220 0
vsize: 13804
[startup+680.012 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2917 0 0 0 67946 66 0 0 25 0 1 0 511665211 14135296 2574 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2574 231 231 0 3220 0
vsize: 13804
[startup+690.013 s]
Raw data (loadavg): 0.99 0.89 0.50 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2926 0 0 0 68945 67 0 0 25 0 1 0 511665211 14135296 2583 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2583 231 231 0 3220 0
vsize: 13804
[startup+700.012 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2935 0 0 0 69944 68 0 0 25 0 1 0 511665211 14135296 2592 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2592 231 231 0 3220 0
vsize: 13804
[startup+710.013 s]
Raw data (loadavg): 0.99 0.89 0.51 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2940 0 0 0 70944 68 0 0 25 0 1 0 511665211 14135296 2597 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2597 231 231 0 3220 0
vsize: 13804
[startup+720.013 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2952 0 0 0 71943 69 0 0 25 0 1 0 511665211 14135296 2609 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3451 2609 231 231 0 3220 0
vsize: 13804
[startup+730.013 s]
Raw data (loadavg): 0.99 0.90 0.52 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2964 0 0 0 72943 70 0 0 25 0 1 0 511665211 14266368 2621 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2621 231 231 0 3252 0
vsize: 13932
[startup+740.015 s]
Raw data (loadavg): 0.99 0.90 0.53 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2972 0 0 0 73942 71 0 0 25 0 1 0 511665211 14266368 2629 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2629 231 231 0 3252 0
vsize: 13932
[startup+750.014 s]
Raw data (loadavg): 0.99 0.91 0.53 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2980 0 0 0 74941 72 0 0 25 0 1 0 511665211 14266368 2637 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2637 231 231 0 3252 0
vsize: 13932
[startup+760.015 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2988 0 0 0 75941 72 0 0 25 0 1 0 511665211 14266368 2645 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2645 231 231 0 3252 0
vsize: 13932
[startup+770.015 s]
Raw data (loadavg): 0.99 0.91 0.54 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2990 0 0 0 76941 72 0 0 25 0 1 0 511665211 14266368 2647 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2647 231 231 0 3252 0
vsize: 13932
[startup+780.015 s]
Raw data (loadavg): 0.99 0.91 0.55 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 2998 0 0 0 77940 74 0 0 25 0 1 0 511665211 14266368 2655 4294967295 134512640 135450300 3221224640 3221223376 134538669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2655 231 231 0 3252 0
vsize: 13932
[startup+790.015 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3007 0 0 0 78939 75 0 0 25 0 1 0 511665211 14266368 2664 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2664 231 231 0 3252 0
vsize: 13932
[startup+800.015 s]
Raw data (loadavg): 0.99 0.92 0.55 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3015 0 0 0 79938 76 0 0 25 0 1 0 511665211 14266368 2672 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2672 231 231 0 3252 0
vsize: 13932
[startup+810.016 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3025 0 0 0 80937 77 0 0 25 0 1 0 511665211 14450688 2682 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3528 2682 231 231 0 3297 0
vsize: 14112
[startup+820.015 s]
Raw data (loadavg): 0.99 0.92 0.56 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3034 0 0 0 81936 78 0 0 25 0 1 0 511665211 14450688 2691 4294967295 134512640 135450300 3221224640 3221223456 134547452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3528 2691 231 231 0 3297 0
vsize: 14112
[startup+830.015 s]
Raw data (loadavg): 0.99 0.92 0.57 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3051 0 0 0 82935 79 0 0 25 0 1 0 511665211 14450688 2708 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3528 2708 231 231 0 3297 0
vsize: 14112
[startup+840.016 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3055 0 0 0 83934 81 0 0 25 0 1 0 511665211 14450688 2712 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3528 2712 231 231 0 3297 0
vsize: 14112
[startup+850.015 s]
Raw data (loadavg): 0.99 0.93 0.57 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3064 0 0 0 84933 82 0 0 25 0 1 0 511665211 14450688 2721 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3528 2721 231 231 0 3297 0
vsize: 14112
[startup+860.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3081 0 0 0 85933 82 0 0 25 0 1 0 511665211 14585856 2738 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2738 231 231 0 3330 0
vsize: 14244
[startup+870.016 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3088 0 0 0 86932 83 0 0 25 0 1 0 511665211 14585856 2745 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2745 231 231 0 3330 0
vsize: 14244
[startup+880.017 s]
Raw data (loadavg): 0.99 0.93 0.58 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3097 0 0 0 87930 85 0 0 25 0 1 0 511665211 14585856 2754 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2754 231 231 0 3330 0
vsize: 14244
[startup+890.017 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 16167
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3487 0 0 0 88929 87 0 0 25 0 1 0 511665211 16158720 2759 4294967295 134512640 135450300 3221224640 3221223504 134539156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 2759 231 231 0 3714 0
vsize: 15780
[startup+900.017 s]
Raw data (loadavg): 0.99 0.94 0.59 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3496 0 0 0 89928 88 0 0 25 0 1 0 511665211 16158720 2768 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 2768 231 231 0 3714 0
vsize: 15780
[startup+910.017 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3505 0 0 0 90927 89 0 0 25 0 1 0 511665211 16158720 2777 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 2777 231 231 0 3714 0
vsize: 15780
[startup+920.017 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3514 0 0 0 91927 89 0 0 25 0 1 0 511665211 16158720 2786 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 2786 231 231 0 3714 0
vsize: 15780
[startup+930.018 s]
Raw data (loadavg): 0.99 0.94 0.60 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3523 0 0 0 92926 90 0 0 25 0 1 0 511665211 16158720 2795 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 2795 231 231 0 3714 0
vsize: 15780
[startup+940.017 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3536 0 0 0 93926 91 0 0 25 0 1 0 511665211 16158720 2808 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 2808 231 231 0 3714 0
vsize: 15780
[startup+950.017 s]
Raw data (loadavg): 0.99 0.94 0.61 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3543 0 0 0 94926 91 0 0 25 0 1 0 511665211 16371712 2815 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2815 231 231 0 3766 0
vsize: 15988
[startup+960.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3554 0 0 0 95926 91 0 0 25 0 1 0 511665211 16371712 2826 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2826 231 231 0 3766 0
vsize: 15988
[startup+970.018 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3562 0 0 0 96925 92 0 0 25 0 1 0 511665211 16371712 2834 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2834 231 231 0 3766 0
vsize: 15988
[startup+980.019 s]
Raw data (loadavg): 0.99 0.95 0.62 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3571 0 0 0 97925 93 0 0 25 0 1 0 511665211 16371712 2843 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2843 231 231 0 3766 0
vsize: 15988
[startup+990.019 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3580 0 0 0 98924 94 0 0 25 0 1 0 511665211 16371712 2852 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2852 231 231 0 3766 0
vsize: 15988
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.95 0.63 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3586 0 0 0 99923 95 0 0 25 0 1 0 511665211 16371712 2858 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2858 231 231 0 3766 0
vsize: 15988
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3597 0 0 0 100921 97 0 0 25 0 1 0 511665211 16371712 2869 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3997 2869 231 231 0 3766 0
vsize: 15988
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3607 0 0 0 101921 97 0 0 25 0 1 0 511665211 16535552 2879 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2879 231 231 0 3806 0
vsize: 16148
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3616 0 0 0 102921 98 0 0 25 0 1 0 511665211 16535552 2888 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2888 231 231 0 3806 0
vsize: 16148
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3625 0 0 0 103920 99 0 0 25 0 1 0 511665211 16535552 2897 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2897 231 231 0 3806 0
vsize: 16148
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3636 0 0 0 104919 100 0 0 25 0 1 0 511665211 16535552 2908 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2908 231 231 0 3806 0
vsize: 16148
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3649 0 0 0 105917 102 0 0 25 0 1 0 511665211 16535552 2921 4294967295 134512640 135450300 3221224640 3221223472 134549443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2921 231 231 0 3806 0
vsize: 16148
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.96 0.65 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3658 0 0 0 106917 102 0 0 25 0 1 0 511665211 16535552 2930 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2930 231 231 0 3806 0
vsize: 16148
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3667 0 0 0 107917 103 0 0 25 0 1 0 511665211 16535552 2939 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2939 231 231 0 3806 0
vsize: 16148
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3674 0 0 0 108916 104 0 0 25 0 1 0 511665211 16535552 2946 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2946 231 231 0 3806 0
vsize: 16148
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.96 0.66 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3679 0 0 0 109915 105 0 0 25 0 1 0 511665211 16535552 2951 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2951 231 231 0 3806 0
vsize: 16148
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3692 0 0 0 110915 105 0 0 25 0 1 0 511665211 16666624 2964 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 2964 231 231 0 3838 0
vsize: 16276
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3701 0 0 0 111915 106 0 0 25 0 1 0 511665211 16666624 2973 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 2973 231 231 0 3838 0
vsize: 16276
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3711 0 0 0 112914 107 0 0 25 0 1 0 511665211 16666624 2983 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 2983 231 231 0 3838 0
vsize: 16276
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3721 0 0 0 113913 107 0 0 25 0 1 0 511665211 16666624 2993 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 2993 231 231 0 3838 0
vsize: 16276
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3728 0 0 0 114913 108 0 0 25 0 1 0 511665211 16666624 3000 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 3000 231 231 0 3838 0
vsize: 16276
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 16169
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3735 0 0 0 115913 108 0 0 25 0 1 0 511665211 16666624 3007 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 3007 231 231 0 3838 0
vsize: 16276
[startup+1170.03 s]
Raw data (loadavg): 1.07 0.98 0.69 3/58 16208
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3742 0 0 0 116910 110 0 0 25 0 1 0 511665211 16666624 3014 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 3014 231 231 0 3838 0
vsize: 16276
[startup+1180.06 s]
Raw data (loadavg): 1.14 1.00 0.70 3/58 16213
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3746 0 0 0 117912 112 0 0 25 0 1 0 511665211 16666624 3018 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 3018 231 231 0 3838 0
vsize: 16276
[startup+1190.2 s]
Raw data (loadavg): 1.19 1.02 0.70 2/55 16222
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3754 0 0 0 118925 113 0 0 25 0 1 0 511665211 16666624 3026 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 3026 231 231 0 3838 0
vsize: 16276
[startup+1200.2 s]
Raw data (loadavg): 1.16 1.01 0.71 2/55 16224
Raw data (stat): 16163 (PBS4) R 16162 22929 22928 0 -1 0 3762 0 0 0 119925 114 0 0 25 0 1 0 511665211 16666624 3034 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4069 3034 231 231 0 3838 0
vsize: 16276
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.16 1.01 0.71 1/55 16224
Raw data (stat): 16163 (PBS4) Z 16162 22929 22928 0 -1 1036 3762 0 0 0 119925 114 0 0 25 0 1 0 511665211 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.21
CPU time (s): 1200.4
CPU user time (s): 1199.25
CPU system time (s): 1.14882
CPU usage (%): 100.016
Max. virtual memory (Kb): 16276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####