Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb |
MD5SUM | ed503628984a48598e5d5a4b8388e97a |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
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 | 4250 |
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 | 4250 |
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 | 4250 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4250 |
Total number of constraints | 68397 |
Number of constraints which are clauses | 68397 |
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 | 17 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-04-17 15:58:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1167 boxname=wulflinc29 idbench=130 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: ed503628984a48598e5d5a4b8388e97a /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.opb IDLAUNCH: 1167 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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: 777704 kB Buffers: 37916 kB Cached: 180352 kB SwapCached: 12 kB Active: 77872 kB Inactive: 143280 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 777452 kB SwapTotal: 2097892 kB SwapFree: 2097880 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6936 kB Slab: 30224 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:18:33 (client local time) WITH STATUS 0 IN 1200.32 SECONDS stats: 1167 7 1200.32 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-g125.17.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.69 2/54 18662 Raw data (stat): 18662 (runsolver) R 18661 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511774136 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+9.99939 s] Raw data (loadavg): 0.93 0.95 0.69 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2237 0 0 0 991 7 0 0 25 0 1 0 511774136 8736768 1505 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2133 1505 231 231 0 1902 0 vsize: 8532 [startup+20.0004 s] Raw data (loadavg): 0.94 0.96 0.70 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2311 0 0 0 1990 8 0 0 25 0 1 0 511774136 9007104 1579 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2199 1579 231 231 0 1968 0 vsize: 8796 [startup+30.0012 s] Raw data (loadavg): 0.95 0.96 0.70 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2368 0 0 0 2990 9 0 0 25 0 1 0 511774136 9142272 1636 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2232 1636 231 231 0 2001 0 vsize: 8928 [startup+40.0016 s] Raw data (loadavg): 0.96 0.96 0.70 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2408 0 0 0 3989 9 0 0 25 0 1 0 511774136 9142272 1676 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2232 1676 231 231 0 2001 0 vsize: 8928 [startup+50.0027 s] Raw data (loadavg): 0.96 0.96 0.71 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2431 0 0 0 4989 10 0 0 25 0 1 0 511774136 9277440 1699 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2265 1699 231 231 0 2034 0 vsize: 9060 [startup+60.0024 s] Raw data (loadavg): 0.97 0.96 0.71 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2454 0 0 0 5989 11 0 0 25 0 1 0 511774136 9277440 1722 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2265 1722 231 231 0 2034 0 vsize: 9060 [startup+70.0032 s] Raw data (loadavg): 0.97 0.96 0.71 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2483 0 0 0 6988 11 0 0 25 0 1 0 511774136 9277440 1751 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2265 1751 231 231 0 2034 0 vsize: 9060 [startup+80.0036 s] Raw data (loadavg): 0.98 0.96 0.72 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2499 0 0 0 7988 12 0 0 25 0 1 0 511774136 11374592 1767 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2777 1767 231 231 0 2546 0 vsize: 11108 [startup+90.0047 s] Raw data (loadavg): 0.98 0.96 0.72 2/54 18662 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2517 0 0 0 8987 13 0 0 25 0 1 0 511774136 11374592 1785 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2777 1785 231 231 0 2546 0 vsize: 11108 [startup+100.101 s] Raw data (loadavg): 0.98 0.96 0.72 3/57 18698 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2534 0 0 0 9995 13 0 0 25 0 1 0 511774136 11509760 1802 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 1802 231 231 0 2579 0 vsize: 11240 [startup+110.104 s] Raw data (loadavg): 1.06 0.98 0.73 2/58 18705 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2550 0 0 0 10995 14 0 0 25 0 1 0 511774136 11509760 1818 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 1818 231 231 0 2579 0 vsize: 11240 [startup+120.117 s] Raw data (loadavg): 1.13 1.00 0.74 3/58 18715 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2570 0 0 0 11996 14 0 0 25 0 1 0 511774136 11509760 1838 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 1838 231 231 0 2579 0 vsize: 11240 [startup+130.117 s] Raw data (loadavg): 1.18 1.01 0.74 2/54 18715 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2587 0 0 0 12996 15 0 0 25 0 1 0 511774136 11509760 1855 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2810 1855 231 231 0 2579 0 vsize: 11240 [startup+140.117 s] Raw data (loadavg): 1.15 1.01 0.75 2/54 18715 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2609 0 0 0 13995 15 0 0 25 0 1 0 511774136 11636736 1877 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1877 231 231 0 2610 0 vsize: 11364 [startup+150.118 s] Raw data (loadavg): 1.13 1.01 0.75 2/54 18715 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2630 0 0 0 14996 15 0 0 25 0 1 0 511774136 11636736 1898 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1898 231 231 0 2610 0 vsize: 11364 [startup+160.118 s] Raw data (loadavg): 1.11 1.01 0.75 2/54 18715 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2649 0 0 0 15995 16 0 0 25 0 1 0 511774136 11636736 1917 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1917 231 231 0 2610 0 vsize: 11364 [startup+170.118 s] Raw data (loadavg): 1.09 1.01 0.75 2/54 18715 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2673 0 0 0 16995 16 0 0 25 0 1 0 511774136 11636736 1941 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1941 231 231 0 2610 0 vsize: 11364 [startup+180.117 s] Raw data (loadavg): 1.08 1.01 0.75 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2691 0 0 0 17994 17 0 0 25 0 1 0 511774136 11767808 1959 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2873 1959 231 231 0 2642 0 vsize: 11492 [startup+190.118 s] Raw data (loadavg): 1.07 1.01 0.76 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2711 0 0 0 18994 18 0 0 25 0 1 0 511774136 11767808 1979 4294967295 134512640 135450300 3221224640 3221223120 134534885 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2873 1979 231 231 0 2642 0 vsize: 11492 [startup+200.118 s] Raw data (loadavg): 1.06 1.01 0.76 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2737 0 0 0 19993 19 0 0 25 0 1 0 511774136 11767808 2005 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2873 2005 231 231 0 2642 0 vsize: 11492 [startup+210.118 s] Raw data (loadavg): 1.05 1.01 0.76 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2757 0 0 0 20993 19 0 0 25 0 1 0 511774136 11898880 2025 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2905 2025 231 231 0 2674 0 vsize: 11620 [startup+220.118 s] Raw data (loadavg): 1.04 1.00 0.76 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2773 0 0 0 21992 20 0 0 25 0 1 0 511774136 11898880 2041 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2905 2041 231 231 0 2674 0 vsize: 11620 [startup+230.118 s] Raw data (loadavg): 1.03 1.00 0.76 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2791 0 0 0 22992 20 0 0 25 0 1 0 511774136 11898880 2059 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2905 2059 231 231 0 2674 0 vsize: 11620 [startup+240.119 s] Raw data (loadavg): 1.03 1.00 0.77 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2813 0 0 0 23992 21 0 0 25 0 1 0 511774136 11898880 2081 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2905 2081 231 231 0 2674 0 vsize: 11620 [startup+250.119 s] Raw data (loadavg): 1.02 1.00 0.77 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2831 0 0 0 24991 22 0 0 25 0 1 0 511774136 12029952 2099 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2937 2099 231 231 0 2706 0 vsize: 11748 [startup+260.12 s] Raw data (loadavg): 1.02 1.00 0.77 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2848 0 0 0 25991 22 0 0 25 0 1 0 511774136 12029952 2116 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2937 2116 231 231 0 2706 0 vsize: 11748 [startup+270.12 s] Raw data (loadavg): 1.02 1.00 0.77 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2861 0 0 0 26990 23 0 0 25 0 1 0 511774136 12029952 2129 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2937 2129 231 231 0 2706 0 vsize: 11748 [startup+280.12 s] Raw data (loadavg): 1.01 1.00 0.77 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2875 0 0 0 27990 23 0 0 25 0 1 0 511774136 12029952 2143 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2937 2143 231 231 0 2706 0 vsize: 11748 [startup+290.121 s] Raw data (loadavg): 1.01 1.00 0.77 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2892 0 0 0 28990 24 0 0 25 0 1 0 511774136 12029952 2160 4294967295 134512640 135450300 3221224640 3221223504 134539286 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2937 2160 231 231 0 2706 0 vsize: 11748 [startup+300.121 s] Raw data (loadavg): 1.01 1.00 0.78 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2905 0 0 0 29989 24 0 0 25 0 1 0 511774136 12029952 2173 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2937 2173 231 231 0 2706 0 vsize: 11748 [startup+310.12 s] Raw data (loadavg): 1.01 1.00 0.78 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2915 0 0 0 30989 25 0 0 25 0 1 0 511774136 12029952 2183 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2937 2183 231 231 0 2706 0 vsize: 11748 [startup+320.12 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2930 0 0 0 31989 25 0 0 25 0 1 0 511774136 12161024 2198 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2969 2198 231 231 0 2738 0 vsize: 11876 [startup+330.121 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2953 0 0 0 32988 26 0 0 25 0 1 0 511774136 12161024 2221 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2969 2221 231 231 0 2738 0 vsize: 11876 [startup+340.121 s] Raw data (loadavg): 1.00 1.00 0.78 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2971 0 0 0 33988 27 0 0 25 0 1 0 511774136 12161024 2239 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2969 2239 231 231 0 2738 0 vsize: 11876 [startup+350.121 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 2986 0 0 0 34988 27 0 0 25 0 1 0 511774136 12161024 2254 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2969 2254 231 231 0 2738 0 vsize: 11876 [startup+360.121 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3001 0 0 0 35987 28 0 0 25 0 1 0 511774136 12296192 2269 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3002 2269 231 231 0 2771 0 vsize: 12008 [startup+370.121 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3022 0 0 0 36987 28 0 0 25 0 1 0 511774136 12296192 2290 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3002 2290 231 231 0 2771 0 vsize: 12008 [startup+380.122 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3035 0 0 0 37986 29 0 0 25 0 1 0 511774136 12296192 2303 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3002 2303 231 231 0 2771 0 vsize: 12008 [startup+390.121 s] Raw data (loadavg): 1.00 1.00 0.79 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3057 0 0 0 38986 29 0 0 25 0 1 0 511774136 12296192 2325 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3002 2325 231 231 0 2771 0 vsize: 12008 [startup+400.122 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3072 0 0 0 39986 30 0 0 25 0 1 0 511774136 12296192 2340 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3002 2340 231 231 0 2771 0 vsize: 12008 [startup+410.122 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3095 0 0 0 40985 30 0 0 25 0 1 0 511774136 12431360 2363 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 2363 231 231 0 2804 0 vsize: 12140 [startup+420.123 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3110 0 0 0 41985 31 0 0 25 0 1 0 511774136 12431360 2378 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 2378 231 231 0 2804 0 vsize: 12140 [startup+430.123 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3127 0 0 0 42985 31 0 0 25 0 1 0 511774136 12431360 2395 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 2395 231 231 0 2804 0 vsize: 12140 [startup+440.123 s] Raw data (loadavg): 1.00 1.00 0.80 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3144 0 0 0 43985 32 0 0 25 0 1 0 511774136 12431360 2412 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 2412 231 231 0 2804 0 vsize: 12140 [startup+450.123 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3157 0 0 0 44984 32 0 0 25 0 1 0 511774136 12431360 2425 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 2425 231 231 0 2804 0 vsize: 12140 [startup+460.122 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3172 0 0 0 45984 33 0 0 25 0 1 0 511774136 12431360 2440 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 2440 231 231 0 2804 0 vsize: 12140 [startup+470.122 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3186 0 0 0 46983 34 0 0 25 0 1 0 511774136 12431360 2454 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3035 2454 231 231 0 2804 0 vsize: 12140 [startup+480.122 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 18717 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3206 0 0 0 47983 34 0 0 25 0 1 0 511774136 12566528 2474 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3068 2474 231 231 0 2837 0 vsize: 12272 [startup+490.122 s] Raw data (loadavg): 1.00 1.00 0.81 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3220 0 0 0 48983 34 0 0 25 0 1 0 511774136 12566528 2488 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3068 2488 231 231 0 2837 0 vsize: 12272 [startup+500.122 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3234 0 0 0 49982 35 0 0 25 0 1 0 511774136 12566528 2502 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3068 2502 231 231 0 2837 0 vsize: 12272 [startup+510.121 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3249 0 0 0 50982 35 0 0 25 0 1 0 511774136 12566528 2517 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3068 2517 231 231 0 2837 0 vsize: 12272 [startup+520.122 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3270 0 0 0 51982 36 0 0 25 0 1 0 511774136 12566528 2538 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3068 2538 231 231 0 2837 0 vsize: 12272 [startup+530.122 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3291 0 0 0 52982 36 0 0 25 0 1 0 511774136 12566528 2559 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3068 2559 231 231 0 2837 0 vsize: 12272 [startup+540.122 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3308 0 0 0 53982 36 0 0 25 0 1 0 511774136 12701696 2576 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3101 2576 231 231 0 2870 0 vsize: 12404 [startup+550.122 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3321 0 0 0 54982 37 0 0 25 0 1 0 511774136 12701696 2589 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3101 2589 231 231 0 2870 0 vsize: 12404 [startup+560.122 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3340 0 0 0 55981 37 0 0 25 0 1 0 511774136 12701696 2608 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3101 2608 231 231 0 2870 0 vsize: 12404 [startup+570.123 s] Raw data (loadavg): 1.00 1.00 0.82 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3357 0 0 0 56981 38 0 0 25 0 1 0 511774136 16896000 2625 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4125 2625 231 231 0 3894 0 vsize: 16500 [startup+580.122 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3375 0 0 0 57980 38 0 0 25 0 1 0 511774136 16896000 2643 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4125 2643 231 231 0 3894 0 vsize: 16500 [startup+590.122 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3391 0 0 0 58980 39 0 0 25 0 1 0 511774136 16896000 2659 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4125 2659 231 231 0 3894 0 vsize: 16500 [startup+600.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3407 0 0 0 59979 40 0 0 25 0 1 0 511774136 17031168 2675 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4158 2675 231 231 0 3927 0 vsize: 16632 [startup+610.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3429 0 0 0 60979 40 0 0 25 0 1 0 511774136 17031168 2697 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4158 2697 231 231 0 3927 0 vsize: 16632 [startup+620.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3448 0 0 0 61979 40 0 0 25 0 1 0 511774136 17031168 2716 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4158 2716 231 231 0 3927 0 vsize: 16632 [startup+630.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3462 0 0 0 62979 41 0 0 25 0 1 0 511774136 17031168 2730 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4158 2730 231 231 0 3927 0 vsize: 16632 [startup+640.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3478 0 0 0 63978 41 0 0 25 0 1 0 511774136 17031168 2746 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4158 2746 231 231 0 3927 0 vsize: 16632 [startup+650.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3494 0 0 0 64978 42 0 0 25 0 1 0 511774136 17031168 2762 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4158 2762 231 231 0 3927 0 vsize: 16632 [startup+660.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3512 0 0 0 65978 42 0 0 25 0 1 0 511774136 17166336 2780 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4191 2780 231 231 0 3960 0 vsize: 16764 [startup+670.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3543 0 0 0 66977 43 0 0 25 0 1 0 511774136 17166336 2811 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4191 2811 231 231 0 3960 0 vsize: 16764 [startup+680.123 s] Raw data (loadavg): 1.00 1.00 0.83 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3543 0 0 0 67977 44 0 0 25 0 1 0 511774136 17166336 2811 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4191 2811 231 231 0 3960 0 vsize: 16764 [startup+690.123 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3546 0 0 0 68977 44 0 0 25 0 1 0 511774136 17166336 2814 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4191 2814 231 231 0 3960 0 vsize: 16764 [startup+700.123 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3554 0 0 0 69976 45 0 0 25 0 1 0 511774136 17301504 2822 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2822 231 231 0 3993 0 vsize: 16896 [startup+710.124 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3561 0 0 0 70976 45 0 0 25 0 1 0 511774136 17301504 2829 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2829 231 231 0 3993 0 vsize: 16896 [startup+720.125 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3566 0 0 0 71976 45 0 0 25 0 1 0 511774136 17301504 2834 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2834 231 231 0 3993 0 vsize: 16896 [startup+730.125 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3578 0 0 0 72976 46 0 0 25 0 1 0 511774136 17301504 2846 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2846 231 231 0 3993 0 vsize: 16896 [startup+740.125 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3579 0 0 0 73976 46 0 0 25 0 1 0 511774136 17301504 2847 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2847 231 231 0 3993 0 vsize: 16896 [startup+750.125 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3580 0 0 0 74975 47 0 0 25 0 1 0 511774136 17301504 2848 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2848 231 231 0 3993 0 vsize: 16896 [startup+760.125 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3580 0 0 0 75974 48 0 0 25 0 1 0 511774136 17301504 2848 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2848 231 231 0 3993 0 vsize: 16896 [startup+770.126 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3581 0 0 0 76974 48 0 0 25 0 1 0 511774136 17301504 2849 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2849 231 231 0 3993 0 vsize: 16896 [startup+780.126 s] Raw data (loadavg): 1.00 1.00 0.84 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3582 0 0 0 77974 48 0 0 25 0 1 0 511774136 17301504 2850 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2850 231 231 0 3993 0 vsize: 16896 [startup+790.125 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3582 0 0 0 78974 48 0 0 25 0 1 0 511774136 17301504 2850 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 2850 231 231 0 3993 0 vsize: 16896 [startup+800.126 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3588 0 0 0 79974 49 0 0 25 0 1 0 511774136 17403904 2856 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2856 231 231 0 4018 0 vsize: 16996 [startup+810.126 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3590 0 0 0 80974 49 0 0 25 0 1 0 511774136 17403904 2858 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2858 231 231 0 4018 0 vsize: 16996 [startup+820.127 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3591 0 0 0 81973 50 0 0 25 0 1 0 511774136 17403904 2859 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2859 231 231 0 4018 0 vsize: 16996 [startup+830.126 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3591 0 0 0 82972 51 0 0 25 0 1 0 511774136 17403904 2859 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2859 231 231 0 4018 0 vsize: 16996 [startup+840.127 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3592 0 0 0 83972 52 0 0 25 0 1 0 511774136 17403904 2860 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2860 231 231 0 4018 0 vsize: 16996 [startup+850.127 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3592 0 0 0 84971 53 0 0 25 0 1 0 511774136 17403904 2860 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2860 231 231 0 4018 0 vsize: 16996 [startup+860.127 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3601 0 0 0 85971 53 0 0 25 0 1 0 511774136 17403904 2869 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2869 231 231 0 4018 0 vsize: 16996 [startup+870.128 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3601 0 0 0 86971 53 0 0 25 0 1 0 511774136 17403904 2869 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2869 231 231 0 4018 0 vsize: 16996 [startup+880.127 s] Raw data (loadavg): 1.00 1.00 0.85 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3602 0 0 0 87971 53 0 0 25 0 1 0 511774136 17403904 2870 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2870 231 231 0 4018 0 vsize: 16996 [startup+890.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3602 0 0 0 88970 54 0 0 25 0 1 0 511774136 17403904 2870 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2870 231 231 0 4018 0 vsize: 16996 [startup+900.128 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3603 0 0 0 89970 55 0 0 25 0 1 0 511774136 17403904 2871 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2871 231 231 0 4018 0 vsize: 16996 [startup+910.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3604 0 0 0 90970 55 0 0 25 0 1 0 511774136 17403904 2872 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2872 231 231 0 4018 0 vsize: 16996 [startup+920.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3604 0 0 0 91969 56 0 0 25 0 1 0 511774136 17403904 2872 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2872 231 231 0 4018 0 vsize: 16996 [startup+930.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3611 0 0 0 92969 56 0 0 25 0 1 0 511774136 17403904 2879 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2879 231 231 0 4018 0 vsize: 16996 [startup+940.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3612 0 0 0 93969 57 0 0 25 0 1 0 511774136 17403904 2880 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2880 231 231 0 4018 0 vsize: 16996 [startup+950.126 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3614 0 0 0 94969 57 0 0 25 0 1 0 511774136 17403904 2882 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2882 231 231 0 4018 0 vsize: 16996 [startup+960.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3618 0 0 0 95968 58 0 0 25 0 1 0 511774136 17403904 2886 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2886 231 231 0 4018 0 vsize: 16996 [startup+970.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3619 0 0 0 96968 58 0 0 25 0 1 0 511774136 17403904 2887 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2887 231 231 0 4018 0 vsize: 16996 [startup+980.127 s] Raw data (loadavg): 1.00 1.00 0.86 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3621 0 0 0 97967 59 0 0 25 0 1 0 511774136 17403904 2889 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4249 2889 231 231 0 4018 0 vsize: 16996 [startup+990.127 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3631 0 0 0 98967 59 0 0 25 0 1 0 511774136 17539072 2899 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2899 231 231 0 4051 0 vsize: 17128 [startup+1000.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3632 0 0 0 99967 60 0 0 25 0 1 0 511774136 17539072 2900 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2900 231 231 0 4051 0 vsize: 17128 [startup+1010.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3632 0 0 0 100966 60 0 0 25 0 1 0 511774136 17539072 2900 4294967295 134512640 135450300 3221224640 3221223376 134537984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2900 231 231 0 4051 0 vsize: 17128 [startup+1020.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3633 0 0 0 101966 61 0 0 25 0 1 0 511774136 17539072 2901 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2901 231 231 0 4051 0 vsize: 17128 [startup+1030.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3634 0 0 0 102966 61 0 0 25 0 1 0 511774136 17539072 2902 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2902 231 231 0 4051 0 vsize: 17128 [startup+1040.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3634 0 0 0 103965 62 0 0 25 0 1 0 511774136 17539072 2902 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2902 231 231 0 4051 0 vsize: 17128 [startup+1050.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3635 0 0 0 104965 63 0 0 25 0 1 0 511774136 17539072 2903 4294967295 134512640 135450300 3221224640 3221223376 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2903 231 231 0 4051 0 vsize: 17128 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3645 0 0 0 105964 63 0 0 25 0 1 0 511774136 17539072 2913 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2913 231 231 0 4051 0 vsize: 17128 [startup+1070.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3646 0 0 0 106964 64 0 0 25 0 1 0 511774136 17539072 2914 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2914 231 231 0 4051 0 vsize: 17128 [startup+1080.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3647 0 0 0 107964 64 0 0 25 0 1 0 511774136 17539072 2915 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2915 231 231 0 4051 0 vsize: 17128 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 0.87 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3647 0 0 0 108963 65 0 0 25 0 1 0 511774136 17539072 2915 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2915 231 231 0 4051 0 vsize: 17128 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3648 0 0 0 109963 65 0 0 25 0 1 0 511774136 17539072 2916 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2916 231 231 0 4051 0 vsize: 17128 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3648 0 0 0 110962 66 0 0 25 0 1 0 511774136 17539072 2916 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2916 231 231 0 4051 0 vsize: 17128 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3649 0 0 0 111962 67 0 0 25 0 1 0 511774136 17539072 2917 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2917 231 231 0 4051 0 vsize: 17128 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3662 0 0 0 112961 67 0 0 25 0 1 0 511774136 17539072 2930 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2930 231 231 0 4051 0 vsize: 17128 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3663 0 0 0 113961 68 0 0 25 0 1 0 511774136 17539072 2931 4294967295 134512640 135450300 3221224640 3221223376 134538643 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2931 231 231 0 4051 0 vsize: 17128 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3664 0 0 0 114960 69 0 0 25 0 1 0 511774136 17539072 2932 4294967295 134512640 135450300 3221224640 3221223376 134538032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4282 2932 231 231 0 4051 0 vsize: 17128 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3667 0 0 0 115960 69 0 0 25 0 1 0 511774136 17674240 2935 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 2935 231 231 0 4084 0 vsize: 17260 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3670 0 0 0 116960 70 0 0 25 0 1 0 511774136 17674240 2938 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 2938 231 231 0 4084 0 vsize: 17260 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3682 0 0 0 117959 70 0 0 25 0 1 0 511774136 17674240 2950 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 2950 231 231 0 4084 0 vsize: 17260 [startup+1190.13 s] Raw data (loadavg): 1.00 1.00 0.88 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3683 0 0 0 118959 71 0 0 25 0 1 0 511774136 17674240 2951 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 2951 231 231 0 4084 0 vsize: 17260 [startup+1200.13 s] Raw data (loadavg): 1.00 1.00 0.89 2/54 18719 Raw data (stat): 18662 (PBS4) R 18661 27222 27221 0 -1 0 3683 0 0 0 119959 71 0 0 25 0 1 0 511774136 17674240 2951 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4315 2951 231 231 0 4084 0 vsize: 17260 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 0.89 1/54 18719 Raw data (stat): 18662 (PBS4) Z 18661 27222 27221 0 -1 1036 3683 0 0 0 119959 71 0 0 25 0 1 0 511774136 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.13 CPU time (s): 1200.32 CPU user time (s): 1199.6 CPU system time (s): 0.71889 CPU usage (%): 100.015 Max. virtual memory (Kb): 17260 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####