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-160.opb
MD5SUM	e6fecce3dd18220c4b3d8965362801d2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1359
Optimality of the best value was proved	NO
Number of terms in the objective function	2782
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	2782
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	2782
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.04284
Number of variables	2782
Total number of constraints	4517
Number of constraints which are clauses	4517
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	5
Trace number 7830

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-04-17 16:30:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2067 boxname=wulflinc19 idbench=230 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  e6fecce3dd18220c4b3d8965362801d2  /oldhome/oroussel/tmp/wulflinc19/normalized-ssa7552-160.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc19/normalized-ssa7552-160.opb
IDLAUNCH: 2067
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        827200 kB
Buffers:         36808 kB
Cached:         135740 kB
SwapCached:         36 kB
Active:          61228 kB
Inactive:       114332 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        826948 kB
SwapTotal:     2097892 kB
SwapFree:      2097856 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7040 kB
Slab:            26256 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-17 16:50:19 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 2067 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc19/normalized-ssa7552-160.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.92 0.95 0.90 2/55 16509
Raw data (stat): 16509 (runsolver) R 16508 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511962726 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.0007 s]
Raw data (loadavg): 1.01 0.97 0.91 2/55 16509
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 2604 0 0 0 993 5 0 0 25 0 1 0 511962726 18853888 2599 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4603 2599 231 231 0 4372 0
vsize: 18412
[startup+20.0015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 6112 0 0 0 1986 13 0 0 25 0 1 0 511962726 35766272 6107 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8732 6107 231 231 0 8501 0
vsize: 34928
[startup+30.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 9445 0 0 0 2978 21 0 0 25 0 1 0 511962726 69320704 9440 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16924 9440 231 231 0 16693 0
vsize: 67696
[startup+40.0011 s]
Raw data (loadavg): 1.08 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 12673 0 0 0 3971 28 0 0 25 0 1 0 511962726 69652480 12619 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17005 12619 231 231 0 16774 0
vsize: 68020
[startup+50.0018 s]
Raw data (loadavg): 1.06 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 15711 0 0 0 4964 35 0 0 25 0 1 0 511962726 69652480 15657 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17005 15657 231 231 0 16774 0
vsize: 68020
[startup+60.0026 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 18640 0 0 0 5954 45 0 0 25 0 1 0 511962726 136761344 18586 4294967295 134512640 135450300 3221224640 3221223024 134579436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33389 18586 231 231 0 33158 0
vsize: 133556
[startup+70.0031 s]
Raw data (loadavg): 1.05 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20589 0 0 0 6950 50 0 0 25 0 1 0 511962726 136761344 20535 4294967295 134512640 135450300 3221224640 3221223104 134532565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33389 20535 231 231 0 33158 0
vsize: 133556
[startup+80.0031 s]
Raw data (loadavg): 1.04 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20737 0 0 0 7949 51 0 0 25 0 1 0 511962726 137019392 20683 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33452 20683 231 231 0 33221 0
vsize: 133808
[startup+90.0037 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20760 0 0 0 8949 51 0 0 25 0 1 0 511962726 137154560 20706 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33485 20706 231 231 0 33254 0
vsize: 133940
[startup+100.003 s]
Raw data (loadavg): 1.03 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20781 0 0 0 9949 51 0 0 25 0 1 0 511962726 137154560 20727 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33485 20727 231 231 0 33254 0
vsize: 133940
[startup+110.004 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20801 0 0 0 10948 52 0 0 25 0 1 0 511962726 137154560 20747 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33485 20747 231 231 0 33254 0
vsize: 133940
[startup+120.005 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20916 0 0 0 11948 53 0 0 25 0 1 0 511962726 137678848 20765 4294967295 134512640 135450300 3221224640 3221223456 134537284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33613 20765 231 231 0 33382 0
vsize: 134452
[startup+130.005 s]
Raw data (loadavg): 1.02 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20950 0 0 0 12948 53 0 0 25 0 1 0 511962726 137814016 20799 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33646 20799 231 231 0 33415 0
vsize: 134584
[startup+140.006 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 20972 0 0 0 13948 54 0 0 25 0 1 0 511962726 137814016 20821 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33646 20821 231 231 0 33415 0
vsize: 134584
[startup+150.005 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21006 0 0 0 14947 54 0 0 25 0 1 0 511962726 137973760 20855 4294967295 134512640 135450300 3221224640 3221223360 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33685 20855 231 231 0 33454 0
vsize: 134740
[startup+160.005 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21018 0 0 0 15947 54 0 0 25 0 1 0 511962726 137973760 20867 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33685 20867 231 231 0 33454 0
vsize: 134740
[startup+170.005 s]
Raw data (loadavg): 1.01 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21028 0 0 0 16947 55 0 0 25 0 1 0 511962726 137973760 20877 4294967295 134512640 135450300 3221224640 3221223168 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33685 20877 231 231 0 33454 0
vsize: 134740
[startup+180.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21046 0 0 0 17947 55 0 0 25 0 1 0 511962726 138108928 20895 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33718 20895 231 231 0 33487 0
vsize: 134872
[startup+190.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21063 0 0 0 18947 55 0 0 25 0 1 0 511962726 138108928 20912 4294967295 134512640 135450300 3221224640 3221223168 134544171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33718 20912 231 231 0 33487 0
vsize: 134872
[startup+200.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21088 0 0 0 19946 56 0 0 25 0 1 0 511962726 138244096 20937 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33751 20937 231 231 0 33520 0
vsize: 135004
[startup+210.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21097 0 0 0 20946 56 0 0 25 0 1 0 511962726 138244096 20946 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33751 20946 231 231 0 33520 0
vsize: 135004
[startup+220.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21122 0 0 0 21946 57 0 0 25 0 1 0 511962726 138371072 20971 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33782 20971 231 231 0 33551 0
vsize: 135128
[startup+230.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21143 0 0 0 22946 57 0 0 25 0 1 0 511962726 138371072 20992 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33782 20992 231 231 0 33551 0
vsize: 135128
[startup+240.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21155 0 0 0 23945 58 0 0 25 0 1 0 511962726 138371072 21004 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33782 21004 231 231 0 33551 0
vsize: 135128
[startup+250.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21166 0 0 0 24945 58 0 0 25 0 1 0 511962726 138493952 21015 4294967295 134512640 135450300 3221224640 3221223024 134579521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33812 21015 231 231 0 33581 0
vsize: 135248
[startup+260.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21178 0 0 0 25945 58 0 0 25 0 1 0 511962726 138493952 21027 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33812 21027 231 231 0 33581 0
vsize: 135248
[startup+270.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21198 0 0 0 26944 59 0 0 25 0 1 0 511962726 138493952 21047 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33812 21047 231 231 0 33581 0
vsize: 135248
[startup+280.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21210 0 0 0 27944 60 0 0 25 0 1 0 511962726 138612736 21059 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33841 21059 231 231 0 33610 0
vsize: 135364
[startup+290.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21222 0 0 0 28943 61 0 0 25 0 1 0 511962726 138612736 21071 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33841 21071 231 231 0 33610 0
vsize: 135364
[startup+300.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21772 0 0 0 29942 62 0 0 25 0 1 0 511962726 138752000 21621 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33875 21621 231 231 0 33644 0
vsize: 135500
[startup+310.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16511
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21787 0 0 0 30942 62 0 0 25 0 1 0 511962726 138752000 21636 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33875 21636 231 231 0 33644 0
vsize: 135500
[startup+320.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21805 0 0 0 31942 63 0 0 25 0 1 0 511962726 138752000 21654 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33875 21654 231 231 0 33644 0
vsize: 135500
[startup+330.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 21822 0 0 0 32942 63 0 0 25 0 1 0 511962726 138752000 21671 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33875 21671 231 231 0 33644 0
vsize: 135500
[startup+340.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 22952 0 0 0 33938 66 0 0 25 0 1 0 511962726 138874880 22801 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33905 22801 231 231 0 33674 0
vsize: 135620
[startup+350.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 24736 0 0 0 34934 71 0 0 25 0 1 0 511962726 139661312 24392 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34097 24392 231 231 0 33866 0
vsize: 136388
[startup+360.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 24741 0 0 0 35934 71 0 0 25 0 1 0 511962726 139661312 24397 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34097 24397 231 231 0 33866 0
vsize: 136388
[startup+370.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 24763 0 0 0 36933 72 0 0 25 0 1 0 511962726 139821056 24419 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 24419 231 231 0 33905 0
vsize: 136544
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 24841 0 0 0 37933 73 0 0 25 0 1 0 511962726 139821056 24497 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 24497 231 231 0 33905 0
vsize: 136544
[startup+390.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 26298 0 0 0 38929 77 0 0 25 0 1 0 511962726 139821056 25954 4294967295 134512640 135450300 3221224640 3221223120 134580019 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34136 25954 231 231 0 33905 0
vsize: 136544
[startup+400.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 27782 0 0 0 39925 81 0 0 25 0 1 0 511962726 139956224 27438 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 27438 231 231 0 33938 0
vsize: 136676
[startup+410.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 28804 0 0 0 40923 83 0 0 25 0 1 0 511962726 139956224 28460 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 28460 231 231 0 33938 0
vsize: 136676
[startup+420.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 28808 0 0 0 41923 83 0 0 25 0 1 0 511962726 139956224 28464 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34169 28464 231 231 0 33938 0
vsize: 136676
[startup+430.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 28825 0 0 0 42923 84 0 0 25 0 1 0 511962726 140091392 28481 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34202 28481 231 231 0 33971 0
vsize: 136808
[startup+440.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 28840 0 0 0 43923 84 0 0 25 0 1 0 511962726 140091392 28496 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34202 28496 231 231 0 33971 0
vsize: 136808
[startup+450.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 29726 0 0 0 44920 86 0 0 25 0 1 0 511962726 140091392 29382 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34202 29382 231 231 0 33971 0
vsize: 136808
[startup+460.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 31086 0 0 0 45917 90 0 0 25 0 1 0 511962726 140091392 30742 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34202 30742 231 231 0 33971 0
vsize: 136808
[startup+470.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 32098 0 0 0 46915 92 0 0 25 0 1 0 511962726 140226560 31754 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34235 31754 231 231 0 34004 0
vsize: 136940
[startup+480.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 32102 0 0 0 47915 92 0 0 25 0 1 0 511962726 140226560 31758 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34235 31758 231 231 0 34004 0
vsize: 136940
[startup+490.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 32115 0 0 0 48914 93 0 0 25 0 1 0 511962726 140226560 31771 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34235 31771 231 231 0 34004 0
vsize: 136940
[startup+500.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 32137 0 0 0 49913 94 0 0 25 0 1 0 511962726 140390400 31793 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34275 31793 231 231 0 34044 0
vsize: 137100
[startup+510.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 32559 0 0 0 50912 96 0 0 25 0 1 0 511962726 140390400 32215 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34275 32215 231 231 0 34044 0
vsize: 137100
[startup+520.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 34004 0 0 0 51909 99 0 0 25 0 1 0 511962726 140390400 33660 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34275 33660 231 231 0 34044 0
vsize: 137100
[startup+530.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35853 0 0 0 52905 103 0 0 25 0 1 0 511962726 274608128 35509 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67043 35509 231 231 0 66812 0
vsize: 268172
[startup+540.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35897 0 0 0 53905 104 0 0 25 0 1 0 511962726 274767872 35553 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67082 35553 231 231 0 66851 0
vsize: 268328
[startup+550.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35906 0 0 0 54904 104 0 0 25 0 1 0 511962726 274767872 35562 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67082 35562 231 231 0 66851 0
vsize: 268328
[startup+560.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35916 0 0 0 55904 105 0 0 25 0 1 0 511962726 274767872 35572 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67082 35572 231 231 0 66851 0
vsize: 268328
[startup+570.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35919 0 0 0 56904 106 0 0 25 0 1 0 511962726 274767872 35575 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67082 35575 231 231 0 66851 0
vsize: 268328
[startup+580.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35929 0 0 0 57903 106 0 0 25 0 1 0 511962726 274767872 35585 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67082 35585 231 231 0 66851 0
vsize: 268328
[startup+590.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35940 0 0 0 58903 107 0 0 25 0 1 0 511962726 274890752 35596 4294967295 134512640 135450300 3221224640 3221223116 134572578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67112 35596 231 231 0 66881 0
vsize: 268448
[startup+600.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35948 0 0 0 59902 108 0 0 25 0 1 0 511962726 274890752 35604 4294967295 134512640 135450300 3221224640 3221223168 134544107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67112 35604 231 231 0 66881 0
vsize: 268448
[startup+610.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16513
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35956 0 0 0 60902 108 0 0 25 0 1 0 511962726 274890752 35612 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67112 35612 231 231 0 66881 0
vsize: 268448
[startup+620.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35970 0 0 0 61902 108 0 0 25 0 1 0 511962726 274890752 35626 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67112 35626 231 231 0 66881 0
vsize: 268448
[startup+630.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35990 0 0 0 62901 109 0 0 25 0 1 0 511962726 275017728 35646 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67143 35646 231 231 0 66912 0
vsize: 268572
[startup+640.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 35999 0 0 0 63900 110 0 0 25 0 1 0 511962726 275017728 35655 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67143 35655 231 231 0 66912 0
vsize: 268572
[startup+650.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36004 0 0 0 64899 111 0 0 25 0 1 0 511962726 275017728 35660 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67143 35660 231 231 0 66912 0
vsize: 268572
[startup+660.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36013 0 0 0 65899 112 0 0 25 0 1 0 511962726 275017728 35669 4294967295 134512640 135450300 3221224640 3221223360 134535523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67143 35669 231 231 0 66912 0
vsize: 268572
[startup+670.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36020 0 0 0 66899 112 0 0 25 0 1 0 511962726 275017728 35676 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67143 35676 231 231 0 66912 0
vsize: 268572
[startup+680.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36028 0 0 0 67898 113 0 0 25 0 1 0 511962726 275132416 35684 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67171 35684 231 231 0 66940 0
vsize: 268684
[startup+690.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36036 0 0 0 68898 113 0 0 25 0 1 0 511962726 275132416 35692 4294967295 134512640 135450300 3221224640 3221223116 134572338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67171 35692 231 231 0 66940 0
vsize: 268684
[startup+700.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36040 0 0 0 69898 113 0 0 25 0 1 0 511962726 275132416 35696 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67171 35696 231 231 0 66940 0
vsize: 268684
[startup+710.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36047 0 0 0 70897 114 0 0 25 0 1 0 511962726 275132416 35703 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67171 35703 231 231 0 66940 0
vsize: 268684
[startup+720.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36057 0 0 0 71897 115 0 0 25 0 1 0 511962726 275132416 35713 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67171 35713 231 231 0 66940 0
vsize: 268684
[startup+730.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36068 0 0 0 72897 115 0 0 25 0 1 0 511962726 275132416 35724 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67171 35724 231 231 0 66940 0
vsize: 268684
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36102 0 0 0 73897 116 0 0 25 0 1 0 511962726 275316736 35758 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67216 35758 231 231 0 66985 0
vsize: 268864
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36109 0 0 0 74896 116 0 0 25 0 1 0 511962726 275316736 35765 4294967295 134512640 135450300 3221224640 3221223104 134532775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67216 35765 231 231 0 66985 0
vsize: 268864
[startup+760.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36115 0 0 0 75896 117 0 0 25 0 1 0 511962726 275316736 35771 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67216 35771 231 231 0 66985 0
vsize: 268864
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36356 0 0 0 76895 117 0 0 25 0 1 0 511962726 275316736 36012 4294967295 134512640 135450300 3221224640 3221223248 134537672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67216 36012 231 231 0 66985 0
vsize: 268864
[startup+780.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36371 0 0 0 77895 118 0 0 25 0 1 0 511962726 275316736 36027 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67216 36027 231 231 0 66985 0
vsize: 268864
[startup+790.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36379 0 0 0 78895 118 0 0 25 0 1 0 511962726 275427328 36035 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67243 36035 231 231 0 67012 0
vsize: 268972
[startup+800.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36388 0 0 0 79895 119 0 0 25 0 1 0 511962726 275427328 36044 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67243 36044 231 231 0 67012 0
vsize: 268972
[startup+810.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36400 0 0 0 80895 119 0 0 25 0 1 0 511962726 275427328 36056 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67243 36056 231 231 0 67012 0
vsize: 268972
[startup+820.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36409 0 0 0 81894 120 0 0 25 0 1 0 511962726 275546112 36065 4294967295 134512640 135450300 3221224640 3221223472 134549654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67272 36065 231 231 0 67041 0
vsize: 269088
[startup+830.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36414 0 0 0 82894 120 0 0 25 0 1 0 511962726 275546112 36070 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67272 36070 231 231 0 67041 0
vsize: 269088
[startup+840.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36423 0 0 0 83894 120 0 0 25 0 1 0 511962726 275546112 36079 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67272 36079 231 231 0 67041 0
vsize: 269088
[startup+850.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36432 0 0 0 84894 121 0 0 25 0 1 0 511962726 275546112 36088 4294967295 134512640 135450300 3221224640 3221223376 134538910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67272 36088 231 231 0 67041 0
vsize: 269088
[startup+860.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36447 0 0 0 85894 121 0 0 25 0 1 0 511962726 275546112 36103 4294967295 134512640 135450300 3221224640 3221223104 134532767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67272 36103 231 231 0 67041 0
vsize: 269088
[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36452 0 0 0 86894 121 0 0 25 0 1 0 511962726 275546112 36108 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67272 36108 231 231 0 67041 0
vsize: 269088
[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36459 0 0 0 87894 121 0 0 25 0 1 0 511962726 275546112 36115 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67272 36115 231 231 0 67041 0
vsize: 269088
[startup+890.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36851 0 0 0 88893 122 0 0 25 0 1 0 511962726 277286912 36122 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 36122 231 231 0 67466 0
vsize: 270788
[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36864 0 0 0 89893 123 0 0 25 0 1 0 511962726 277286912 36135 4294967295 134512640 135450300 3221224640 3221223456 134536495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 36135 231 231 0 67466 0
vsize: 270788
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16515
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36872 0 0 0 90893 123 0 0 25 0 1 0 511962726 277286912 36143 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 36143 231 231 0 67466 0
vsize: 270788
[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36887 0 0 0 91892 123 0 0 25 0 1 0 511962726 277286912 36158 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 36158 231 231 0 67466 0
vsize: 270788
[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36896 0 0 0 92892 124 0 0 25 0 1 0 511962726 277286912 36167 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 36167 231 231 0 67466 0
vsize: 270788
[startup+940.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36909 0 0 0 93892 124 0 0 25 0 1 0 511962726 277286912 36180 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 36180 231 231 0 67466 0
vsize: 270788
[startup+950.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36919 0 0 0 94891 125 0 0 25 0 1 0 511962726 277286912 36190 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67697 36190 231 231 0 67466 0
vsize: 270788
[startup+960.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36931 0 0 0 95891 125 0 0 25 0 1 0 511962726 277479424 36202 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36202 231 231 0 67513 0
vsize: 270976
[startup+970.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36938 0 0 0 96891 125 0 0 25 0 1 0 511962726 277479424 36209 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36209 231 231 0 67513 0
vsize: 270976
[startup+980.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36941 0 0 0 97891 126 0 0 25 0 1 0 511962726 277479424 36212 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36212 231 231 0 67513 0
vsize: 270976
[startup+990.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36955 0 0 0 98891 126 0 0 25 0 1 0 511962726 277479424 36226 4294967295 134512640 135450300 3221224640 3221223456 134536504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36226 231 231 0 67513 0
vsize: 270976
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36965 0 0 0 99891 127 0 0 25 0 1 0 511962726 277479424 36236 4294967295 134512640 135450300 3221224640 3221223168 134543649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36236 231 231 0 67513 0
vsize: 270976
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36982 0 0 0 100891 127 0 0 25 0 1 0 511962726 277479424 36253 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36253 231 231 0 67513 0
vsize: 270976
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 36990 0 0 0 101890 127 0 0 25 0 1 0 511962726 277479424 36261 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36261 231 231 0 67513 0
vsize: 270976
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37000 0 0 0 102890 128 0 0 25 0 1 0 511962726 277479424 36271 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67744 36271 231 231 0 67513 0
vsize: 270976
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37436 0 0 0 103890 129 0 0 25 0 1 0 511962726 277594112 36707 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67772 36707 231 231 0 67541 0
vsize: 271088
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37442 0 0 0 104889 129 0 0 25 0 1 0 511962726 277594112 36713 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67772 36713 231 231 0 67541 0
vsize: 271088
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37457 0 0 0 105889 130 0 0 25 0 1 0 511962726 277716992 36728 4294967295 134512640 135450300 3221224640 3221223456 134536465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36728 231 231 0 67571 0
vsize: 271208
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37465 0 0 0 106889 130 0 0 25 0 1 0 511962726 277716992 36736 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36736 231 231 0 67571 0
vsize: 271208
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37474 0 0 0 107888 130 0 0 25 0 1 0 511962726 277716992 36745 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36745 231 231 0 67571 0
vsize: 271208
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37481 0 0 0 108888 131 0 0 25 0 1 0 511962726 277716992 36752 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36752 231 231 0 67571 0
vsize: 271208
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37488 0 0 0 109888 131 0 0 25 0 1 0 511962726 277716992 36759 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36759 231 231 0 67571 0
vsize: 271208
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37494 0 0 0 110889 131 0 0 25 0 1 0 511962726 277716992 36765 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36765 231 231 0 67571 0
vsize: 271208
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37501 0 0 0 111888 132 0 0 25 0 1 0 511962726 277716992 36772 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36772 231 231 0 67571 0
vsize: 271208
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37511 0 0 0 112888 132 0 0 25 0 1 0 511962726 277716992 36782 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36782 231 231 0 67571 0
vsize: 271208
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37517 0 0 0 113888 132 0 0 25 0 1 0 511962726 277716992 36788 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36788 231 231 0 67571 0
vsize: 271208
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 37523 0 0 0 114888 133 0 0 25 0 1 0 511962726 277716992 36794 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67802 36794 231 231 0 67571 0
vsize: 271208
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 38566 0 0 0 115885 135 0 0 25 0 1 0 511962726 277934080 37837 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67855 37837 231 231 0 67624 0
vsize: 271420
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 38582 0 0 0 116885 136 0 0 25 0 1 0 511962726 277934080 37853 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67855 37853 231 231 0 67624 0
vsize: 271420
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 38589 0 0 0 117885 136 0 0 25 0 1 0 511962726 277934080 37860 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67855 37860 231 231 0 67624 0
vsize: 271420
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 38595 0 0 0 118885 136 0 0 25 0 1 0 511962726 277934080 37866 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67855 37866 231 231 0 67624 0
vsize: 271420
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/55 16517
Raw data (stat): 16509 (PBS4) R 16508 22929 22928 0 -1 0 38600 0 0 0 119885 136 0 0 25 0 1 0 511962726 277934080 37871 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67855 37871 231 231 0 67624 0
vsize: 271420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.92 1/55 16517
Raw data (stat): 16509 (PBS4) Z 16508 22929 22928 0 -1 1036 38600 0 0 0 119885 143 0 0 25 0 1 0 511962726 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.1
CPU time (s): 1200.29
CPU user time (s): 1198.85
CPU system time (s): 1.43878
CPU usage (%): 100.016
Max. virtual memory (Kb): 271420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####