Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb |
MD5SUM | a483fc3761bb4050329265bf3a3a7ca5 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 372 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 808 |
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 | 808 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 808 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04284 |
Number of variables | 808 |
Total number of constraints | 5557 |
Number of constraints which are clauses | 5557 |
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 | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-04-17 16:03:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1401 boxname=wulflinc12 idbench=156 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: a483fc3761bb4050329265bf3a3a7ca5 /oldhome/oroussel/tmp/wulflinc12/normalized-ii32d2.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc12/normalized-ii32d2.opb IDLAUNCH: 1401 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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.091 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: 863552 kB Buffers: 37132 kB Cached: 113336 kB SwapCached: 16 kB Active: 74952 kB Inactive: 78416 kB HighTotal: 131008 kB HighFree: 13664 kB LowTotal: 903652 kB LowFree: 849888 kB SwapTotal: 2097136 kB SwapFree: 2097120 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6932 kB Slab: 12260 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:23:02 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 1401 7 1200.24 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc12/normalized-ii32d2.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): 1.02 1.00 0.71 2/54 17627 Raw data (stat): 17627 (runsolver) R 17626 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453579259 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.0002 s] Raw data (loadavg): 1.02 1.00 0.72 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 638 0 0 0 997 2 0 0 25 0 1 0 453579259 3284992 583 4294967295 134512640 135450300 3221224640 3221223360 134536004 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 802 583 231 231 0 571 0 vsize: 3208 [startup+20.001 s] Raw data (loadavg): 1.01 1.00 0.72 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 983 0 0 0 1995 3 0 0 25 0 1 0 453579259 4603904 928 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1124 928 231 231 0 893 0 vsize: 4496 [startup+30.0011 s] Raw data (loadavg): 1.01 1.00 0.72 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1224 0 0 0 2993 5 0 0 25 0 1 0 453579259 6979584 1169 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1704 1169 231 231 0 1473 0 vsize: 6816 [startup+40.0006 s] Raw data (loadavg): 1.01 1.00 0.73 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1374 0 0 0 3993 6 0 0 25 0 1 0 453579259 7507968 1222 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1833 1222 231 231 0 1602 0 vsize: 7332 [startup+50.0014 s] Raw data (loadavg): 1.01 1.00 0.73 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1427 0 0 0 4991 8 0 0 25 0 1 0 453579259 7651328 1275 4294967295 134512640 135450300 3221224640 3221223532 134539104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1868 1275 231 231 0 1637 0 vsize: 7472 [startup+60.0016 s] Raw data (loadavg): 1.00 1.00 0.73 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1531 0 0 0 5990 9 0 0 25 0 1 0 453579259 7786496 1379 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1901 1379 231 231 0 1670 0 vsize: 7604 [startup+70.002 s] Raw data (loadavg): 1.00 1.00 0.73 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1571 0 0 0 6990 10 0 0 25 0 1 0 453579259 7786496 1419 4294967295 134512640 135450300 3221224640 3221223376 134538601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1901 1419 231 231 0 1670 0 vsize: 7604 [startup+80.0029 s] Raw data (loadavg): 1.00 1.00 0.73 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1603 0 0 0 7989 11 0 0 25 0 1 0 453579259 7942144 1451 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1939 1451 231 231 0 1708 0 vsize: 7756 [startup+90.003 s] Raw data (loadavg): 1.00 1.00 0.74 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1776 0 0 0 8987 13 0 0 25 0 1 0 453579259 8089600 1624 4294967295 134512640 135450300 3221224640 3221223456 134546462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1975 1624 231 231 0 1744 0 vsize: 7900 [startup+100.003 s] Raw data (loadavg): 1.00 1.00 0.74 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1896 0 0 0 9987 14 0 0 25 0 1 0 453579259 8089600 1744 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1975 1744 231 231 0 1744 0 vsize: 7900 [startup+110.003 s] Raw data (loadavg): 1.00 1.00 0.74 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 1967 0 0 0 10986 15 0 0 25 0 1 0 453579259 8228864 1815 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2009 1815 231 231 0 1778 0 vsize: 8036 [startup+120.004 s] Raw data (loadavg): 1.00 1.00 0.74 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 2192 0 0 0 11986 15 0 0 25 0 1 0 453579259 9158656 1847 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2236 1847 231 231 0 2005 0 vsize: 8944 [startup+130.004 s] Raw data (loadavg): 1.00 1.00 0.74 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 2291 0 0 0 12985 16 0 0 25 0 1 0 453579259 13352960 1946 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3260 1946 231 231 0 3029 0 vsize: 13040 [startup+140.004 s] Raw data (loadavg): 1.00 1.00 0.75 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 2950 0 0 0 13983 17 0 0 25 0 1 0 453579259 13352960 2605 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3260 2605 231 231 0 3029 0 vsize: 13040 [startup+150.005 s] Raw data (loadavg): 1.00 1.00 0.75 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3018 0 0 0 14983 18 0 0 25 0 1 0 453579259 13508608 2673 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3298 2673 231 231 0 3067 0 vsize: 13192 [startup+160.004 s] Raw data (loadavg): 1.00 1.00 0.75 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3037 0 0 0 15982 20 0 0 25 0 1 0 453579259 13508608 2692 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3298 2692 231 231 0 3067 0 vsize: 13192 [startup+170.005 s] Raw data (loadavg): 1.00 1.00 0.75 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3106 0 0 0 16981 20 0 0 25 0 1 0 453579259 13643776 2761 4294967295 134512640 135450300 3221224640 3221223456 134537203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3331 2761 231 231 0 3100 0 vsize: 13324 [startup+180.005 s] Raw data (loadavg): 1.00 1.00 0.75 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 3686 0 0 0 17980 22 0 0 25 0 1 0 453579259 22167552 3341 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5412 3341 231 231 0 5181 0 vsize: 21648 [startup+190.005 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 4124 0 0 0 18978 24 0 0 25 0 1 0 453579259 22167552 3779 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5412 3779 231 231 0 5181 0 vsize: 21648 [startup+200.005 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17627 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 4722 0 0 0 19977 25 0 0 25 0 1 0 453579259 22302720 4377 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5445 4377 231 231 0 5214 0 vsize: 21780 [startup+210.005 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5291 0 0 0 20975 27 0 0 25 0 1 0 453579259 22302720 4946 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5445 4946 231 231 0 5214 0 vsize: 21780 [startup+220.005 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5583 0 0 0 21974 29 0 0 25 0 1 0 453579259 22577152 5238 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5512 5238 231 231 0 5281 0 vsize: 22048 [startup+230.005 s] Raw data (loadavg): 1.00 1.00 0.76 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5606 0 0 0 22973 29 0 0 25 0 1 0 453579259 22704128 5261 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5543 5261 231 231 0 5312 0 vsize: 22172 [startup+240.005 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5610 0 0 0 23973 29 0 0 25 0 1 0 453579259 22704128 5265 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5543 5265 231 231 0 5312 0 vsize: 22172 [startup+250.006 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5633 0 0 0 24973 30 0 0 25 0 1 0 453579259 22839296 5288 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5576 5288 231 231 0 5345 0 vsize: 22304 [startup+260.005 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5639 0 0 0 25973 30 0 0 25 0 1 0 453579259 22839296 5294 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5576 5294 231 231 0 5345 0 vsize: 22304 [startup+270.006 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5649 0 0 0 26973 30 0 0 25 0 1 0 453579259 22839296 5304 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5576 5304 231 231 0 5345 0 vsize: 22304 [startup+280.006 s] Raw data (loadavg): 1.00 1.00 0.77 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5659 0 0 0 27973 31 0 0 25 0 1 0 453579259 22839296 5314 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5576 5314 231 231 0 5345 0 vsize: 22304 [startup+290.006 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5709 0 0 0 28972 31 0 0 25 0 1 0 453579259 22974464 5364 4294967295 134512640 135450300 3221224640 3221223376 134538481 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5609 5364 231 231 0 5378 0 vsize: 22436 [startup+300.006 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5763 0 0 0 29972 32 0 0 25 0 1 0 453579259 23240704 5418 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5674 5418 231 231 0 5443 0 vsize: 22696 [startup+310.005 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5769 0 0 0 30972 32 0 0 25 0 1 0 453579259 23240704 5424 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5674 5424 231 231 0 5443 0 vsize: 22696 [startup+320.007 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5774 0 0 0 31971 33 0 0 25 0 1 0 453579259 23240704 5429 4294967295 134512640 135450300 3221224640 3221223472 134549307 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5674 5429 231 231 0 5443 0 vsize: 22696 [startup+330.007 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5781 0 0 0 32972 33 0 0 25 0 1 0 453579259 23240704 5436 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5674 5436 231 231 0 5443 0 vsize: 22696 [startup+340.007 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5802 0 0 0 33971 33 0 0 25 0 1 0 453579259 23240704 5457 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5674 5457 231 231 0 5443 0 vsize: 22696 [startup+350.007 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5841 0 0 0 34971 34 0 0 25 0 1 0 453579259 23420928 5496 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5718 5496 231 231 0 5487 0 vsize: 22872 [startup+360.008 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5857 0 0 0 35971 34 0 0 25 0 1 0 453579259 23576576 5512 4294967295 134512640 135450300 3221224640 3221222832 134597060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5756 5512 231 231 0 5525 0 vsize: 23024 [startup+370.009 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5876 0 0 0 36970 35 0 0 25 0 1 0 453579259 23576576 5531 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5756 5531 231 231 0 5525 0 vsize: 23024 [startup+380.008 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5884 0 0 0 37970 35 0 0 25 0 1 0 453579259 23576576 5539 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5756 5539 231 231 0 5525 0 vsize: 23024 [startup+390.008 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5893 0 0 0 38970 36 0 0 25 0 1 0 453579259 23576576 5548 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5756 5548 231 231 0 5525 0 vsize: 23024 [startup+400.009 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5934 0 0 0 39969 36 0 0 25 0 1 0 453579259 23711744 5589 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5789 5589 231 231 0 5558 0 vsize: 23156 [startup+410.009 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5939 0 0 0 40969 37 0 0 25 0 1 0 453579259 23711744 5594 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5789 5594 231 231 0 5558 0 vsize: 23156 [startup+420.01 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5947 0 0 0 41969 37 0 0 25 0 1 0 453579259 23851008 5602 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5823 5602 231 231 0 5592 0 vsize: 23292 [startup+430.01 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5953 0 0 0 42969 37 0 0 25 0 1 0 453579259 23851008 5608 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5823 5608 231 231 0 5592 0 vsize: 23292 [startup+440.01 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 5976 0 0 0 43969 37 0 0 25 0 1 0 453579259 23851008 5631 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5823 5631 231 231 0 5592 0 vsize: 23292 [startup+450.011 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6032 0 0 0 44969 38 0 0 25 0 1 0 453579259 24121344 5687 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5889 5687 231 231 0 5658 0 vsize: 23556 [startup+460.011 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6078 0 0 0 45969 38 0 0 25 0 1 0 453579259 24260608 5733 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5923 5733 231 231 0 5692 0 vsize: 23692 [startup+470.012 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6483 0 0 0 46967 40 0 0 25 0 1 0 453579259 25833472 5753 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6307 5753 231 231 0 6076 0 vsize: 25228 [startup+480.011 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6490 0 0 0 47966 41 0 0 25 0 1 0 453579259 25833472 5760 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6307 5760 231 231 0 6076 0 vsize: 25228 [startup+490.011 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6496 0 0 0 48966 42 0 0 25 0 1 0 453579259 25833472 5766 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6307 5766 231 231 0 6076 0 vsize: 25228 [startup+500.012 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6504 0 0 0 49966 42 0 0 25 0 1 0 453579259 25833472 5774 4294967295 134512640 135450300 3221224640 3221223436 134535392 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6307 5774 231 231 0 6076 0 vsize: 25228 [startup+510.012 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6509 0 0 0 50966 42 0 0 25 0 1 0 453579259 25833472 5779 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6307 5779 231 231 0 6076 0 vsize: 25228 [startup+520.012 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6521 0 0 0 51965 43 0 0 25 0 1 0 453579259 25968640 5791 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6340 5791 231 231 0 6109 0 vsize: 25360 [startup+530.013 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 6527 0 0 0 52965 43 0 0 25 0 1 0 453579259 42745856 5797 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10436 5797 231 231 0 10205 0 vsize: 41744 [startup+540.013 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7041 0 0 0 53964 45 0 0 25 0 1 0 453579259 42745856 6311 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10436 6311 231 231 0 10205 0 vsize: 41744 [startup+550.014 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7439 0 0 0 54962 47 0 0 25 0 1 0 453579259 42745856 6709 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10436 6709 231 231 0 10205 0 vsize: 41744 [startup+560.014 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7857 0 0 0 55961 48 0 0 25 0 1 0 453579259 43061248 7127 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10513 7127 231 231 0 10282 0 vsize: 42052 [startup+570.015 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 7994 0 0 0 56961 49 0 0 25 0 1 0 453579259 43061248 7264 4294967295 134512640 135450300 3221224640 3221223472 134549267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10513 7264 231 231 0 10282 0 vsize: 42052 [startup+580.015 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8017 0 0 0 57960 49 0 0 25 0 1 0 453579259 43061248 7287 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10513 7287 231 231 0 10282 0 vsize: 42052 [startup+590.015 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8027 0 0 0 58960 50 0 0 25 0 1 0 453579259 43061248 7297 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10513 7297 231 231 0 10282 0 vsize: 42052 [startup+600.016 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8031 0 0 0 59960 50 0 0 25 0 1 0 453579259 43061248 7301 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10513 7301 231 231 0 10282 0 vsize: 42052 [startup+610.017 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8035 0 0 0 60960 50 0 0 25 0 1 0 453579259 43061248 7305 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10513 7305 231 231 0 10282 0 vsize: 42052 [startup+620.018 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8043 0 0 0 61960 50 0 0 25 0 1 0 453579259 43196416 7313 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10546 7313 231 231 0 10315 0 vsize: 42184 [startup+630.019 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8049 0 0 0 62960 51 0 0 25 0 1 0 453579259 43196416 7319 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10546 7319 231 231 0 10315 0 vsize: 42184 [startup+640.019 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8066 0 0 0 63960 51 0 0 25 0 1 0 453579259 43196416 7336 4294967295 134512640 135450300 3221224640 3221223376 134538803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10546 7336 231 231 0 10315 0 vsize: 42184 [startup+650.019 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8100 0 0 0 64960 51 0 0 25 0 1 0 453579259 43347968 7370 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7370 231 231 0 10352 0 vsize: 42332 [startup+660.019 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8105 0 0 0 65960 52 0 0 25 0 1 0 453579259 43347968 7375 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7375 231 231 0 10352 0 vsize: 42332 [startup+670.02 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8110 0 0 0 66959 52 0 0 25 0 1 0 453579259 43347968 7380 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7380 231 231 0 10352 0 vsize: 42332 [startup+680.021 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8117 0 0 0 67959 52 0 0 25 0 1 0 453579259 43347968 7387 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7387 231 231 0 10352 0 vsize: 42332 [startup+690.02 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8122 0 0 0 68959 53 0 0 25 0 1 0 453579259 43347968 7392 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7392 231 231 0 10352 0 vsize: 42332 [startup+700.021 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8129 0 0 0 69959 53 0 0 25 0 1 0 453579259 43347968 7399 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7399 231 231 0 10352 0 vsize: 42332 [startup+710.021 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8148 0 0 0 70959 53 0 0 25 0 1 0 453579259 43347968 7418 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7418 231 231 0 10352 0 vsize: 42332 [startup+720.022 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8153 0 0 0 71958 54 0 0 25 0 1 0 453579259 43347968 7423 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7423 231 231 0 10352 0 vsize: 42332 [startup+730.023 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8156 0 0 0 72958 55 0 0 25 0 1 0 453579259 43347968 7426 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10583 7426 231 231 0 10352 0 vsize: 42332 [startup+740.022 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8193 0 0 0 73958 55 0 0 25 0 1 0 453579259 43483136 7463 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10616 7463 231 231 0 10385 0 vsize: 42464 [startup+750.023 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8383 0 0 0 74957 56 0 0 25 0 1 0 453579259 43483136 7653 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10616 7653 231 231 0 10385 0 vsize: 42464 [startup+760.023 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8692 0 0 0 75956 57 0 0 25 0 1 0 453579259 43618304 7962 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10649 7962 231 231 0 10418 0 vsize: 42596 [startup+770.024 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 8957 0 0 0 76956 58 0 0 25 0 1 0 453579259 43618304 8227 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10649 8227 231 231 0 10418 0 vsize: 42596 [startup+780.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9231 0 0 0 77955 58 0 0 25 0 1 0 453579259 44113920 8501 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 8501 231 231 0 10539 0 vsize: 43080 [startup+790.024 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9615 0 0 0 78955 59 0 0 25 0 1 0 453579259 44113920 8885 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 8885 231 231 0 10539 0 vsize: 43080 [startup+800.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9949 0 0 0 79954 60 0 0 25 0 1 0 453579259 44113920 9219 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9219 231 231 0 10539 0 vsize: 43080 [startup+810.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9954 0 0 0 80954 60 0 0 25 0 1 0 453579259 44113920 9224 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9224 231 231 0 10539 0 vsize: 43080 [startup+820.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9961 0 0 0 81954 61 0 0 25 0 1 0 453579259 44113920 9231 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9231 231 231 0 10539 0 vsize: 43080 [startup+830.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9963 0 0 0 82953 61 0 0 25 0 1 0 453579259 44113920 9233 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9233 231 231 0 10539 0 vsize: 43080 [startup+840.024 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9970 0 0 0 83953 61 0 0 25 0 1 0 453579259 44113920 9240 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9240 231 231 0 10539 0 vsize: 43080 [startup+850.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9976 0 0 0 84953 62 0 0 25 0 1 0 453579259 44113920 9246 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9246 231 231 0 10539 0 vsize: 43080 [startup+860.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 9981 0 0 0 85953 62 0 0 25 0 1 0 453579259 44113920 9251 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9251 231 231 0 10539 0 vsize: 43080 [startup+870.025 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10001 0 0 0 86953 62 0 0 25 0 1 0 453579259 44113920 9271 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9271 231 231 0 10539 0 vsize: 43080 [startup+880.024 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10008 0 0 0 87953 63 0 0 25 0 1 0 453579259 44113920 9278 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10770 9278 231 231 0 10539 0 vsize: 43080 [startup+890.025 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10030 0 0 0 88953 63 0 0 25 0 1 0 453579259 44240896 9300 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10801 9300 231 231 0 10570 0 vsize: 43204 [startup+900.025 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10089 0 0 0 89953 63 0 0 25 0 1 0 453579259 44515328 9359 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9359 231 231 0 10637 0 vsize: 43472 [startup+910.025 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10092 0 0 0 90952 64 0 0 25 0 1 0 453579259 44515328 9362 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9362 231 231 0 10637 0 vsize: 43472 [startup+920.025 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10099 0 0 0 91952 64 0 0 25 0 1 0 453579259 44515328 9369 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9369 231 231 0 10637 0 vsize: 43472 [startup+930.026 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10108 0 0 0 92952 64 0 0 25 0 1 0 453579259 44515328 9378 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9378 231 231 0 10637 0 vsize: 43472 [startup+940.025 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10113 0 0 0 93952 65 0 0 25 0 1 0 453579259 44515328 9383 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9383 231 231 0 10637 0 vsize: 43472 [startup+950.026 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10117 0 0 0 94952 65 0 0 25 0 1 0 453579259 44515328 9387 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9387 231 231 0 10637 0 vsize: 43472 [startup+960.026 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10121 0 0 0 95952 65 0 0 25 0 1 0 453579259 44515328 9391 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9391 231 231 0 10637 0 vsize: 43472 [startup+970.026 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10128 0 0 0 96951 66 0 0 25 0 1 0 453579259 44515328 9398 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9398 231 231 0 10637 0 vsize: 43472 [startup+980.027 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10133 0 0 0 97951 66 0 0 25 0 1 0 453579259 44515328 9403 4294967295 134512640 135450300 3221224640 3221223248 134537606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9403 231 231 0 10637 0 vsize: 43472 [startup+990.027 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10137 0 0 0 98951 66 0 0 25 0 1 0 453579259 44515328 9407 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9407 231 231 0 10637 0 vsize: 43472 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10144 0 0 0 99951 66 0 0 25 0 1 0 453579259 44515328 9414 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9414 231 231 0 10637 0 vsize: 43472 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10157 0 0 0 100951 67 0 0 25 0 1 0 453579259 44515328 9427 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10868 9427 231 231 0 10637 0 vsize: 43472 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10219 0 0 0 101951 67 0 0 25 0 1 0 453579259 44974080 9489 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9489 231 231 0 10749 0 vsize: 43920 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10227 0 0 0 102951 67 0 0 25 0 1 0 453579259 44974080 9497 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9497 231 231 0 10749 0 vsize: 43920 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10231 0 0 0 103951 68 0 0 25 0 1 0 453579259 44974080 9501 4294967295 134512640 135450300 3221224640 3221223472 134550227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9501 231 231 0 10749 0 vsize: 43920 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10235 0 0 0 104951 68 0 0 25 0 1 0 453579259 44974080 9505 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9505 231 231 0 10749 0 vsize: 43920 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10722 0 0 0 105950 69 0 0 25 0 1 0 453579259 44974080 9992 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9992 231 231 0 10749 0 vsize: 43920 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10749 0 0 0 106950 69 0 0 25 0 1 0 453579259 44974080 10019 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 10019 231 231 0 10749 0 vsize: 43920 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10753 0 0 0 107950 69 0 0 25 0 1 0 453579259 44974080 10023 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 10023 231 231 0 10749 0 vsize: 43920 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10758 0 0 0 108951 69 0 0 25 0 1 0 453579259 44974080 10028 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 10028 231 231 0 10749 0 vsize: 43920 [startup+1100.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10764 0 0 0 109950 69 0 0 25 0 1 0 453579259 44974080 10034 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 10034 231 231 0 10749 0 vsize: 43920 [startup+1110.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10768 0 0 0 110951 69 0 0 25 0 1 0 453579259 44974080 10038 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10980 10038 231 231 0 10749 0 vsize: 43920 [startup+1120.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10786 0 0 0 111950 69 0 0 25 0 1 0 453579259 45113344 10056 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11014 10056 231 231 0 10783 0 vsize: 44056 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10807 0 0 0 112950 70 0 0 25 0 1 0 453579259 45113344 10077 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11014 10077 231 231 0 10783 0 vsize: 44056 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10810 0 0 0 113950 70 0 0 25 0 1 0 453579259 45113344 10080 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11014 10080 231 231 0 10783 0 vsize: 44056 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10866 0 0 0 114950 71 0 0 25 0 1 0 453579259 45395968 10136 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11083 10136 231 231 0 10852 0 vsize: 44332 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10869 0 0 0 115950 71 0 0 25 0 1 0 453579259 45395968 10139 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11083 10139 231 231 0 10852 0 vsize: 44332 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10873 0 0 0 116950 71 0 0 25 0 1 0 453579259 45395968 10143 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11083 10143 231 231 0 10852 0 vsize: 44332 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10876 0 0 0 117950 71 0 0 25 0 1 0 453579259 45395968 10146 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11083 10146 231 231 0 10852 0 vsize: 44332 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.89 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10880 0 0 0 118950 71 0 0 25 0 1 0 453579259 45395968 10150 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11083 10150 231 231 0 10852 0 vsize: 44332 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.89 2/54 17629 Raw data (stat): 17627 (PBS4) R 17626 25285 25284 0 -1 0 10888 0 0 0 119950 72 0 0 25 0 1 0 453579259 45395968 10158 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11083 10158 231 231 0 10852 0 vsize: 44332 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 0.89 1/54 17629 Raw data (stat): 17627 (PBS4) Z 17626 25285 25284 0 -1 1036 10888 0 0 0 119950 73 0 0 25 0 1 0 453579259 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.24 CPU user time (s): 1199.5 CPU system time (s): 0.738887 CPU usage (%): 100.016 Max. virtual memory (Kb): 44332 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####