Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb |
MD5SUM | 10547c6c0f11ab5df74fcaff6ba6d160 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14938 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1244.18 |
Number of variables | 548 |
Total number of constraints | 724 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 134 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-04-21 02:35:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18726 boxname=wulflinc26 idbench=1441 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 10547c6c0f11ab5df74fcaff6ba6d160 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-p0548.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-p0548.opb IDLAUNCH: 18726 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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.061 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 285456 kB Buffers: 38196 kB Cached: 670160 kB SwapCached: 0 kB Active: 252976 kB Inactive: 458272 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 285204 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6964 kB Slab: 32308 kB Committed_AS: 63724 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 02:55:53 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 18726 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-p0548.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.92 0.89 2/54 21817 Raw data (stat): 21817 (runsolver) R 21816 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541530047 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.0004 s] Raw data (loadavg): 0.81 0.92 0.89 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 1213 0 0 0 985 14 0 0 25 0 1 0 541530047 6406144 1209 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1564 1209 231 231 0 1333 0 vsize: 6256 [startup+20.0007 s] Raw data (loadavg): 0.84 0.93 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 1804 0 0 0 1975 23 0 0 25 0 1 0 541530047 10932224 1751 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2669 1751 231 231 0 2438 0 vsize: 10676 [startup+30.0017 s] Raw data (loadavg): 0.86 0.93 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 2422 0 0 0 2972 27 0 0 25 0 1 0 541530047 11202560 2369 4294967295 134512640 135450300 3221224640 3221223472 134549324 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2735 2369 231 231 0 2504 0 vsize: 10940 [startup+40.0014 s] Raw data (loadavg): 0.88 0.93 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 2571 0 0 0 3970 29 0 0 25 0 1 0 541530047 11730944 2421 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2864 2421 231 231 0 2633 0 vsize: 11456 [startup+50.0008 s] Raw data (loadavg): 0.90 0.93 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 2693 0 0 0 4969 31 0 0 25 0 1 0 541530047 11878400 2543 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2900 2543 231 231 0 2669 0 vsize: 11600 [startup+60.0008 s] Raw data (loadavg): 0.91 0.93 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 2894 0 0 0 5966 33 0 0 25 0 1 0 541530047 20402176 2744 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4981 2744 231 231 0 4750 0 vsize: 19924 [startup+70.0014 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 2936 0 0 0 6964 36 0 0 25 0 1 0 541530047 20402176 2786 4294967295 134512640 135450300 3221224640 3221223580 134530372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4981 2786 231 231 0 4750 0 vsize: 19924 [startup+80.0019 s] Raw data (loadavg): 0.94 0.94 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 3062 0 0 0 7961 38 0 0 25 0 1 0 541530047 20672512 2912 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5047 2912 231 231 0 4816 0 vsize: 20188 [startup+90.0018 s] Raw data (loadavg): 0.95 0.94 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 3386 0 0 0 8958 42 0 0 25 0 1 0 541530047 20672512 3236 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5047 3236 231 231 0 4816 0 vsize: 20188 [startup+100.001 s] Raw data (loadavg): 0.95 0.94 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 3785 0 0 0 9954 46 0 0 25 0 1 0 541530047 20811776 3635 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5081 3635 231 231 0 4850 0 vsize: 20324 [startup+110.002 s] Raw data (loadavg): 0.96 0.94 0.90 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4031 0 0 0 10951 49 0 0 25 0 1 0 541530047 21766144 3688 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5314 3688 231 231 0 5083 0 vsize: 21256 [startup+120.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4059 0 0 0 11950 50 0 0 25 0 1 0 541530047 21766144 3716 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5314 3716 231 231 0 5083 0 vsize: 21256 [startup+130.003 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4098 0 0 0 12950 51 0 0 25 0 1 0 541530047 21925888 3755 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5353 3755 231 231 0 5122 0 vsize: 21412 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4117 0 0 0 13949 52 0 0 25 0 1 0 541530047 21925888 3774 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5353 3774 231 231 0 5122 0 vsize: 21412 [startup+150.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4144 0 0 0 14949 53 0 0 25 0 1 0 541530047 22061056 3801 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5386 3801 231 231 0 5155 0 vsize: 21544 [startup+160.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4163 0 0 0 15948 54 0 0 25 0 1 0 541530047 22061056 3820 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5386 3820 231 231 0 5155 0 vsize: 21544 [startup+170.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4200 0 0 0 16947 55 0 0 25 0 1 0 541530047 22188032 3857 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5417 3857 231 231 0 5186 0 vsize: 21668 [startup+180.013 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4421 0 0 0 17947 56 0 0 25 0 1 0 541530047 22188032 4078 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5417 4078 231 231 0 5186 0 vsize: 21668 [startup+190.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4513 0 0 0 18946 57 0 0 25 0 1 0 541530047 22319104 4170 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5449 4170 231 231 0 5218 0 vsize: 21796 [startup+200.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4545 0 0 0 19946 58 0 0 25 0 1 0 541530047 22319104 4202 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5449 4202 231 231 0 5218 0 vsize: 21796 [startup+210.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4562 0 0 0 20945 58 0 0 25 0 1 0 541530047 22450176 4219 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5481 4219 231 231 0 5250 0 vsize: 21924 [startup+220.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4581 0 0 0 21945 59 0 0 25 0 1 0 541530047 22450176 4238 4294967295 134512640 135450300 3221224640 3221223456 134547464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5481 4238 231 231 0 5250 0 vsize: 21924 [startup+230.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4611 0 0 0 22943 61 0 0 25 0 1 0 541530047 22585344 4268 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5514 4268 231 231 0 5283 0 vsize: 22056 [startup+240.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4653 0 0 0 23942 62 0 0 25 0 1 0 541530047 22585344 4310 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5514 4310 231 231 0 5283 0 vsize: 22056 [startup+250.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4682 0 0 0 24941 63 0 0 25 0 1 0 541530047 22736896 4339 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5551 4339 231 231 0 5320 0 vsize: 22204 [startup+260.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4815 0 0 0 25940 64 0 0 25 0 1 0 541530047 22736896 4472 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5551 4472 231 231 0 5320 0 vsize: 22204 [startup+270.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 4900 0 0 0 26939 66 0 0 25 0 1 0 541530047 22736896 4557 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5551 4557 231 231 0 5320 0 vsize: 22204 [startup+280.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5007 0 0 0 27937 67 0 0 25 0 1 0 541530047 22900736 4664 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5591 4664 231 231 0 5360 0 vsize: 22364 [startup+290.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5437 0 0 0 28936 69 0 0 25 0 1 0 541530047 24473600 4709 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5975 4709 231 231 0 5744 0 vsize: 23900 [startup+300.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5469 0 0 0 29936 70 0 0 25 0 1 0 541530047 24621056 4741 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6011 4741 231 231 0 5780 0 vsize: 24044 [startup+310.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5498 0 0 0 30935 70 0 0 25 0 1 0 541530047 24621056 4770 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6011 4770 231 231 0 5780 0 vsize: 24044 [startup+320.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5525 0 0 0 31935 71 0 0 25 0 1 0 541530047 24842240 4797 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6065 4797 231 231 0 5834 0 vsize: 24260 [startup+330.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5551 0 0 0 32934 72 0 0 25 0 1 0 541530047 24842240 4823 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6065 4823 231 231 0 5834 0 vsize: 24260 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5572 0 0 0 33933 73 0 0 25 0 1 0 541530047 24842240 4844 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6065 4844 231 231 0 5834 0 vsize: 24260 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5616 0 0 0 34931 75 0 0 25 0 1 0 541530047 24997888 4888 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6103 4888 231 231 0 5872 0 vsize: 24412 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5628 0 0 0 35930 76 0 0 25 0 1 0 541530047 24997888 4900 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6103 4900 231 231 0 5872 0 vsize: 24412 [startup+370.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5647 0 0 0 36930 77 0 0 25 0 1 0 541530047 24997888 4919 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6103 4919 231 231 0 5872 0 vsize: 24412 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5658 0 0 0 37929 78 0 0 25 0 1 0 541530047 24997888 4930 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6103 4930 231 231 0 5872 0 vsize: 24412 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5671 0 0 0 38928 79 0 0 25 0 1 0 541530047 24997888 4943 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6103 4943 231 231 0 5872 0 vsize: 24412 [startup+400.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5701 0 0 0 39927 80 0 0 25 0 1 0 541530047 25235456 4973 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6161 4973 231 231 0 5930 0 vsize: 24644 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5711 0 0 0 40927 81 0 0 25 0 1 0 541530047 25235456 4983 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6161 4983 231 231 0 5930 0 vsize: 24644 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5726 0 0 0 41926 82 0 0 25 0 1 0 541530047 25235456 4998 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6161 4998 231 231 0 5930 0 vsize: 24644 [startup+430.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5743 0 0 0 42925 83 0 0 25 0 1 0 541530047 25235456 5015 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6161 5015 231 231 0 5930 0 vsize: 24644 [startup+440.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5779 0 0 0 43925 83 0 0 25 0 1 0 541530047 25378816 5051 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6196 5051 231 231 0 5965 0 vsize: 24784 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5799 0 0 0 44924 84 0 0 25 0 1 0 541530047 25378816 5071 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6196 5071 231 231 0 5965 0 vsize: 24784 [startup+460.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5837 0 0 0 45924 85 0 0 25 0 1 0 541530047 25563136 5109 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6241 5109 231 231 0 6010 0 vsize: 24964 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5853 0 0 0 46923 86 0 0 25 0 1 0 541530047 25563136 5125 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6241 5125 231 231 0 6010 0 vsize: 24964 [startup+480.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5870 0 0 0 47922 87 0 0 25 0 1 0 541530047 25563136 5142 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6241 5142 231 231 0 6010 0 vsize: 24964 [startup+490.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5896 0 0 0 48922 87 0 0 25 0 1 0 541530047 25739264 5168 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6284 5168 231 231 0 6053 0 vsize: 25136 [startup+500.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5908 0 0 0 49921 89 0 0 25 0 1 0 541530047 25739264 5180 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6284 5180 231 231 0 6053 0 vsize: 25136 [startup+510.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5928 0 0 0 50920 89 0 0 25 0 1 0 541530047 25739264 5200 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6284 5200 231 231 0 6053 0 vsize: 25136 [startup+520.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5941 0 0 0 51919 91 0 0 25 0 1 0 541530047 25739264 5213 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6284 5213 231 231 0 6053 0 vsize: 25136 [startup+530.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5960 0 0 0 52918 92 0 0 25 0 1 0 541530047 25739264 5232 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6284 5232 231 231 0 6053 0 vsize: 25136 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 5982 0 0 0 53917 93 0 0 25 0 1 0 541530047 25886720 5254 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6320 5254 231 231 0 6089 0 vsize: 25280 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6005 0 0 0 54916 94 0 0 25 0 1 0 541530047 26021888 5277 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6353 5277 231 231 0 6122 0 vsize: 25412 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6018 0 0 0 55916 95 0 0 25 0 1 0 541530047 26021888 5290 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6353 5290 231 231 0 6122 0 vsize: 25412 [startup+570.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6029 0 0 0 56916 95 0 0 25 0 1 0 541530047 26021888 5301 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6353 5301 231 231 0 6122 0 vsize: 25412 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6048 0 0 0 57915 96 0 0 25 0 1 0 541530047 26021888 5320 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6353 5320 231 231 0 6122 0 vsize: 25412 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6074 0 0 0 58915 96 0 0 25 0 1 0 541530047 26165248 5346 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6388 5346 231 231 0 6157 0 vsize: 25552 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6096 0 0 0 59914 97 0 0 25 0 1 0 541530047 26165248 5368 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6388 5368 231 231 0 6157 0 vsize: 25552 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6118 0 0 0 60913 99 0 0 25 0 1 0 541530047 26316800 5390 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6425 5390 231 231 0 6194 0 vsize: 25700 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6161 0 0 0 61912 100 0 0 25 0 1 0 541530047 26316800 5433 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6425 5433 231 231 0 6194 0 vsize: 25700 [startup+630.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6171 0 0 0 62911 101 0 0 25 0 1 0 541530047 26316800 5443 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6425 5443 231 231 0 6194 0 vsize: 25700 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6183 0 0 0 63911 101 0 0 25 0 1 0 541530047 26480640 5455 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6465 5455 231 231 0 6234 0 vsize: 25860 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6195 0 0 0 64910 103 0 0 25 0 1 0 541530047 26480640 5467 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6465 5467 231 231 0 6234 0 vsize: 25860 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6205 0 0 0 65909 103 0 0 25 0 1 0 541530047 26480640 5477 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6465 5477 231 231 0 6234 0 vsize: 25860 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6221 0 0 0 66908 104 0 0 25 0 1 0 541530047 26480640 5493 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6465 5493 231 231 0 6234 0 vsize: 25860 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6234 0 0 0 67907 105 0 0 25 0 1 0 541530047 26480640 5506 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6465 5506 231 231 0 6234 0 vsize: 25860 [startup+690.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6244 0 0 0 68907 106 0 0 25 0 1 0 541530047 26480640 5516 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6465 5516 231 231 0 6234 0 vsize: 25860 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6264 0 0 0 69905 108 0 0 25 0 1 0 541530047 26480640 5536 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6465 5536 231 231 0 6234 0 vsize: 25860 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6285 0 0 0 70905 109 0 0 25 0 1 0 541530047 26652672 5557 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6507 5557 231 231 0 6276 0 vsize: 26028 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6295 0 0 0 71904 109 0 0 25 0 1 0 541530047 26652672 5567 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6507 5567 231 231 0 6276 0 vsize: 26028 [startup+730.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6308 0 0 0 72904 110 0 0 25 0 1 0 541530047 26652672 5580 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6507 5580 231 231 0 6276 0 vsize: 26028 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6316 0 0 0 73904 110 0 0 25 0 1 0 541530047 26652672 5588 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6507 5588 231 231 0 6276 0 vsize: 26028 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 6347 0 0 0 74903 111 0 0 25 0 1 0 541530047 26800128 5619 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6543 5619 231 231 0 6312 0 vsize: 26172 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7144 0 0 0 75900 114 0 0 25 0 1 0 541530047 30130176 5647 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5647 231 231 0 7125 0 vsize: 29424 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7155 0 0 0 76900 115 0 0 25 0 1 0 541530047 30130176 5658 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5658 231 231 0 7125 0 vsize: 29424 [startup+780.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7170 0 0 0 77900 115 0 0 25 0 1 0 541530047 30130176 5673 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5673 231 231 0 7125 0 vsize: 29424 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7189 0 0 0 78898 117 0 0 25 0 1 0 541530047 30130176 5692 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5692 231 231 0 7125 0 vsize: 29424 [startup+800.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7197 0 0 0 79898 117 0 0 25 0 1 0 541530047 30130176 5700 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5700 231 231 0 7125 0 vsize: 29424 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7207 0 0 0 80898 118 0 0 25 0 1 0 541530047 30130176 5710 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5710 231 231 0 7125 0 vsize: 29424 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7220 0 0 0 81898 118 0 0 25 0 1 0 541530047 30130176 5723 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5723 231 231 0 7125 0 vsize: 29424 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7231 0 0 0 82898 118 0 0 25 0 1 0 541530047 30130176 5734 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7356 5734 231 231 0 7125 0 vsize: 29424 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7278 0 0 0 83896 120 0 0 25 0 1 0 541530047 30322688 5781 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 5781 231 231 0 7172 0 vsize: 29612 [startup+850.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7285 0 0 0 84896 120 0 0 25 0 1 0 541530047 30322688 5788 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 5788 231 231 0 7172 0 vsize: 29612 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7296 0 0 0 85896 121 0 0 25 0 1 0 541530047 30322688 5799 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 5799 231 231 0 7172 0 vsize: 29612 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7307 0 0 0 86895 121 0 0 25 0 1 0 541530047 30322688 5810 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 5810 231 231 0 7172 0 vsize: 29612 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7320 0 0 0 87895 122 0 0 25 0 1 0 541530047 30322688 5823 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 5823 231 231 0 7172 0 vsize: 29612 [startup+890.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7330 0 0 0 88895 122 0 0 25 0 1 0 541530047 30322688 5833 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7403 5833 231 231 0 7172 0 vsize: 29612 [startup+900.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7350 0 0 0 89895 123 0 0 25 0 1 0 541530047 30527488 5853 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5853 231 231 0 7222 0 vsize: 29812 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7357 0 0 0 90894 124 0 0 25 0 1 0 541530047 30527488 5860 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5860 231 231 0 7222 0 vsize: 29812 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7369 0 0 0 91894 124 0 0 25 0 1 0 541530047 30527488 5872 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5872 231 231 0 7222 0 vsize: 29812 [startup+930.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7385 0 0 0 92893 125 0 0 25 0 1 0 541530047 30527488 5888 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5888 231 231 0 7222 0 vsize: 29812 [startup+940.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7392 0 0 0 93892 126 0 0 25 0 1 0 541530047 30527488 5895 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5895 231 231 0 7222 0 vsize: 29812 [startup+950.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7409 0 0 0 94891 128 0 0 25 0 1 0 541530047 30527488 5912 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5912 231 231 0 7222 0 vsize: 29812 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7424 0 0 0 95890 129 0 0 25 0 1 0 541530047 30527488 5927 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5927 231 231 0 7222 0 vsize: 29812 [startup+970.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7446 0 0 0 96889 130 0 0 25 0 1 0 541530047 30527488 5949 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7453 5949 231 231 0 7222 0 vsize: 29812 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7464 0 0 0 97887 132 0 0 25 0 1 0 541530047 30744576 5967 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 5967 231 231 0 7275 0 vsize: 30024 [startup+990.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7473 0 0 0 98887 133 0 0 25 0 1 0 541530047 30744576 5976 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 5976 231 231 0 7275 0 vsize: 30024 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7485 0 0 0 99886 134 0 0 25 0 1 0 541530047 30744576 5988 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 5988 231 231 0 7275 0 vsize: 30024 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7495 0 0 0 100886 134 0 0 25 0 1 0 541530047 30744576 5998 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 5998 231 231 0 7275 0 vsize: 30024 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7527 0 0 0 101884 136 0 0 25 0 1 0 541530047 30744576 6030 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 6030 231 231 0 7275 0 vsize: 30024 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7537 0 0 0 102883 137 0 0 25 0 1 0 541530047 30744576 6040 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 6040 231 231 0 7275 0 vsize: 30024 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7545 0 0 0 103883 137 0 0 25 0 1 0 541530047 30744576 6048 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 6048 231 231 0 7275 0 vsize: 30024 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7639 0 0 0 104881 139 0 0 25 0 1 0 541530047 30744576 6142 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 6142 231 231 0 7275 0 vsize: 30024 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7706 0 0 0 105881 140 0 0 25 0 1 0 541530047 30744576 6209 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 6209 231 231 0 7275 0 vsize: 30024 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7712 0 0 0 106880 141 0 0 25 0 1 0 541530047 30744576 6215 4294967295 134512640 135450300 3221224640 3221223360 134535815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7506 6215 231 231 0 7275 0 vsize: 30024 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7729 0 0 0 107880 141 0 0 25 0 1 0 541530047 31125504 6232 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6232 231 231 0 7368 0 vsize: 30396 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7738 0 0 0 108879 142 0 0 25 0 1 0 541530047 31125504 6241 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6241 231 231 0 7368 0 vsize: 30396 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7760 0 0 0 109878 143 0 0 25 0 1 0 541530047 31125504 6263 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6263 231 231 0 7368 0 vsize: 30396 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7768 0 0 0 110878 143 0 0 25 0 1 0 541530047 31125504 6271 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6271 231 231 0 7368 0 vsize: 30396 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7789 0 0 0 111877 144 0 0 25 0 1 0 541530047 31125504 6292 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6292 231 231 0 7368 0 vsize: 30396 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7806 0 0 0 112877 145 0 0 25 0 1 0 541530047 31125504 6309 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6309 231 231 0 7368 0 vsize: 30396 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7813 0 0 0 113876 146 0 0 25 0 1 0 541530047 31125504 6316 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6316 231 231 0 7368 0 vsize: 30396 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7839 0 0 0 114876 146 0 0 25 0 1 0 541530047 31125504 6342 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7599 6342 231 231 0 7368 0 vsize: 30396 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7865 0 0 0 115875 147 0 0 25 0 1 0 541530047 31371264 6368 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7659 6368 231 231 0 7428 0 vsize: 30636 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7876 0 0 0 116874 149 0 0 25 0 1 0 541530047 31371264 6379 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7659 6379 231 231 0 7428 0 vsize: 30636 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7941 0 0 0 117874 149 0 0 25 0 1 0 541530047 31371264 6444 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7659 6444 231 231 0 7428 0 vsize: 30636 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 7998 0 0 0 118873 150 0 0 25 0 1 0 541530047 31518720 6501 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7695 6501 231 231 0 7464 0 vsize: 30780 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 21817 Raw data (stat): 21817 (PBS4) R 21816 22612 22611 0 -1 0 8012 0 0 0 119873 150 0 0 25 0 1 0 541530047 31518720 6515 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7695 6515 231 231 0 7464 0 vsize: 30780 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 21817 Raw data (stat): 21817 (PBS4) Z 21816 22612 22611 0 -1 1036 8012 0 0 0 119873 151 0 0 25 0 1 0 541530047 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.25 CPU user time (s): 1198.74 CPU system time (s): 1.51677 CPU usage (%): 100.017 Max. virtual memory (Kb): 30780 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####