Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb |
MD5SUM | 511f20f1868f397c99d8a26ca62146c0 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 31 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04984 |
Number of variables | 1350 |
Total number of constraints | 990 |
Number of constraints which are clauses | 930 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 30 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-04-17 15:38:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=429 boxname=wulflinc29 idbench=48 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 511f20f1868f397c99d8a26ca62146c0 /oldhome/oroussel/tmp/wulflinc29/normalized-fpga30_30_sat_pb.cnf.cr.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc29/normalized-fpga30_30_sat_pb.cnf.cr.opb IDLAUNCH: 429 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 779504 kB Buffers: 37900 kB Cached: 178804 kB SwapCached: 12 kB Active: 71256 kB Inactive: 148328 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 779252 kB SwapTotal: 2097892 kB SwapFree: 2097880 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6936 kB Slab: 29960 kB Committed_AS: 63492 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 15:58:24 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 429 7 1200.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc29/normalized-fpga30_30_sat_pb.cnf.cr.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.00 0.00 0.00 2/54 18572 Raw data (stat): 18572 (runsolver) R 18571 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511653186 1052672 99 4294967295 134512640 135381576 3221224512 3221219760 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.0009 s] Raw data (loadavg): 0.15 0.03 0.01 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 1833 0 0 0 990 8 0 0 25 0 1 0 511653186 10752000 1829 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1829 231 231 0 2394 0 vsize: 10500 [startup+20.0014 s] Raw data (loadavg): 0.28 0.06 0.02 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 3240 0 0 0 1984 14 0 0 25 0 1 0 511653186 20160512 3236 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4922 3236 231 231 0 4691 0 vsize: 19688 [startup+30.0019 s] Raw data (loadavg): 0.39 0.09 0.03 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 4399 0 0 0 2980 18 0 0 25 0 1 0 511653186 20295680 4395 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4955 4395 231 231 0 4724 0 vsize: 19820 [startup+40.0019 s] Raw data (loadavg): 0.49 0.12 0.04 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 5294 0 0 0 3978 21 0 0 25 0 1 0 511653186 37208064 5290 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9084 5290 231 231 0 8853 0 vsize: 36336 [startup+50.0027 s] Raw data (loadavg): 0.56 0.15 0.05 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 6025 0 0 0 4976 23 0 0 25 0 1 0 511653186 37208064 6021 4294967295 134512640 135450300 3221224624 3221223360 134538451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9084 6021 231 231 0 8853 0 vsize: 36336 [startup+60.0024 s] Raw data (loadavg): 0.63 0.18 0.06 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 6682 0 0 0 5973 26 0 0 25 0 1 0 511653186 37343232 6678 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9117 6678 231 231 0 8886 0 vsize: 36468 [startup+70.0022 s] Raw data (loadavg): 0.69 0.21 0.07 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 7091 0 0 0 6972 27 0 0 25 0 1 0 511653186 37539840 7038 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9165 7038 231 231 0 8934 0 vsize: 36660 [startup+80.0029 s] Raw data (loadavg): 0.73 0.23 0.08 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 8285 0 0 0 7968 31 0 0 25 0 1 0 511653186 38244352 8232 4294967295 134512640 135450300 3221224624 3221223440 134547845 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9337 8232 231 231 0 9106 0 vsize: 37348 [startup+90.0024 s] Raw data (loadavg): 0.77 0.26 0.09 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9194 0 0 0 8967 33 0 0 25 0 1 0 511653186 38244352 9141 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9337 9141 231 231 0 9106 0 vsize: 37348 [startup+100.002 s] Raw data (loadavg): 0.81 0.28 0.10 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9211 0 0 0 9966 33 0 0 25 0 1 0 511653186 38379520 9158 4294967295 134512640 135450300 3221224624 3221223344 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9370 9158 231 231 0 9139 0 vsize: 37480 [startup+110.003 s] Raw data (loadavg): 0.84 0.30 0.11 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9256 0 0 0 10966 34 0 0 25 0 1 0 511653186 38514688 9203 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9403 9203 231 231 0 9172 0 vsize: 37612 [startup+120.003 s] Raw data (loadavg): 0.86 0.33 0.12 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9337 0 0 0 11966 34 0 0 25 0 1 0 511653186 38785024 9284 4294967295 134512640 135450300 3221224624 3221223344 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9469 9284 231 231 0 9238 0 vsize: 37876 [startup+130.004 s] Raw data (loadavg): 0.88 0.35 0.12 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9408 0 0 0 12966 35 0 0 25 0 1 0 511653186 39055360 9355 4294967295 134512640 135450300 3221224624 3221223440 134536474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9535 9355 231 231 0 9304 0 vsize: 38140 [startup+140.003 s] Raw data (loadavg): 0.90 0.37 0.13 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9666 0 0 0 13964 36 0 0 25 0 1 0 511653186 40153088 9516 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9803 9516 231 231 0 9572 0 vsize: 39212 [startup+150.004 s] Raw data (loadavg): 0.92 0.39 0.14 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 9758 0 0 0 14964 36 0 0 25 0 1 0 511653186 40431616 9608 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9871 9608 231 231 0 9640 0 vsize: 39484 [startup+160.004 s] Raw data (loadavg): 0.93 0.41 0.15 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10037 0 0 0 15963 38 0 0 25 0 1 0 511653186 41590784 9887 4294967295 134512640 135450300 3221224624 3221223440 134547168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10154 9887 231 231 0 9923 0 vsize: 40616 [startup+170.003 s] Raw data (loadavg): 0.94 0.43 0.16 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10076 0 0 0 16963 38 0 0 25 0 1 0 511653186 41590784 9926 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10154 9926 231 231 0 9923 0 vsize: 40616 [startup+180.005 s] Raw data (loadavg): 0.95 0.45 0.17 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10081 0 0 0 17963 38 0 0 25 0 1 0 511653186 41590784 9931 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10154 9931 231 231 0 9923 0 vsize: 40616 [startup+190.004 s] Raw data (loadavg): 0.95 0.46 0.18 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10085 0 0 0 18963 39 0 0 25 0 1 0 511653186 41590784 9935 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10154 9935 231 231 0 9923 0 vsize: 40616 [startup+200.005 s] Raw data (loadavg): 0.96 0.48 0.19 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10090 0 0 0 19963 39 0 0 25 0 1 0 511653186 41590784 9940 4294967295 134512640 135450300 3221224624 3221223440 134536480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10154 9940 231 231 0 9923 0 vsize: 40616 [startup+210.005 s] Raw data (loadavg): 0.97 0.50 0.19 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10097 0 0 0 20963 39 0 0 25 0 1 0 511653186 41590784 9947 4294967295 134512640 135450300 3221224624 3221223440 134547902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10154 9947 231 231 0 9923 0 vsize: 40616 [startup+220.004 s] Raw data (loadavg): 0.97 0.51 0.20 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10141 0 0 0 21962 40 0 0 25 0 1 0 511653186 41725952 9991 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10187 9991 231 231 0 9956 0 vsize: 40748 [startup+230.005 s] Raw data (loadavg): 0.98 0.53 0.21 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10169 0 0 0 22962 40 0 0 25 0 1 0 511653186 41865216 10019 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10221 10019 231 231 0 9990 0 vsize: 40884 [startup+240.005 s] Raw data (loadavg): 0.98 0.54 0.22 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10219 0 0 0 23962 41 0 0 25 0 1 0 511653186 42004480 10069 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10255 10069 231 231 0 10024 0 vsize: 41020 [startup+250.006 s] Raw data (loadavg): 0.98 0.56 0.22 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10280 0 0 0 24962 41 0 0 25 0 1 0 511653186 42283008 10130 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10323 10130 231 231 0 10092 0 vsize: 41292 [startup+260.005 s] Raw data (loadavg): 0.98 0.57 0.23 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10386 0 0 0 25961 41 0 0 25 0 1 0 511653186 42700800 10236 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10425 10236 231 231 0 10194 0 vsize: 41700 [startup+270.005 s] Raw data (loadavg): 0.99 0.59 0.24 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 10856 0 0 0 26959 44 0 0 25 0 1 0 511653186 76541952 10706 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18687 10706 231 231 0 18456 0 vsize: 74748 [startup+280.006 s] Raw data (loadavg): 0.99 0.60 0.25 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 11677 0 0 0 27957 46 0 0 25 0 1 0 511653186 76541952 11527 4294967295 134512640 135450300 3221224624 3221223344 134535516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18687 11527 231 231 0 18456 0 vsize: 74748 [startup+290.005 s] Raw data (loadavg): 0.99 0.61 0.26 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 12478 0 0 0 28955 48 0 0 25 0 1 0 511653186 76976128 12328 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18793 12328 231 231 0 18562 0 vsize: 75172 [startup+300.006 s] Raw data (loadavg): 0.99 0.62 0.26 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 13425 0 0 0 29952 51 0 0 25 0 1 0 511653186 77705216 13275 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18971 13275 231 231 0 18740 0 vsize: 75884 [startup+310.006 s] Raw data (loadavg): 0.99 0.64 0.27 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 13722 0 0 0 30952 51 0 0 25 0 1 0 511653186 78798848 13379 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19238 13379 231 231 0 19007 0 vsize: 76952 [startup+320.006 s] Raw data (loadavg): 0.99 0.65 0.28 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 14145 0 0 0 31951 53 0 0 25 0 1 0 511653186 78946304 13802 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19274 13802 231 231 0 19043 0 vsize: 77096 [startup+330.006 s] Raw data (loadavg): 0.99 0.66 0.29 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 14798 0 0 0 32950 54 0 0 25 0 1 0 511653186 79093760 14455 4294967295 134512640 135450300 3221224624 3221223456 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19310 14455 231 231 0 19079 0 vsize: 77240 [startup+340.005 s] Raw data (loadavg): 0.99 0.67 0.29 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 15642 0 0 0 33947 57 0 0 25 0 1 0 511653186 79716352 15299 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19462 15299 231 231 0 19231 0 vsize: 77848 [startup+350.006 s] Raw data (loadavg): 0.99 0.68 0.30 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 16259 0 0 0 34944 60 0 0 25 0 1 0 511653186 79716352 15916 4294967295 134512640 135450300 3221224624 3221223536 134597069 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19462 15916 231 231 0 19231 0 vsize: 77848 [startup+360.006 s] Raw data (loadavg): 0.99 0.69 0.31 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 16304 0 0 0 35944 61 0 0 25 0 1 0 511653186 79880192 15961 4294967295 134512640 135450300 3221224624 3221223440 134547853 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19502 15961 231 231 0 19271 0 vsize: 78008 [startup+370.006 s] Raw data (loadavg): 0.99 0.70 0.31 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 16445 0 0 0 36943 62 0 0 25 0 1 0 511653186 80322560 16102 4294967295 134512640 135450300 3221224624 3221223488 134539286 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19610 16102 231 231 0 19379 0 vsize: 78440 [startup+380.006 s] Raw data (loadavg): 0.99 0.71 0.32 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 17177 0 0 0 37941 64 0 0 25 0 1 0 511653186 81534976 16834 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19906 16834 231 231 0 19675 0 vsize: 79624 [startup+390.006 s] Raw data (loadavg): 0.99 0.72 0.33 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 17859 0 0 0 38939 66 0 0 25 0 1 0 511653186 81993728 17516 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20018 17516 231 231 0 19787 0 vsize: 80072 [startup+400.007 s] Raw data (loadavg): 0.99 0.73 0.33 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 18500 0 0 0 39937 69 0 0 25 0 1 0 511653186 82141184 18157 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20054 18157 231 231 0 19823 0 vsize: 80216 [startup+410.006 s] Raw data (loadavg): 0.99 0.74 0.34 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 18593 0 0 0 40936 69 0 0 25 0 1 0 511653186 82604032 18250 4294967295 134512640 135450300 3221224624 3221223440 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20167 18250 231 231 0 19936 0 vsize: 80668 [startup+420.007 s] Raw data (loadavg): 0.99 0.74 0.35 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 18655 0 0 0 41936 69 0 0 25 0 1 0 511653186 82751488 18312 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20203 18312 231 231 0 19972 0 vsize: 80812 [startup+430.007 s] Raw data (loadavg): 0.99 0.75 0.35 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 19043 0 0 0 42936 70 0 0 25 0 1 0 511653186 82751488 18700 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20203 18700 231 231 0 19972 0 vsize: 80812 [startup+440.007 s] Raw data (loadavg): 0.99 0.76 0.36 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 19798 0 0 0 43934 72 0 0 25 0 1 0 511653186 83046400 19455 4294967295 134512640 135450300 3221224624 3221223440 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20275 19455 231 231 0 20044 0 vsize: 81100 [startup+450.007 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20393 0 0 0 44933 73 0 0 25 0 1 0 511653186 150470656 20050 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36736 20050 231 231 0 36505 0 vsize: 146944 [startup+460.007 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20416 0 0 0 45933 73 0 0 25 0 1 0 511653186 150470656 20073 4294967295 134512640 135450300 3221224624 3221223440 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36736 20073 231 231 0 36505 0 vsize: 146944 [startup+470.007 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20459 0 0 0 46933 74 0 0 25 0 1 0 511653186 150765568 20116 4294967295 134512640 135450300 3221224624 3221223440 134537317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36808 20116 231 231 0 36577 0 vsize: 147232 [startup+480.007 s] Raw data (loadavg): 0.99 0.79 0.38 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20614 0 0 0 47932 74 0 0 25 0 1 0 511653186 151371776 20271 4294967295 134512640 135450300 3221224624 3221223440 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36956 20271 231 231 0 36725 0 vsize: 147824 [startup+490.008 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20791 0 0 0 48932 75 0 0 25 0 1 0 511653186 152027136 20448 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37116 20448 231 231 0 36885 0 vsize: 148464 [startup+500.008 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20827 0 0 0 49932 75 0 0 25 0 1 0 511653186 152027136 20484 4294967295 134512640 135450300 3221224624 3221223440 134537116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37116 20484 231 231 0 36885 0 vsize: 148464 [startup+510.008 s] Raw data (loadavg): 0.99 0.81 0.40 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20843 0 0 0 50932 75 0 0 25 0 1 0 511653186 152190976 20500 4294967295 134512640 135450300 3221224624 3221223344 134536034 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37156 20500 231 231 0 36925 0 vsize: 148624 [startup+520.008 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 20981 0 0 0 51931 76 0 0 25 0 1 0 511653186 152190976 20638 4294967295 134512640 135450300 3221224624 3221223440 134536495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37156 20638 231 231 0 36925 0 vsize: 148624 [startup+530.008 s] Raw data (loadavg): 0.99 0.82 0.41 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 21735 0 0 0 52930 78 0 0 25 0 1 0 511653186 152780800 21392 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37300 21392 231 231 0 37069 0 vsize: 149200 [startup+540.009 s] Raw data (loadavg): 0.99 0.82 0.42 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 22362 0 0 0 53928 80 0 0 25 0 1 0 511653186 152780800 22019 4294967295 134512640 135450300 3221224624 3221223120 134571795 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37300 22019 231 231 0 37069 0 vsize: 149200 [startup+550.009 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23020 0 0 0 54927 81 0 0 25 0 1 0 511653186 153108480 22677 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37380 22677 231 231 0 37149 0 vsize: 149520 [startup+560.01 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23239 0 0 0 55926 82 0 0 25 0 1 0 511653186 153264128 22896 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37418 22896 231 231 0 37187 0 vsize: 149672 [startup+570.01 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23281 0 0 0 56926 82 0 0 25 0 1 0 511653186 153264128 22938 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37418 22938 231 231 0 37187 0 vsize: 149672 [startup+580.01 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 23709 0 0 0 57925 84 0 0 25 0 1 0 511653186 153427968 23366 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37458 23366 231 231 0 37227 0 vsize: 149832 [startup+590.011 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 24414 0 0 0 58923 86 0 0 25 0 1 0 511653186 154083328 24071 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37618 24071 231 231 0 37387 0 vsize: 150472 [startup+600.011 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25150 0 0 0 59922 87 0 0 25 0 1 0 511653186 154570752 24807 4294967295 134512640 135450300 3221224624 3221223440 134547906 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37737 24807 231 231 0 37506 0 vsize: 150948 [startup+610.012 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25639 0 0 0 60921 88 0 0 25 0 1 0 511653186 155226112 25296 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37897 25296 231 231 0 37666 0 vsize: 151588 [startup+620.011 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25696 0 0 0 61921 89 0 0 25 0 1 0 511653186 155525120 25353 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37970 25353 231 231 0 37739 0 vsize: 151880 [startup+630.011 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25750 0 0 0 62921 89 0 0 25 0 1 0 511653186 155688960 25407 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38010 25407 231 231 0 37779 0 vsize: 152040 [startup+640.011 s] Raw data (loadavg): 0.99 0.87 0.47 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 25855 0 0 0 63920 89 0 0 25 0 1 0 511653186 156340224 25512 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38169 25512 231 231 0 37938 0 vsize: 152676 [startup+650.011 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26209 0 0 0 64919 91 0 0 25 0 1 0 511653186 157130752 25866 4294967295 134512640 135450300 3221224624 3221223516 134539375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38362 25866 231 231 0 38131 0 vsize: 153448 [startup+660.012 s] Raw data (loadavg): 0.99 0.88 0.48 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26603 0 0 0 65918 92 0 0 25 0 1 0 511653186 157614080 26260 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38480 26260 231 231 0 38249 0 vsize: 153920 [startup+670.011 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26645 0 0 0 66915 96 0 0 25 0 1 0 511653186 157614080 26302 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38480 26302 231 231 0 38249 0 vsize: 153920 [startup+680.012 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 26682 0 0 0 67913 98 0 0 25 0 1 0 511653186 157818880 26339 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38530 26339 231 231 0 38299 0 vsize: 154120 [startup+690.012 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27095 0 0 0 68910 100 0 0 25 0 1 0 511653186 159391744 26367 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38914 26367 231 231 0 38683 0 vsize: 155656 [startup+700.012 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27100 0 0 0 69911 100 0 0 25 0 1 0 511653186 159391744 26372 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38914 26372 231 231 0 38683 0 vsize: 155656 [startup+710.012 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27108 0 0 0 70910 101 0 0 25 0 1 0 511653186 159391744 26380 4294967295 134512640 135450300 3221224624 3221223008 134602283 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38914 26380 231 231 0 38683 0 vsize: 155656 [startup+720.012 s] Raw data (loadavg): 0.99 0.90 0.51 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27116 0 0 0 71910 101 0 0 25 0 1 0 511653186 159391744 26388 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38914 26388 231 231 0 38683 0 vsize: 155656 [startup+730.013 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27125 0 0 0 72910 102 0 0 25 0 1 0 511653186 159391744 26397 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38914 26397 231 231 0 38683 0 vsize: 155656 [startup+740.012 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27137 0 0 0 73909 103 0 0 25 0 1 0 511653186 159391744 26409 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38914 26409 231 231 0 38683 0 vsize: 155656 [startup+750.013 s] Raw data (loadavg): 0.99 0.90 0.53 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27190 0 0 0 74908 104 0 0 25 0 1 0 511653186 159625216 26462 4294967295 134512640 135450300 3221224624 3221223344 134535512 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38971 26462 231 231 0 38740 0 vsize: 155884 [startup+760.014 s] Raw data (loadavg): 0.99 0.91 0.53 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27221 0 0 0 75906 106 0 0 25 0 1 0 511653186 159625216 26493 4294967295 134512640 135450300 3221224624 3221223344 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38971 26493 231 231 0 38740 0 vsize: 155884 [startup+770.013 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27237 0 0 0 76906 106 0 0 25 0 1 0 511653186 159625216 26509 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38971 26509 231 231 0 38740 0 vsize: 155884 [startup+780.013 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27245 0 0 0 77906 106 0 0 25 0 1 0 511653186 159625216 26517 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38971 26517 231 231 0 38740 0 vsize: 155884 [startup+790.014 s] Raw data (loadavg): 0.99 0.91 0.55 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27259 0 0 0 78906 107 0 0 25 0 1 0 511653186 159625216 26531 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38971 26531 231 231 0 38740 0 vsize: 155884 [startup+800.015 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27309 0 0 0 79905 108 0 0 25 0 1 0 511653186 159760384 26581 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39004 26581 231 231 0 38773 0 vsize: 156016 [startup+810.014 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27343 0 0 0 80903 110 0 0 25 0 1 0 511653186 159907840 26615 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39040 26615 231 231 0 38809 0 vsize: 156160 [startup+820.014 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27359 0 0 0 81903 111 0 0 25 0 1 0 511653186 159907840 26631 4294967295 134512640 135450300 3221224624 3221223344 134535988 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39040 26631 231 231 0 38809 0 vsize: 156160 [startup+830.015 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27378 0 0 0 82902 112 0 0 25 0 1 0 511653186 159907840 26650 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39040 26650 231 231 0 38809 0 vsize: 156160 [startup+840.015 s] Raw data (loadavg): 0.99 0.92 0.57 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27403 0 0 0 83901 112 0 0 25 0 1 0 511653186 159907840 26675 4294967295 134512640 135450300 3221224624 3221223344 134535997 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39040 26675 231 231 0 38809 0 vsize: 156160 [startup+850.016 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27422 0 0 0 84901 113 0 0 25 0 1 0 511653186 159907840 26694 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39040 26694 231 231 0 38809 0 vsize: 156160 [startup+860.015 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27449 0 0 0 85900 114 0 0 25 0 1 0 511653186 160063488 26721 4294967295 134512640 135450300 3221224624 3221223456 134549295 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39078 26721 231 231 0 38847 0 vsize: 156312 [startup+870.015 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27467 0 0 0 86899 115 0 0 25 0 1 0 511653186 160063488 26739 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39078 26739 231 231 0 38847 0 vsize: 156312 [startup+880.016 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27487 0 0 0 87898 116 0 0 25 0 1 0 511653186 160063488 26759 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39078 26759 231 231 0 38847 0 vsize: 156312 [startup+890.016 s] Raw data (loadavg): 0.99 0.93 0.59 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27520 0 0 0 88897 118 0 0 25 0 1 0 511653186 160063488 26792 4294967295 134512640 135450300 3221224624 3221223360 134538546 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39078 26792 231 231 0 38847 0 vsize: 156312 [startup+900.016 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27535 0 0 0 89896 118 0 0 25 0 1 0 511653186 160063488 26807 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39078 26807 231 231 0 38847 0 vsize: 156312 [startup+910.017 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27586 0 0 0 90896 120 0 0 25 0 1 0 511653186 160227328 26858 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39118 26858 231 231 0 38887 0 vsize: 156472 [startup+920.017 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27624 0 0 0 91895 120 0 0 25 0 1 0 511653186 160399360 26896 4294967295 134512640 135450300 3221224624 3221223456 134549287 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39160 26896 231 231 0 38929 0 vsize: 156640 [startup+930.017 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27648 0 0 0 92895 121 0 0 25 0 1 0 511653186 160399360 26920 4294967295 134512640 135450300 3221224624 3221223360 134538435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39160 26920 231 231 0 38929 0 vsize: 156640 [startup+940.017 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27674 0 0 0 93894 122 0 0 25 0 1 0 511653186 160399360 26946 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39160 26946 231 231 0 38929 0 vsize: 156640 [startup+950.018 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27690 0 0 0 94894 122 0 0 25 0 1 0 511653186 160399360 26962 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39160 26962 231 231 0 38929 0 vsize: 156640 [startup+960.018 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27725 0 0 0 95893 123 0 0 25 0 1 0 511653186 160583680 26997 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39205 26997 231 231 0 38974 0 vsize: 156820 [startup+970.018 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27741 0 0 0 96893 124 0 0 25 0 1 0 511653186 160583680 27013 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39205 27013 231 231 0 38974 0 vsize: 156820 [startup+980.019 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 27762 0 0 0 97892 124 0 0 25 0 1 0 511653186 160583680 27034 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39205 27034 231 231 0 38974 0 vsize: 156820 [startup+990.018 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28554 0 0 0 98890 126 0 0 25 0 1 0 511653186 163729408 27057 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39973 27057 231 231 0 39742 0 vsize: 159892 [startup+1000.02 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28591 0 0 0 99890 127 0 0 25 0 1 0 511653186 163926016 27094 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40021 27094 231 231 0 39790 0 vsize: 160084 [startup+1010.02 s] Raw data (loadavg): 1.06 0.97 0.64 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28622 0 0 0 100890 127 0 0 25 0 1 0 511653186 163926016 27125 4294967295 134512640 135450300 3221224624 3221223456 134549493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40021 27125 231 231 0 39790 0 vsize: 160084 [startup+1020.02 s] Raw data (loadavg): 1.05 0.97 0.64 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28643 0 0 0 101889 128 0 0 25 0 1 0 511653186 163926016 27146 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40021 27146 231 231 0 39790 0 vsize: 160084 [startup+1030.02 s] Raw data (loadavg): 1.04 0.97 0.65 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28660 0 0 0 102888 129 0 0 25 0 1 0 511653186 163926016 27163 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40021 27163 231 231 0 39790 0 vsize: 160084 [startup+1040.02 s] Raw data (loadavg): 1.04 0.97 0.65 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28678 0 0 0 103887 130 0 0 25 0 1 0 511653186 163926016 27181 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40021 27181 231 231 0 39790 0 vsize: 160084 [startup+1050.02 s] Raw data (loadavg): 1.03 0.97 0.65 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28704 0 0 0 104886 132 0 0 25 0 1 0 511653186 164134912 27207 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40072 27207 231 231 0 39841 0 vsize: 160288 [startup+1060.02 s] Raw data (loadavg): 1.03 0.97 0.65 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28725 0 0 0 105886 133 0 0 25 0 1 0 511653186 164134912 27228 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40072 27228 231 231 0 39841 0 vsize: 160288 [startup+1070.02 s] Raw data (loadavg): 1.02 0.97 0.66 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28742 0 0 0 106885 133 0 0 25 0 1 0 511653186 164134912 27245 4294967295 134512640 135450300 3221224624 3221223424 134547137 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40072 27245 231 231 0 39841 0 vsize: 160288 [startup+1080.02 s] Raw data (loadavg): 1.02 0.97 0.66 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28767 0 0 0 107884 134 0 0 25 0 1 0 511653186 164134912 27270 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40072 27270 231 231 0 39841 0 vsize: 160288 [startup+1090.02 s] Raw data (loadavg): 1.01 0.97 0.66 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28802 0 0 0 108884 135 0 0 25 0 1 0 511653186 164356096 27305 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40126 27305 231 231 0 39895 0 vsize: 160504 [startup+1100.02 s] Raw data (loadavg): 1.01 0.97 0.67 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28823 0 0 0 109883 136 0 0 25 0 1 0 511653186 164356096 27326 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40126 27326 231 231 0 39895 0 vsize: 160504 [startup+1110.02 s] Raw data (loadavg): 1.01 0.97 0.67 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28838 0 0 0 110882 137 0 0 25 0 1 0 511653186 164356096 27341 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40126 27341 231 231 0 39895 0 vsize: 160504 [startup+1120.02 s] Raw data (loadavg): 1.01 0.97 0.67 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28864 0 0 0 111882 138 0 0 25 0 1 0 511653186 164356096 27367 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40126 27367 231 231 0 39895 0 vsize: 160504 [startup+1130.02 s] Raw data (loadavg): 1.01 0.97 0.68 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28881 0 0 0 112881 138 0 0 25 0 1 0 511653186 164356096 27384 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40126 27384 231 231 0 39895 0 vsize: 160504 [startup+1140.02 s] Raw data (loadavg): 1.00 0.97 0.68 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28914 0 0 0 113881 139 0 0 25 0 1 0 511653186 164589568 27417 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40183 27417 231 231 0 39952 0 vsize: 160732 [startup+1150.03 s] Raw data (loadavg): 1.00 0.97 0.68 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28934 0 0 0 114880 140 0 0 25 0 1 0 511653186 164589568 27437 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40183 27437 231 231 0 39952 0 vsize: 160732 [startup+1160.03 s] Raw data (loadavg): 1.00 0.97 0.68 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28960 0 0 0 115879 141 0 0 25 0 1 0 511653186 164589568 27463 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40183 27463 231 231 0 39952 0 vsize: 160732 [startup+1170.02 s] Raw data (loadavg): 1.00 0.97 0.69 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28973 0 0 0 116879 142 0 0 25 0 1 0 511653186 164589568 27476 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40183 27476 231 231 0 39952 0 vsize: 160732 [startup+1180.03 s] Raw data (loadavg): 1.00 0.97 0.69 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 28989 0 0 0 117878 143 0 0 25 0 1 0 511653186 164589568 27492 4294967295 134512640 135450300 3221224624 3221223456 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40183 27492 231 231 0 39952 0 vsize: 160732 [startup+1190.03 s] Raw data (loadavg): 1.00 0.97 0.69 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 29037 0 0 0 118877 143 0 0 25 0 1 0 511653186 164839424 27540 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40244 27540 231 231 0 40013 0 vsize: 160976 [startup+1200.03 s] Raw data (loadavg): 1.00 0.97 0.70 2/54 18572 Raw data (stat): 18572 (PBS4) R 18571 27222 27221 0 -1 0 29057 0 0 0 119877 144 0 0 25 0 1 0 511653186 164839424 27560 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40244 27560 231 231 0 40013 0 vsize: 160976 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 1.00 0.97 0.70 1/54 18572 Raw data (stat): 18572 (PBS4) Z 18571 27222 27221 0 -1 1036 29057 0 0 0 119877 149 0 0 25 0 1 0 511653186 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.08 CPU time (s): 1200.27 CPU user time (s): 1198.78 CPU system time (s): 1.49477 CPU usage (%): 100.016 Max. virtual memory (Kb): 160976 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####