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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUMb2d6fc6e4e4b51f8b59d0f4ed12a9f74
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 2678
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 2678
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 2678
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables2678
Total number of constraints6689
Number of constraints which are clauses6689
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3

Trace number 7802

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-17 16:24:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1896 boxname=wulflinc8 idbench=211 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc8/normalized-par32-5-c.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc8/normalized-par32-5-c.opb
IDLAUNCH: 1896
/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:        845252 kB
Buffers:         38588 kB
Cached:         128148 kB
SwapCached:          0 kB
Active:          87456 kB
Inactive:        83940 kB
HighTotal:      131008 kB
HighFree:          392 kB
LowTotal:       903652 kB
LowFree:        844860 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            12548 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-17 16:44:03 (client local time) WITH STATUS 0 IN 1200.17 SECONDS
stats: 1896 7 1200.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc8/normalized-par32-5-c.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.89 0.94 0.89 2/54 18286
Raw data (stat): 18286 (runsolver) R 18285 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 440143930 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): 0.91 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 436 0 0 0 998 1 0 0 25 0 1 0 440143930 2699264 426 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 659 426 231 231 0 428 0
vsize: 2636
[startup+20.0015 s]
Raw data (loadavg): 0.92 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 462 0 0 0 1998 1 0 0 25 0 1 0 440143930 2699264 452 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 659 452 231 231 0 428 0
vsize: 2636
[startup+30.0023 s]
Raw data (loadavg): 0.93 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 485 0 0 0 2998 1 0 0 25 0 1 0 440143930 2699264 475 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 659 475 231 231 0 428 0
vsize: 2636
[startup+40.0026 s]
Raw data (loadavg): 0.94 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 530 0 0 0 3997 2 0 0 25 0 1 0 440143930 2838528 520 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 693 520 231 231 0 462 0
vsize: 2772
[startup+50.0038 s]
Raw data (loadavg): 0.95 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 618 0 0 0 4997 3 0 0 25 0 1 0 440143930 3559424 559 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 869 559 231 231 0 638 0
vsize: 3476
[startup+60.0046 s]
Raw data (loadavg): 0.96 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 652 0 0 0 5996 3 0 0 25 0 1 0 440143930 3559424 593 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 869 593 231 231 0 638 0
vsize: 3476
[startup+70.0054 s]
Raw data (loadavg): 0.96 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 683 0 0 0 6996 3 0 0 25 0 1 0 440143930 3559424 624 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 869 624 231 231 0 638 0
vsize: 3476
[startup+80.006 s]
Raw data (loadavg): 0.97 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 715 0 0 0 7995 4 0 0 25 0 1 0 440143930 3694592 656 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 902 656 231 231 0 671 0
vsize: 3608
[startup+90.0058 s]
Raw data (loadavg): 0.97 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 768 0 0 0 8995 4 0 0 25 0 1 0 440143930 3694592 709 4294967295 134512640 135450300 3221224640 3221223504 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 902 709 231 231 0 671 0
vsize: 3608
[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.89 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 796 0 0 0 9994 5 0 0 25 0 1 0 440143930 4878336 737 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 737 231 231 0 960 0
vsize: 4764
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 829 0 0 0 10994 5 0 0 25 0 1 0 440143930 4878336 770 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 770 231 231 0 960 0
vsize: 4764
[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 843 0 0 0 11994 6 0 0 25 0 1 0 440143930 4878336 784 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 784 231 231 0 960 0
vsize: 4764
[startup+130.008 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 859 0 0 0 12993 6 0 0 25 0 1 0 440143930 4878336 800 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 800 231 231 0 960 0
vsize: 4764
[startup+140.009 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 876 0 0 0 13993 6 0 0 25 0 1 0 440143930 4878336 817 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 817 231 231 0 960 0
vsize: 4764
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 888 0 0 0 14993 7 0 0 25 0 1 0 440143930 4878336 829 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 829 231 231 0 960 0
vsize: 4764
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 923 0 0 0 15993 7 0 0 25 0 1 0 440143930 4878336 864 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 864 231 231 0 960 0
vsize: 4764
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 950 0 0 0 16993 7 0 0 25 0 1 0 440143930 4878336 891 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1191 891 231 231 0 960 0
vsize: 4764
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 988 0 0 0 17992 8 0 0 25 0 1 0 440143930 5009408 929 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 929 231 231 0 992 0
vsize: 4892
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1028 0 0 0 18992 8 0 0 25 0 1 0 440143930 5009408 969 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 969 231 231 0 992 0
vsize: 4892
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1069 0 0 0 19992 9 0 0 25 0 1 0 440143930 5009408 1010 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 1010 231 231 0 992 0
vsize: 4892
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1098 0 0 0 20991 9 0 0 25 0 1 0 440143930 5009408 1039 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1223 1039 231 231 0 992 0
vsize: 4892
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1137 0 0 0 21990 10 0 0 25 0 1 0 440143930 7217152 1078 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1078 231 231 0 1531 0
vsize: 7048
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1169 0 0 0 22990 11 0 0 25 0 1 0 440143930 7217152 1110 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1110 231 231 0 1531 0
vsize: 7048
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1207 0 0 0 23989 11 0 0 25 0 1 0 440143930 7217152 1148 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1148 231 231 0 1531 0
vsize: 7048
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1225 0 0 0 24989 11 0 0 25 0 1 0 440143930 7217152 1166 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1166 231 231 0 1531 0
vsize: 7048
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1233 0 0 0 25989 12 0 0 25 0 1 0 440143930 7217152 1174 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1174 231 231 0 1531 0
vsize: 7048
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1276 0 0 0 26988 12 0 0 25 0 1 0 440143930 7217152 1217 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1217 231 231 0 1531 0
vsize: 7048
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1317 0 0 0 27988 13 0 0 25 0 1 0 440143930 7217152 1258 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 1258 231 231 0 1531 0
vsize: 7048
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1358 0 0 0 28988 13 0 0 25 0 1 0 440143930 7364608 1299 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1798 1299 231 231 0 1567 0
vsize: 7192
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1490 0 0 0 29987 14 0 0 25 0 1 0 440143930 7757824 1334 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 1334 231 231 0 1663 0
vsize: 7576
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1538 0 0 0 30987 14 0 0 25 0 1 0 440143930 7757824 1382 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 1382 231 231 0 1663 0
vsize: 7576
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1579 0 0 0 31987 14 0 0 25 0 1 0 440143930 7757824 1423 4294967295 134512640 135450300 3221224640 3221223376 134538793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 1423 231 231 0 1663 0
vsize: 7576
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1615 0 0 0 32986 15 0 0 25 0 1 0 440143930 7757824 1459 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 1459 231 231 0 1663 0
vsize: 7576
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1649 0 0 0 33986 15 0 0 25 0 1 0 440143930 7757824 1493 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 1493 231 231 0 1663 0
vsize: 7576
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1670 0 0 0 34985 16 0 0 25 0 1 0 440143930 7757824 1514 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 1514 231 231 0 1663 0
vsize: 7576
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1675 0 0 0 35985 16 0 0 25 0 1 0 440143930 7897088 1519 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 1519 231 231 0 1697 0
vsize: 7712
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1708 0 0 0 36985 17 0 0 25 0 1 0 440143930 7897088 1552 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 1552 231 231 0 1697 0
vsize: 7712
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1738 0 0 0 37984 17 0 0 25 0 1 0 440143930 8044544 1582 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 1582 231 231 0 1733 0
vsize: 7856
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1777 0 0 0 38984 18 0 0 25 0 1 0 440143930 8044544 1621 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 1621 231 231 0 1733 0
vsize: 7856
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1811 0 0 0 39983 18 0 0 25 0 1 0 440143930 8044544 1655 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 1655 231 231 0 1733 0
vsize: 7856
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1830 0 0 0 40983 19 0 0 25 0 1 0 440143930 8044544 1674 4294967295 134512640 135450300 3221224640 3221223248 134537764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 1674 231 231 0 1733 0
vsize: 7856
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1850 0 0 0 41982 19 0 0 25 0 1 0 440143930 8044544 1694 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 1694 231 231 0 1733 0
vsize: 7856
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1884 0 0 0 42982 20 0 0 25 0 1 0 440143930 8163328 1728 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1993 1728 231 231 0 1762 0
vsize: 7972
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1935 0 0 0 43982 20 0 0 25 0 1 0 440143930 12357632 1779 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3017 1779 231 231 0 2786 0
vsize: 12068
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1967 0 0 0 44981 20 0 0 25 0 1 0 440143930 12357632 1811 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3017 1811 231 231 0 2786 0
vsize: 12068
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1977 0 0 0 45981 21 0 0 25 0 1 0 440143930 12500992 1821 4294967295 134512640 135450300 3221224640 3221223248 134537771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3052 1821 231 231 0 2821 0
vsize: 12208
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1978 0 0 0 46981 21 0 0 25 0 1 0 440143930 12500992 1822 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3052 1822 231 231 0 2821 0
vsize: 12208
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1989 0 0 0 47980 22 0 0 25 0 1 0 440143930 12500992 1833 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3052 1833 231 231 0 2821 0
vsize: 12208
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 1991 0 0 0 48980 22 0 0 25 0 1 0 440143930 12500992 1835 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3052 1835 231 231 0 2821 0
vsize: 12208
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2009 0 0 0 49980 22 0 0 25 0 1 0 440143930 12500992 1853 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3052 1853 231 231 0 2821 0
vsize: 12208
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2020 0 0 0 50980 22 0 0 25 0 1 0 440143930 12619776 1864 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 1864 231 231 0 2850 0
vsize: 12324
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2023 0 0 0 51979 23 0 0 25 0 1 0 440143930 12619776 1867 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 1867 231 231 0 2850 0
vsize: 12324
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2031 0 0 0 52980 23 0 0 25 0 1 0 440143930 12619776 1875 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 1875 231 231 0 2850 0
vsize: 12324
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2033 0 0 0 53980 23 0 0 25 0 1 0 440143930 12619776 1877 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 1877 231 231 0 2850 0
vsize: 12324
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2040 0 0 0 54980 23 0 0 25 0 1 0 440143930 12619776 1884 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 1884 231 231 0 2850 0
vsize: 12324
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2046 0 0 0 55980 23 0 0 25 0 1 0 440143930 12619776 1890 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 1890 231 231 0 2850 0
vsize: 12324
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2047 0 0 0 56980 23 0 0 25 0 1 0 440143930 12619776 1891 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 1891 231 231 0 2850 0
vsize: 12324
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2054 0 0 0 57980 23 0 0 25 0 1 0 440143930 12619776 1898 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3081 1898 231 231 0 2850 0
vsize: 12324
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2059 0 0 0 58981 23 0 0 25 0 1 0 440143930 12759040 1903 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 1903 231 231 0 2884 0
vsize: 12460
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2089 0 0 0 59981 23 0 0 25 0 1 0 440143930 12759040 1933 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 1933 231 231 0 2884 0
vsize: 12460
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2124 0 0 0 60980 23 0 0 25 0 1 0 440143930 12759040 1968 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 1968 231 231 0 2884 0
vsize: 12460
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2170 0 0 0 61980 24 0 0 25 0 1 0 440143930 12759040 2014 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2014 231 231 0 2884 0
vsize: 12460
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2207 0 0 0 62980 24 0 0 25 0 1 0 440143930 12759040 2051 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2051 231 231 0 2884 0
vsize: 12460
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2244 0 0 0 63980 24 0 0 25 0 1 0 440143930 12759040 2088 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2088 231 231 0 2884 0
vsize: 12460
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2282 0 0 0 64980 24 0 0 25 0 1 0 440143930 12881920 2126 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2126 231 231 0 2914 0
vsize: 12580
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2285 0 0 0 65980 25 0 0 25 0 1 0 440143930 12881920 2129 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2129 231 231 0 2914 0
vsize: 12580
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2299 0 0 0 66980 25 0 0 25 0 1 0 440143930 12881920 2143 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2143 231 231 0 2914 0
vsize: 12580
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2335 0 0 0 67980 25 0 0 25 0 1 0 440143930 12881920 2179 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3145 2179 231 231 0 2914 0
vsize: 12580
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2388 0 0 0 68980 25 0 0 25 0 1 0 440143930 13029376 2232 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2232 231 231 0 2950 0
vsize: 12724
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2434 0 0 0 69980 25 0 0 25 0 1 0 440143930 13029376 2278 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2278 231 231 0 2950 0
vsize: 12724
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2468 0 0 0 70980 26 0 0 25 0 1 0 440143930 13029376 2312 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2312 231 231 0 2950 0
vsize: 12724
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2500 0 0 0 71980 26 0 0 25 0 1 0 440143930 13029376 2344 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2344 231 231 0 2950 0
vsize: 12724
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2524 0 0 0 72980 26 0 0 25 0 1 0 440143930 13029376 2368 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2368 231 231 0 2950 0
vsize: 12724
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2555 0 0 0 73980 27 0 0 25 0 1 0 440143930 13029376 2399 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2399 231 231 0 2950 0
vsize: 12724
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2558 0 0 0 74980 27 0 0 25 0 1 0 440143930 13029376 2402 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2402 231 231 0 2950 0
vsize: 12724
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2560 0 0 0 75980 27 0 0 25 0 1 0 440143930 13029376 2404 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3181 2404 231 231 0 2950 0
vsize: 12724
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2768 0 0 0 76979 28 0 0 25 0 1 0 440143930 13938688 2419 4294967295 134512640 135450300 3221224640 3221223376 134538506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3403 2419 231 231 0 3172 0
vsize: 13612
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2793 0 0 0 77979 28 0 0 25 0 1 0 440143930 14077952 2444 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2444 231 231 0 3206 0
vsize: 13748
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2798 0 0 0 78979 28 0 0 25 0 1 0 440143930 14077952 2449 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2449 231 231 0 3206 0
vsize: 13748
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2813 0 0 0 79980 28 0 0 25 0 1 0 440143930 14077952 2464 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3437 2464 231 231 0 3206 0
vsize: 13748
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2830 0 0 0 80980 28 0 0 25 0 1 0 440143930 14217216 2481 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2481 231 231 0 3240 0
vsize: 13884
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2858 0 0 0 81979 28 0 0 25 0 1 0 440143930 14217216 2509 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2509 231 231 0 3240 0
vsize: 13884
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2878 0 0 0 82980 28 0 0 25 0 1 0 440143930 14217216 2529 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2529 231 231 0 3240 0
vsize: 13884
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2883 0 0 0 83980 28 0 0 25 0 1 0 440143930 14217216 2534 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2534 231 231 0 3240 0
vsize: 13884
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2885 0 0 0 84980 28 0 0 25 0 1 0 440143930 14217216 2536 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2536 231 231 0 3240 0
vsize: 13884
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2895 0 0 0 85980 29 0 0 25 0 1 0 440143930 14217216 2546 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2546 231 231 0 3240 0
vsize: 13884
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2897 0 0 0 86980 29 0 0 25 0 1 0 440143930 14217216 2548 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2548 231 231 0 3240 0
vsize: 13884
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2906 0 0 0 87981 29 0 0 25 0 1 0 440143930 14352384 2557 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2557 231 231 0 3273 0
vsize: 14016
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2908 0 0 0 88980 29 0 0 25 0 1 0 440143930 14352384 2559 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2559 231 231 0 3273 0
vsize: 14016
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2912 0 0 0 89981 29 0 0 25 0 1 0 440143930 14352384 2563 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2563 231 231 0 3273 0
vsize: 14016
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2914 0 0 0 90981 29 0 0 25 0 1 0 440143930 14352384 2565 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2565 231 231 0 3273 0
vsize: 14016
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2940 0 0 0 91981 29 0 0 25 0 1 0 440143930 14352384 2591 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2591 231 231 0 3273 0
vsize: 14016
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2945 0 0 0 92981 30 0 0 25 0 1 0 440143930 14352384 2596 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2596 231 231 0 3273 0
vsize: 14016
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2958 0 0 0 93980 30 0 0 25 0 1 0 440143930 14352384 2609 4294967295 134512640 135450300 3221224640 3221223376 134538515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2609 231 231 0 3273 0
vsize: 14016
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2973 0 0 0 94980 30 0 0 25 0 1 0 440143930 14491648 2624 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2624 231 231 0 3307 0
vsize: 14152
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2975 0 0 0 95981 30 0 0 25 0 1 0 440143930 14491648 2626 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2626 231 231 0 3307 0
vsize: 14152
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2989 0 0 0 96980 31 0 0 25 0 1 0 440143930 14491648 2640 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2640 231 231 0 3307 0
vsize: 14152
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 2991 0 0 0 97981 31 0 0 25 0 1 0 440143930 14491648 2642 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3538 2642 231 231 0 3307 0
vsize: 14152
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3024 0 0 0 98981 31 0 0 25 0 1 0 440143930 14606336 2675 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2675 231 231 0 3335 0
vsize: 14264
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3057 0 0 0 99981 31 0 0 25 0 1 0 440143930 14606336 2708 4294967295 134512640 135450300 3221224640 3221223568 134539627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2708 231 231 0 3335 0
vsize: 14264
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3061 0 0 0 100981 31 0 0 25 0 1 0 440143930 14606336 2712 4294967295 134512640 135450300 3221224640 3221223456 134537285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2712 231 231 0 3335 0
vsize: 14264
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3068 0 0 0 101981 31 0 0 25 0 1 0 440143930 14729216 2719 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2719 231 231 0 3365 0
vsize: 14384
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3073 0 0 0 102981 31 0 0 25 0 1 0 440143930 14729216 2724 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2724 231 231 0 3365 0
vsize: 14384
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3076 0 0 0 103981 31 0 0 25 0 1 0 440143930 14729216 2727 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2727 231 231 0 3365 0
vsize: 14384
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3083 0 0 0 104981 32 0 0 25 0 1 0 440143930 14729216 2734 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2734 231 231 0 3365 0
vsize: 14384
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3097 0 0 0 105981 32 0 0 25 0 1 0 440143930 14729216 2748 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2748 231 231 0 3365 0
vsize: 14384
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3116 0 0 0 106981 32 0 0 25 0 1 0 440143930 14729216 2767 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3596 2767 231 231 0 3365 0
vsize: 14384
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3136 0 0 0 107981 32 0 0 25 0 1 0 440143930 14852096 2787 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2787 231 231 0 3395 0
vsize: 14504
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3140 0 0 0 108981 32 0 0 25 0 1 0 440143930 14852096 2791 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2791 231 231 0 3395 0
vsize: 14504
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3145 0 0 0 109981 32 0 0 25 0 1 0 440143930 14852096 2796 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2796 231 231 0 3395 0
vsize: 14504
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3158 0 0 0 110981 32 0 0 25 0 1 0 440143930 14852096 2809 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2809 231 231 0 3395 0
vsize: 14504
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3165 0 0 0 111982 32 0 0 25 0 1 0 440143930 14852096 2816 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2816 231 231 0 3395 0
vsize: 14504
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3211 0 0 0 112982 33 0 0 25 0 1 0 440143930 14852096 2862 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2862 231 231 0 3395 0
vsize: 14504
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3252 0 0 0 113981 33 0 0 25 0 1 0 440143930 14852096 2903 4294967295 134512640 135450300 3221224640 3221223248 134537600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2903 231 231 0 3395 0
vsize: 14504
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3294 0 0 0 114981 33 0 0 25 0 1 0 440143930 14852096 2945 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3626 2945 231 231 0 3395 0
vsize: 14504
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3326 0 0 0 115981 33 0 0 25 0 1 0 440143930 15024128 2977 4294967295 134512640 135450300 3221224640 3221222992 134533173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2977 231 231 0 3437 0
vsize: 14672
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3328 0 0 0 116981 34 0 0 25 0 1 0 440143930 15024128 2979 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2979 231 231 0 3437 0
vsize: 14672
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3349 0 0 0 117981 34 0 0 25 0 1 0 440143930 15024128 3000 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 3000 231 231 0 3437 0
vsize: 14672
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3351 0 0 0 118981 34 0 0 25 0 1 0 440143930 15024128 3002 4294967295 134512640 135450300 3221224640 3221223248 134537603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 3002 231 231 0 3437 0
vsize: 14672
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18286
Raw data (stat): 18286 (PBS4) R 18285 26667 26666 0 -1 0 3355 0 0 0 119981 34 0 0 25 0 1 0 440143930 15024128 3006 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 3006 231 231 0 3437 0
vsize: 14672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18286
Raw data (stat): 18286 (PBS4) Z 18285 26667 26666 0 -1 1036 3355 0 0 0 119981 35 0 0 25 0 1 0 440143930 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.17
CPU user time (s): 1199.82
CPU system time (s): 0.351946
CPU usage (%): 100.01
Max. virtual memory (Kb): 14672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####