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/primes-dimacs-cnf/normalized-ssa7552-038.opb
MD5SUM	47daf5749c77d7eb7d5d94fe2374f355
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1448
Optimality of the best value was proved	NO
Number of terms in the objective function	3002
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	3002
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3002
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	3002
Total number of constraints	5076
Number of constraints which are clauses	5076
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	6
Trace number 7819

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-17 16:25:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2040 boxname=wulflinc22 idbench=227 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  47daf5749c77d7eb7d5d94fe2374f355  /oldhome/oroussel/tmp/wulflinc22/normalized-ssa7552-038.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-ssa7552-038.opb
IDLAUNCH: 2040
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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.031
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:        820824 kB
Buffers:         34032 kB
Cached:         136240 kB
SwapCached:          0 kB
Active:          62332 kB
Inactive:       110828 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        820572 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6932 kB
Slab:            35076 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:45:37 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 2040 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-ssa7552-038.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.73 0.89 0.87 2/54 17482
Raw data (stat): 17482 (runsolver) R 17481 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511937695 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.77 0.89 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 1864 0 0 0 994 4 0 0 25 0 1 0 511937695 10498048 1854 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2563 1854 231 231 0 2332 0
vsize: 10252
[startup+20.0012 s]
Raw data (loadavg): 0.81 0.89 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 4982 0 0 0 1986 12 0 0 25 0 1 0 511937695 35799040 4972 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8740 4972 231 231 0 8509 0
vsize: 34960
[startup+30.0005 s]
Raw data (loadavg): 0.83 0.90 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 7959 0 0 0 2980 19 0 0 25 0 1 0 511937695 35799040 7949 4294967295 134512640 135450300 3221224640 3221223104 134532560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8740 7949 231 231 0 8509 0
vsize: 34960
[startup+40.0006 s]
Raw data (loadavg): 0.86 0.90 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 10874 0 0 0 3974 25 0 0 25 0 1 0 511937695 69685248 10815 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17013 10815 231 231 0 16782 0
vsize: 68052
[startup+50.0012 s]
Raw data (loadavg): 0.88 0.90 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 13681 0 0 0 4968 31 0 0 25 0 1 0 511937695 69685248 13622 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17013 13622 231 231 0 16782 0
vsize: 68052
[startup+60.0017 s]
Raw data (loadavg): 0.90 0.90 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 16370 0 0 0 5962 38 0 0 25 0 1 0 511937695 69820416 16311 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17046 16311 231 231 0 16815 0
vsize: 68184
[startup+70.0016 s]
Raw data (loadavg): 0.91 0.91 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 19035 0 0 0 6954 45 0 0 25 0 1 0 511937695 136929280 18976 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33430 18976 231 231 0 33199 0
vsize: 133720
[startup+80.0013 s]
Raw data (loadavg): 0.93 0.91 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 20220 0 0 0 7951 49 0 0 25 0 1 0 511937695 137068544 20161 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33464 20161 231 231 0 33233 0
vsize: 133856
[startup+90.0017 s]
Raw data (loadavg): 0.94 0.91 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 21643 0 0 0 8948 52 0 0 25 0 1 0 511937695 137068544 21584 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33464 21584 231 231 0 33233 0
vsize: 133856
[startup+100.002 s]
Raw data (loadavg): 0.95 0.91 0.88 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 23620 0 0 0 9943 57 0 0 25 0 1 0 511937695 137195520 23561 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33495 23561 231 231 0 33264 0
vsize: 133980
[startup+110.002 s]
Raw data (loadavg): 0.95 0.92 0.89 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25624 0 0 0 10937 63 0 0 25 0 1 0 511937695 137326592 25565 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33527 25565 231 231 0 33296 0
vsize: 134108
[startup+120.003 s]
Raw data (loadavg): 0.96 0.92 0.89 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25661 0 0 0 11937 63 0 0 25 0 1 0 511937695 137461760 25602 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33560 25602 231 231 0 33329 0
vsize: 134240
[startup+130.003 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25687 0 0 0 12937 64 0 0 25 0 1 0 511937695 137461760 25628 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33560 25628 231 231 0 33329 0
vsize: 134240
[startup+140.003 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25710 0 0 0 13937 64 0 0 25 0 1 0 511937695 137596928 25651 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33593 25651 231 231 0 33362 0
vsize: 134372
[startup+150.004 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25829 0 0 0 14936 65 0 0 25 0 1 0 511937695 137990144 25673 4294967295 134512640 135450300 3221224640 3221223120 134580023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33689 25673 231 231 0 33458 0
vsize: 134756
[startup+160.004 s]
Raw data (loadavg): 1.05 0.94 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25862 0 0 0 15936 66 0 0 25 0 1 0 511937695 138145792 25706 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33727 25706 231 231 0 33496 0
vsize: 134908
[startup+170.004 s]
Raw data (loadavg): 1.04 0.94 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25874 0 0 0 16936 66 0 0 25 0 1 0 511937695 138145792 25718 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33727 25718 231 231 0 33496 0
vsize: 134908
[startup+180.003 s]
Raw data (loadavg): 1.04 0.94 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25886 0 0 0 17935 67 0 0 25 0 1 0 511937695 138256384 25730 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 25730 231 231 0 33523 0
vsize: 135016
[startup+190.004 s]
Raw data (loadavg): 1.03 0.95 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25905 0 0 0 18934 68 0 0 25 0 1 0 511937695 138256384 25749 4294967295 134512640 135450300 3221224640 3221222944 134844364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 25749 231 231 0 33523 0
vsize: 135016
[startup+200.004 s]
Raw data (loadavg): 1.03 0.95 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25916 0 0 0 19934 68 0 0 25 0 1 0 511937695 138256384 25760 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33754 25760 231 231 0 33523 0
vsize: 135016
[startup+210.004 s]
Raw data (loadavg): 1.02 0.95 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25926 0 0 0 20933 69 0 0 25 0 1 0 511937695 138420224 25770 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33794 25770 231 231 0 33563 0
vsize: 135176
[startup+220.004 s]
Raw data (loadavg): 1.02 0.95 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25940 0 0 0 21933 69 0 0 25 0 1 0 511937695 138420224 25784 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33794 25784 231 231 0 33563 0
vsize: 135176
[startup+230.004 s]
Raw data (loadavg): 1.01 0.95 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25952 0 0 0 22933 70 0 0 25 0 1 0 511937695 138420224 25796 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33794 25796 231 231 0 33563 0
vsize: 135176
[startup+240.004 s]
Raw data (loadavg): 1.01 0.95 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25969 0 0 0 23932 71 0 0 25 0 1 0 511937695 138551296 25813 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33826 25813 231 231 0 33595 0
vsize: 135304
[startup+250.004 s]
Raw data (loadavg): 1.01 0.95 0.90 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25988 0 0 0 24932 71 0 0 25 0 1 0 511937695 138551296 25832 4294967295 134512640 135450300 3221224640 3221223360 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33826 25832 231 231 0 33595 0
vsize: 135304
[startup+260.005 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 25995 0 0 0 25931 72 0 0 25 0 1 0 511937695 138551296 25839 4294967295 134512640 135450300 3221224640 3221223168 134543663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33826 25839 231 231 0 33595 0
vsize: 135304
[startup+270.004 s]
Raw data (loadavg): 1.01 0.95 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26006 0 0 0 26930 73 0 0 25 0 1 0 511937695 138551296 25850 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33826 25850 231 231 0 33595 0
vsize: 135304
[startup+280.004 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26014 0 0 0 27930 74 0 0 25 0 1 0 511937695 138551296 25858 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33826 25858 231 231 0 33595 0
vsize: 135304
[startup+290.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26022 0 0 0 28930 74 0 0 25 0 1 0 511937695 138551296 25866 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33826 25866 231 231 0 33595 0
vsize: 135304
[startup+300.004 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26037 0 0 0 29929 75 0 0 25 0 1 0 511937695 138686464 25881 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33859 25881 231 231 0 33628 0
vsize: 135436
[startup+310.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26065 0 0 0 30929 76 0 0 25 0 1 0 511937695 138829824 25909 4294967295 134512640 135450300 3221224640 3221223168 134544104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33894 25909 231 231 0 33663 0
vsize: 135576
[startup+320.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26077 0 0 0 31928 77 0 0 25 0 1 0 511937695 138829824 25921 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33894 25921 231 231 0 33663 0
vsize: 135576
[startup+330.004 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26093 0 0 0 32927 77 0 0 25 0 1 0 511937695 138829824 25937 4294967295 134512640 135450300 3221224640 3221223116 134572098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33894 25937 231 231 0 33663 0
vsize: 135576
[startup+340.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26105 0 0 0 33927 78 0 0 25 0 1 0 511937695 138829824 25949 4294967295 134512640 135450300 3221224640 3221223024 134579902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33894 25949 231 231 0 33663 0
vsize: 135576
[startup+350.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26113 0 0 0 34926 78 0 0 25 0 1 0 511937695 138940416 25957 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33921 25957 231 231 0 33690 0
vsize: 135684
[startup+360.006 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26132 0 0 0 35926 79 0 0 25 0 1 0 511937695 138940416 25976 4294967295 134512640 135450300 3221224640 3221223024 134579548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33921 25976 231 231 0 33690 0
vsize: 135684
[startup+370.006 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26146 0 0 0 36926 79 0 0 25 0 1 0 511937695 138940416 25990 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33921 25990 231 231 0 33690 0
vsize: 135684
[startup+380.006 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26151 0 0 0 37926 80 0 0 25 0 1 0 511937695 139051008 25995 4294967295 134512640 135450300 3221224640 3221223168 134544966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33948 25995 231 231 0 33717 0
vsize: 135792
[startup+390.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26354 0 0 0 38925 81 0 0 25 0 1 0 511937695 139837440 26005 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34140 26005 231 231 0 33909 0
vsize: 136560
[startup+400.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26363 0 0 0 39925 82 0 0 25 0 1 0 511937695 139837440 26014 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34140 26014 231 231 0 33909 0
vsize: 136560
[startup+410.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26371 0 0 0 40925 82 0 0 25 0 1 0 511937695 139837440 26022 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34140 26022 231 231 0 33909 0
vsize: 136560
[startup+420.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26377 0 0 0 41925 82 0 0 25 0 1 0 511937695 139837440 26028 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34140 26028 231 231 0 33909 0
vsize: 136560
[startup+430.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26389 0 0 0 42924 82 0 0 25 0 1 0 511937695 139837440 26040 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34140 26040 231 231 0 33909 0
vsize: 136560
[startup+440.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26399 0 0 0 43924 83 0 0 25 0 1 0 511937695 139956224 26050 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 26050 231 231 0 33938 0
vsize: 136676
[startup+450.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26420 0 0 0 44924 83 0 0 25 0 1 0 511937695 139956224 26071 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 26071 231 231 0 33938 0
vsize: 136676
[startup+460.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26429 0 0 0 45924 84 0 0 25 0 1 0 511937695 139956224 26080 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 26080 231 231 0 33938 0
vsize: 136676
[startup+470.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26447 0 0 0 46923 84 0 0 25 0 1 0 511937695 140128256 26098 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34211 26098 231 231 0 33980 0
vsize: 136844
[startup+480.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26450 0 0 0 47923 85 0 0 25 0 1 0 511937695 140128256 26101 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34211 26101 231 231 0 33980 0
vsize: 136844
[startup+490.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26460 0 0 0 48923 85 0 0 25 0 1 0 511937695 140128256 26111 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34211 26111 231 231 0 33980 0
vsize: 136844
[startup+500.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26468 0 0 0 49922 86 0 0 25 0 1 0 511937695 140128256 26119 4294967295 134512640 135450300 3221224640 3221223024 134579533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34211 26119 231 231 0 33980 0
vsize: 136844
[startup+510.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26482 0 0 0 50922 86 0 0 25 0 1 0 511937695 140128256 26133 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34211 26133 231 231 0 33980 0
vsize: 136844
[startup+520.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26492 0 0 0 51922 86 0 0 25 0 1 0 511937695 140242944 26143 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 26143 231 231 0 34008 0
vsize: 136956
[startup+530.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26499 0 0 0 52922 87 0 0 25 0 1 0 511937695 140242944 26150 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 26150 231 231 0 34008 0
vsize: 136956
[startup+540.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26506 0 0 0 53921 88 0 0 25 0 1 0 511937695 140242944 26157 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 26157 231 231 0 34008 0
vsize: 136956
[startup+550.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26513 0 0 0 54919 90 0 0 25 0 1 0 511937695 140242944 26164 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 26164 231 231 0 34008 0
vsize: 136956
[startup+560.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26524 0 0 0 55919 90 0 0 25 0 1 0 511937695 140242944 26175 4294967295 134512640 135450300 3221224640 3221223456 134547859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 26175 231 231 0 34008 0
vsize: 136956
[startup+570.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26528 0 0 0 56919 90 0 0 25 0 1 0 511937695 140242944 26179 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 26179 231 231 0 34008 0
vsize: 136956
[startup+580.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26538 0 0 0 57919 91 0 0 25 0 1 0 511937695 140242944 26189 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34239 26189 231 231 0 34008 0
vsize: 136956
[startup+590.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26550 0 0 0 58919 91 0 0 25 0 1 0 511937695 140427264 26201 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34284 26201 231 231 0 34053 0
vsize: 137136
[startup+600.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26561 0 0 0 59918 92 0 0 25 0 1 0 511937695 140427264 26212 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34284 26212 231 231 0 34053 0
vsize: 137136
[startup+610.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26583 0 0 0 60918 92 0 0 25 0 1 0 511937695 140427264 26234 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34284 26234 231 231 0 34053 0
vsize: 137136
[startup+620.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26586 0 0 0 61917 93 0 0 25 0 1 0 511937695 140427264 26237 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34284 26237 231 231 0 34053 0
vsize: 137136
[startup+630.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26614 0 0 0 62917 93 0 0 25 0 1 0 511937695 140546048 26265 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34313 26265 231 231 0 34082 0
vsize: 137252
[startup+640.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26624 0 0 0 63917 93 0 0 25 0 1 0 511937695 140546048 26275 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34313 26275 231 231 0 34082 0
vsize: 137252
[startup+650.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26630 0 0 0 64917 94 0 0 25 0 1 0 511937695 140546048 26281 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34313 26281 231 231 0 34082 0
vsize: 137252
[startup+660.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26640 0 0 0 65917 94 0 0 25 0 1 0 511937695 140546048 26291 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34313 26291 231 231 0 34082 0
vsize: 137252
[startup+670.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26644 0 0 0 66917 94 0 0 25 0 1 0 511937695 140656640 26295 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34340 26295 231 231 0 34109 0
vsize: 137360
[startup+680.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26651 0 0 0 67916 95 0 0 25 0 1 0 511937695 140656640 26302 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34340 26302 231 231 0 34109 0
vsize: 137360
[startup+690.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26658 0 0 0 68916 95 0 0 25 0 1 0 511937695 140656640 26309 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34340 26309 231 231 0 34109 0
vsize: 137360
[startup+700.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26670 0 0 0 69916 96 0 0 25 0 1 0 511937695 140656640 26321 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34340 26321 231 231 0 34109 0
vsize: 137360
[startup+710.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26680 0 0 0 70916 96 0 0 25 0 1 0 511937695 140771328 26331 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34368 26331 231 231 0 34137 0
vsize: 137472
[startup+720.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26683 0 0 0 71916 97 0 0 25 0 1 0 511937695 140771328 26334 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34368 26334 231 231 0 34137 0
vsize: 137472
[startup+730.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26693 0 0 0 72915 97 0 0 25 0 1 0 511937695 140771328 26344 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34368 26344 231 231 0 34137 0
vsize: 137472
[startup+740.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26705 0 0 0 73915 98 0 0 25 0 1 0 511937695 140771328 26356 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34368 26356 231 231 0 34137 0
vsize: 137472
[startup+750.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26713 0 0 0 74914 98 0 0 25 0 1 0 511937695 140771328 26364 4294967295 134512640 135450300 3221224640 3221223116 134572343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34368 26364 231 231 0 34137 0
vsize: 137472
[startup+760.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26721 0 0 0 75914 99 0 0 25 0 1 0 511937695 140771328 26372 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34368 26372 231 231 0 34137 0
vsize: 137472
[startup+770.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26732 0 0 0 76914 99 0 0 25 0 1 0 511937695 140894208 26383 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26383 231 231 0 34167 0
vsize: 137592
[startup+780.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26739 0 0 0 77914 99 0 0 25 0 1 0 511937695 140894208 26390 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26390 231 231 0 34167 0
vsize: 137592
[startup+790.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26743 0 0 0 78914 100 0 0 25 0 1 0 511937695 140894208 26394 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26394 231 231 0 34167 0
vsize: 137592
[startup+800.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26751 0 0 0 79914 100 0 0 25 0 1 0 511937695 140894208 26402 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26402 231 231 0 34167 0
vsize: 137592
[startup+810.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26758 0 0 0 80914 100 0 0 25 0 1 0 511937695 140894208 26409 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26409 231 231 0 34167 0
vsize: 137592
[startup+820.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26767 0 0 0 81913 101 0 0 25 0 1 0 511937695 140894208 26418 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26418 231 231 0 34167 0
vsize: 137592
[startup+830.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26780 0 0 0 82913 102 0 0 25 0 1 0 511937695 140894208 26431 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26431 231 231 0 34167 0
vsize: 137592
[startup+840.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26788 0 0 0 83913 102 0 0 25 0 1 0 511937695 140894208 26439 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26439 231 231 0 34167 0
vsize: 137592
[startup+850.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26794 0 0 0 84912 102 0 0 25 0 1 0 511937695 140894208 26445 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26445 231 231 0 34167 0
vsize: 137592
[startup+860.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26802 0 0 0 85913 102 0 0 25 0 1 0 511937695 140894208 26453 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34398 26453 231 231 0 34167 0
vsize: 137592
[startup+870.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26815 0 0 0 86913 103 0 0 25 0 1 0 511937695 141107200 26466 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34450 26466 231 231 0 34219 0
vsize: 137800
[startup+880.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26824 0 0 0 87912 103 0 0 25 0 1 0 511937695 141107200 26475 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34450 26475 231 231 0 34219 0
vsize: 137800
[startup+890.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26830 0 0 0 88912 103 0 0 25 0 1 0 511937695 141107200 26481 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34450 26481 231 231 0 34219 0
vsize: 137800
[startup+900.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26835 0 0 0 89912 104 0 0 25 0 1 0 511937695 141107200 26486 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34450 26486 231 231 0 34219 0
vsize: 137800
[startup+910.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26839 0 0 0 90912 104 0 0 25 0 1 0 511937695 141107200 26490 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34450 26490 231 231 0 34219 0
vsize: 137800
[startup+920.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 26846 0 0 0 91911 105 0 0 25 0 1 0 511937695 141107200 26497 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34450 26497 231 231 0 34219 0
vsize: 137800
[startup+930.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27243 0 0 0 92911 105 0 0 25 0 1 0 511937695 142680064 26509 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34834 26509 231 231 0 34603 0
vsize: 139336
[startup+940.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27253 0 0 0 93911 106 0 0 25 0 1 0 511937695 142680064 26519 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34834 26519 231 231 0 34603 0
vsize: 139336
[startup+950.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27265 0 0 0 94911 106 0 0 25 0 1 0 511937695 142680064 26531 4294967295 134512640 135450300 3221224640 3221223552 134597360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34834 26531 231 231 0 34603 0
vsize: 139336
[startup+960.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27276 0 0 0 95911 106 0 0 25 0 1 0 511937695 142680064 26542 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34834 26542 231 231 0 34603 0
vsize: 139336
[startup+970.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27284 0 0 0 96911 106 0 0 25 0 1 0 511937695 142798848 26550 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34863 26550 231 231 0 34632 0
vsize: 139452
[startup+980.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27295 0 0 0 97911 107 0 0 25 0 1 0 511937695 142917632 26561 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 26561 231 231 0 34661 0
vsize: 139568
[startup+990.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27303 0 0 0 98911 107 0 0 25 0 1 0 511937695 142917632 26569 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 26569 231 231 0 34661 0
vsize: 139568
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 27364 0 0 0 99911 107 0 0 25 0 1 0 511937695 142917632 26630 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 26630 231 231 0 34661 0
vsize: 139568
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 28937 0 0 0 100908 110 0 0 25 0 1 0 511937695 142917632 28203 4294967295 134512640 135450300 3221224640 3221223168 134543632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 28203 231 231 0 34661 0
vsize: 139568
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29330 0 0 0 101907 111 0 0 25 0 1 0 511937695 142917632 28596 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 28596 231 231 0 34661 0
vsize: 139568
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29341 0 0 0 102907 111 0 0 25 0 1 0 511937695 142917632 28607 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 28607 231 231 0 34661 0
vsize: 139568
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29351 0 0 0 103907 111 0 0 25 0 1 0 511937695 142917632 28617 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 28617 231 231 0 34661 0
vsize: 139568
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29359 0 0 0 104907 112 0 0 25 0 1 0 511937695 142917632 28625 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34892 28625 231 231 0 34661 0
vsize: 139568
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29381 0 0 0 105907 112 0 0 25 0 1 0 511937695 143118336 28647 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 28647 231 231 0 34710 0
vsize: 139764
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29386 0 0 0 106907 113 0 0 25 0 1 0 511937695 143118336 28652 4294967295 134512640 135450300 3221224640 3221223104 134532771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 28652 231 231 0 34710 0
vsize: 139764
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29944 0 0 0 107905 115 0 0 25 0 1 0 511937695 143118336 29210 4294967295 134512640 135450300 3221224640 3221223472 134549307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 29210 231 231 0 34710 0
vsize: 139764
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29949 0 0 0 108905 115 0 0 25 0 1 0 511937695 143118336 29215 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 29215 231 231 0 34710 0
vsize: 139764
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29954 0 0 0 109905 115 0 0 25 0 1 0 511937695 143118336 29220 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 29220 231 231 0 34710 0
vsize: 139764
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29965 0 0 0 110904 116 0 0 25 0 1 0 511937695 143118336 29231 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 29231 231 231 0 34710 0
vsize: 139764
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29973 0 0 0 111903 117 0 0 25 0 1 0 511937695 143118336 29239 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34941 29239 231 231 0 34710 0
vsize: 139764
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29984 0 0 0 112903 117 0 0 25 0 1 0 511937695 143269888 29250 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 29250 231 231 0 34747 0
vsize: 139912
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29992 0 0 0 113903 118 0 0 25 0 1 0 511937695 143269888 29258 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 29258 231 231 0 34747 0
vsize: 139912
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 29999 0 0 0 114903 118 0 0 25 0 1 0 511937695 143269888 29265 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 29265 231 231 0 34747 0
vsize: 139912
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 30006 0 0 0 115903 118 0 0 25 0 1 0 511937695 143269888 29272 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 29272 231 231 0 34747 0
vsize: 139912
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 30018 0 0 0 116903 119 0 0 25 0 1 0 511937695 143269888 29284 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 29284 231 231 0 34747 0
vsize: 139912
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 30025 0 0 0 117902 119 0 0 25 0 1 0 511937695 143269888 29291 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 29291 231 231 0 34747 0
vsize: 139912
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 30034 0 0 0 118902 119 0 0 25 0 1 0 511937695 143269888 29300 4294967295 134512640 135450300 3221224640 3221223104 134532585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34978 29300 231 231 0 34747 0
vsize: 139912
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 17482
Raw data (stat): 17482 (PBS4) R 17481 26298 26297 0 -1 0 30056 0 0 0 119902 120 0 0 25 0 1 0 511937695 143482880 29322 4294967295 134512640 135450300 3221224640 3221223504 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35030 29322 231 231 0 34799 0
vsize: 140120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 17482
Raw data (stat): 17482 (PBS4) Z 17481 26298 26297 0 -1 1036 30056 0 0 0 119902 125 0 0 25 0 1 0 511937695 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.08
CPU time (s): 1200.28
CPU user time (s): 1199.02
CPU system time (s): 1.25481
CPU usage (%): 100.017
Max. virtual memory (Kb): 140120
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####