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/synthesis-ptl-cmos-circuits/normalized-cmb.opb
MD5SUM	a8596c98551f801a6658f1ce91b33278
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1053
Optimality of the best value was proved	NO
Number of terms in the objective function	304
Biggest coefficient in the objective function	61
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	12887
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	61
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	12887
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.97785
Number of variables	304
Total number of constraints	671
Number of constraints which are clauses	671
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	1
Maximum length of a constraint	28
Trace number 7859

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-17 16:39:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2274 boxname=wulflinc7 idbench=253 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  a8596c98551f801a6658f1ce91b33278  /oldhome/oroussel/tmp/wulflinc7/normalized-cmb.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc7/normalized-cmb.opb
IDLAUNCH: 2274
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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.050
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:        808648 kB
Buffers:         39216 kB
Cached:         165940 kB
SwapCached:          0 kB
Active:         110112 kB
Inactive:        97948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        808396 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            12420 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:59:38 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 2274 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc7/normalized-cmb.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.84 0.94 0.90 2/54 15742
Raw data (stat): 15742 (runsolver) R 15741 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453806863 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99995 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 489 0 0 0 995 3 0 0 25 0 1 0 453806863 3596288 485 4294967295 134512640 135450300 3221224656 3221223264 134537633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 878 485 231 231 0 647 0
vsize: 3512
[startup+19.9999 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 978 0 0 0 1992 6 0 0 25 0 1 0 453806863 6029312 974 4294967295 134512640 135450300 3221224656 3221223488 134549301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1472 974 231 231 0 1241 0
vsize: 5888
[startup+30.0002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1152 0 0 0 2991 8 0 0 25 0 1 0 453806863 6361088 1099 4294967295 134512640 135450300 3221224656 3221223376 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1553 1099 231 231 0 1322 0
vsize: 6212
[startup+39.9998 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1224 0 0 0 3989 10 0 0 25 0 1 0 453806863 6361088 1171 4294967295 134512640 135450300 3221224656 3221223264 134537667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1553 1171 231 231 0 1322 0
vsize: 6212
[startup+50.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1429 0 0 0 4988 11 0 0 25 0 1 0 453806863 6885376 1279 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1681 1279 231 231 0 1450 0
vsize: 6724
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1519 0 0 0 5987 13 0 0 25 0 1 0 453806863 7016448 1369 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1713 1369 231 231 0 1482 0
vsize: 6852
[startup+69.9997 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1587 0 0 0 6986 14 0 0 25 0 1 0 453806863 7016448 1437 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1713 1437 231 231 0 1482 0
vsize: 6852
[startup+80.0007 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1749 0 0 0 7984 16 0 0 25 0 1 0 453806863 11345920 1599 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2770 1599 231 231 0 2539 0
vsize: 11080
[startup+90.0003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1792 0 0 0 8984 16 0 0 25 0 1 0 453806863 11476992 1642 4294967295 134512640 135450300 3221224656 3221223376 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2802 1642 231 231 0 2571 0
vsize: 11208
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1888 0 0 0 9982 18 0 0 25 0 1 0 453806863 11476992 1738 4294967295 134512640 135450300 3221224656 3221223488 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2802 1738 231 231 0 2571 0
vsize: 11208
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 1947 0 0 0 10982 19 0 0 25 0 1 0 453806863 11612160 1797 4294967295 134512640 135450300 3221224656 3221223376 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2835 1797 231 231 0 2604 0
vsize: 11340
[startup+120 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2184 0 0 0 11980 21 0 0 25 0 1 0 453806863 12533760 1841 4294967295 134512640 135450300 3221224656 3221223376 134535791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 1841 231 231 0 2829 0
vsize: 12240
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2209 0 0 0 12979 22 0 0 25 0 1 0 453806863 12533760 1866 4294967295 134512640 135450300 3221224656 3221223392 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 1866 231 231 0 2829 0
vsize: 12240
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2232 0 0 0 13978 23 0 0 25 0 1 0 453806863 12668928 1889 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3093 1889 231 231 0 2862 0
vsize: 12372
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2283 0 0 0 14977 24 0 0 25 0 1 0 453806863 12668928 1940 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3093 1940 231 231 0 2862 0
vsize: 12372
[startup+160 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2399 0 0 0 15976 25 0 0 25 0 1 0 453806863 12668928 2056 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3093 2056 231 231 0 2862 0
vsize: 12372
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2427 0 0 0 16976 26 0 0 25 0 1 0 453806863 12836864 2084 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 2084 231 231 0 2903 0
vsize: 12536
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2460 0 0 0 17976 26 0 0 25 0 1 0 453806863 12836864 2117 4294967295 134512640 135450300 3221224656 3221223376 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 2117 231 231 0 2903 0
vsize: 12536
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2482 0 0 0 18975 27 0 0 25 0 1 0 453806863 12836864 2139 4294967295 134512640 135450300 3221224656 3221223376 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3134 2139 231 231 0 2903 0
vsize: 12536
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2550 0 0 0 19974 28 0 0 25 0 1 0 453806863 13017088 2207 4294967295 134512640 135450300 3221224656 3221223376 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3178 2207 231 231 0 2947 0
vsize: 12712
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2731 0 0 0 20973 30 0 0 25 0 1 0 453806863 13017088 2388 4294967295 134512640 135450300 3221224656 3221223488 134549846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3178 2388 231 231 0 2947 0
vsize: 12712
[startup+220 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2784 0 0 0 21971 31 0 0 25 0 1 0 453806863 13152256 2441 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3211 2441 231 231 0 2980 0
vsize: 12844
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2816 0 0 0 22971 32 0 0 25 0 1 0 453806863 13307904 2473 4294967295 134512640 135450300 3221224656 3221223472 134536504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3249 2473 231 231 0 3018 0
vsize: 12996
[startup+240 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2839 0 0 0 23970 33 0 0 25 0 1 0 453806863 13307904 2496 4294967295 134512640 135450300 3221224656 3221223488 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3249 2496 231 231 0 3018 0
vsize: 12996
[startup+250 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2858 0 0 0 24969 34 0 0 25 0 1 0 453806863 13307904 2515 4294967295 134512640 135450300 3221224656 3221223392 134538443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3249 2515 231 231 0 3018 0
vsize: 12996
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2885 0 0 0 25968 35 0 0 25 0 1 0 453806863 13475840 2542 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3290 2542 231 231 0 3059 0
vsize: 13160
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 2912 0 0 0 26967 36 0 0 25 0 1 0 453806863 13475840 2569 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3290 2569 231 231 0 3059 0
vsize: 13160
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3046 0 0 0 27966 37 0 0 25 0 1 0 453806863 13635584 2703 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3329 2703 231 231 0 3098 0
vsize: 13316
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3174 0 0 0 28965 39 0 0 25 0 1 0 453806863 13635584 2831 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3329 2831 231 231 0 3098 0
vsize: 13316
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3579 0 0 0 29963 41 0 0 25 0 1 0 453806863 15208448 2851 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2851 231 231 0 3482 0
vsize: 14852
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3601 0 0 0 30962 42 0 0 25 0 1 0 453806863 15343616 2873 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3746 2873 231 231 0 3515 0
vsize: 14984
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3621 0 0 0 31962 42 0 0 25 0 1 0 453806863 15343616 2893 4294967295 134512640 135450300 3221224656 3221223376 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3746 2893 231 231 0 3515 0
vsize: 14984
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3642 0 0 0 32961 43 0 0 25 0 1 0 453806863 15343616 2914 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3746 2914 231 231 0 3515 0
vsize: 14984
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3663 0 0 0 33961 44 0 0 25 0 1 0 453806863 15552512 2935 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3797 2935 231 231 0 3566 0
vsize: 15188
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3686 0 0 0 34960 45 0 0 25 0 1 0 453806863 15552512 2958 4294967295 134512640 135450300 3221224656 3221223392 134538459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3797 2958 231 231 0 3566 0
vsize: 15188
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3705 0 0 0 35959 46 0 0 25 0 1 0 453806863 15552512 2977 4294967295 134512640 135450300 3221224656 3221223376 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3797 2977 231 231 0 3566 0
vsize: 15188
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3735 0 0 0 36957 48 0 0 25 0 1 0 453806863 15552512 3007 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3797 3007 231 231 0 3566 0
vsize: 15188
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3763 0 0 0 37956 49 0 0 25 0 1 0 453806863 15687680 3035 4294967295 134512640 135450300 3221224656 3221223392 134538654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3830 3035 231 231 0 3599 0
vsize: 15320
[startup+390 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3788 0 0 0 38955 51 0 0 25 0 1 0 453806863 15687680 3060 4294967295 134512640 135450300 3221224656 3221223376 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3830 3060 231 231 0 3599 0
vsize: 15320
[startup+400.001 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3824 0 0 0 39954 52 0 0 25 0 1 0 453806863 15826944 3096 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3096 231 231 0 3633 0
vsize: 15456
[startup+410.001 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3849 0 0 0 40953 53 0 0 25 0 1 0 453806863 15826944 3121 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3121 231 231 0 3633 0
vsize: 15456
[startup+420 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3884 0 0 0 41953 53 0 0 25 0 1 0 453806863 16113664 3156 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3934 3156 231 231 0 3703 0
vsize: 15736
[startup+430 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3913 0 0 0 42952 55 0 0 25 0 1 0 453806863 16113664 3185 4294967295 134512640 135450300 3221224656 3221223376 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3934 3185 231 231 0 3703 0
vsize: 15736
[startup+440 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3940 0 0 0 43951 56 0 0 25 0 1 0 453806863 16113664 3212 4294967295 134512640 135450300 3221224656 3221223488 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3934 3212 231 231 0 3703 0
vsize: 15736
[startup+450.001 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 3971 0 0 0 44950 57 0 0 25 0 1 0 453806863 16248832 3243 4294967295 134512640 135450300 3221224656 3221223376 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3967 3243 231 231 0 3736 0
vsize: 15868
[startup+460.001 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4000 0 0 0 45950 57 0 0 25 0 1 0 453806863 16388096 3272 4294967295 134512640 135450300 3221224656 3221223392 134538677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3272 231 231 0 3770 0
vsize: 16004
[startup+470.002 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4030 0 0 0 46949 59 0 0 25 0 1 0 453806863 16388096 3302 4294967295 134512640 135450300 3221224656 3221223488 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3302 231 231 0 3770 0
vsize: 16004
[startup+480.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4056 0 0 0 47948 59 0 0 25 0 1 0 453806863 16388096 3328 4294967295 134512640 135450300 3221224656 3221223376 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 3328 231 231 0 3770 0
vsize: 16004
[startup+490.001 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4073 0 0 0 48948 60 0 0 25 0 1 0 453806863 16527360 3345 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4035 3345 231 231 0 3804 0
vsize: 16140
[startup+500.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4100 0 0 0 49948 60 0 0 25 0 1 0 453806863 16527360 3372 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4035 3372 231 231 0 3804 0
vsize: 16140
[startup+510.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4117 0 0 0 50947 61 0 0 25 0 1 0 453806863 16527360 3389 4294967295 134512640 135450300 3221224656 3221223488 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4035 3389 231 231 0 3804 0
vsize: 16140
[startup+520.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4146 0 0 0 51946 62 0 0 25 0 1 0 453806863 16674816 3418 4294967295 134512640 135450300 3221224656 3221223376 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4071 3418 231 231 0 3840 0
vsize: 16284
[startup+530.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4174 0 0 0 52946 62 0 0 25 0 1 0 453806863 16674816 3446 4294967295 134512640 135450300 3221224656 3221223488 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4071 3446 231 231 0 3840 0
vsize: 16284
[startup+540.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4197 0 0 0 53945 63 0 0 25 0 1 0 453806863 16674816 3469 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4071 3469 231 231 0 3840 0
vsize: 16284
[startup+550.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4227 0 0 0 54944 65 0 0 25 0 1 0 453806863 16830464 3499 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 3499 231 231 0 3878 0
vsize: 16436
[startup+560.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4252 0 0 0 55943 66 0 0 25 0 1 0 453806863 16830464 3524 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 3524 231 231 0 3878 0
vsize: 16436
[startup+570.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4278 0 0 0 56943 66 0 0 25 0 1 0 453806863 16830464 3550 4294967295 134512640 135450300 3221224656 3221223376 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 3550 231 231 0 3878 0
vsize: 16436
[startup+580.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4307 0 0 0 57942 67 0 0 25 0 1 0 453806863 16994304 3579 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4149 3579 231 231 0 3918 0
vsize: 16596
[startup+590.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4332 0 0 0 58941 68 0 0 25 0 1 0 453806863 16994304 3604 4294967295 134512640 135450300 3221224656 3221223376 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4149 3604 231 231 0 3918 0
vsize: 16596
[startup+600.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4361 0 0 0 59940 70 0 0 25 0 1 0 453806863 17129472 3633 4294967295 134512640 135450300 3221224656 3221223088 134533484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4182 3633 231 231 0 3951 0
vsize: 16728
[startup+610.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4380 0 0 0 60939 71 0 0 25 0 1 0 453806863 17129472 3652 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4182 3652 231 231 0 3951 0
vsize: 16728
[startup+620.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4396 0 0 0 61939 71 0 0 25 0 1 0 453806863 17129472 3668 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4182 3668 231 231 0 3951 0
vsize: 16728
[startup+630.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 4415 0 0 0 62938 72 0 0 25 0 1 0 453806863 17305600 3687 4294967295 134512640 135450300 3221224656 3221223376 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4225 3687 231 231 0 3994 0
vsize: 16900
[startup+640.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5211 0 0 0 63936 74 0 0 25 0 1 0 453806863 20451328 3714 4294967295 134512640 135450300 3221224656 3221223376 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4993 3714 231 231 0 4762 0
vsize: 19972
[startup+650.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5233 0 0 0 64935 76 0 0 25 0 1 0 453806863 20451328 3736 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4993 3736 231 231 0 4762 0
vsize: 19972
[startup+660.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5255 0 0 0 65934 77 0 0 25 0 1 0 453806863 20635648 3758 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5038 3758 231 231 0 4807 0
vsize: 20152
[startup+670.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5273 0 0 0 66934 78 0 0 25 0 1 0 453806863 20635648 3776 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5038 3776 231 231 0 4807 0
vsize: 20152
[startup+680.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5296 0 0 0 67932 79 0 0 25 0 1 0 453806863 20635648 3799 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5038 3799 231 231 0 4807 0
vsize: 20152
[startup+690.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5318 0 0 0 68931 80 0 0 25 0 1 0 453806863 20635648 3821 4294967295 134512640 135450300 3221224656 3221223376 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5038 3821 231 231 0 4807 0
vsize: 20152
[startup+700.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5343 0 0 0 69930 82 0 0 25 0 1 0 453806863 20635648 3846 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5038 3846 231 231 0 4807 0
vsize: 20152
[startup+710.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5374 0 0 0 70929 83 0 0 25 0 1 0 453806863 20832256 3877 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5086 3877 231 231 0 4855 0
vsize: 20344
[startup+720.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5389 0 0 0 71928 84 0 0 25 0 1 0 453806863 20832256 3892 4294967295 134512640 135450300 3221224656 3221223376 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5086 3892 231 231 0 4855 0
vsize: 20344
[startup+730.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5414 0 0 0 72927 85 0 0 25 0 1 0 453806863 20832256 3917 4294967295 134512640 135450300 3221224656 3221223472 134546477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5086 3917 231 231 0 4855 0
vsize: 20344
[startup+740.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5437 0 0 0 73927 86 0 0 25 0 1 0 453806863 20832256 3940 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5086 3940 231 231 0 4855 0
vsize: 20344
[startup+750.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5458 0 0 0 74926 87 0 0 25 0 1 0 453806863 21041152 3961 4294967295 134512640 135450300 3221224656 3221223488 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 3961 231 231 0 4906 0
vsize: 20548
[startup+760.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5479 0 0 0 75925 88 0 0 25 0 1 0 453806863 21041152 3982 4294967295 134512640 135450300 3221224656 3221223488 134549368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 3982 231 231 0 4906 0
vsize: 20548
[startup+770.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5500 0 0 0 76925 88 0 0 25 0 1 0 453806863 21041152 4003 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 4003 231 231 0 4906 0
vsize: 20548
[startup+780.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5521 0 0 0 77924 89 0 0 25 0 1 0 453806863 21041152 4024 4294967295 134512640 135450300 3221224656 3221223472 134547513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 4024 231 231 0 4906 0
vsize: 20548
[startup+790.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5546 0 0 0 78924 89 0 0 25 0 1 0 453806863 21041152 4049 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5137 4049 231 231 0 4906 0
vsize: 20548
[startup+800.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5564 0 0 0 79924 90 0 0 25 0 1 0 453806863 21262336 4067 4294967295 134512640 135450300 3221224656 3221223376 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5191 4067 231 231 0 4960 0
vsize: 20764
[startup+810.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5585 0 0 0 80923 91 0 0 25 0 1 0 453806863 21262336 4088 4294967295 134512640 135450300 3221224656 3221223488 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5191 4088 231 231 0 4960 0
vsize: 20764
[startup+820.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5609 0 0 0 81922 92 0 0 25 0 1 0 453806863 21262336 4112 4294967295 134512640 135450300 3221224656 3221223376 134535718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5191 4112 231 231 0 4960 0
vsize: 20764
[startup+830.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5628 0 0 0 82921 93 0 0 25 0 1 0 453806863 21262336 4131 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5191 4131 231 231 0 4960 0
vsize: 20764
[startup+840.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5652 0 0 0 83920 94 0 0 25 0 1 0 453806863 21405696 4155 4294967295 134512640 135450300 3221224656 3221223376 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4155 231 231 0 4995 0
vsize: 20904
[startup+850.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5675 0 0 0 84920 95 0 0 25 0 1 0 453806863 21643264 4178 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4178 231 231 0 5053 0
vsize: 21136
[startup+860.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5692 0 0 0 85919 96 0 0 25 0 1 0 453806863 21643264 4195 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4195 231 231 0 5053 0
vsize: 21136
[startup+870.007 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5720 0 0 0 86918 97 0 0 25 0 1 0 453806863 21643264 4223 4294967295 134512640 135450300 3221224656 3221223568 134597365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4223 231 231 0 5053 0
vsize: 21136
[startup+880.007 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5736 0 0 0 87918 97 0 0 25 0 1 0 453806863 21643264 4239 4294967295 134512640 135450300 3221224656 3221223376 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4239 231 231 0 5053 0
vsize: 21136
[startup+890.007 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5757 0 0 0 88917 98 0 0 25 0 1 0 453806863 21643264 4260 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4260 231 231 0 5053 0
vsize: 21136
[startup+900.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5777 0 0 0 89916 100 0 0 25 0 1 0 453806863 21643264 4280 4294967295 134512640 135450300 3221224656 3221223376 134535755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5284 4280 231 231 0 5053 0
vsize: 21136
[startup+910.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5805 0 0 0 90915 101 0 0 25 0 1 0 453806863 21893120 4308 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4308 231 231 0 5114 0
vsize: 21380
[startup+920.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5830 0 0 0 91915 101 0 0 25 0 1 0 453806863 21893120 4333 4294967295 134512640 135450300 3221224656 3221223488 134549317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4333 231 231 0 5114 0
vsize: 21380
[startup+930.007 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5851 0 0 0 92914 103 0 0 25 0 1 0 453806863 21893120 4354 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4354 231 231 0 5114 0
vsize: 21380
[startup+940.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5872 0 0 0 93913 103 0 0 25 0 1 0 453806863 21893120 4375 4294967295 134512640 135450300 3221224656 3221223488 134549289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4375 231 231 0 5114 0
vsize: 21380
[startup+950.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5886 0 0 0 94912 105 0 0 25 0 1 0 453806863 21893120 4389 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4389 231 231 0 5114 0
vsize: 21380
[startup+960.008 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5911 0 0 0 95912 105 0 0 25 0 1 0 453806863 21893120 4414 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4414 231 231 0 5114 0
vsize: 21380
[startup+970.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5924 0 0 0 96911 106 0 0 25 0 1 0 453806863 21893120 4427 4294967295 134512640 135450300 3221224656 3221223488 134549307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4427 231 231 0 5114 0
vsize: 21380
[startup+980.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5944 0 0 0 97910 107 0 0 25 0 1 0 453806863 22159360 4447 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4447 231 231 0 5179 0
vsize: 21640
[startup+990.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 5969 0 0 0 98909 108 0 0 25 0 1 0 453806863 22159360 4472 4294967295 134512640 135450300 3221224656 3221223532 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4472 231 231 0 5179 0
vsize: 21640
[startup+1000.01 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6000 0 0 0 99909 109 0 0 25 0 1 0 453806863 22159360 4503 4294967295 134512640 135450300 3221224656 3221223376 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4503 231 231 0 5179 0
vsize: 21640
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6019 0 0 0 100908 110 0 0 25 0 1 0 453806863 22159360 4522 4294967295 134512640 135450300 3221224656 3221223472 134546467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4522 231 231 0 5179 0
vsize: 21640
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6042 0 0 0 101907 111 0 0 25 0 1 0 453806863 22159360 4545 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4545 231 231 0 5179 0
vsize: 21640
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6062 0 0 0 102906 112 0 0 25 0 1 0 453806863 22159360 4565 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4565 231 231 0 5179 0
vsize: 21640
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6087 0 0 0 103906 113 0 0 25 0 1 0 453806863 22441984 4590 4294967295 134512640 135450300 3221224656 3221223472 134546470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5479 4590 231 231 0 5248 0
vsize: 21916
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6100 0 0 0 104905 114 0 0 25 0 1 0 453806863 22441984 4603 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5479 4603 231 231 0 5248 0
vsize: 21916
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6121 0 0 0 105904 115 0 0 25 0 1 0 453806863 22441984 4624 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5479 4624 231 231 0 5248 0
vsize: 21916
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6142 0 0 0 106903 116 0 0 25 0 1 0 453806863 22441984 4645 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5479 4645 231 231 0 5248 0
vsize: 21916
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6161 0 0 0 107903 117 0 0 25 0 1 0 453806863 22441984 4664 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5479 4664 231 231 0 5248 0
vsize: 21916
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6186 0 0 0 108902 117 0 0 25 0 1 0 453806863 22441984 4689 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5479 4689 231 231 0 5248 0
vsize: 21916
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6217 0 0 0 109901 118 0 0 25 0 1 0 453806863 22740992 4720 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4720 231 231 0 5321 0
vsize: 22208
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6233 0 0 0 110901 119 0 0 25 0 1 0 453806863 22740992 4736 4294967295 134512640 135450300 3221224656 3221223472 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4736 231 231 0 5321 0
vsize: 22208
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6250 0 0 0 111901 119 0 0 25 0 1 0 453806863 22740992 4753 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4753 231 231 0 5321 0
vsize: 22208
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6270 0 0 0 112900 120 0 0 25 0 1 0 453806863 22740992 4773 4294967295 134512640 135450300 3221224656 3221223488 134549264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4773 231 231 0 5321 0
vsize: 22208
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6292 0 0 0 113899 121 0 0 25 0 1 0 453806863 22740992 4795 4294967295 134512640 135450300 3221224656 3221223264 134537611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4795 231 231 0 5321 0
vsize: 22208
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6308 0 0 0 114899 122 0 0 25 0 1 0 453806863 22740992 4811 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4811 231 231 0 5321 0
vsize: 22208
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6325 0 0 0 115898 123 0 0 25 0 1 0 453806863 22740992 4828 4294967295 134512640 135450300 3221224656 3221223488 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4828 231 231 0 5321 0
vsize: 22208
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6350 0 0 0 116897 125 0 0 25 0 1 0 453806863 22740992 4853 4294967295 134512640 135450300 3221224656 3221223376 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5552 4853 231 231 0 5321 0
vsize: 22208
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6374 0 0 0 117896 125 0 0 25 0 1 0 453806863 23060480 4877 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5630 4877 231 231 0 5399 0
vsize: 22520
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6391 0 0 0 118895 126 0 0 25 0 1 0 453806863 23060480 4894 4294967295 134512640 135450300 3221224656 3221223488 134549281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5630 4894 231 231 0 5399 0
vsize: 22520
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15742
Raw data (stat): 15742 (PBS4) R 15741 22932 22931 0 -1 0 6415 0 0 0 119894 128 0 0 25 0 1 0 453806863 23060480 4918 4294967295 134512640 135450300 3221224656 3221223488 134549328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5630 4918 231 231 0 5399 0
vsize: 22520
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 15742
Raw data (stat): 15742 (PBS4) Z 15741 22932 22931 0 -1 1036 6415 0 0 0 119894 129 0 0 25 0 1 0 453806863 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.03
CPU time (s): 1200.24
CPU user time (s): 1198.95
CPU system time (s): 1.2928
CPU usage (%): 100.018
Max. virtual memory (Kb): 22520
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####