Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb |
MD5SUM | 3fce91583b30a82646d8d8e778b97a89 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 288 |
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 | 288 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 288 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05884 |
Number of variables | 2112 |
Total number of constraints | 7132 |
Number of constraints which are clauses | 4128 |
Number of constraints which are cardinality constraints (but not clauses) | 2328 |
Number of constraints which are nor clauses,nor cardinality constraints | 676 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-21 21:29:53 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14644 boxname=wulflinc23 idbench=1127 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 3fce91583b30a82646d8d8e778b97a89 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-neos1.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-neos1.opb IDLAUNCH: 14644 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 518916 kB Buffers: 30940 kB Cached: 459212 kB SwapCached: 536 kB Active: 83280 kB Inactive: 409004 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 518664 kB SwapTotal: 2097136 kB SwapFree: 2095852 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5224 kB Slab: 17884 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 21:49:56 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 14644 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-neos1.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.77 0.94 0.90 2/54 13344 Raw data (stat): 13344 (runsolver) R 13343 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548329727 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 s] Raw data (loadavg): 0.81 0.94 0.90 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 571 0 0 0 997 2 0 0 25 0 1 0 548329727 3129344 563 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 764 563 231 231 0 533 0 vsize: 3056 [startup+20.007 s] Raw data (loadavg): 0.84 0.94 0.90 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 684 0 0 0 1996 4 0 0 25 0 1 0 548329727 3788800 676 4294967295 134512640 135450300 3221224624 3221223344 134535937 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 925 676 231 231 0 694 0 vsize: 3700 [startup+30.0273 s] Raw data (loadavg): 0.86 0.94 0.90 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 836 0 0 0 2997 5 0 0 25 0 1 0 548329727 5033984 779 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1229 779 231 231 0 998 0 vsize: 4916 [startup+40.0324 s] Raw data (loadavg): 0.88 0.94 0.90 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 918 0 0 0 3996 6 0 0 25 0 1 0 548329727 5033984 861 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1229 861 231 231 0 998 0 vsize: 4916 [startup+50.046 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 989 0 0 0 4996 8 0 0 25 0 1 0 548329727 5169152 932 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1262 932 231 231 0 1031 0 vsize: 5048 [startup+60.0452 s] Raw data (loadavg): 0.91 0.95 0.90 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1110 0 0 0 5995 8 0 0 25 0 1 0 548329727 5308416 1053 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1296 1053 231 231 0 1065 0 vsize: 5184 [startup+70.0459 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1241 0 0 0 6994 10 0 0 25 0 1 0 548329727 7680000 1184 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1875 1184 231 231 0 1644 0 vsize: 7500 [startup+80.0519 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1330 0 0 0 7993 12 0 0 25 0 1 0 548329727 7680000 1273 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1875 1273 231 231 0 1644 0 vsize: 7500 [startup+90.0521 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1406 0 0 0 8992 13 0 0 25 0 1 0 548329727 7819264 1349 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1909 1349 231 231 0 1678 0 vsize: 7636 [startup+100.052 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1555 0 0 0 9990 15 0 0 25 0 1 0 548329727 8339456 1401 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2036 1401 231 231 0 1805 0 vsize: 8144 [startup+110.052 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1575 0 0 0 10990 16 0 0 25 0 1 0 548329727 8466432 1421 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2067 1421 231 231 0 1836 0 vsize: 8268 [startup+120.052 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1656 0 0 0 11988 17 0 0 25 0 1 0 548329727 8466432 1502 4294967295 134512640 135450300 3221224624 3221223504 134539372 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2067 1502 231 231 0 1836 0 vsize: 8268 [startup+130.052 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1701 0 0 0 12987 18 0 0 25 0 1 0 548329727 8589312 1547 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2097 1547 231 231 0 1866 0 vsize: 8388 [startup+140.052 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1728 0 0 0 13986 20 0 0 25 0 1 0 548329727 8589312 1574 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2097 1574 231 231 0 1866 0 vsize: 8388 [startup+150.053 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1790 0 0 0 14985 21 0 0 25 0 1 0 548329727 8724480 1636 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2130 1636 231 231 0 1899 0 vsize: 8520 [startup+160.053 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1887 0 0 0 15983 23 0 0 25 0 1 0 548329727 8863744 1733 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2164 1733 231 231 0 1933 0 vsize: 8656 [startup+170.052 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1963 0 0 0 16982 24 0 0 25 0 1 0 548329727 8863744 1809 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2164 1809 231 231 0 1933 0 vsize: 8656 [startup+180.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 1993 0 0 0 17981 25 0 0 25 0 1 0 548329727 8863744 1839 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2164 1839 231 231 0 1933 0 vsize: 8656 [startup+190.053 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2013 0 0 0 18980 26 0 0 25 0 1 0 548329727 9023488 1859 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2203 1859 231 231 0 1972 0 vsize: 8812 [startup+200.053 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2026 0 0 0 19979 27 0 0 25 0 1 0 548329727 9023488 1872 4294967295 134512640 135450300 3221224624 3221223488 134539158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2203 1872 231 231 0 1972 0 vsize: 8812 [startup+210.052 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2073 0 0 0 20978 28 0 0 25 0 1 0 548329727 9023488 1919 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2203 1919 231 231 0 1972 0 vsize: 8812 [startup+220.053 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2091 0 0 0 21977 29 0 0 25 0 1 0 548329727 9154560 1937 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2235 1937 231 231 0 2004 0 vsize: 8940 [startup+230.053 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2116 0 0 0 22976 30 0 0 25 0 1 0 548329727 9154560 1962 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2235 1962 231 231 0 2004 0 vsize: 8940 [startup+240.053 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2155 0 0 0 23975 32 0 0 25 0 1 0 548329727 9154560 2001 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2235 2001 231 231 0 2004 0 vsize: 8940 [startup+250.053 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2413 0 0 0 24973 34 0 0 25 0 1 0 548329727 10092544 2066 4294967295 134512640 135450300 3221224624 3221223344 134535660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2464 2066 231 231 0 2233 0 vsize: 9856 [startup+260.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2467 0 0 0 25972 35 0 0 25 0 1 0 548329727 14286848 2120 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3488 2120 231 231 0 3257 0 vsize: 13952 [startup+270.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2482 0 0 0 26971 36 0 0 25 0 1 0 548329727 14286848 2135 4294967295 134512640 135450300 3221224624 3221223232 134537764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3488 2135 231 231 0 3257 0 vsize: 13952 [startup+280.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2509 0 0 0 27970 37 0 0 25 0 1 0 548329727 14286848 2162 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3488 2162 231 231 0 3257 0 vsize: 13952 [startup+290.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2559 0 0 0 28970 38 0 0 25 0 1 0 548329727 14286848 2212 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3488 2212 231 231 0 3257 0 vsize: 13952 [startup+300.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2599 0 0 0 29969 39 0 0 25 0 1 0 548329727 14405632 2252 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2252 231 231 0 3286 0 vsize: 14068 [startup+310.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2651 0 0 0 30968 40 0 0 25 0 1 0 548329727 14405632 2304 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2304 231 231 0 3286 0 vsize: 14068 [startup+320.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2707 0 0 0 31967 41 0 0 25 0 1 0 548329727 14405632 2360 4294967295 134512640 135450300 3221224624 3221223232 134537611 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2360 231 231 0 3286 0 vsize: 14068 [startup+330.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2772 0 0 0 32965 42 0 0 25 0 1 0 548329727 14561280 2425 4294967295 134512640 135450300 3221224624 3221223548 134539745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3555 2425 231 231 0 3324 0 vsize: 14220 [startup+340.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2830 0 0 0 33964 44 0 0 25 0 1 0 548329727 14561280 2483 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3555 2483 231 231 0 3324 0 vsize: 14220 [startup+350.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2858 0 0 0 34962 46 0 0 25 0 1 0 548329727 14561280 2511 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3555 2511 231 231 0 3324 0 vsize: 14220 [startup+360.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2917 0 0 0 35961 47 0 0 25 0 1 0 548329727 14561280 2570 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3555 2570 231 231 0 3324 0 vsize: 14220 [startup+370.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 2981 0 0 0 36959 49 0 0 25 0 1 0 548329727 14696448 2634 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3588 2634 231 231 0 3357 0 vsize: 14352 [startup+380.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3049 0 0 0 37958 50 0 0 25 0 1 0 548329727 14696448 2702 4294967295 134512640 135450300 3221224624 3221223232 134537664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3588 2702 231 231 0 3357 0 vsize: 14352 [startup+390.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3063 0 0 0 38958 51 0 0 25 0 1 0 548329727 14696448 2716 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3588 2716 231 231 0 3357 0 vsize: 14352 [startup+400.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3114 0 0 0 39957 52 0 0 25 0 1 0 548329727 14696448 2767 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3588 2767 231 231 0 3357 0 vsize: 14352 [startup+410.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3175 0 0 0 40956 53 0 0 25 0 1 0 548329727 14696448 2828 4294967295 134512640 135450300 3221224624 3221223360 134537973 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3588 2828 231 231 0 3357 0 vsize: 14352 [startup+420.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3232 0 0 0 41955 54 0 0 25 0 1 0 548329727 14827520 2885 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3620 2885 231 231 0 3389 0 vsize: 14480 [startup+430.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3281 0 0 0 42954 55 0 0 25 0 1 0 548329727 14827520 2934 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3620 2934 231 231 0 3389 0 vsize: 14480 [startup+440.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3339 0 0 0 43953 57 0 0 25 0 1 0 548329727 14974976 2992 4294967295 134512640 135450300 3221224624 3221223232 134537727 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3656 2992 231 231 0 3425 0 vsize: 14624 [startup+450.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3413 0 0 0 44952 58 0 0 25 0 1 0 548329727 14974976 3066 4294967295 134512640 135450300 3221224624 3221223232 134537761 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3656 3066 231 231 0 3425 0 vsize: 14624 [startup+460.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3473 0 0 0 45951 59 0 0 25 0 1 0 548329727 14974976 3126 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3656 3126 231 231 0 3425 0 vsize: 14624 [startup+470.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3484 0 0 0 46950 60 0 0 25 0 1 0 548329727 14974976 3137 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3656 3137 231 231 0 3425 0 vsize: 14624 [startup+480.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3494 0 0 0 47949 61 0 0 25 0 1 0 548329727 14974976 3147 4294967295 134512640 135450300 3221224624 3221223440 134537284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3656 3147 231 231 0 3425 0 vsize: 14624 [startup+490.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3508 0 0 0 48948 62 0 0 25 0 1 0 548329727 15138816 3161 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3696 3161 231 231 0 3465 0 vsize: 14784 [startup+500.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3537 0 0 0 49947 63 0 0 25 0 1 0 548329727 15138816 3190 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3696 3190 231 231 0 3465 0 vsize: 14784 [startup+510.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3597 0 0 0 50946 64 0 0 25 0 1 0 548329727 15138816 3250 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3696 3250 231 231 0 3465 0 vsize: 14784 [startup+520.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3667 0 0 0 51946 65 0 0 25 0 1 0 548329727 15269888 3320 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3728 3320 231 231 0 3497 0 vsize: 14912 [startup+530.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3726 0 0 0 52946 65 0 0 25 0 1 0 548329727 15269888 3379 4294967295 134512640 135450300 3221224624 3221223440 134547900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3728 3379 231 231 0 3497 0 vsize: 14912 [startup+540.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3761 0 0 0 53945 66 0 0 25 0 1 0 548329727 15269888 3414 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3728 3414 231 231 0 3497 0 vsize: 14912 [startup+550.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3826 0 0 0 54944 67 0 0 25 0 1 0 548329727 15269888 3479 4294967295 134512640 135450300 3221224624 3221222976 134533191 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3728 3479 231 231 0 3497 0 vsize: 14912 [startup+560.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3878 0 0 0 55944 67 0 0 25 0 1 0 548329727 15269888 3531 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3728 3531 231 231 0 3497 0 vsize: 14912 [startup+570.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3938 0 0 0 56943 68 0 0 25 0 1 0 548329727 23822336 3591 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 3591 231 231 0 5585 0 vsize: 23264 [startup+580.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 3984 0 0 0 57942 70 0 0 25 0 1 0 548329727 23822336 3637 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 3637 231 231 0 5585 0 vsize: 23264 [startup+590.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4046 0 0 0 58941 70 0 0 25 0 1 0 548329727 23822336 3699 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 3699 231 231 0 5585 0 vsize: 23264 [startup+600.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4118 0 0 0 59941 71 0 0 25 0 1 0 548329727 23822336 3771 4294967295 134512640 135450300 3221224624 3221223456 134549854 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5816 3771 231 231 0 5585 0 vsize: 23264 [startup+610.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4569 0 0 0 60939 73 0 0 25 0 1 0 548329727 25542656 3837 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6236 3837 231 231 0 6005 0 vsize: 24944 [startup+620.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4614 0 0 0 61939 74 0 0 25 0 1 0 548329727 25542656 3882 4294967295 134512640 135450300 3221224624 3221223440 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6236 3882 231 231 0 6005 0 vsize: 24944 [startup+630.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4621 0 0 0 62938 75 0 0 25 0 1 0 548329727 25542656 3889 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6236 3889 231 231 0 6005 0 vsize: 24944 [startup+640.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4642 0 0 0 63938 76 0 0 25 0 1 0 548329727 25681920 3910 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6270 3910 231 231 0 6039 0 vsize: 25080 [startup+650.07 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4658 0 0 0 64937 76 0 0 25 0 1 0 548329727 25681920 3926 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6270 3926 231 231 0 6039 0 vsize: 25080 [startup+660.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4705 0 0 0 65936 77 0 0 25 0 1 0 548329727 25681920 3973 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6270 3973 231 231 0 6039 0 vsize: 25080 [startup+670.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4753 0 0 0 66936 78 0 0 25 0 1 0 548329727 25841664 4021 4294967295 134512640 135450300 3221224624 3221223456 134549371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 4021 231 231 0 6078 0 vsize: 25236 [startup+680.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4781 0 0 0 67935 79 0 0 25 0 1 0 548329727 25841664 4049 4294967295 134512640 135450300 3221224624 3221223344 134535670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 4049 231 231 0 6078 0 vsize: 25236 [startup+690.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4801 0 0 0 68934 80 0 0 25 0 1 0 548329727 25841664 4069 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 4069 231 231 0 6078 0 vsize: 25236 [startup+700.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4839 0 0 0 69933 81 0 0 25 0 1 0 548329727 25841664 4107 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 4107 231 231 0 6078 0 vsize: 25236 [startup+710.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4897 0 0 0 70932 82 0 0 25 0 1 0 548329727 25972736 4165 4294967295 134512640 135450300 3221224624 3221223360 134538380 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6341 4165 231 231 0 6110 0 vsize: 25364 [startup+720.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4956 0 0 0 71931 83 0 0 25 0 1 0 548329727 25972736 4224 4294967295 134512640 135450300 3221224624 3221223348 134538169 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6341 4224 231 231 0 6110 0 vsize: 25364 [startup+730.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4968 0 0 0 72930 85 0 0 25 0 1 0 548329727 26136576 4236 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6381 4236 231 231 0 6150 0 vsize: 25524 [startup+740.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 4990 0 0 0 73929 86 0 0 25 0 1 0 548329727 26136576 4258 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6381 4258 231 231 0 6150 0 vsize: 25524 [startup+750.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5041 0 0 0 74929 86 0 0 25 0 1 0 548329727 26136576 4309 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6381 4309 231 231 0 6150 0 vsize: 25524 [startup+760.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5082 0 0 0 75928 87 0 0 25 0 1 0 548329727 26136576 4350 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6381 4350 231 231 0 6150 0 vsize: 25524 [startup+770.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5116 0 0 0 76927 88 0 0 25 0 1 0 548329727 26136576 4384 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6381 4384 231 231 0 6150 0 vsize: 25524 [startup+780.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5127 0 0 0 77926 89 0 0 25 0 1 0 548329727 26136576 4395 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6381 4395 231 231 0 6150 0 vsize: 25524 [startup+790.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5145 0 0 0 78925 90 0 0 25 0 1 0 548329727 26259456 4413 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6411 4413 231 231 0 6180 0 vsize: 25644 [startup+800.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5168 0 0 0 79925 91 0 0 25 0 1 0 548329727 26259456 4436 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6411 4436 231 231 0 6180 0 vsize: 25644 [startup+810.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5222 0 0 0 80924 92 0 0 25 0 1 0 548329727 26259456 4490 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6411 4490 231 231 0 6180 0 vsize: 25644 [startup+820.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5246 0 0 0 81924 92 0 0 25 0 1 0 548329727 26386432 4514 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6442 4514 231 231 0 6211 0 vsize: 25768 [startup+830.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5264 0 0 0 82923 93 0 0 25 0 1 0 548329727 26386432 4532 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6442 4532 231 231 0 6211 0 vsize: 25768 [startup+840.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5334 0 0 0 83921 95 0 0 25 0 1 0 548329727 26386432 4602 4294967295 134512640 135450300 3221224624 3221223440 134547140 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6442 4602 231 231 0 6211 0 vsize: 25768 [startup+850.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5393 0 0 0 84920 96 0 0 25 0 1 0 548329727 26509312 4661 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6472 4661 231 231 0 6241 0 vsize: 25888 [startup+860.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5407 0 0 0 85920 97 0 0 25 0 1 0 548329727 26509312 4675 4294967295 134512640 135450300 3221224624 3221223360 134538660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6472 4675 231 231 0 6241 0 vsize: 25888 [startup+870.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5438 0 0 0 86918 98 0 0 25 0 1 0 548329727 26509312 4706 4294967295 134512640 135450300 3221224624 3221223232 134537667 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6472 4706 231 231 0 6241 0 vsize: 25888 [startup+880.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5514 0 0 0 87918 99 0 0 25 0 1 0 548329727 26656768 4782 4294967295 134512640 135450300 3221224624 3221223056 134533419 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6508 4782 231 231 0 6277 0 vsize: 26032 [startup+890.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5571 0 0 0 88917 100 0 0 25 0 1 0 548329727 26656768 4839 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6508 4839 231 231 0 6277 0 vsize: 26032 [startup+900.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5624 0 0 0 89917 101 0 0 25 0 1 0 548329727 26656768 4892 4294967295 134512640 135450300 3221224624 3221223152 134543725 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6508 4892 231 231 0 6277 0 vsize: 26032 [startup+910.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5639 0 0 0 90917 101 0 0 25 0 1 0 548329727 26656768 4907 4294967295 134512640 135450300 3221224624 3221223440 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6508 4907 231 231 0 6277 0 vsize: 26032 [startup+920.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5644 0 0 0 91916 102 0 0 25 0 1 0 548329727 26656768 4912 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6508 4912 231 231 0 6277 0 vsize: 26032 [startup+930.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5703 0 0 0 92915 103 0 0 25 0 1 0 548329727 26796032 4971 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6542 4971 231 231 0 6311 0 vsize: 26168 [startup+940.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5757 0 0 0 93914 104 0 0 25 0 1 0 548329727 26796032 5025 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6542 5025 231 231 0 6311 0 vsize: 26168 [startup+950.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5783 0 0 0 94914 104 0 0 25 0 1 0 548329727 26796032 5051 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6542 5051 231 231 0 6311 0 vsize: 26168 [startup+960.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5816 0 0 0 95913 105 0 0 25 0 1 0 548329727 26796032 5084 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6542 5084 231 231 0 6311 0 vsize: 26168 [startup+970.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5870 0 0 0 96913 106 0 0 25 0 1 0 548329727 26963968 5138 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6583 5138 231 231 0 6352 0 vsize: 26332 [startup+980.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5936 0 0 0 97912 106 0 0 25 0 1 0 548329727 26963968 5204 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6583 5204 231 231 0 6352 0 vsize: 26332 [startup+990.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5976 0 0 0 98912 107 0 0 25 0 1 0 548329727 26963968 5244 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6583 5244 231 231 0 6352 0 vsize: 26332 [startup+1000.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 5996 0 0 0 99912 107 0 0 25 0 1 0 548329727 26963968 5264 4294967295 134512640 135450300 3221224624 3221223360 134537943 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6583 5264 231 231 0 6352 0 vsize: 26332 [startup+1010.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6023 0 0 0 100911 108 0 0 25 0 1 0 548329727 27127808 5291 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5291 231 231 0 6392 0 vsize: 26492 [startup+1020.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6043 0 0 0 101911 108 0 0 25 0 1 0 548329727 27127808 5311 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5311 231 231 0 6392 0 vsize: 26492 [startup+1030.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6098 0 0 0 102911 109 0 0 25 0 1 0 548329727 27127808 5366 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6623 5366 231 231 0 6392 0 vsize: 26492 [startup+1040.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6126 0 0 0 103910 110 0 0 25 0 1 0 548329727 27324416 5394 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5394 231 231 0 6440 0 vsize: 26684 [startup+1050.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6139 0 0 0 104910 110 0 0 25 0 1 0 548329727 27324416 5407 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5407 231 231 0 6440 0 vsize: 26684 [startup+1060.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6152 0 0 0 105909 111 0 0 25 0 1 0 548329727 27324416 5420 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5420 231 231 0 6440 0 vsize: 26684 [startup+1070.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6171 0 0 0 106909 111 0 0 25 0 1 0 548329727 27324416 5439 4294967295 134512640 135450300 3221224624 3221223440 134547177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5439 231 231 0 6440 0 vsize: 26684 [startup+1080.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6222 0 0 0 107909 112 0 0 25 0 1 0 548329727 27324416 5490 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5490 231 231 0 6440 0 vsize: 26684 [startup+1090.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6237 0 0 0 108908 112 0 0 25 0 1 0 548329727 27324416 5505 4294967295 134512640 135450300 3221224624 3221223232 134537672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5505 231 231 0 6440 0 vsize: 26684 [startup+1100.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6245 0 0 0 109908 113 0 0 25 0 1 0 548329727 27324416 5513 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5513 231 231 0 6440 0 vsize: 26684 [startup+1110.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6270 0 0 0 110908 113 0 0 25 0 1 0 548329727 27324416 5538 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5538 231 231 0 6440 0 vsize: 26684 [startup+1120.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6321 0 0 0 111907 114 0 0 25 0 1 0 548329727 27324416 5589 4294967295 134512640 135450300 3221224624 3221223440 134536525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6671 5589 231 231 0 6440 0 vsize: 26684 [startup+1130.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6374 0 0 0 112907 115 0 0 25 0 1 0 548329727 27512832 5642 4294967295 134512640 135450300 3221224624 3221223232 134537664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6717 5642 231 231 0 6486 0 vsize: 26868 [startup+1140.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6382 0 0 0 113906 115 0 0 25 0 1 0 548329727 27512832 5650 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6717 5650 231 231 0 6486 0 vsize: 26868 [startup+1150.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6395 0 0 0 114906 116 0 0 25 0 1 0 548329727 27512832 5663 4294967295 134512640 135450300 3221224624 3221223440 134547155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6717 5663 231 231 0 6486 0 vsize: 26868 [startup+1160.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6454 0 0 0 115905 117 0 0 25 0 1 0 548329727 27512832 5722 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6717 5722 231 231 0 6486 0 vsize: 26868 [startup+1170.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6511 0 0 0 116905 117 0 0 25 0 1 0 548329727 27512832 5779 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6717 5779 231 231 0 6486 0 vsize: 26868 [startup+1180.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6547 0 0 0 117904 118 0 0 25 0 1 0 548329727 27660288 5815 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6753 5815 231 231 0 6522 0 vsize: 27012 [startup+1190.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6558 0 0 0 118904 119 0 0 25 0 1 0 548329727 27660288 5826 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6753 5826 231 231 0 6522 0 vsize: 27012 [startup+1200.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13344 Raw data (stat): 13344 (PBS4) R 13343 3260 3259 0 -1 0 6590 0 0 0 119903 120 0 0 25 0 1 0 548329727 27660288 5858 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6753 5858 231 231 0 6522 0 vsize: 27012 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 13344 Raw data (stat): 13344 (PBS4) Z 13343 3260 3259 0 -1 1036 6590 0 0 0 119903 121 0 0 25 0 1 0 548329727 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.1 CPU time (s): 1200.25 CPU user time (s): 1199.03 CPU system time (s): 1.21481 CPU usage (%): 100.013 Max. virtual memory (Kb): 27012 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####