Name | normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-5pb.opb |
MD5SUM | 4ca29b1bc7e76812f7871e2b937d8a23 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 720 |
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 | 720 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 720 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04084 |
Number of variables | 720 |
Total number of constraints | 2168 |
Number of constraints which are clauses | 2144 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 30 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-17 16:38:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2166 boxname=wulflinc23 idbench=241 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 4ca29b1bc7e76812f7871e2b937d8a23 /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-5pb.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-5pb.opb IDLAUNCH: 2166 /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: 825364 kB Buffers: 36048 kB Cached: 129952 kB SwapCached: 192 kB Active: 67848 kB Inactive: 101164 kB HighTotal: 131008 kB HighFree: 2576 kB LowTotal: 903652 kB LowFree: 822788 kB SwapTotal: 2097136 kB SwapFree: 2096944 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6916 kB Slab: 34776 kB Committed_AS: 63472 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:58:37 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 2166 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-s4-4-3-5pb.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.91 0.97 0.90 2/54 25663 Raw data (stat): 25663 (runsolver) R 25662 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512016599 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99959 s] Raw data (loadavg): 0.93 0.97 0.90 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 1138 0 0 0 990 8 0 0 25 0 1 0 512016599 5160960 988 4294967295 134512640 135450300 3221224640 3221223360 134535988 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1260 988 231 231 0 1029 0 vsize: 5040 [startup+20.0002 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 1533 0 0 0 1986 13 0 0 25 0 1 0 512016599 7806976 1383 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1906 1383 231 231 0 1675 0 vsize: 7624 [startup+30.0001 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2045 0 0 0 2982 17 0 0 25 0 1 0 512016599 9289728 1702 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2268 1702 231 231 0 2037 0 vsize: 9072 [startup+39.9995 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2291 0 0 0 3979 20 0 0 25 0 1 0 512016599 9588736 1948 4294967295 134512640 135450300 3221224640 3221223376 134538002 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2341 1948 231 231 0 2110 0 vsize: 9364 [startup+50.0002 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2509 0 0 0 4976 23 0 0 25 0 1 0 512016599 13955072 2166 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3407 2166 231 231 0 3176 0 vsize: 13628 [startup+60.0001 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2705 0 0 0 5974 25 0 0 25 0 1 0 512016599 14438400 2362 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3525 2362 231 231 0 3294 0 vsize: 14100 [startup+70.0004 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 2916 0 0 0 6972 28 0 0 25 0 1 0 512016599 14577664 2573 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3559 2573 231 231 0 3328 0 vsize: 14236 [startup+80.001 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 3513 0 0 0 7968 32 0 0 25 0 1 0 512016599 16482304 2785 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4024 2785 231 231 0 3793 0 vsize: 16096 [startup+90.001 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 3783 0 0 0 8966 34 0 0 25 0 1 0 512016599 16773120 3055 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4095 3055 231 231 0 3864 0 vsize: 16380 [startup+100.001 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4027 0 0 0 9964 37 0 0 25 0 1 0 512016599 16936960 3299 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4135 3299 231 231 0 3904 0 vsize: 16540 [startup+110.001 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4264 0 0 0 10962 38 0 0 25 0 1 0 512016599 17256448 3536 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4213 3536 231 231 0 3982 0 vsize: 16852 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4454 0 0 0 11960 41 0 0 25 0 1 0 512016599 17637376 3726 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4306 3726 231 231 0 4075 0 vsize: 17224 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4518 0 0 0 12958 43 0 0 25 0 1 0 512016599 17772544 3790 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4339 3790 231 231 0 4108 0 vsize: 17356 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4662 0 0 0 13957 44 0 0 25 0 1 0 512016599 26349568 3934 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6433 3934 231 231 0 6202 0 vsize: 25732 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4806 0 0 0 14956 46 0 0 25 0 1 0 512016599 26484736 4078 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6466 4078 231 231 0 6235 0 vsize: 25864 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 4922 0 0 0 15954 47 0 0 25 0 1 0 512016599 26677248 4194 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6513 4194 231 231 0 6282 0 vsize: 26052 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5067 0 0 0 16953 49 0 0 25 0 1 0 512016599 27111424 4339 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6619 4339 231 231 0 6388 0 vsize: 26476 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5125 0 0 0 17953 49 0 0 25 0 1 0 512016599 27250688 4397 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6653 4397 231 231 0 6422 0 vsize: 26612 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5157 0 0 0 18951 51 0 0 25 0 1 0 512016599 27250688 4429 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6653 4429 231 231 0 6422 0 vsize: 26612 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5252 0 0 0 19949 53 0 0 25 0 1 0 512016599 27598848 4524 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6738 4524 231 231 0 6507 0 vsize: 26952 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5379 0 0 0 20948 54 0 0 25 0 1 0 512016599 27598848 4651 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6738 4651 231 231 0 6507 0 vsize: 26952 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5566 0 0 0 21947 55 0 0 25 0 1 0 512016599 27795456 4838 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6786 4838 231 231 0 6555 0 vsize: 27144 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5614 0 0 0 22947 56 0 0 25 0 1 0 512016599 27947008 4886 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6823 4886 231 231 0 6592 0 vsize: 27292 [startup+240.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5703 0 0 0 23946 57 0 0 25 0 1 0 512016599 27947008 4975 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6823 4975 231 231 0 6592 0 vsize: 27292 [startup+250.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 5866 0 0 0 24945 59 0 0 25 0 1 0 512016599 28237824 5138 4294967295 134512640 135450300 3221224640 3221223456 134536541 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6894 5138 231 231 0 6663 0 vsize: 27576 [startup+260.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6014 0 0 0 25944 60 0 0 25 0 1 0 512016599 28401664 5286 4294967295 134512640 135450300 3221224640 3221223376 134538727 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6934 5286 231 231 0 6703 0 vsize: 27736 [startup+270.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6853 0 0 0 26941 62 0 0 25 0 1 0 512016599 31907840 5356 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7790 5356 231 231 0 7559 0 vsize: 31160 [startup+280.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6930 0 0 0 27940 63 0 0 25 0 1 0 512016599 32276480 5433 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7880 5433 231 231 0 7649 0 vsize: 31520 [startup+290.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6964 0 0 0 28940 64 0 0 25 0 1 0 512016599 32276480 5467 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7880 5467 231 231 0 7649 0 vsize: 31520 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 6996 0 0 0 29939 65 0 0 25 0 1 0 512016599 32276480 5499 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7880 5499 231 231 0 7649 0 vsize: 31520 [startup+310.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7035 0 0 0 30939 65 0 0 25 0 1 0 512016599 32411648 5538 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7913 5538 231 231 0 7682 0 vsize: 31652 [startup+320.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7051 0 0 0 31939 66 0 0 25 0 1 0 512016599 32411648 5554 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7913 5554 231 231 0 7682 0 vsize: 31652 [startup+330.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7100 0 0 0 32938 67 0 0 25 0 1 0 512016599 32636928 5603 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7968 5604 231 231 0 7737 0 vsize: 31872 [startup+340.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7120 0 0 0 33938 67 0 0 25 0 1 0 512016599 32636928 5623 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7968 5623 231 231 0 7737 0 vsize: 31872 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7190 0 0 0 34937 68 0 0 25 0 1 0 512016599 32636928 5693 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7968 5693 231 231 0 7737 0 vsize: 31872 [startup+360.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7215 0 0 0 35937 68 0 0 25 0 1 0 512016599 32636928 5718 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7968 5718 231 231 0 7737 0 vsize: 31872 [startup+370.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7324 0 0 0 36936 69 0 0 25 0 1 0 512016599 32792576 5827 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8006 5827 231 231 0 7775 0 vsize: 32024 [startup+380.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7346 0 0 0 37936 69 0 0 25 0 1 0 512016599 32792576 5849 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8006 5849 231 231 0 7775 0 vsize: 32024 [startup+390.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7405 0 0 0 38935 71 0 0 25 0 1 0 512016599 32989184 5908 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8054 5908 231 231 0 7823 0 vsize: 32216 [startup+400.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7435 0 0 0 39934 72 0 0 25 0 1 0 512016599 32989184 5938 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8054 5938 231 231 0 7823 0 vsize: 32216 [startup+410.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7472 0 0 0 40933 73 0 0 25 0 1 0 512016599 32989184 5975 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8054 5975 231 231 0 7823 0 vsize: 32216 [startup+420.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7504 0 0 0 41933 73 0 0 25 0 1 0 512016599 32989184 6007 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8054 6007 231 231 0 7823 0 vsize: 32216 [startup+430.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7569 0 0 0 42933 74 0 0 25 0 1 0 512016599 33128448 6072 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8088 6072 231 231 0 7857 0 vsize: 32352 [startup+440.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7705 0 0 0 43932 74 0 0 25 0 1 0 512016599 33263616 6208 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8121 6208 231 231 0 7890 0 vsize: 32484 [startup+450.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7734 0 0 0 44931 76 0 0 25 0 1 0 512016599 33263616 6237 4294967295 134512640 135450300 3221224640 3221223456 134546404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8121 6237 231 231 0 7890 0 vsize: 32484 [startup+460.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7751 0 0 0 45930 77 0 0 25 0 1 0 512016599 33263616 6254 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8121 6254 231 231 0 7890 0 vsize: 32484 [startup+470 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7777 0 0 0 46929 78 0 0 25 0 1 0 512016599 33263616 6280 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8121 6280 231 231 0 7890 0 vsize: 32484 [startup+480 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 7912 0 0 0 47928 79 0 0 25 0 1 0 512016599 33415168 6415 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8158 6415 231 231 0 7927 0 vsize: 32632 [startup+490 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8090 0 0 0 48927 81 0 0 25 0 1 0 512016599 33685504 6593 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8224 6593 231 231 0 7993 0 vsize: 32896 [startup+500 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8133 0 0 0 49926 81 0 0 25 0 1 0 512016599 33820672 6636 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8257 6636 231 231 0 8026 0 vsize: 33028 [startup+510 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8146 0 0 0 50926 82 0 0 25 0 1 0 512016599 33820672 6649 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8257 6649 231 231 0 8026 0 vsize: 33028 [startup+520 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8155 0 0 0 51926 82 0 0 25 0 1 0 512016599 33820672 6658 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8257 6658 231 231 0 8026 0 vsize: 33028 [startup+530.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8243 0 0 0 52926 83 0 0 25 0 1 0 512016599 33980416 6746 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8296 6746 231 231 0 8065 0 vsize: 33184 [startup+540 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8267 0 0 0 53925 84 0 0 25 0 1 0 512016599 33980416 6770 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8296 6770 231 231 0 8065 0 vsize: 33184 [startup+550 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8349 0 0 0 54924 84 0 0 25 0 1 0 512016599 33980416 6852 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8296 6852 231 231 0 8065 0 vsize: 33184 [startup+559.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8371 0 0 0 55924 84 0 0 25 0 1 0 512016599 34148352 6874 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8337 6874 231 231 0 8106 0 vsize: 33348 [startup+569.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8377 0 0 0 56924 85 0 0 25 0 1 0 512016599 34148352 6880 4294967295 134512640 135450300 3221224640 3221223472 134549371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8337 6880 231 231 0 8106 0 vsize: 33348 [startup+579.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8422 0 0 0 57922 86 0 0 25 0 1 0 512016599 34148352 6925 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8337 6925 231 231 0 8106 0 vsize: 33348 [startup+589.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8449 0 0 0 58922 87 0 0 25 0 1 0 512016599 34148352 6952 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8337 6952 231 231 0 8106 0 vsize: 33348 [startup+599.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8473 0 0 0 59922 87 0 0 25 0 1 0 512016599 34492416 6976 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8421 6976 231 231 0 8190 0 vsize: 33684 [startup+609.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8494 0 0 0 60921 88 0 0 25 0 1 0 512016599 34492416 6997 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8421 6997 231 231 0 8190 0 vsize: 33684 [startup+619.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8497 0 0 0 61921 89 0 0 25 0 1 0 512016599 34492416 7000 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8421 7000 231 231 0 8190 0 vsize: 33684 [startup+629.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8572 0 0 0 62920 90 0 0 25 0 1 0 512016599 34762752 7075 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8487 7075 231 231 0 8256 0 vsize: 33948 [startup+639.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8589 0 0 0 63919 90 0 0 25 0 1 0 512016599 34762752 7092 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8487 7092 231 231 0 8256 0 vsize: 33948 [startup+649.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8634 0 0 0 64919 91 0 0 25 0 1 0 512016599 35086336 7137 4294967295 134512640 135450300 3221224640 3221223568 134539676 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8566 7137 231 231 0 8335 0 vsize: 34264 [startup+659.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8653 0 0 0 65919 91 0 0 25 0 1 0 512016599 35086336 7156 4294967295 134512640 135450300 3221224640 3221223456 134536422 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8566 7156 231 231 0 8335 0 vsize: 34264 [startup+669.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8686 0 0 0 66918 92 0 0 25 0 1 0 512016599 35086336 7189 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8566 7189 231 231 0 8335 0 vsize: 34264 [startup+679.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8712 0 0 0 67918 93 0 0 25 0 1 0 512016599 35086336 7215 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8566 7215 231 231 0 8335 0 vsize: 34264 [startup+689.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8792 0 0 0 68916 94 0 0 25 0 1 0 512016599 35086336 7295 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8566 7295 231 231 0 8335 0 vsize: 34264 [startup+699.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8815 0 0 0 69916 95 0 0 25 0 1 0 512016599 35086336 7318 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8566 7318 231 231 0 8335 0 vsize: 34264 [startup+709.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8945 0 0 0 70915 96 0 0 25 0 1 0 512016599 35287040 7448 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8615 7448 231 231 0 8384 0 vsize: 34460 [startup+719.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8964 0 0 0 71914 97 0 0 25 0 1 0 512016599 35287040 7467 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8615 7467 231 231 0 8384 0 vsize: 34460 [startup+729.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 8995 0 0 0 72914 98 0 0 25 0 1 0 512016599 35287040 7498 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8615 7498 231 231 0 8384 0 vsize: 34460 [startup+739.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9006 0 0 0 73914 98 0 0 25 0 1 0 512016599 35287040 7509 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8615 7509 231 231 0 8384 0 vsize: 34460 [startup+749.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9018 0 0 0 74913 99 0 0 25 0 1 0 512016599 35287040 7521 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8615 7521 231 231 0 8384 0 vsize: 34460 [startup+759.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9089 0 0 0 75912 100 0 0 25 0 1 0 512016599 35434496 7592 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8651 7592 231 231 0 8420 0 vsize: 34604 [startup+769.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9109 0 0 0 76912 100 0 0 25 0 1 0 512016599 35434496 7612 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8651 7612 231 231 0 8420 0 vsize: 34604 [startup+779.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9166 0 0 0 77912 100 0 0 25 0 1 0 512016599 35434496 7669 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8651 7669 231 231 0 8420 0 vsize: 34604 [startup+789.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9250 0 0 0 78911 101 0 0 25 0 1 0 512016599 35434496 7753 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8651 7753 231 231 0 8420 0 vsize: 34604 [startup+799.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9301 0 0 0 79910 102 0 0 25 0 1 0 512016599 35569664 7804 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8684 7804 231 231 0 8453 0 vsize: 34736 [startup+809.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9320 0 0 0 80910 103 0 0 25 0 1 0 512016599 35782656 7823 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8736 7823 231 231 0 8505 0 vsize: 34944 [startup+819.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9343 0 0 0 81910 103 0 0 25 0 1 0 512016599 35782656 7846 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8736 7846 231 231 0 8505 0 vsize: 34944 [startup+829.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9395 0 0 0 82909 104 0 0 25 0 1 0 512016599 35917824 7898 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8769 7898 231 231 0 8538 0 vsize: 35076 [startup+839.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9407 0 0 0 83909 105 0 0 25 0 1 0 512016599 35917824 7910 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8769 7910 231 231 0 8538 0 vsize: 35076 [startup+849.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9429 0 0 0 84908 106 0 0 25 0 1 0 512016599 35917824 7932 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8769 7932 231 231 0 8538 0 vsize: 35076 [startup+859.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9485 0 0 0 85907 106 0 0 25 0 1 0 512016599 36184064 7988 4294967295 134512640 135450300 3221224640 3221223472 134549295 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8834 7988 231 231 0 8603 0 vsize: 35336 [startup+869.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9568 0 0 0 86907 107 0 0 25 0 1 0 512016599 36184064 8071 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8834 8071 231 231 0 8603 0 vsize: 35336 [startup+879.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9585 0 0 0 87906 108 0 0 25 0 1 0 512016599 36184064 8088 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8834 8088 231 231 0 8603 0 vsize: 35336 [startup+889.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9636 0 0 0 88906 108 0 0 25 0 1 0 512016599 36184064 8139 4294967295 134512640 135450300 3221224640 3221223376 134538693 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8834 8139 231 231 0 8603 0 vsize: 35336 [startup+899.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9764 0 0 0 89906 109 0 0 25 0 1 0 512016599 36184064 8267 4294967295 134512640 135450300 3221224640 3221223456 134546505 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8834 8267 231 231 0 8603 0 vsize: 35336 [startup+909.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9792 0 0 0 90905 110 0 0 25 0 1 0 512016599 36184064 8295 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8834 8295 231 231 0 8603 0 vsize: 35336 [startup+919.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9914 0 0 0 91904 111 0 0 25 0 1 0 512016599 53190656 8417 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12986 8417 231 231 0 12755 0 vsize: 51944 [startup+929.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9946 0 0 0 92903 112 0 0 25 0 1 0 512016599 53387264 8449 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13034 8449 231 231 0 12803 0 vsize: 52136 [startup+939.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9954 0 0 0 93903 112 0 0 25 0 1 0 512016599 53387264 8457 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13034 8457 231 231 0 12803 0 vsize: 52136 [startup+949.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 9967 0 0 0 94903 112 0 0 25 0 1 0 512016599 53387264 8470 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13034 8470 231 231 0 12803 0 vsize: 52136 [startup+959.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10003 0 0 0 95903 113 0 0 25 0 1 0 512016599 53628928 8506 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13093 8506 231 231 0 12862 0 vsize: 52372 [startup+969.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10056 0 0 0 96903 113 0 0 25 0 1 0 512016599 53895168 8559 4294967295 134512640 135450300 3221224640 3221223468 134538630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13158 8559 231 231 0 12927 0 vsize: 52632 [startup+979.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10066 0 0 0 97903 113 0 0 25 0 1 0 512016599 53895168 8569 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13158 8569 231 231 0 12927 0 vsize: 52632 [startup+989.995 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10088 0 0 0 98902 114 0 0 25 0 1 0 512016599 53895168 8591 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13158 8591 231 231 0 12927 0 vsize: 52632 [startup+999.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10141 0 0 0 99902 115 0 0 25 0 1 0 512016599 54026240 8611 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13190 8611 231 231 0 12959 0 vsize: 52760 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10148 0 0 0 100902 115 0 0 25 0 1 0 512016599 54026240 8618 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13190 8618 231 231 0 12959 0 vsize: 52760 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10170 0 0 0 101902 115 0 0 25 0 1 0 512016599 54026240 8640 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13190 8640 231 231 0 12959 0 vsize: 52760 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10181 0 0 0 102902 115 0 0 25 0 1 0 512016599 54026240 8651 4294967295 134512640 135450300 3221224640 3221223376 134538721 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13190 8651 231 231 0 12959 0 vsize: 52760 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 10194 0 0 0 103902 116 0 0 25 0 1 0 512016599 54284288 8664 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13253 8664 231 231 0 13022 0 vsize: 53012 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11741 0 0 0 104899 118 0 0 25 0 1 0 512016599 60575744 8674 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14789 8674 231 231 0 14558 0 vsize: 59156 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11760 0 0 0 105899 119 0 0 25 0 1 0 512016599 60575744 8693 4294967295 134512640 135450300 3221224640 3221223456 134546477 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14789 8693 231 231 0 14558 0 vsize: 59156 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11813 0 0 0 106898 119 0 0 25 0 1 0 512016599 60841984 8746 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14854 8746 231 231 0 14623 0 vsize: 59416 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11832 0 0 0 107898 120 0 0 25 0 1 0 512016599 60841984 8765 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14854 8765 231 231 0 14623 0 vsize: 59416 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11844 0 0 0 108898 120 0 0 25 0 1 0 512016599 60841984 8777 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14854 8777 231 231 0 14623 0 vsize: 59416 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11849 0 0 0 109898 120 0 0 25 0 1 0 512016599 60841984 8782 4294967295 134512640 135450300 3221224640 3221223376 134538688 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14854 8782 231 231 0 14623 0 vsize: 59416 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11896 0 0 0 110898 121 0 0 25 0 1 0 512016599 60973056 8796 4294967295 134512640 135450300 3221224640 3221223376 134538788 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14886 8796 231 231 0 14655 0 vsize: 59544 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11915 0 0 0 111896 122 0 0 25 0 1 0 512016599 60973056 8815 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14886 8815 231 231 0 14655 0 vsize: 59544 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 11918 0 0 0 112896 123 0 0 25 0 1 0 512016599 60973056 8818 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14886 8818 231 231 0 14655 0 vsize: 59544 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12018 0 0 0 113896 123 0 0 25 0 1 0 512016599 61104128 8885 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14918 8885 231 231 0 14687 0 vsize: 59672 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12085 0 0 0 114895 124 0 0 25 0 1 0 512016599 61104128 8952 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14918 8952 231 231 0 14687 0 vsize: 59672 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12148 0 0 0 115894 125 0 0 25 0 1 0 512016599 61644800 9015 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15050 9015 231 231 0 14819 0 vsize: 60200 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12243 0 0 0 116894 125 0 0 25 0 1 0 512016599 62042112 9077 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15147 9077 231 231 0 14916 0 vsize: 60588 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12267 0 0 0 117893 127 0 0 25 0 1 0 512016599 62042112 9101 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15147 9101 231 231 0 14916 0 vsize: 60588 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12281 0 0 0 118892 128 0 0 25 0 1 0 512016599 62042112 9115 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15147 9115 231 231 0 14916 0 vsize: 60588 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25663 Raw data (stat): 25663 (PBS4) R 25662 3260 3259 0 -1 0 12298 0 0 0 119892 128 0 0 25 0 1 0 512016599 62042112 9132 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15147 9132 231 231 0 14916 0 vsize: 60588 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 25663 Raw data (stat): 25663 (PBS4) Z 25662 3260 3259 0 -1 1036 12298 0 0 0 119892 130 0 0 25 0 1 0 512016599 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.02 CPU time (s): 1200.23 CPU user time (s): 1198.92 CPU system time (s): 1.3068 CPU usage (%): 100.018 Max. virtual memory (Kb): 60588 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####