PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.5:100.opb
MD5SUM	dd81121db7c1c4b8597dd9571c707a87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	372
Biggest coefficient in the objective function	220
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	983
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	220
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	983
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	372
Total number of constraints	792
Number of constraints which are clauses	345
Number of constraints which are cardinality constraints (but not clauses)	447
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 7954

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-17 17:25:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3291 boxname=wulflinc31 idbench=366 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  dd81121db7c1c4b8597dd9571c707a87  /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.opb
IDLAUNCH: 3291
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847848 kB
Buffers:         37548 kB
Cached:         109416 kB
SwapCached:        392 kB
Active:          75804 kB
Inactive:        74336 kB
HighTotal:      131008 kB
HighFree:        17836 kB
LowTotal:       903652 kB
LowFree:        830012 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6840 kB
Slab:            31056 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 17:45:21 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 3291 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-10:10:4.5:0.5:100.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.85 0.92 0.90 2/54 18070
Raw data (stat): 18070 (runsolver) R 18069 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512284427 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.0001 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 1596 0 0 0 993 5 0 0 25 0 1 0 512284427 10125312 1592 4294967295 134512640 135450300 3221224640 3221223472 134549343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2472 1592 231 231 0 2241 0
vsize: 9888
[startup+20.0002 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 2807 0 0 0 1988 9 0 0 25 0 1 0 512284427 19009536 2754 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2754 231 231 0 4410 0
vsize: 18564
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 2983 0 0 0 2986 11 0 0 25 0 1 0 512284427 19304448 2930 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4713 2930 231 231 0 4482 0
vsize: 18852
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3042 0 0 0 3984 13 0 0 25 0 1 0 512284427 19456000 2989 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 2989 231 231 0 4519 0
vsize: 19000
[startup+50.0019 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3207 0 0 0 4982 16 0 0 25 0 1 0 512284427 19984384 3057 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4879 3057 231 231 0 4648 0
vsize: 19516
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3253 0 0 0 5981 17 0 0 25 0 1 0 512284427 20131840 3103 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4915 3103 231 231 0 4684 0
vsize: 19660
[startup+70.0015 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3305 0 0 0 6980 19 0 0 25 0 1 0 512284427 20291584 3155 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4954 3155 231 231 0 4723 0
vsize: 19816
[startup+80.0027 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3342 0 0 0 7978 20 0 0 25 0 1 0 512284427 20291584 3192 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4954 3192 231 231 0 4723 0
vsize: 19816
[startup+90.0023 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3581 0 0 0 8976 23 0 0 25 0 1 0 512284427 21217280 3238 4294967295 134512640 135450300 3221224640 3221223376 134538418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5180 3238 231 231 0 4949 0
vsize: 20720
[startup+100.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3614 0 0 0 9975 24 0 0 25 0 1 0 512284427 21360640 3271 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5215 3271 231 231 0 4984 0
vsize: 20860
[startup+110.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3659 0 0 0 10973 26 0 0 25 0 1 0 512284427 21360640 3316 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5215 3316 231 231 0 4984 0
vsize: 20860
[startup+120.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3696 0 0 0 11972 28 0 0 25 0 1 0 512284427 21499904 3353 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5249 3353 231 231 0 5018 0
vsize: 20996
[startup+130.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3732 0 0 0 12971 29 0 0 25 0 1 0 512284427 21655552 3389 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5287 3389 231 231 0 5056 0
vsize: 21148
[startup+140.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3765 0 0 0 13970 30 0 0 25 0 1 0 512284427 21655552 3422 4294967295 134512640 135450300 3221224640 3221223360 134535416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5287 3422 231 231 0 5056 0
vsize: 21148
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3801 0 0 0 14968 31 0 0 25 0 1 0 512284427 21655552 3458 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5287 3458 231 231 0 5056 0
vsize: 21148
[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3840 0 0 0 15967 32 0 0 25 0 1 0 512284427 21856256 3497 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5336 3497 231 231 0 5105 0
vsize: 21344
[startup+170.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3878 0 0 0 16966 34 0 0 25 0 1 0 512284427 21856256 3535 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5336 3535 231 231 0 5105 0
vsize: 21344
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3910 0 0 0 17965 35 0 0 25 0 1 0 512284427 22065152 3567 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5387 3567 231 231 0 5156 0
vsize: 21548
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3945 0 0 0 18964 36 0 0 25 0 1 0 512284427 22065152 3602 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5387 3602 231 231 0 5156 0
vsize: 21548
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 3978 0 0 0 19963 38 0 0 25 0 1 0 512284427 22065152 3635 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5387 3635 231 231 0 5156 0
vsize: 21548
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4392 0 0 0 20962 39 0 0 25 0 1 0 512284427 23863296 3664 4294967295 134512640 135450300 3221224640 3221223360 134535826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5826 3664 231 231 0 5595 0
vsize: 23304
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4428 0 0 0 21960 41 0 0 25 0 1 0 512284427 23863296 3700 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5826 3700 231 231 0 5595 0
vsize: 23304
[startup+230.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4466 0 0 0 22959 42 0 0 25 0 1 0 512284427 23863296 3738 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5826 3738 231 231 0 5595 0
vsize: 23304
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4499 0 0 0 23957 44 0 0 25 0 1 0 512284427 23998464 3771 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5859 3771 231 231 0 5628 0
vsize: 23436
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4531 0 0 0 24957 45 0 0 25 0 1 0 512284427 23998464 3803 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5859 3803 231 231 0 5628 0
vsize: 23436
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4551 0 0 0 25956 46 0 0 25 0 1 0 512284427 23998464 3823 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5859 3823 231 231 0 5628 0
vsize: 23436
[startup+270.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4580 0 0 0 26955 46 0 0 25 0 1 0 512284427 24252416 3852 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 3852 231 231 0 5690 0
vsize: 23684
[startup+280.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4607 0 0 0 27954 48 0 0 25 0 1 0 512284427 24252416 3879 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5921 3879 231 231 0 5690 0
vsize: 23684
[startup+290.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4644 0 0 0 28952 50 0 0 25 0 1 0 512284427 24387584 3916 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5954 3916 231 231 0 5723 0
vsize: 23816
[startup+300.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4671 0 0 0 29951 51 0 0 25 0 1 0 512284427 24387584 3943 4294967295 134512640 135450300 3221224640 3221223472 134549507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5954 3943 231 231 0 5723 0
vsize: 23816
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4704 0 0 0 30950 53 0 0 25 0 1 0 512284427 24530944 3976 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 3976 231 231 0 5758 0
vsize: 23956
[startup+320.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4733 0 0 0 31949 53 0 0 25 0 1 0 512284427 24530944 4005 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4005 231 231 0 5758 0
vsize: 23956
[startup+330.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4759 0 0 0 32948 54 0 0 25 0 1 0 512284427 24530944 4031 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 4031 231 231 0 5758 0
vsize: 23956
[startup+340.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4785 0 0 0 33948 55 0 0 25 0 1 0 512284427 24682496 4057 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 4057 231 231 0 5795 0
vsize: 24104
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4809 0 0 0 34947 56 0 0 25 0 1 0 512284427 24682496 4081 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 4081 231 231 0 5795 0
vsize: 24104
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4834 0 0 0 35946 57 0 0 25 0 1 0 512284427 24682496 4106 4294967295 134512640 135450300 3221224640 3221223360 134535670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 4106 231 231 0 5795 0
vsize: 24104
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4856 0 0 0 36945 58 0 0 25 0 1 0 512284427 24842240 4128 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4128 231 231 0 5834 0
vsize: 24260
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4880 0 0 0 37944 60 0 0 25 0 1 0 512284427 24842240 4152 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4152 231 231 0 5834 0
vsize: 24260
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4910 0 0 0 38943 61 0 0 25 0 1 0 512284427 24842240 4182 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4182 231 231 0 5834 0
vsize: 24260
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4925 0 0 0 39942 62 0 0 25 0 1 0 512284427 25014272 4197 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6107 4197 231 231 0 5876 0
vsize: 24428
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4952 0 0 0 40941 63 0 0 25 0 1 0 512284427 25014272 4224 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6107 4224 231 231 0 5876 0
vsize: 24428
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 4978 0 0 0 41940 64 0 0 25 0 1 0 512284427 25014272 4250 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6107 4250 231 231 0 5876 0
vsize: 24428
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5008 0 0 0 42940 65 0 0 25 0 1 0 512284427 25194496 4280 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6151 4280 231 231 0 5920 0
vsize: 24604
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5035 0 0 0 43938 66 0 0 25 0 1 0 512284427 25194496 4307 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6151 4307 231 231 0 5920 0
vsize: 24604
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5055 0 0 0 44938 67 0 0 25 0 1 0 512284427 25194496 4327 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6151 4327 231 231 0 5920 0
vsize: 24604
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5078 0 0 0 45937 68 0 0 25 0 1 0 512284427 25194496 4350 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6151 4350 231 231 0 5920 0
vsize: 24604
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5102 0 0 0 46936 69 0 0 25 0 1 0 512284427 25387008 4374 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6198 4374 231 231 0 5967 0
vsize: 24792
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5130 0 0 0 47936 70 0 0 25 0 1 0 512284427 25387008 4402 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6198 4402 231 231 0 5967 0
vsize: 24792
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5155 0 0 0 48935 71 0 0 25 0 1 0 512284427 25387008 4427 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6198 4427 231 231 0 5967 0
vsize: 24792
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5949 0 0 0 49933 73 0 0 25 0 1 0 512284427 28532736 4452 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6966 4452 231 231 0 6735 0
vsize: 27864
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5969 0 0 0 50933 73 0 0 25 0 1 0 512284427 28737536 4472 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4472 231 231 0 6785 0
vsize: 28064
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 5992 0 0 0 51932 75 0 0 25 0 1 0 512284427 28737536 4495 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4495 231 231 0 6785 0
vsize: 28064
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6015 0 0 0 52931 76 0 0 25 0 1 0 512284427 28737536 4518 4294967295 134512640 135450300 3221224640 3221223360 134535935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4518 231 231 0 6785 0
vsize: 28064
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6033 0 0 0 53930 76 0 0 25 0 1 0 512284427 28737536 4536 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4536 231 231 0 6785 0
vsize: 28064
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6058 0 0 0 54929 78 0 0 25 0 1 0 512284427 28737536 4561 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7016 4561 231 231 0 6785 0
vsize: 28064
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6084 0 0 0 55928 79 0 0 25 0 1 0 512284427 28954624 4587 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7069 4587 231 231 0 6838 0
vsize: 28276
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6101 0 0 0 56928 79 0 0 25 0 1 0 512284427 28954624 4604 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7069 4604 231 231 0 6838 0
vsize: 28276
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6119 0 0 0 57927 80 0 0 25 0 1 0 512284427 28954624 4622 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7069 4622 231 231 0 6838 0
vsize: 28276
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6136 0 0 0 58927 81 0 0 25 0 1 0 512284427 28954624 4639 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7069 4639 231 231 0 6838 0
vsize: 28276
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6155 0 0 0 59926 82 0 0 25 0 1 0 512284427 28954624 4658 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7069 4658 231 231 0 6838 0
vsize: 28276
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6182 0 0 0 60925 83 0 0 25 0 1 0 512284427 29184000 4685 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 4685 231 231 0 6894 0
vsize: 28500
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6198 0 0 0 61925 84 0 0 25 0 1 0 512284427 29184000 4701 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 4701 231 231 0 6894 0
vsize: 28500
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6224 0 0 0 62923 85 0 0 25 0 1 0 512284427 29184000 4727 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 4727 231 231 0 6894 0
vsize: 28500
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6242 0 0 0 63922 86 0 0 25 0 1 0 512284427 29184000 4745 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 4745 231 231 0 6894 0
vsize: 28500
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6266 0 0 0 64922 87 0 0 25 0 1 0 512284427 29184000 4769 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 4769 231 231 0 6894 0
vsize: 28500
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6287 0 0 0 65921 88 0 0 25 0 1 0 512284427 29429760 4790 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7185 4790 231 231 0 6954 0
vsize: 28740
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6313 0 0 0 66920 89 0 0 25 0 1 0 512284427 29429760 4816 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7185 4816 231 231 0 6954 0
vsize: 28740
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6339 0 0 0 67919 90 0 0 25 0 1 0 512284427 29429760 4842 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7185 4842 231 231 0 6954 0
vsize: 28740
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6359 0 0 0 68918 91 0 0 25 0 1 0 512284427 29429760 4862 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7185 4862 231 231 0 6954 0
vsize: 28740
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6379 0 0 0 69917 92 0 0 25 0 1 0 512284427 29429760 4882 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7185 4882 231 231 0 6954 0
vsize: 28740
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6398 0 0 0 70917 93 0 0 25 0 1 0 512284427 29429760 4901 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7185 4901 231 231 0 6954 0
vsize: 28740
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6419 0 0 0 71916 94 0 0 25 0 1 0 512284427 29818880 4922 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 4922 231 231 0 7049 0
vsize: 29120
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6433 0 0 0 72915 94 0 0 25 0 1 0 512284427 29818880 4936 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 4936 231 231 0 7049 0
vsize: 29120
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6449 0 0 0 73915 95 0 0 25 0 1 0 512284427 29818880 4952 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 4952 231 231 0 7049 0
vsize: 29120
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6463 0 0 0 74915 95 0 0 25 0 1 0 512284427 29818880 4966 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 4966 231 231 0 7049 0
vsize: 29120
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6486 0 0 0 75915 96 0 0 25 0 1 0 512284427 29818880 4989 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 4989 231 231 0 7049 0
vsize: 29120
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6511 0 0 0 76914 97 0 0 25 0 1 0 512284427 29818880 5014 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 5014 231 231 0 7049 0
vsize: 29120
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6528 0 0 0 77913 98 0 0 25 0 1 0 512284427 29818880 5031 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 5031 231 231 0 7049 0
vsize: 29120
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6547 0 0 0 78913 98 0 0 25 0 1 0 512284427 30093312 5050 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5050 231 231 0 7116 0
vsize: 29388
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6563 0 0 0 79912 99 0 0 25 0 1 0 512284427 30093312 5066 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5066 231 231 0 7116 0
vsize: 29388
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6579 0 0 0 80911 100 0 0 25 0 1 0 512284427 30093312 5082 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5082 231 231 0 7116 0
vsize: 29388
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6590 0 0 0 81911 101 0 0 25 0 1 0 512284427 30093312 5093 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5093 231 231 0 7116 0
vsize: 29388
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6610 0 0 0 82911 101 0 0 25 0 1 0 512284427 30093312 5113 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5113 231 231 0 7116 0
vsize: 29388
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6630 0 0 0 83910 102 0 0 25 0 1 0 512284427 30093312 5133 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5133 231 231 0 7116 0
vsize: 29388
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6641 0 0 0 84910 103 0 0 25 0 1 0 512284427 30093312 5144 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5144 231 231 0 7116 0
vsize: 29388
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6652 0 0 0 85909 104 0 0 25 0 1 0 512284427 30093312 5155 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 5155 231 231 0 7116 0
vsize: 29388
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6681 0 0 0 86908 105 0 0 25 0 1 0 512284427 30388224 5184 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5184 231 231 0 7188 0
vsize: 29676
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6704 0 0 0 87907 106 0 0 25 0 1 0 512284427 30388224 5207 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5207 231 231 0 7188 0
vsize: 29676
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6722 0 0 0 88907 107 0 0 25 0 1 0 512284427 30388224 5225 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5225 231 231 0 7188 0
vsize: 29676
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6743 0 0 0 89906 107 0 0 25 0 1 0 512284427 30388224 5246 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5246 231 231 0 7188 0
vsize: 29676
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6757 0 0 0 90905 108 0 0 25 0 1 0 512284427 30388224 5260 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5260 231 231 0 7188 0
vsize: 29676
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6775 0 0 0 91905 109 0 0 25 0 1 0 512284427 30388224 5278 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5278 231 231 0 7188 0
vsize: 29676
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6789 0 0 0 92904 110 0 0 25 0 1 0 512284427 30388224 5292 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5292 231 231 0 7188 0
vsize: 29676
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6806 0 0 0 93904 110 0 0 25 0 1 0 512284427 30388224 5309 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 5309 231 231 0 7188 0
vsize: 29676
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6821 0 0 0 94903 111 0 0 25 0 1 0 512284427 30699520 5324 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5324 231 231 0 7264 0
vsize: 29980
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6840 0 0 0 95903 112 0 0 25 0 1 0 512284427 30699520 5343 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5343 231 231 0 7264 0
vsize: 29980
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6858 0 0 0 96903 112 0 0 25 0 1 0 512284427 30699520 5361 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5361 231 231 0 7264 0
vsize: 29980
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6872 0 0 0 97902 113 0 0 25 0 1 0 512284427 30699520 5375 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5375 231 231 0 7264 0
vsize: 29980
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6889 0 0 0 98902 113 0 0 25 0 1 0 512284427 30699520 5392 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5392 231 231 0 7264 0
vsize: 29980
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6904 0 0 0 99902 114 0 0 25 0 1 0 512284427 30699520 5407 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5407 231 231 0 7264 0
vsize: 29980
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6924 0 0 0 100901 115 0 0 25 0 1 0 512284427 30699520 5427 4294967295 134512640 135450300 3221224640 3221223472 134549299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5427 231 231 0 7264 0
vsize: 29980
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6937 0 0 0 101901 115 0 0 25 0 1 0 512284427 30699520 5440 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5440 231 231 0 7264 0
vsize: 29980
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6952 0 0 0 102901 115 0 0 25 0 1 0 512284427 30699520 5455 4294967295 134512640 135450300 3221224640 3221223024 134602283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5455 231 231 0 7264 0
vsize: 29980
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6971 0 0 0 103900 116 0 0 25 0 1 0 512284427 30699520 5474 4294967295 134512640 135450300 3221224640 3221223456 134537225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 5474 231 231 0 7264 0
vsize: 29980
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 6988 0 0 0 104899 117 0 0 25 0 1 0 512284427 31031296 5491 4294967295 134512640 135450300 3221224640 3221223456 134547873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5491 231 231 0 7345 0
vsize: 30304
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7009 0 0 0 105899 118 0 0 25 0 1 0 512284427 31031296 5512 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5512 231 231 0 7345 0
vsize: 30304
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7025 0 0 0 106898 119 0 0 25 0 1 0 512284427 31031296 5528 4294967295 134512640 135450300 3221224640 3221223456 134536425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5528 231 231 0 7345 0
vsize: 30304
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7043 0 0 0 107898 119 0 0 25 0 1 0 512284427 31031296 5546 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5546 231 231 0 7345 0
vsize: 30304
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7054 0 0 0 108898 120 0 0 25 0 1 0 512284427 31031296 5557 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5557 231 231 0 7345 0
vsize: 30304
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7061 0 0 0 109897 120 0 0 25 0 1 0 512284427 31031296 5564 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5564 231 231 0 7345 0
vsize: 30304
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7084 0 0 0 110897 120 0 0 25 0 1 0 512284427 31031296 5587 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5587 231 231 0 7345 0
vsize: 30304
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7093 0 0 0 111896 121 0 0 25 0 1 0 512284427 31031296 5596 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5596 231 231 0 7345 0
vsize: 30304
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7117 0 0 0 112896 122 0 0 25 0 1 0 512284427 31031296 5620 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5620 231 231 0 7345 0
vsize: 30304
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7127 0 0 0 113896 122 0 0 25 0 1 0 512284427 31031296 5630 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 5630 231 231 0 7345 0
vsize: 30304
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7151 0 0 0 114896 123 0 0 25 0 1 0 512284427 31383552 5654 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7662 5654 231 231 0 7431 0
vsize: 30648
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7159 0 0 0 115896 123 0 0 25 0 1 0 512284427 31383552 5662 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7662 5662 231 231 0 7431 0
vsize: 30648
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7179 0 0 0 116895 124 0 0 25 0 1 0 512284427 31383552 5682 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7662 5682 231 231 0 7431 0
vsize: 30648
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7194 0 0 0 117894 125 0 0 25 0 1 0 512284427 31383552 5697 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7662 5697 231 231 0 7431 0
vsize: 30648
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7212 0 0 0 118894 125 0 0 25 0 1 0 512284427 31383552 5715 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7662 5715 231 231 0 7431 0
vsize: 30648
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18070
Raw data (stat): 18070 (PBS4) R 18069 23176 23175 0 -1 0 7225 0 0 0 119893 126 0 0 25 0 1 0 512284427 31383552 5728 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7662 5728 231 231 0 7431 0
vsize: 30648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18070
Raw data (stat): 18070 (PBS4) Z 18069 23176 23175 0 -1 1036 7225 0 0 0 119893 127 0 0 25 0 1 0 512284427 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.21
CPU user time (s): 1198.94
CPU system time (s): 1.27681
CPU usage (%): 100.014
Max. virtual memory (Kb): 30648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####