Name | normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | 2ea3853c4fb57dccc00d289069858df9 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 172 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.06 |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-04-17 16:43:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2328 boxname=wulflinc26 idbench=259 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 2ea3853c4fb57dccc00d289069858df9 /oldhome/oroussel/tmp/wulflinc26/normalized-circ8_3.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-circ8_3.opb IDLAUNCH: 2328 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 782532 kB Buffers: 37316 kB Cached: 173116 kB SwapCached: 2476 kB Active: 78332 kB Inactive: 137460 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 782280 kB SwapTotal: 2097892 kB SwapFree: 2095416 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6956 kB Slab: 30520 kB Committed_AS: 63616 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 17:03:25 (client local time) WITH STATUS 0 IN 1200.57 SECONDS stats: 2328 7 1200.57 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-circ8_3.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.84 0.94 0.90 2/54 19296 Raw data (stat): 19296 (runsolver) R 19295 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512051041 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+10.0001 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 1615 0 0 0 994 5 0 0 25 0 1 0 512051041 6897664 1508 4294967295 134512640 135450300 3221224640 3221223248 134537648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1684 1508 231 231 0 1453 0 vsize: 6736 [startup+20.0002 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 1929 0 0 0 1988 11 0 0 25 0 1 0 512051041 9396224 1822 4294967295 134512640 135450300 3221224640 3221222992 134533258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 1822 231 231 0 2063 0 vsize: 9176 [startup+30.0005 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2190 0 0 0 2982 17 0 0 25 0 1 0 512051041 10055680 1986 4294967295 134512640 135450300 3221224640 3221223376 134538898 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2455 1986 231 231 0 2224 0 vsize: 9820 [startup+40.0002 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2248 0 0 0 3977 22 0 0 25 0 1 0 512051041 10326016 2044 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2521 2044 231 231 0 2290 0 vsize: 10084 [startup+50.0002 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2360 0 0 0 4973 26 0 0 25 0 1 0 512051041 10448896 2156 4294967295 134512640 135450300 3221224640 3221223376 134538188 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2551 2156 231 231 0 2320 0 vsize: 10204 [startup+60.0005 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2396 0 0 0 5969 31 0 0 25 0 1 0 512051041 10584064 2192 4294967295 134512640 135450300 3221224640 3221223376 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2584 2192 231 231 0 2353 0 vsize: 10336 [startup+70.0002 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2542 0 0 0 6964 36 0 0 25 0 1 0 512051041 10719232 2338 4294967295 134512640 135450300 3221224640 3221223248 134537761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2617 2338 231 231 0 2386 0 vsize: 10468 [startup+80.0013 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2674 0 0 0 7958 42 0 0 25 0 1 0 512051041 11018240 2470 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2690 2470 231 231 0 2459 0 vsize: 10760 [startup+90.0015 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2711 0 0 0 8955 45 0 0 25 0 1 0 512051041 11018240 2507 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2690 2507 231 231 0 2459 0 vsize: 10760 [startup+100.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2750 0 0 0 9950 50 0 0 25 0 1 0 512051041 11153408 2546 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2723 2546 231 231 0 2492 0 vsize: 10892 [startup+110.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 2782 0 0 0 10946 55 0 0 25 0 1 0 512051041 11296768 2578 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2758 2578 231 231 0 2527 0 vsize: 11032 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3007 0 0 0 11940 60 0 0 25 0 1 0 512051041 12083200 2610 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2950 2610 231 231 0 2719 0 vsize: 11800 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3048 0 0 0 12936 65 0 0 25 0 1 0 512051041 12357632 2651 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3017 2651 231 231 0 2786 0 vsize: 12068 [startup+140.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3085 0 0 0 13931 70 0 0 25 0 1 0 512051041 12357632 2688 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3017 2688 231 231 0 2786 0 vsize: 12068 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3107 0 0 0 14927 74 0 0 25 0 1 0 512051041 12509184 2710 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3054 2710 231 231 0 2823 0 vsize: 12216 [startup+160.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3134 0 0 0 15922 79 0 0 25 0 1 0 512051041 12509184 2737 4294967295 134512640 135450300 3221224640 3221223248 134537684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3054 2737 231 231 0 2823 0 vsize: 12216 [startup+170.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3159 0 0 0 16918 83 0 0 25 0 1 0 512051041 12681216 2762 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3096 2762 231 231 0 2865 0 vsize: 12384 [startup+180.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3186 0 0 0 17914 87 0 0 25 0 1 0 512051041 12681216 2789 4294967295 134512640 135450300 3221224640 3221223376 134538660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3096 2789 231 231 0 2865 0 vsize: 12384 [startup+190.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3209 0 0 0 18911 90 0 0 25 0 1 0 512051041 12808192 2812 4294967295 134512640 135450300 3221224640 3221223376 134538466 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3127 2812 231 231 0 2896 0 vsize: 12508 [startup+200.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3223 0 0 0 19907 95 0 0 25 0 1 0 512051041 12808192 2826 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3127 2826 231 231 0 2896 0 vsize: 12508 [startup+210.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3247 0 0 0 20903 99 0 0 25 0 1 0 512051041 12808192 2850 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3127 2850 231 231 0 2896 0 vsize: 12508 [startup+220.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3269 0 0 0 21899 102 0 0 25 0 1 0 512051041 12808192 2872 4294967295 134512640 135450300 3221224640 3221223248 134537621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3127 2872 231 231 0 2896 0 vsize: 12508 [startup+230.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3357 0 0 0 22894 108 0 0 25 0 1 0 512051041 17162240 2960 4294967295 134512640 135450300 3221224640 3221223376 134538084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4190 2960 231 231 0 3959 0 vsize: 16760 [startup+240.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3395 0 0 0 23889 113 0 0 25 0 1 0 512051041 17162240 2998 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4190 2998 231 231 0 3959 0 vsize: 16760 [startup+250.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3413 0 0 0 24886 116 0 0 25 0 1 0 512051041 17289216 3016 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4221 3016 231 231 0 3990 0 vsize: 16884 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3434 0 0 0 25882 121 0 0 25 0 1 0 512051041 17289216 3037 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4221 3037 231 231 0 3990 0 vsize: 16884 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3454 0 0 0 26878 125 0 0 25 0 1 0 512051041 17289216 3057 4294967295 134512640 135450300 3221224640 3221223516 134529370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4221 3057 231 231 0 3990 0 vsize: 16884 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3468 0 0 0 27873 129 0 0 25 0 1 0 512051041 17424384 3071 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4254 3071 231 231 0 4023 0 vsize: 17016 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3506 0 0 0 28871 132 0 0 25 0 1 0 512051041 17424384 3109 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4254 3109 231 231 0 4023 0 vsize: 17016 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3534 0 0 0 29867 135 0 0 25 0 1 0 512051041 17424384 3137 4294967295 134512640 135450300 3221224640 3221223376 134538739 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4254 3137 231 231 0 4023 0 vsize: 17016 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 3561 0 0 0 30865 138 0 0 25 0 1 0 512051041 17666048 3164 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4313 3164 231 231 0 4082 0 vsize: 17252 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4015 0 0 0 31859 144 0 0 25 0 1 0 512051041 19238912 3233 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4697 3233 231 231 0 4466 0 vsize: 18788 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4041 0 0 0 32855 147 0 0 25 0 1 0 512051041 19238912 3259 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4697 3259 231 231 0 4466 0 vsize: 18788 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4066 0 0 0 33852 151 0 0 25 0 1 0 512051041 19431424 3284 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4744 3284 231 231 0 4513 0 vsize: 18976 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4086 0 0 0 34848 155 0 0 25 0 1 0 512051041 19431424 3304 4294967295 134512640 135450300 3221224640 3221223024 134579461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4744 3304 231 231 0 4513 0 vsize: 18976 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4113 0 0 0 35842 161 0 0 25 0 1 0 512051041 19431424 3331 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4744 3331 231 231 0 4513 0 vsize: 18976 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4127 0 0 0 36839 164 0 0 25 0 1 0 512051041 19431424 3345 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4744 3345 231 231 0 4513 0 vsize: 18976 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4149 0 0 0 37835 168 0 0 25 0 1 0 512051041 19570688 3367 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4778 3367 231 231 0 4547 0 vsize: 19112 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4175 0 0 0 38831 172 0 0 25 0 1 0 512051041 19570688 3393 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4778 3393 231 231 0 4547 0 vsize: 19112 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4189 0 0 0 39826 177 0 0 25 0 1 0 512051041 19570688 3407 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4778 3407 231 231 0 4547 0 vsize: 19112 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4208 0 0 0 40822 181 0 0 25 0 1 0 512051041 19570688 3426 4294967295 134512640 135450300 3221224640 3221223376 134538809 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4778 3426 231 231 0 4547 0 vsize: 19112 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4228 0 0 0 41817 186 0 0 25 0 1 0 512051041 19570688 3446 4294967295 134512640 135450300 3221224640 3221223376 134538809 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4778 3446 231 231 0 4547 0 vsize: 19112 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4255 0 0 0 42813 190 0 0 25 0 1 0 512051041 19845120 3473 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4845 3473 231 231 0 4614 0 vsize: 19380 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4268 0 0 0 43809 194 0 0 25 0 1 0 512051041 19845120 3486 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4845 3486 231 231 0 4614 0 vsize: 19380 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4286 0 0 0 44805 198 0 0 25 0 1 0 512051041 19845120 3504 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4845 3504 231 231 0 4614 0 vsize: 19380 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4311 0 0 0 45801 202 0 0 25 0 1 0 512051041 19845120 3529 4294967295 134512640 135450300 3221224640 3221223376 134538454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4845 3529 231 231 0 4614 0 vsize: 19380 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4410 0 0 0 46798 205 0 0 25 0 1 0 512051041 20004864 3628 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4884 3628 231 231 0 4653 0 vsize: 19536 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4466 0 0 0 47794 209 0 0 25 0 1 0 512051041 20004864 3684 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4884 3684 231 231 0 4653 0 vsize: 19536 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4489 0 0 0 48791 212 0 0 25 0 1 0 512051041 20127744 3707 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4914 3707 231 231 0 4683 0 vsize: 19656 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4503 0 0 0 49786 217 0 0 25 0 1 0 512051041 20127744 3721 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4914 3721 231 231 0 4683 0 vsize: 19656 [startup+510.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4534 0 0 0 50782 221 0 0 25 0 1 0 512051041 20127744 3752 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4914 3752 231 231 0 4683 0 vsize: 19656 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4558 0 0 0 51778 225 0 0 25 0 1 0 512051041 20295680 3776 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4955 3776 231 231 0 4724 0 vsize: 19820 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4582 0 0 0 52775 228 0 0 25 0 1 0 512051041 20430848 3800 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4988 3800 231 231 0 4757 0 vsize: 19952 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4612 0 0 0 53772 231 0 0 25 0 1 0 512051041 20430848 3830 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4988 3830 231 231 0 4757 0 vsize: 19952 [startup+550.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4637 0 0 0 54770 234 0 0 25 0 1 0 512051041 20430848 3855 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4988 3855 231 231 0 4757 0 vsize: 19952 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4657 0 0 0 55765 239 0 0 25 0 1 0 512051041 20566016 3875 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5021 3875 231 231 0 4790 0 vsize: 20084 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4693 0 0 0 56762 242 0 0 25 0 1 0 512051041 20566016 3911 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5021 3911 231 231 0 4790 0 vsize: 20084 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4726 0 0 0 57758 246 0 0 25 0 1 0 512051041 20746240 3944 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5065 3944 231 231 0 4834 0 vsize: 20260 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4756 0 0 0 58754 250 0 0 25 0 1 0 512051041 20869120 3974 4294967295 134512640 135450300 3221224640 3221223376 134538446 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5095 3974 231 231 0 4864 0 vsize: 20380 [startup+600.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4825 0 0 0 59752 253 0 0 25 0 1 0 512051041 20869120 4043 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5095 4043 231 231 0 4864 0 vsize: 20380 [startup+610.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4843 0 0 0 60748 257 0 0 25 0 1 0 512051041 20869120 4061 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5095 4061 231 231 0 4864 0 vsize: 20380 [startup+620.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4870 0 0 0 61744 261 0 0 25 0 1 0 512051041 21057536 4088 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5141 4088 231 231 0 4910 0 vsize: 20564 [startup+630.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4893 0 0 0 62740 265 0 0 25 0 1 0 512051041 21057536 4111 4294967295 134512640 135450300 3221224640 3221223376 134538797 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5141 4111 231 231 0 4910 0 vsize: 20564 [startup+640.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4910 0 0 0 63736 270 0 0 25 0 1 0 512051041 21057536 4128 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5141 4128 231 231 0 4910 0 vsize: 20564 [startup+650.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4923 0 0 0 64732 273 0 0 25 0 1 0 512051041 21057536 4141 4294967295 134512640 135450300 3221224640 3221222992 134533173 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5141 4141 231 231 0 4910 0 vsize: 20564 [startup+660.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4937 0 0 0 65730 276 0 0 25 0 1 0 512051041 21057536 4155 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5141 4155 231 231 0 4910 0 vsize: 20564 [startup+670.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4966 0 0 0 66727 279 0 0 25 0 1 0 512051041 21057536 4184 4294967295 134512640 135450300 3221224640 3221222992 134533196 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5141 4184 231 231 0 4910 0 vsize: 20564 [startup+680.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 4989 0 0 0 67723 283 0 0 25 0 1 0 512051041 21258240 4207 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5190 4207 231 231 0 4959 0 vsize: 20760 [startup+690.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5005 0 0 0 68719 287 0 0 25 0 1 0 512051041 21258240 4223 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5190 4223 231 231 0 4959 0 vsize: 20760 [startup+700.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5026 0 0 0 69715 291 0 0 25 0 1 0 512051041 21258240 4244 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5190 4244 231 231 0 4959 0 vsize: 20760 [startup+710.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5044 0 0 0 70713 294 0 0 25 0 1 0 512051041 21258240 4262 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5190 4262 231 231 0 4959 0 vsize: 20760 [startup+720.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5057 0 0 0 71709 298 0 0 25 0 1 0 512051041 21258240 4275 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5190 4275 231 231 0 4959 0 vsize: 20760 [startup+730.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5070 0 0 0 72705 302 0 0 25 0 1 0 512051041 21471232 4288 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5242 4288 231 231 0 5011 0 vsize: 20968 [startup+740.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5090 0 0 0 73702 305 0 0 25 0 1 0 512051041 21598208 4308 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5273 4308 231 231 0 5042 0 vsize: 21092 [startup+750.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5107 0 0 0 74699 308 0 0 25 0 1 0 512051041 21598208 4325 4294967295 134512640 135450300 3221224640 3221223376 134538451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5273 4325 231 231 0 5042 0 vsize: 21092 [startup+760.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5126 0 0 0 75695 313 0 0 25 0 1 0 512051041 21598208 4344 4294967295 134512640 135450300 3221224640 3221223376 134538222 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5273 4344 231 231 0 5042 0 vsize: 21092 [startup+770.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5911 0 0 0 76689 319 0 0 25 0 1 0 512051041 24743936 4360 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 4360 231 231 0 5810 0 vsize: 24164 [startup+780.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5930 0 0 0 77686 322 0 0 25 0 1 0 512051041 24743936 4379 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 4379 231 231 0 5810 0 vsize: 24164 [startup+790.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5944 0 0 0 78682 326 0 0 25 0 1 0 512051041 24743936 4393 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 4393 231 231 0 5810 0 vsize: 24164 [startup+800.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5966 0 0 0 79679 330 0 0 25 0 1 0 512051041 24969216 4415 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6096 4415 231 231 0 5865 0 vsize: 24384 [startup+810.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 5982 0 0 0 80676 333 0 0 25 0 1 0 512051041 24969216 4431 4294967295 134512640 135450300 3221224640 3221223376 134538515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6096 4431 231 231 0 5865 0 vsize: 24384 [startup+820.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6008 0 0 0 81672 337 0 0 25 0 1 0 512051041 24969216 4457 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6096 4457 231 231 0 5865 0 vsize: 24384 [startup+830.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6025 0 0 0 82667 342 0 0 25 0 1 0 512051041 24969216 4474 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6096 4474 231 231 0 5865 0 vsize: 24384 [startup+840.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6041 0 0 0 83663 346 0 0 25 0 1 0 512051041 24969216 4490 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6096 4490 231 231 0 5865 0 vsize: 24384 [startup+850.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6055 0 0 0 84660 350 0 0 25 0 1 0 512051041 24969216 4504 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6096 4504 231 231 0 5865 0 vsize: 24384 [startup+860.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6074 0 0 0 85656 354 0 0 25 0 1 0 512051041 25210880 4523 4294967295 134512640 135450300 3221224640 3221223376 134538654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4523 231 231 0 5924 0 vsize: 24620 [startup+870.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6095 0 0 0 86653 357 0 0 25 0 1 0 512051041 25210880 4544 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4544 231 231 0 5924 0 vsize: 24620 [startup+880.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6116 0 0 0 87649 361 0 0 25 0 1 0 512051041 25210880 4565 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4565 231 231 0 5924 0 vsize: 24620 [startup+890.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6130 0 0 0 88645 365 0 0 25 0 1 0 512051041 25210880 4579 4294967295 134512640 135450300 3221224640 3221222992 134533185 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4579 231 231 0 5924 0 vsize: 24620 [startup+900.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6141 0 0 0 89641 369 0 0 25 0 1 0 512051041 25210880 4590 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4590 231 231 0 5924 0 vsize: 24620 [startup+910.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6164 0 0 0 90638 373 0 0 25 0 1 0 512051041 25210880 4613 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4613 231 231 0 5924 0 vsize: 24620 [startup+920.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6178 0 0 0 91635 375 0 0 25 0 1 0 512051041 25210880 4627 4294967295 134512640 135450300 3221224640 3221223376 134538727 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4627 231 231 0 5924 0 vsize: 24620 [startup+930.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6195 0 0 0 92631 380 0 0 25 0 1 0 512051041 25210880 4644 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6155 4644 231 231 0 5924 0 vsize: 24620 [startup+940.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6214 0 0 0 93628 383 0 0 25 0 1 0 512051041 25468928 4663 4294967295 134512640 135450300 3221224640 3221222992 134533275 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6218 4663 231 231 0 5987 0 vsize: 24872 [startup+950.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6237 0 0 0 94625 386 0 0 25 0 1 0 512051041 25468928 4686 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6218 4686 231 231 0 5987 0 vsize: 24872 [startup+960.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6253 0 0 0 95621 391 0 0 25 0 1 0 512051041 25468928 4702 4294967295 134512640 135450300 3221224640 3221223376 134538245 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6218 4702 231 231 0 5987 0 vsize: 24872 [startup+970.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6267 0 0 0 96618 393 0 0 25 0 1 0 512051041 25595904 4716 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4716 231 231 0 6018 0 vsize: 24996 [startup+980.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6290 0 0 0 97615 397 0 0 25 0 1 0 512051041 25595904 4739 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4739 231 231 0 6018 0 vsize: 24996 [startup+990.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6306 0 0 0 98611 401 0 0 25 0 1 0 512051041 25595904 4755 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4755 231 231 0 6018 0 vsize: 24996 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19296 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6328 0 0 0 99608 404 0 0 25 0 1 0 512051041 25595904 4777 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4777 231 231 0 6018 0 vsize: 24996 [startup+1010.41 s] Raw data (loadavg): 1.07 0.99 0.91 3/57 19337 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6343 0 0 0 100644 408 0 0 25 0 1 0 512051041 25866240 4792 4294967295 134512640 135450300 3221224640 3221223520 134580115 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4792 231 231 0 6084 0 vsize: 25260 [startup+1020.41 s] Raw data (loadavg): 1.30 1.04 0.93 2/54 19349 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6357 0 0 0 101640 412 0 0 25 0 1 0 512051041 25866240 4806 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4806 231 231 0 6084 0 vsize: 25260 [startup+1030.41 s] Raw data (loadavg): 1.25 1.03 0.93 2/54 19349 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6376 0 0 0 102637 415 0 0 25 0 1 0 512051041 25866240 4825 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4825 231 231 0 6084 0 vsize: 25260 [startup+1040.41 s] Raw data (loadavg): 1.21 1.03 0.93 2/54 19349 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6397 0 0 0 103634 419 0 0 25 0 1 0 512051041 25866240 4846 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4846 231 231 0 6084 0 vsize: 25260 [startup+1050.41 s] Raw data (loadavg): 1.18 1.03 0.93 2/54 19349 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6408 0 0 0 104631 422 0 0 25 0 1 0 512051041 25866240 4857 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4857 231 231 0 6084 0 vsize: 25260 [startup+1060.41 s] Raw data (loadavg): 1.15 1.03 0.93 2/54 19349 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6429 0 0 0 105627 425 0 0 25 0 1 0 512051041 25866240 4878 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4878 231 231 0 6084 0 vsize: 25260 [startup+1070.41 s] Raw data (loadavg): 1.13 1.03 0.93 2/54 19349 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6447 0 0 0 106624 428 0 0 25 0 1 0 512051041 25866240 4896 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4896 231 231 0 6084 0 vsize: 25260 [startup+1080.41 s] Raw data (loadavg): 1.11 1.03 0.93 2/54 19349 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6464 0 0 0 107621 432 0 0 25 0 1 0 512051041 25866240 4913 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4913 231 231 0 6084 0 vsize: 25260 [startup+1090.41 s] Raw data (loadavg): 1.09 1.03 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6481 0 0 0 108617 436 0 0 25 0 1 0 512051041 25866240 4930 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4930 231 231 0 6084 0 vsize: 25260 [startup+1100.41 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6494 0 0 0 109614 439 0 0 25 0 1 0 512051041 25866240 4943 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 4943 231 231 0 6084 0 vsize: 25260 [startup+1110.41 s] Raw data (loadavg): 1.06 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6510 0 0 0 110611 443 0 0 25 0 1 0 512051041 26157056 4959 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6386 4959 231 231 0 6155 0 vsize: 25544 [startup+1120.41 s] Raw data (loadavg): 1.05 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6540 0 0 0 111607 447 0 0 25 0 1 0 512051041 26157056 4989 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6386 4989 231 231 0 6155 0 vsize: 25544 [startup+1130.41 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6563 0 0 0 112604 450 0 0 25 0 1 0 512051041 26284032 5012 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6417 5012 231 231 0 6186 0 vsize: 25668 [startup+1140.41 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6577 0 0 0 113601 453 0 0 25 0 1 0 512051041 26284032 5026 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6417 5026 231 231 0 6186 0 vsize: 25668 [startup+1150.41 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6613 0 0 0 114599 456 0 0 25 0 1 0 512051041 26284032 5062 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6417 5062 231 231 0 6186 0 vsize: 25668 [startup+1160.41 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6629 0 0 0 115595 459 0 0 25 0 1 0 512051041 26284032 5078 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6417 5078 231 231 0 6186 0 vsize: 25668 [startup+1170.41 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6653 0 0 0 116592 463 0 0 25 0 1 0 512051041 26284032 5102 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6417 5102 231 231 0 6186 0 vsize: 25668 [startup+1180.41 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6678 0 0 0 117589 466 0 0 25 0 1 0 512051041 26284032 5127 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6417 5127 231 231 0 6186 0 vsize: 25668 [startup+1190.41 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6700 0 0 0 118585 470 0 0 25 0 1 0 512051041 26591232 5149 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6492 5149 231 231 0 6261 0 vsize: 25968 [startup+1200.41 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 19351 Raw data (stat): 19296 (PBS4) R 19295 22612 22611 0 -1 0 6724 0 0 0 119582 473 0 0 25 0 1 0 512051041 26591232 5173 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6492 5173 231 231 0 6261 0 vsize: 25968 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.42 s] Raw data (loadavg): 1.01 1.02 0.93 1/54 19351 Raw data (stat): 19296 (PBS4) Z 19295 22612 22611 0 -1 1036 6724 0 0 0 119582 474 0 0 25 0 1 0 512051041 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.42 CPU time (s): 1200.57 CPU user time (s): 1195.82 CPU system time (s): 4.74928 CPU usage (%): 100.012 Max. virtual memory (Kb): 25968 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####