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