PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-bench1.pi.opb
MD5SUM	773129c71f80eff294fafd0a8a5769cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	121
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
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	4677
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4677
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.72874
Number of variables	4676
Total number of constraints	398
Number of constraints which are clauses	398
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	80
Trace number 7685

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-17 15:40:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=564 boxname=wulflinc8 idbench=63 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  773129c71f80eff294fafd0a8a5769cd  /oldhome/oroussel/tmp/wulflinc8/normalized-bench1.pi.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc8/normalized-bench1.pi.opb
IDLAUNCH: 564
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        845740 kB
Buffers:         38508 kB
Cached:         127752 kB
SwapCached:          0 kB
Active:          83652 kB
Inactive:        87296 kB
HighTotal:      131008 kB
HighFree:          784 kB
LowTotal:       903652 kB
LowFree:        844956 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12524 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:00:06 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 564 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc8/normalized-bench1.pi.opb ......
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.00 0.00 0.00 2/54 17776
Raw data (stat): 17776 (runsolver) R 17775 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 439880088 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0009 s]
Raw data (loadavg): 0.15 0.03 0.01 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 416 0 0 0 989 9 0 0 25 0 1 0 439880088 2461696 412 4294967295 134512640 135450300 3221224640 3221223464 134958369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 601 412 231 231 0 370 0
vsize: 2404
[startup+20.0017 s]
Raw data (loadavg): 0.28 0.06 0.02 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 416 0 0 0 1980 18 0 0 25 0 1 0 439880088 2461696 412 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 601 412 231 231 0 370 0
vsize: 2404
[startup+30.002 s]
Raw data (loadavg): 0.39 0.09 0.03 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 418 0 0 0 2970 29 0 0 25 0 1 0 439880088 2461696 414 4294967295 134512640 135450300 3221224640 3221223456 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 601 414 231 231 0 370 0
vsize: 2404
[startup+40.0022 s]
Raw data (loadavg): 0.49 0.12 0.04 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 418 0 0 0 3959 39 0 0 25 0 1 0 439880088 2461696 414 4294967295 134512640 135450300 3221224640 3221223568 134539617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 601 414 231 231 0 370 0
vsize: 2404
[startup+50.003 s]
Raw data (loadavg): 0.56 0.15 0.05 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 421 0 0 0 4949 50 0 0 25 0 1 0 439880088 2461696 417 4294967295 134512640 135450300 3221224640 3221223456 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 601 417 231 231 0 370 0
vsize: 2404
[startup+60.0034 s]
Raw data (loadavg): 0.63 0.18 0.06 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 425 0 0 0 5936 62 0 0 25 0 1 0 439880088 2596864 421 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 634 421 231 231 0 403 0
vsize: 2536
[startup+70.0046 s]
Raw data (loadavg): 0.69 0.21 0.07 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 434 0 0 0 6924 74 0 0 25 0 1 0 439880088 2596864 430 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 634 430 231 231 0 403 0
vsize: 2536
[startup+80.0054 s]
Raw data (loadavg): 0.73 0.23 0.08 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 552 0 0 0 7912 86 0 0 25 0 1 0 439880088 3031040 548 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 740 548 231 231 0 509 0
vsize: 2960
[startup+90.0061 s]
Raw data (loadavg): 0.77 0.26 0.09 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 568 0 0 0 8912 86 0 0 25 0 1 0 439880088 3031040 564 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 740 564 231 231 0 509 0
vsize: 2960
[startup+100.006 s]
Raw data (loadavg): 0.81 0.28 0.10 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 572 0 0 0 9912 87 0 0 25 0 1 0 439880088 3031040 568 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 740 568 231 231 0 509 0
vsize: 2960
[startup+110.007 s]
Raw data (loadavg): 0.84 0.30 0.11 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 575 0 0 0 10912 87 0 0 25 0 1 0 439880088 3293184 571 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 571 231 231 0 573 0
vsize: 3216
[startup+120.007 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 578 0 0 0 11911 87 0 0 25 0 1 0 439880088 3293184 574 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 574 231 231 0 573 0
vsize: 3216
[startup+130.007 s]
Raw data (loadavg): 0.88 0.35 0.12 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 582 0 0 0 12911 88 0 0 25 0 1 0 439880088 3293184 578 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 578 231 231 0 573 0
vsize: 3216
[startup+140.008 s]
Raw data (loadavg): 0.90 0.37 0.13 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 585 0 0 0 13910 89 0 0 25 0 1 0 439880088 3293184 581 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 581 231 231 0 573 0
vsize: 3216
[startup+150.009 s]
Raw data (loadavg): 0.92 0.39 0.14 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 589 0 0 0 14910 89 0 0 25 0 1 0 439880088 3293184 585 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 585 231 231 0 573 0
vsize: 3216
[startup+160.01 s]
Raw data (loadavg): 0.93 0.41 0.15 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 592 0 0 0 15909 90 0 0 25 0 1 0 439880088 3293184 588 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 588 231 231 0 573 0
vsize: 3216
[startup+170.01 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 596 0 0 0 16909 90 0 0 25 0 1 0 439880088 3293184 592 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 592 231 231 0 573 0
vsize: 3216
[startup+180.012 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 599 0 0 0 17909 91 0 0 25 0 1 0 439880088 3293184 595 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 595 231 231 0 573 0
vsize: 3216
[startup+190.012 s]
Raw data (loadavg): 0.95 0.46 0.18 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 602 0 0 0 18909 91 0 0 25 0 1 0 439880088 3293184 598 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 598 231 231 0 573 0
vsize: 3216
[startup+200.012 s]
Raw data (loadavg): 0.96 0.48 0.19 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 606 0 0 0 19908 91 0 0 25 0 1 0 439880088 3293184 602 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 602 231 231 0 573 0
vsize: 3216
[startup+210.013 s]
Raw data (loadavg): 0.97 0.50 0.19 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 609 0 0 0 20908 92 0 0 25 0 1 0 439880088 3293184 605 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 605 231 231 0 573 0
vsize: 3216
[startup+220.013 s]
Raw data (loadavg): 0.97 0.51 0.20 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 613 0 0 0 21908 92 0 0 25 0 1 0 439880088 3293184 609 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 609 231 231 0 573 0
vsize: 3216
[startup+230.013 s]
Raw data (loadavg): 0.98 0.53 0.21 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 617 0 0 0 22907 93 0 0 25 0 1 0 439880088 3293184 613 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 613 231 231 0 573 0
vsize: 3216
[startup+240.014 s]
Raw data (loadavg): 0.98 0.54 0.22 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 620 0 0 0 23907 93 0 0 25 0 1 0 439880088 3293184 616 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 616 231 231 0 573 0
vsize: 3216
[startup+250.015 s]
Raw data (loadavg): 0.98 0.56 0.22 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 631 0 0 0 24906 94 0 0 25 0 1 0 439880088 3293184 627 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 804 627 231 231 0 573 0
vsize: 3216
[startup+260.016 s]
Raw data (loadavg): 0.98 0.57 0.23 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 648 0 0 0 25906 94 0 0 25 0 1 0 439880088 3436544 644 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 839 644 231 231 0 608 0
vsize: 3356
[startup+270.016 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 651 0 0 0 26906 94 0 0 25 0 1 0 439880088 3436544 647 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 839 647 231 231 0 608 0
vsize: 3356
[startup+280.016 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 654 0 0 0 27906 94 0 0 25 0 1 0 439880088 3436544 650 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 839 650 231 231 0 608 0
vsize: 3356
[startup+290.017 s]
Raw data (loadavg): 0.99 0.61 0.26 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 658 0 0 0 28906 94 0 0 25 0 1 0 439880088 3436544 654 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 839 654 231 231 0 608 0
vsize: 3356
[startup+300.017 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 661 0 0 0 29906 94 0 0 25 0 1 0 439880088 3960832 657 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 657 231 231 0 736 0
vsize: 3868
[startup+310.019 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 664 0 0 0 30906 95 0 0 25 0 1 0 439880088 3960832 660 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 660 231 231 0 736 0
vsize: 3868
[startup+320.019 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 668 0 0 0 31906 95 0 0 25 0 1 0 439880088 3960832 664 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 664 231 231 0 736 0
vsize: 3868
[startup+330.019 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 671 0 0 0 32906 95 0 0 25 0 1 0 439880088 3960832 667 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 667 231 231 0 736 0
vsize: 3868
[startup+340.02 s]
Raw data (loadavg): 0.99 0.67 0.29 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 674 0 0 0 33906 95 0 0 25 0 1 0 439880088 3960832 670 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 670 231 231 0 736 0
vsize: 3868
[startup+350.02 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 677 0 0 0 34905 96 0 0 25 0 1 0 439880088 3960832 673 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 673 231 231 0 736 0
vsize: 3868
[startup+360.021 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 681 0 0 0 35905 96 0 0 25 0 1 0 439880088 3960832 677 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 677 231 231 0 736 0
vsize: 3868
[startup+370.021 s]
Raw data (loadavg): 0.99 0.70 0.31 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 684 0 0 0 36905 96 0 0 25 0 1 0 439880088 3960832 680 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 680 231 231 0 736 0
vsize: 3868
[startup+380.021 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 687 0 0 0 37905 97 0 0 25 0 1 0 439880088 3960832 683 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 683 231 231 0 736 0
vsize: 3868
[startup+390.022 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 690 0 0 0 38905 97 0 0 25 0 1 0 439880088 3960832 686 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 686 231 231 0 736 0
vsize: 3868
[startup+400.022 s]
Raw data (loadavg): 0.99 0.73 0.33 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 694 0 0 0 39905 97 0 0 25 0 1 0 439880088 3960832 690 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 690 231 231 0 736 0
vsize: 3868
[startup+410.022 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 697 0 0 0 40905 97 0 0 25 0 1 0 439880088 3960832 693 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 693 231 231 0 736 0
vsize: 3868
[startup+420.024 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 700 0 0 0 41904 97 0 0 25 0 1 0 439880088 3960832 696 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 696 231 231 0 736 0
vsize: 3868
[startup+430.023 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 703 0 0 0 42904 98 0 0 25 0 1 0 439880088 3960832 699 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 699 231 231 0 736 0
vsize: 3868
[startup+440.024 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 706 0 0 0 43904 98 0 0 25 0 1 0 439880088 3960832 702 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 702 231 231 0 736 0
vsize: 3868
[startup+450.024 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 709 0 0 0 44904 98 0 0 25 0 1 0 439880088 3960832 705 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 705 231 231 0 736 0
vsize: 3868
[startup+460.024 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 712 0 0 0 45904 98 0 0 25 0 1 0 439880088 3960832 708 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 708 231 231 0 736 0
vsize: 3868
[startup+470.025 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 715 0 0 0 46904 99 0 0 25 0 1 0 439880088 3960832 711 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 711 231 231 0 736 0
vsize: 3868
[startup+480.026 s]
Raw data (loadavg): 0.99 0.79 0.38 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 718 0 0 0 47904 99 0 0 25 0 1 0 439880088 3960832 714 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 714 231 231 0 736 0
vsize: 3868
[startup+490.027 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 722 0 0 0 48904 99 0 0 25 0 1 0 439880088 3960832 718 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 718 231 231 0 736 0
vsize: 3868
[startup+500.026 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 725 0 0 0 49903 99 0 0 25 0 1 0 439880088 3960832 721 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 721 231 231 0 736 0
vsize: 3868
[startup+510.027 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 728 0 0 0 50903 100 0 0 25 0 1 0 439880088 3960832 724 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 724 231 231 0 736 0
vsize: 3868
[startup+520.028 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 732 0 0 0 51903 100 0 0 25 0 1 0 439880088 3960832 728 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 728 231 231 0 736 0
vsize: 3868
[startup+530.028 s]
Raw data (loadavg): 0.99 0.82 0.41 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 735 0 0 0 52903 100 0 0 25 0 1 0 439880088 3960832 731 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 731 231 231 0 736 0
vsize: 3868
[startup+540.029 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 738 0 0 0 53903 100 0 0 25 0 1 0 439880088 3960832 734 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 734 231 231 0 736 0
vsize: 3868
[startup+550.03 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 742 0 0 0 54903 101 0 0 25 0 1 0 439880088 3960832 738 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 738 231 231 0 736 0
vsize: 3868
[startup+560.03 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 745 0 0 0 55902 101 0 0 25 0 1 0 439880088 3960832 741 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 741 231 231 0 736 0
vsize: 3868
[startup+570.031 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 748 0 0 0 56902 101 0 0 25 0 1 0 439880088 3960832 744 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 744 231 231 0 736 0
vsize: 3868
[startup+580.032 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 751 0 0 0 57902 101 0 0 25 0 1 0 439880088 3960832 747 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 747 231 231 0 736 0
vsize: 3868
[startup+590.033 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 754 0 0 0 58902 102 0 0 25 0 1 0 439880088 3960832 750 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 750 231 231 0 736 0
vsize: 3868
[startup+600.033 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 758 0 0 0 59901 102 0 0 25 0 1 0 439880088 3960832 754 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 754 231 231 0 736 0
vsize: 3868
[startup+610.033 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 761 0 0 0 60901 102 0 0 25 0 1 0 439880088 3960832 757 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 757 231 231 0 736 0
vsize: 3868
[startup+620.034 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 764 0 0 0 61901 103 0 0 25 0 1 0 439880088 3960832 760 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 760 231 231 0 736 0
vsize: 3868
[startup+630.034 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 768 0 0 0 62901 103 0 0 25 0 1 0 439880088 3960832 764 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 764 231 231 0 736 0
vsize: 3868
[startup+640.035 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 771 0 0 0 63901 103 0 0 25 0 1 0 439880088 3960832 767 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 967 767 231 231 0 736 0
vsize: 3868
[startup+650.035 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 775 0 0 0 64901 103 0 0 25 0 1 0 439880088 3960832 771 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 967 771 231 231 0 736 0
vsize: 3868
[startup+660.036 s]
Raw data (loadavg): 0.99 0.88 0.48 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 778 0 0 0 65901 103 0 0 25 0 1 0 439880088 3960832 774 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 967 774 231 231 0 736 0
vsize: 3868
[startup+670.037 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 781 0 0 0 66901 103 0 0 25 0 1 0 439880088 3960832 777 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 967 777 231 231 0 736 0
vsize: 3868
[startup+680.037 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 784 0 0 0 67901 103 0 0 25 0 1 0 439880088 3960832 780 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 967 780 231 231 0 736 0
vsize: 3868
[startup+690.037 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 787 0 0 0 68902 103 0 0 25 0 1 0 439880088 3960832 783 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 967 783 231 231 0 736 0
vsize: 3868
[startup+700.037 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 791 0 0 0 69902 103 0 0 25 0 1 0 439880088 5009408 787 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 787 231 231 0 992 0
vsize: 4892
[startup+710.038 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 794 0 0 0 70902 103 0 0 25 0 1 0 439880088 5009408 790 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 790 231 231 0 992 0
vsize: 4892
[startup+720.039 s]
Raw data (loadavg): 0.99 0.90 0.51 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 799 0 0 0 71902 103 0 0 25 0 1 0 439880088 5009408 795 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 795 231 231 0 992 0
vsize: 4892
[startup+730.039 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 802 0 0 0 72902 104 0 0 25 0 1 0 439880088 5009408 798 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 798 231 231 0 992 0
vsize: 4892
[startup+740.039 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 806 0 0 0 73902 104 0 0 25 0 1 0 439880088 5009408 802 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 802 231 231 0 992 0
vsize: 4892
[startup+750.039 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 809 0 0 0 74903 104 0 0 25 0 1 0 439880088 5009408 805 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 805 231 231 0 992 0
vsize: 4892
[startup+760.04 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 812 0 0 0 75903 104 0 0 25 0 1 0 439880088 5009408 808 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 808 231 231 0 992 0
vsize: 4892
[startup+770.04 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 816 0 0 0 76903 104 0 0 25 0 1 0 439880088 5009408 812 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 812 231 231 0 992 0
vsize: 4892
[startup+780.039 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 819 0 0 0 77903 104 0 0 25 0 1 0 439880088 5009408 815 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 815 231 231 0 992 0
vsize: 4892
[startup+790.04 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 823 0 0 0 78903 104 0 0 25 0 1 0 439880088 5009408 819 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 819 231 231 0 992 0
vsize: 4892
[startup+800.04 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 826 0 0 0 79903 104 0 0 25 0 1 0 439880088 5009408 822 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 822 231 231 0 992 0
vsize: 4892
[startup+810.041 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 830 0 0 0 80904 104 0 0 25 0 1 0 439880088 5009408 826 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 826 231 231 0 992 0
vsize: 4892
[startup+820.041 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 833 0 0 0 81904 104 0 0 25 0 1 0 439880088 5009408 829 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 829 231 231 0 992 0
vsize: 4892
[startup+830.04 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 836 0 0 0 82904 104 0 0 25 0 1 0 439880088 5009408 832 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 832 231 231 0 992 0
vsize: 4892
[startup+840.041 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 839 0 0 0 83904 104 0 0 25 0 1 0 439880088 5009408 835 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 835 231 231 0 992 0
vsize: 4892
[startup+850.041 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 842 0 0 0 84904 104 0 0 25 0 1 0 439880088 5009408 838 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 838 231 231 0 992 0
vsize: 4892
[startup+860.042 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 845 0 0 0 85905 104 0 0 25 0 1 0 439880088 5009408 841 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 841 231 231 0 992 0
vsize: 4892
[startup+870.041 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 848 0 0 0 86905 104 0 0 25 0 1 0 439880088 5009408 844 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 844 231 231 0 992 0
vsize: 4892
[startup+880.041 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 851 0 0 0 87905 104 0 0 25 0 1 0 439880088 5009408 847 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 847 231 231 0 992 0
vsize: 4892
[startup+890.042 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 854 0 0 0 88905 104 0 0 25 0 1 0 439880088 5009408 850 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 850 231 231 0 992 0
vsize: 4892
[startup+900.043 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 857 0 0 0 89905 104 0 0 25 0 1 0 439880088 5009408 853 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 853 231 231 0 992 0
vsize: 4892
[startup+910.044 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 860 0 0 0 90906 104 0 0 25 0 1 0 439880088 5009408 856 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 856 231 231 0 992 0
vsize: 4892
[startup+920.044 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 863 0 0 0 91906 104 0 0 25 0 1 0 439880088 5009408 859 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 859 231 231 0 992 0
vsize: 4892
[startup+930.043 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 866 0 0 0 92906 104 0 0 25 0 1 0 439880088 5009408 862 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 862 231 231 0 992 0
vsize: 4892
[startup+940.043 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 869 0 0 0 93906 104 0 0 25 0 1 0 439880088 5009408 865 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 865 231 231 0 992 0
vsize: 4892
[startup+950.043 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 872 0 0 0 94906 104 0 0 25 0 1 0 439880088 5009408 868 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 868 231 231 0 992 0
vsize: 4892
[startup+960.044 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 875 0 0 0 95907 104 0 0 25 0 1 0 439880088 5009408 871 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 871 231 231 0 992 0
vsize: 4892
[startup+970.044 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 878 0 0 0 96907 104 0 0 25 0 1 0 439880088 5009408 874 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 874 231 231 0 992 0
vsize: 4892
[startup+980.044 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 882 0 0 0 97907 104 0 0 25 0 1 0 439880088 5009408 878 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 878 231 231 0 992 0
vsize: 4892
[startup+990.045 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 885 0 0 0 98907 104 0 0 25 0 1 0 439880088 5009408 881 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 881 231 231 0 992 0
vsize: 4892
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 888 0 0 0 99907 104 0 0 25 0 1 0 439880088 5009408 884 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 884 231 231 0 992 0
vsize: 4892
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 891 0 0 0 100908 104 0 0 25 0 1 0 439880088 5009408 887 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 887 231 231 0 992 0
vsize: 4892
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 894 0 0 0 101908 104 0 0 25 0 1 0 439880088 5009408 890 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 890 231 231 0 992 0
vsize: 4892
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 897 0 0 0 102908 104 0 0 25 0 1 0 439880088 5009408 893 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 893 231 231 0 992 0
vsize: 4892
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 900 0 0 0 103908 104 0 0 25 0 1 0 439880088 5009408 896 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 896 231 231 0 992 0
vsize: 4892
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 904 0 0 0 104908 104 0 0 25 0 1 0 439880088 5009408 900 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 900 231 231 0 992 0
vsize: 4892
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 907 0 0 0 105908 104 0 0 25 0 1 0 439880088 5009408 903 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 903 231 231 0 992 0
vsize: 4892
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 910 0 0 0 106909 104 0 0 25 0 1 0 439880088 5009408 906 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 906 231 231 0 992 0
vsize: 4892
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 913 0 0 0 107909 104 0 0 25 0 1 0 439880088 5009408 909 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 909 231 231 0 992 0
vsize: 4892
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 916 0 0 0 108909 104 0 0 25 0 1 0 439880088 5009408 912 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 912 231 231 0 992 0
vsize: 4892
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 921 0 0 0 109909 104 0 0 25 0 1 0 439880088 5009408 917 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 917 231 231 0 992 0
vsize: 4892
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 924 0 0 0 110909 104 0 0 25 0 1 0 439880088 5009408 920 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 920 231 231 0 992 0
vsize: 4892
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 927 0 0 0 111910 104 0 0 25 0 1 0 439880088 5009408 923 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 923 231 231 0 992 0
vsize: 4892
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 930 0 0 0 112910 104 0 0 25 0 1 0 439880088 5009408 926 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 926 231 231 0 992 0
vsize: 4892
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 933 0 0 0 113910 104 0 0 25 0 1 0 439880088 5009408 929 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 929 231 231 0 992 0
vsize: 4892
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 936 0 0 0 114910 104 0 0 25 0 1 0 439880088 5009408 932 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 932 231 231 0 992 0
vsize: 4892
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 939 0 0 0 115910 104 0 0 25 0 1 0 439880088 5009408 935 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 935 231 231 0 992 0
vsize: 4892
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 942 0 0 0 116911 104 0 0 25 0 1 0 439880088 5009408 938 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 938 231 231 0 992 0
vsize: 4892
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 946 0 0 0 117911 104 0 0 25 0 1 0 439880088 5009408 942 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 942 231 231 0 992 0
vsize: 4892
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 949 0 0 0 118911 104 0 0 25 0 1 0 439880088 5009408 945 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 945 231 231 0 992 0
vsize: 4892
[startup+1200.26 s]
Raw data (loadavg): 1.07 0.99 0.70 2/54 17776
Raw data (stat): 17776 (PBS4) R 17775 26667 26666 0 -1 0 952 0 0 0 119932 104 0 0 25 0 1 0 439880088 5009408 948 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 948 231 231 0 992 0
vsize: 4892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 1.07 0.99 0.70 1/54 17776
Raw data (stat): 17776 (PBS4) Z 17775 26667 26666 0 -1 1036 952 0 0 0 119932 104 0 0 25 0 1 0 439880088 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.26
CPU time (s): 1200.37
CPU user time (s): 1199.32
CPU system time (s): 1.04384
CPU usage (%): 100.009
Max. virtual memory (Kb): 4892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####