Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb |
MD5SUM | fba76bbece6bbaf52b3b51d8d6e74147 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 310 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 660 |
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 | 660 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 660 |
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.02584 |
Number of variables | 660 |
Total number of constraints | 5350 |
Number of constraints which are clauses | 5350 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-04-17 16:10:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1437 boxname=wulflinc19 idbench=160 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: fba76bbece6bbaf52b3b51d8d6e74147 /oldhome/oroussel/tmp/wulflinc19/normalized-ii32e3.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc19/normalized-ii32e3.opb IDLAUNCH: 1437 /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: 827216 kB Buffers: 36792 kB Cached: 135688 kB SwapCached: 36 kB Active: 61316 kB Inactive: 114164 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 826964 kB SwapTotal: 2097892 kB SwapFree: 2097856 kB Dirty: 28 kB Writeback: 0 kB Mapped: 7040 kB Slab: 26316 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:30:10 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 1437 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc19/normalized-ii32e3.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.85 0.96 0.81 2/55 16411 Raw data (stat): 16411 (runsolver) R 16410 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 511841796 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.87 0.96 0.81 2/55 16411 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 832 0 0 0 996 3 0 0 25 0 1 0 511841796 6057984 825 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1479 825 231 231 0 1248 0 vsize: 5916 [startup+20.0008 s] Raw data (loadavg): 0.89 0.97 0.81 2/55 16411 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 1390 0 0 0 1994 5 0 0 25 0 1 0 511841796 6381568 1334 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1558 1334 231 231 0 1327 0 vsize: 6232 [startup+30.0007 s] Raw data (loadavg): 0.91 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 2115 0 0 0 2992 6 0 0 25 0 1 0 511841796 10706944 2059 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2614 2059 231 231 0 2383 0 vsize: 10456 [startup+40.0017 s] Raw data (loadavg): 0.92 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 2548 0 0 0 3991 8 0 0 25 0 1 0 511841796 10981376 2492 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2681 2492 231 231 0 2450 0 vsize: 10724 [startup+50.0021 s] Raw data (loadavg): 0.93 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 2569 0 0 0 4990 9 0 0 25 0 1 0 511841796 10981376 2513 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2681 2513 231 231 0 2450 0 vsize: 10724 [startup+60.002 s] Raw data (loadavg): 0.94 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 2772 0 0 0 5989 10 0 0 25 0 1 0 511841796 19501056 2716 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4761 2716 231 231 0 4530 0 vsize: 19044 [startup+70.0033 s] Raw data (loadavg): 0.95 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 3634 0 0 0 6988 12 0 0 25 0 1 0 511841796 20164608 3481 4294967295 134512640 135450300 3221224640 3221223376 134538888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4923 3481 231 231 0 4692 0 vsize: 19692 [startup+80.0035 s] Raw data (loadavg): 0.96 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 4262 0 0 0 7986 13 0 0 25 0 1 0 511841796 20574208 4109 4294967295 134512640 135450300 3221224640 3221223104 134532591 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5023 4109 231 231 0 4792 0 vsize: 20092 [startup+90.0043 s] Raw data (loadavg): 0.96 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 4894 0 0 0 8984 16 0 0 25 0 1 0 511841796 20709376 4741 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5056 4741 231 231 0 4825 0 vsize: 20224 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 5495 0 0 0 9983 17 0 0 25 0 1 0 511841796 37892096 5342 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9251 5342 231 231 0 9020 0 vsize: 37004 [startup+110.004 s] Raw data (loadavg): 0.97 0.97 0.82 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 6097 0 0 0 10981 19 0 0 25 0 1 0 511841796 38162432 5944 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9317 5944 231 231 0 9086 0 vsize: 37268 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 6608 0 0 0 11980 21 0 0 25 0 1 0 511841796 38436864 6455 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9384 6455 231 231 0 9153 0 vsize: 37536 [startup+130.005 s] Raw data (loadavg): 0.98 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 7165 0 0 0 12977 23 0 0 25 0 1 0 511841796 38572032 7012 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9417 7012 231 231 0 9186 0 vsize: 37668 [startup+140.005 s] Raw data (loadavg): 0.98 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 7756 0 0 0 13975 26 0 0 25 0 1 0 511841796 38707200 7603 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9450 7603 231 231 0 9219 0 vsize: 37800 [startup+150.005 s] Raw data (loadavg): 0.98 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 8281 0 0 0 14974 27 0 0 25 0 1 0 511841796 38977536 8128 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9516 8128 231 231 0 9285 0 vsize: 38064 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 8759 0 0 0 15972 29 0 0 25 0 1 0 511841796 39112704 8606 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9549 8606 231 231 0 9318 0 vsize: 38196 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 9256 0 0 0 16970 31 0 0 25 0 1 0 511841796 39247872 9103 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9582 9103 231 231 0 9351 0 vsize: 38328 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 9829 0 0 0 17968 33 0 0 25 0 1 0 511841796 73224192 9676 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17877 9676 231 231 0 17646 0 vsize: 71508 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 10413 0 0 0 18966 36 0 0 25 0 1 0 511841796 73224192 10260 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17877 10260 231 231 0 17646 0 vsize: 71508 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 10959 0 0 0 19964 38 0 0 25 0 1 0 511841796 73502720 10806 4294967295 134512640 135450300 3221224640 3221223360 134535959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17945 10807 231 231 0 17714 0 vsize: 71780 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.83 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 11528 0 0 0 20963 39 0 0 25 0 1 0 511841796 73650176 11375 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17981 11375 231 231 0 17750 0 vsize: 71924 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 12001 0 0 0 21962 41 0 0 25 0 1 0 511841796 73936896 11848 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18051 11848 231 231 0 17820 0 vsize: 72204 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 12596 0 0 0 22960 43 0 0 25 0 1 0 511841796 75001856 12250 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18311 12250 231 231 0 18080 0 vsize: 73244 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 12999 0 0 0 23960 43 0 0 25 0 1 0 511841796 75001856 12653 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18311 12653 231 231 0 18080 0 vsize: 73244 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 13420 0 0 0 24958 45 0 0 25 0 1 0 511841796 75001856 13074 4294967295 134512640 135450300 3221224640 3221223456 134536474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18311 13074 231 231 0 18080 0 vsize: 73244 [startup+260.009 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 13906 0 0 0 25957 46 0 0 25 0 1 0 511841796 75001856 13560 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18311 13560 231 231 0 18080 0 vsize: 73244 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 14490 0 0 0 26955 48 0 0 25 0 1 0 511841796 75141120 14144 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18345 14144 231 231 0 18114 0 vsize: 73380 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 14997 0 0 0 27954 50 0 0 25 0 1 0 511841796 75141120 14651 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18345 14651 231 231 0 18114 0 vsize: 73380 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 15488 0 0 0 28952 52 0 0 25 0 1 0 511841796 75280384 15142 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 15142 231 231 0 18148 0 vsize: 73516 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 15976 0 0 0 29951 53 0 0 25 0 1 0 511841796 75419648 15630 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18413 15630 231 231 0 18182 0 vsize: 73652 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.84 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 16514 0 0 0 30949 55 0 0 25 0 1 0 511841796 75857920 16168 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18520 16168 231 231 0 18289 0 vsize: 74080 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16413 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 16986 0 0 0 31948 57 0 0 25 0 1 0 511841796 76005376 16640 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18556 16640 231 231 0 18325 0 vsize: 74224 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 17418 0 0 0 32947 58 0 0 25 0 1 0 511841796 76144640 17072 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18590 17072 231 231 0 18359 0 vsize: 74360 [startup+340.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 17840 0 0 0 33945 60 0 0 25 0 1 0 511841796 76292096 17494 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18626 17494 231 231 0 18395 0 vsize: 74504 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 18262 0 0 0 34943 62 0 0 25 0 1 0 511841796 76431360 17916 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18660 17916 231 231 0 18429 0 vsize: 74640 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 18826 0 0 0 35941 64 0 0 25 0 1 0 511841796 143540224 18480 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35044 18480 231 231 0 34813 0 vsize: 140176 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 19227 0 0 0 36940 65 0 0 25 0 1 0 511841796 143687680 18881 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35080 18881 231 231 0 34849 0 vsize: 140320 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 19556 0 0 0 37940 66 0 0 25 0 1 0 511841796 143835136 19210 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35116 19210 231 231 0 34885 0 vsize: 140464 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 19879 0 0 0 38939 67 0 0 25 0 1 0 511841796 143982592 19533 4294967295 134512640 135450300 3221224640 3221223360 134535455 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35152 19533 231 231 0 34921 0 vsize: 140608 [startup+400.012 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 20245 0 0 0 39938 68 0 0 25 0 1 0 511841796 144281600 19899 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35225 19899 231 231 0 34994 0 vsize: 140900 [startup+410.012 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 20707 0 0 0 40936 70 0 0 25 0 1 0 511841796 144445440 20361 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35265 20361 231 231 0 35034 0 vsize: 141060 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.85 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 21113 0 0 0 41935 72 0 0 25 0 1 0 511841796 144609280 20767 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35305 20767 231 231 0 35074 0 vsize: 141220 [startup+430.013 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 21455 0 0 0 42934 72 0 0 25 0 1 0 511841796 144609280 21109 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35305 21109 231 231 0 35074 0 vsize: 141220 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 21910 0 0 0 43933 74 0 0 25 0 1 0 511841796 144756736 21564 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35341 21564 231 231 0 35110 0 vsize: 141364 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 21952 0 0 0 44933 74 0 0 25 0 1 0 511841796 144891904 21606 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35374 21606 231 231 0 35143 0 vsize: 141496 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 21979 0 0 0 45933 74 0 0 25 0 1 0 511841796 145027072 21633 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35407 21633 231 231 0 35176 0 vsize: 141628 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 22255 0 0 0 46932 75 0 0 25 0 1 0 511841796 145027072 21909 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35407 21909 231 231 0 35176 0 vsize: 141628 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 22612 0 0 0 47930 77 0 0 25 0 1 0 511841796 145027072 22266 4294967295 134512640 135450300 3221224640 3221223376 134538774 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35407 22266 231 231 0 35176 0 vsize: 141628 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 23051 0 0 0 48929 79 0 0 25 0 1 0 511841796 145174528 22705 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35443 22705 231 231 0 35212 0 vsize: 141772 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 23419 0 0 0 49928 80 0 0 25 0 1 0 511841796 145321984 23073 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35479 23073 231 231 0 35248 0 vsize: 141916 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 23526 0 0 0 50928 80 0 0 25 0 1 0 511841796 145321984 23180 4294967295 134512640 135450300 3221224640 3221223472 134549374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35479 23180 231 231 0 35248 0 vsize: 141916 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.86 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 23538 0 0 0 51928 80 0 0 25 0 1 0 511841796 145321984 23192 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35479 23192 231 231 0 35248 0 vsize: 141916 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 23554 0 0 0 52928 80 0 0 25 0 1 0 511841796 145457152 23208 4294967295 134512640 135450300 3221224640 3221223456 134537280 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35512 23208 231 231 0 35281 0 vsize: 142048 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 24000 0 0 0 53926 82 0 0 25 0 1 0 511841796 145612800 23654 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35550 23654 231 231 0 35319 0 vsize: 142200 [startup+550.013 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 24357 0 0 0 54925 84 0 0 25 0 1 0 511841796 145760256 24011 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35586 24011 231 231 0 35355 0 vsize: 142344 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 24724 0 0 0 55924 85 0 0 25 0 1 0 511841796 145760256 24378 4294967295 134512640 135450300 3221224640 3221223472 134549521 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35586 24378 231 231 0 35355 0 vsize: 142344 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 24963 0 0 0 56923 86 0 0 25 0 1 0 511841796 145760256 24617 4294967295 134512640 135450300 3221224640 3221223456 134546485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35586 24617 231 231 0 35355 0 vsize: 142344 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 24977 0 0 0 57923 86 0 0 25 0 1 0 511841796 145760256 24631 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35586 24631 231 231 0 35355 0 vsize: 142344 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 24981 0 0 0 58923 87 0 0 25 0 1 0 511841796 145760256 24635 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35586 24635 231 231 0 35355 0 vsize: 142344 [startup+600.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 25265 0 0 0 59922 87 0 0 25 0 1 0 511841796 145911808 24919 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35623 24919 231 231 0 35392 0 vsize: 142492 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 25599 0 0 0 60920 89 0 0 25 0 1 0 511841796 146075648 25253 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35663 25253 231 231 0 35432 0 vsize: 142652 [startup+620.014 s] Raw data (loadavg): 0.99 0.97 0.87 2/55 16415 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 25900 0 0 0 61919 90 0 0 25 0 1 0 511841796 146075648 25554 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35663 25554 231 231 0 35432 0 vsize: 142652 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 26356 0 0 0 62918 92 0 0 25 0 1 0 511841796 146403328 26010 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35743 26010 231 231 0 35512 0 vsize: 142972 [startup+640.014 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 26461 0 0 0 63918 92 0 0 25 0 1 0 511841796 146403328 26115 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35743 26115 231 231 0 35512 0 vsize: 142972 [startup+650.013 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 26508 0 0 0 64918 93 0 0 25 0 1 0 511841796 146710528 26162 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35818 26162 231 231 0 35587 0 vsize: 143272 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 26770 0 0 0 65917 93 0 0 25 0 1 0 511841796 146710528 26424 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35818 26424 231 231 0 35587 0 vsize: 143272 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 27228 0 0 0 66916 94 0 0 25 0 1 0 511841796 146710528 26882 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35818 26882 231 231 0 35587 0 vsize: 143272 [startup+680.015 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 27605 0 0 0 67915 96 0 0 25 0 1 0 511841796 146710528 27259 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35818 27259 231 231 0 35587 0 vsize: 143272 [startup+690.015 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 27843 0 0 0 68915 96 0 0 25 0 1 0 511841796 146857984 27497 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35854 27497 231 231 0 35623 0 vsize: 143416 [startup+700.014 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 28118 0 0 0 69913 98 0 0 25 0 1 0 511841796 146857984 27772 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35854 27772 231 231 0 35623 0 vsize: 143416 [startup+710.014 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 28229 0 0 0 70913 98 0 0 25 0 1 0 511841796 147005440 27883 4294967295 134512640 135450300 3221224640 3221223168 134543683 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35890 27883 231 231 0 35659 0 vsize: 143560 [startup+720.014 s] Raw data (loadavg): 0.99 0.97 0.88 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 28232 0 0 0 71913 98 0 0 25 0 1 0 511841796 147005440 27886 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35890 27886 231 231 0 35659 0 vsize: 143560 [startup+730.014 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 28372 0 0 0 72913 99 0 0 25 0 1 0 511841796 147005440 28026 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35890 28026 231 231 0 35659 0 vsize: 143560 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 28684 0 0 0 73912 100 0 0 25 0 1 0 511841796 147152896 28338 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35926 28338 231 231 0 35695 0 vsize: 143704 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 28970 0 0 0 74912 100 0 0 25 0 1 0 511841796 147152896 28624 4294967295 134512640 135450300 3221224640 3221223376 134538433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35926 28624 231 231 0 35695 0 vsize: 143704 [startup+760.013 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 29279 0 0 0 75910 102 0 0 25 0 1 0 511841796 147152896 28933 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35926 28933 231 231 0 35695 0 vsize: 143704 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 29585 0 0 0 76910 103 0 0 25 0 1 0 511841796 147152896 29239 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35926 29240 231 231 0 35695 0 vsize: 143704 [startup+780.013 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 30287 0 0 0 77908 105 0 0 25 0 1 0 511841796 149020672 29556 4294967295 134512640 135450300 3221224640 3221223552 134597064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36382 29556 231 231 0 36151 0 vsize: 145528 [startup+790.013 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 30340 0 0 0 78907 105 0 0 25 0 1 0 511841796 149331968 29609 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36458 29609 231 231 0 36227 0 vsize: 145832 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 30353 0 0 0 79907 105 0 0 25 0 1 0 511841796 149331968 29622 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36458 29622 231 231 0 36227 0 vsize: 145832 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 30585 0 0 0 80907 106 0 0 25 0 1 0 511841796 149331968 29854 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36458 29854 231 231 0 36227 0 vsize: 145832 [startup+820.014 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 30802 0 0 0 81907 106 0 0 25 0 1 0 511841796 149331968 30071 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36458 30071 231 231 0 36227 0 vsize: 145832 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.89 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 31043 0 0 0 82906 108 0 0 25 0 1 0 511841796 149331968 30312 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36458 30312 231 231 0 36227 0 vsize: 145832 [startup+840.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 31396 0 0 0 83904 109 0 0 25 0 1 0 511841796 149499904 30665 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36499 30665 231 231 0 36268 0 vsize: 145996 [startup+850.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 31712 0 0 0 84904 109 0 0 25 0 1 0 511841796 149499904 30981 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36499 30981 231 231 0 36268 0 vsize: 145996 [startup+860.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 32002 0 0 0 85903 111 0 0 25 0 1 0 511841796 149499904 31271 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36499 31271 231 231 0 36268 0 vsize: 145996 [startup+870.014 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 32009 0 0 0 86903 111 0 0 25 0 1 0 511841796 149499904 31278 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36499 31278 231 231 0 36268 0 vsize: 145996 [startup+880.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 32059 0 0 0 87903 112 0 0 25 0 1 0 511841796 149811200 31328 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36575 31328 231 231 0 36344 0 vsize: 146300 [startup+890.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 32385 0 0 0 88902 113 0 0 25 0 1 0 511841796 149811200 31654 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36575 31654 231 231 0 36344 0 vsize: 146300 [startup+900.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 32694 0 0 0 89901 114 0 0 25 0 1 0 511841796 149811200 31963 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36575 31963 231 231 0 36344 0 vsize: 146300 [startup+910.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 33098 0 0 0 90900 115 0 0 25 0 1 0 511841796 149811200 32367 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36575 32367 231 231 0 36344 0 vsize: 146300 [startup+920.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16417 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 33407 0 0 0 91899 116 0 0 25 0 1 0 511841796 149946368 32676 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36608 32676 231 231 0 36377 0 vsize: 146432 [startup+930.015 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 33595 0 0 0 92898 117 0 0 25 0 1 0 511841796 149946368 32864 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36608 32864 231 231 0 36377 0 vsize: 146432 [startup+940.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 33610 0 0 0 93898 117 0 0 25 0 1 0 511841796 149946368 32879 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36608 32879 231 231 0 36377 0 vsize: 146432 [startup+950.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 33615 0 0 0 94898 117 0 0 25 0 1 0 511841796 149946368 32884 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36608 32884 231 231 0 36377 0 vsize: 146432 [startup+960.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 33681 0 0 0 95898 118 0 0 25 0 1 0 511841796 149946368 32950 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36608 32950 231 231 0 36377 0 vsize: 146432 [startup+970.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 34066 0 0 0 96896 120 0 0 25 0 1 0 511841796 150274048 33335 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36688 33335 231 231 0 36457 0 vsize: 146752 [startup+980.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 34394 0 0 0 97895 122 0 0 25 0 1 0 511841796 150274048 33663 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36688 33663 231 231 0 36457 0 vsize: 146752 [startup+990.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 34714 0 0 0 98894 123 0 0 25 0 1 0 511841796 150601728 33983 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36768 33983 231 231 0 36537 0 vsize: 147072 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 35139 0 0 0 99892 125 0 0 25 0 1 0 511841796 150601728 34408 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36768 34408 231 231 0 36537 0 vsize: 147072 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 35192 0 0 0 100892 125 0 0 25 0 1 0 511841796 150601728 34461 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36768 34461 231 231 0 36537 0 vsize: 147072 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 35202 0 0 0 101891 126 0 0 25 0 1 0 511841796 150601728 34471 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36768 34471 231 231 0 36537 0 vsize: 147072 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 35207 0 0 0 102890 126 0 0 25 0 1 0 511841796 150601728 34476 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36768 34476 231 231 0 36537 0 vsize: 147072 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 35225 0 0 0 103890 126 0 0 25 0 1 0 511841796 150736896 34494 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36801 34494 231 231 0 36570 0 vsize: 147204 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 35526 0 0 0 104890 127 0 0 25 0 1 0 511841796 150736896 34795 4294967295 134512640 135450300 3221224640 3221223456 134536543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36801 34795 231 231 0 36570 0 vsize: 147204 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 35969 0 0 0 105889 128 0 0 25 0 1 0 511841796 150736896 35238 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36801 35238 231 231 0 36570 0 vsize: 147204 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 36288 0 0 0 106888 129 0 0 25 0 1 0 511841796 150900736 35557 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36841 35557 231 231 0 36610 0 vsize: 147364 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 36510 0 0 0 107888 129 0 0 25 0 1 0 511841796 151040000 35779 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36875 35779 231 231 0 36644 0 vsize: 147500 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 36514 0 0 0 108888 130 0 0 25 0 1 0 511841796 151040000 35783 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36875 35783 231 231 0 36644 0 vsize: 147500 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 36527 0 0 0 109888 130 0 0 25 0 1 0 511841796 151040000 35796 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36875 35796 231 231 0 36644 0 vsize: 147500 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 36622 0 0 0 110887 131 0 0 25 0 1 0 511841796 151040000 35891 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36875 35891 231 231 0 36644 0 vsize: 147500 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 36899 0 0 0 111886 132 0 0 25 0 1 0 511841796 151040000 36168 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36875 36168 231 231 0 36644 0 vsize: 147500 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 37176 0 0 0 112883 135 0 0 25 0 1 0 511841796 285257728 36445 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69643 36445 231 231 0 69412 0 vsize: 278572 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 37518 0 0 0 113882 136 0 0 25 0 1 0 511841796 285257728 36787 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69643 36787 231 231 0 69412 0 vsize: 278572 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 37740 0 0 0 114882 137 0 0 25 0 1 0 511841796 285433856 37009 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69686 37009 231 231 0 69455 0 vsize: 278744 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 38065 0 0 0 115881 137 0 0 25 0 1 0 511841796 285433856 37334 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69686 37334 231 231 0 69455 0 vsize: 278744 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 38068 0 0 0 116881 138 0 0 25 0 1 0 511841796 285433856 37337 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69686 37337 231 231 0 69455 0 vsize: 278744 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 38080 0 0 0 117881 138 0 0 25 0 1 0 511841796 285433856 37349 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69686 37349 231 231 0 69455 0 vsize: 278744 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 38117 0 0 0 118881 138 0 0 25 0 1 0 511841796 285630464 37386 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69734 37386 231 231 0 69503 0 vsize: 278936 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 16419 Raw data (stat): 16411 (PBS4) R 16410 22929 22928 0 -1 0 38121 0 0 0 119881 138 0 0 25 0 1 0 511841796 285630464 37390 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69734 37390 231 231 0 69503 0 vsize: 278936 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 16419 Raw data (stat): 16411 (PBS4) Z 16410 22929 22928 0 -1 1036 38121 0 0 0 119881 145 0 0 25 0 1 0 511841796 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.09 CPU time (s): 1200.28 CPU user time (s): 1198.82 CPU system time (s): 1.45878 CPU usage (%): 100.016 Max. virtual memory (Kb): 278936 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####