Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-berlin_5_8_0.opb |
MD5SUM | 96d7d5bfca5320061ed7cb61443916ee |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7936 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 68 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1054719 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 128000000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 268497406 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.04 |
Number of variables | 8590 |
Total number of constraints | 2614 |
Number of constraints which are clauses | 309 |
Number of constraints which are cardinality constraints (but not clauses) | 794 |
Number of constraints which are nor clauses,nor cardinality constraints | 1511 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 55 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-20 22:30:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19922 boxname=wulflinc17 idbench=1533 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 96d7d5bfca5320061ed7cb61443916ee /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-berlin_5_8_0.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-berlin_5_8_0.opb IDLAUNCH: 19922 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 686032 kB Buffers: 33268 kB Cached: 282816 kB SwapCached: 48 kB Active: 77236 kB Inactive: 241908 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 685780 kB SwapTotal: 2097892 kB SwapFree: 2097840 kB Dirty: 52 kB Writeback: 0 kB Mapped: 7032 kB Slab: 23864 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-20 22:50:23 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 19922 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-berlin_5_8_0.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.93 0.95 0.90 2/55 17343 Raw data (stat): 17343 (runsolver) R 17342 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540059962 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+9.99957 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 1298 0 0 0 992 6 0 0 25 0 1 0 540059962 7016448 1294 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1713 1294 231 231 0 1482 0 vsize: 6852 [startup+19.9997 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 1736 0 0 0 1990 9 0 0 25 0 1 0 540059962 9416704 1732 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2299 1732 231 231 0 2068 0 vsize: 9196 [startup+29.9997 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 1993 0 0 0 2986 13 0 0 25 0 1 0 540059962 10059776 1940 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2456 1940 231 231 0 2225 0 vsize: 9824 [startup+40.0004 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2106 0 0 0 3982 16 0 0 25 0 1 0 540059962 10412032 2053 4294967295 134512640 135450300 3221224624 3221222976 134533182 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2542 2053 231 231 0 2311 0 vsize: 10168 [startup+50.0006 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2200 0 0 0 4980 19 0 0 25 0 1 0 540059962 10760192 2147 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2627 2147 231 231 0 2396 0 vsize: 10508 [startup+60.0006 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2231 0 0 0 5979 20 0 0 25 0 1 0 540059962 10833920 2178 4294967295 134512640 135450300 3221224624 3221223360 134538245 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2645 2178 231 231 0 2414 0 vsize: 10580 [startup+70.0012 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2266 0 0 0 6977 22 0 0 25 0 1 0 540059962 10928128 2213 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2668 2213 231 231 0 2437 0 vsize: 10672 [startup+80.0017 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2372 0 0 0 7975 24 0 0 25 0 1 0 540059962 11141120 2319 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2720 2319 231 231 0 2489 0 vsize: 10880 [startup+90.0024 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2541 0 0 0 8973 26 0 0 25 0 1 0 540059962 11608064 2391 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2834 2391 231 231 0 2603 0 vsize: 11336 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2671 0 0 0 9971 28 0 0 25 0 1 0 540059962 11702272 2521 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2857 2521 231 231 0 2626 0 vsize: 11428 [startup+110.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2715 0 0 0 10970 30 0 0 25 0 1 0 540059962 11927552 2565 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2912 2565 231 231 0 2681 0 vsize: 11648 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2757 0 0 0 11968 31 0 0 25 0 1 0 540059962 12054528 2607 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2943 2607 231 231 0 2712 0 vsize: 11772 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2797 0 0 0 12965 34 0 0 25 0 1 0 540059962 12120064 2647 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2959 2647 231 231 0 2728 0 vsize: 11836 [startup+140.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2816 0 0 0 13963 37 0 0 25 0 1 0 540059962 12189696 2666 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2976 2666 231 231 0 2745 0 vsize: 11904 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2857 0 0 0 14961 39 0 0 25 0 1 0 540059962 12369920 2707 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3020 2707 231 231 0 2789 0 vsize: 12080 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2890 0 0 0 15959 41 0 0 25 0 1 0 540059962 12472320 2740 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3045 2740 231 231 0 2814 0 vsize: 12180 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 2973 0 0 0 16958 43 0 0 25 0 1 0 540059962 16666624 2823 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4069 2823 231 231 0 3838 0 vsize: 16276 [startup+180.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3057 0 0 0 17955 45 0 0 25 0 1 0 540059962 16736256 2907 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4086 2907 231 231 0 3855 0 vsize: 16344 [startup+190.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3095 0 0 0 18953 48 0 0 25 0 1 0 540059962 16822272 2945 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4107 2945 231 231 0 3876 0 vsize: 16428 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3232 0 0 0 19951 49 0 0 25 0 1 0 540059962 16916480 3082 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4130 3082 231 231 0 3899 0 vsize: 16520 [startup+210.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3325 0 0 0 20949 52 0 0 25 0 1 0 540059962 16998400 3175 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4150 3175 231 231 0 3919 0 vsize: 16600 [startup+220.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3552 0 0 0 21947 54 0 0 25 0 1 0 540059962 17928192 3209 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4377 3209 231 231 0 4146 0 vsize: 17508 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17343 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3594 0 0 0 22946 55 0 0 25 0 1 0 540059962 17928192 3251 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4377 3251 231 231 0 4146 0 vsize: 17508 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3618 0 0 0 23944 58 0 0 25 0 1 0 540059962 17997824 3275 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3275 231 231 0 4163 0 vsize: 17576 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3630 0 0 0 24942 60 0 0 25 0 1 0 540059962 17997824 3287 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3287 231 231 0 4163 0 vsize: 17576 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3729 0 0 0 25940 62 0 0 25 0 1 0 540059962 18087936 3386 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4416 3386 231 231 0 4185 0 vsize: 17664 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3765 0 0 0 26939 63 0 0 25 0 1 0 540059962 18219008 3422 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4448 3422 231 231 0 4217 0 vsize: 17792 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3844 0 0 0 27937 65 0 0 25 0 1 0 540059962 18219008 3501 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4448 3501 231 231 0 4217 0 vsize: 17792 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3950 0 0 0 28936 66 0 0 25 0 1 0 540059962 18305024 3607 4294967295 134512640 135450300 3221224624 3221223344 134535786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4469 3607 231 231 0 4238 0 vsize: 17876 [startup+300.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 3991 0 0 0 29934 68 0 0 25 0 1 0 540059962 18444288 3648 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4503 3648 231 231 0 4272 0 vsize: 18012 [startup+310.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4015 0 0 0 30933 70 0 0 25 0 1 0 540059962 18513920 3672 4294967295 134512640 135450300 3221224624 3221223552 134539624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4520 3672 231 231 0 4289 0 vsize: 18080 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4097 0 0 0 31931 72 0 0 25 0 1 0 540059962 18649088 3754 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4553 3754 231 231 0 4322 0 vsize: 18212 [startup+330.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4131 0 0 0 32929 75 0 0 25 0 1 0 540059962 18649088 3788 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4553 3788 231 231 0 4322 0 vsize: 18212 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4155 0 0 0 33927 76 0 0 25 0 1 0 540059962 18726912 3812 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4572 3812 231 231 0 4341 0 vsize: 18288 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4211 0 0 0 34926 78 0 0 25 0 1 0 540059962 18726912 3868 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4572 3868 231 231 0 4341 0 vsize: 18288 [startup+360.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4243 0 0 0 35924 80 0 0 25 0 1 0 540059962 18833408 3900 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4598 3900 231 231 0 4367 0 vsize: 18392 [startup+370.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4331 0 0 0 36923 81 0 0 25 0 1 0 540059962 18833408 3988 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4598 3988 231 231 0 4367 0 vsize: 18392 [startup+380.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4382 0 0 0 37921 83 0 0 25 0 1 0 540059962 18919424 4039 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4619 4039 231 231 0 4388 0 vsize: 18476 [startup+390.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4407 0 0 0 38920 85 0 0 25 0 1 0 540059962 18919424 4064 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4619 4064 231 231 0 4388 0 vsize: 18476 [startup+400.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4489 0 0 0 39919 86 0 0 25 0 1 0 540059962 18919424 4146 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4619 4146 231 231 0 4388 0 vsize: 18476 [startup+410.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4601 0 0 0 40916 88 0 0 25 0 1 0 540059962 19025920 4258 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4645 4258 231 231 0 4414 0 vsize: 18580 [startup+420.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4671 0 0 0 41915 90 0 0 25 0 1 0 540059962 19103744 4328 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4664 4328 231 231 0 4433 0 vsize: 18656 [startup+430.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4808 0 0 0 42913 92 0 0 25 0 1 0 540059962 27619328 4465 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6743 4465 231 231 0 6512 0 vsize: 26972 [startup+440.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 4936 0 0 0 43911 94 0 0 25 0 1 0 540059962 27697152 4593 4294967295 134512640 135450300 3221224624 3221223232 134537616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6762 4593 231 231 0 6531 0 vsize: 27048 [startup+450.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5016 0 0 0 44910 96 0 0 25 0 1 0 540059962 27774976 4673 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6781 4673 231 231 0 6550 0 vsize: 27124 [startup+460.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5025 0 0 0 45908 98 0 0 25 0 1 0 540059962 27774976 4682 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6781 4682 231 231 0 6550 0 vsize: 27124 [startup+470.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5174 0 0 0 46905 101 0 0 25 0 1 0 540059962 27873280 4831 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6805 4831 231 231 0 6574 0 vsize: 27220 [startup+480.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5274 0 0 0 47904 102 0 0 25 0 1 0 540059962 28000256 4931 4294967295 134512640 135450300 3221224624 3221223360 134538788 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6836 4931 231 231 0 6605 0 vsize: 27344 [startup+490.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5285 0 0 0 48904 103 0 0 25 0 1 0 540059962 28000256 4942 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6836 4942 231 231 0 6605 0 vsize: 27344 [startup+500.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5303 0 0 0 49903 104 0 0 25 0 1 0 540059962 28069888 4960 4294967295 134512640 135450300 3221224624 3221223360 134538651 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6853 4960 231 231 0 6622 0 vsize: 27412 [startup+510.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5318 0 0 0 50900 106 0 0 25 0 1 0 540059962 28069888 4975 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6853 4975 231 231 0 6622 0 vsize: 27412 [startup+520.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5331 0 0 0 51899 108 0 0 25 0 1 0 540059962 28135424 4988 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6869 4988 231 231 0 6638 0 vsize: 27476 [startup+530.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17345 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5727 0 0 0 52897 110 0 0 25 0 1 0 540059962 29708288 4999 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7253 4999 231 231 0 7022 0 vsize: 29012 [startup+540.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5746 0 0 0 53896 112 0 0 25 0 1 0 540059962 29708288 5018 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7253 5018 231 231 0 7022 0 vsize: 29012 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5755 0 0 0 54894 114 0 0 25 0 1 0 540059962 29708288 5027 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7253 5027 231 231 0 7022 0 vsize: 29012 [startup+560.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5785 0 0 0 55892 115 0 0 25 0 1 0 540059962 29843456 5057 4294967295 134512640 135450300 3221224624 3221223376 135068574 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7286 5057 231 231 0 7055 0 vsize: 29144 [startup+570.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5821 0 0 0 56890 118 0 0 25 0 1 0 540059962 29978624 5093 4294967295 134512640 135450300 3221224624 3221223344 134535562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7319 5093 231 231 0 7088 0 vsize: 29276 [startup+580.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5831 0 0 0 57889 119 0 0 25 0 1 0 540059962 30056448 5103 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7338 5103 231 231 0 7107 0 vsize: 29352 [startup+590.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 5905 0 0 0 58888 121 0 0 25 0 1 0 540059962 30056448 5177 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7338 5177 231 231 0 7107 0 vsize: 29352 [startup+600.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6033 0 0 0 59887 122 0 0 25 0 1 0 540059962 30142464 5305 4294967295 134512640 135450300 3221224624 3221223460 134538632 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7359 5305 231 231 0 7128 0 vsize: 29436 [startup+610.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6116 0 0 0 60885 123 0 0 25 0 1 0 540059962 30244864 5388 4294967295 134512640 135450300 3221224624 3221223232 134537672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7384 5388 231 231 0 7153 0 vsize: 29536 [startup+620.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6125 0 0 0 61884 125 0 0 25 0 1 0 540059962 30244864 5397 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7384 5397 231 231 0 7153 0 vsize: 29536 [startup+630.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6246 0 0 0 62882 127 0 0 25 0 1 0 540059962 30330880 5518 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7405 5518 231 231 0 7174 0 vsize: 29620 [startup+640.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6318 0 0 0 63881 128 0 0 25 0 1 0 540059962 30330880 5590 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7405 5590 231 231 0 7174 0 vsize: 29620 [startup+650.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6329 0 0 0 64878 131 0 0 25 0 1 0 540059962 30330880 5601 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7405 5601 231 231 0 7174 0 vsize: 29620 [startup+660.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6342 0 0 0 65875 134 0 0 25 0 1 0 540059962 30330880 5614 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7405 5614 231 231 0 7174 0 vsize: 29620 [startup+670.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6384 0 0 0 66873 137 0 0 25 0 1 0 540059962 30523392 5656 4294967295 134512640 135450300 3221224624 3221222900 135070702 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7452 5656 231 231 0 7221 0 vsize: 29808 [startup+680.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6401 0 0 0 67872 138 0 0 25 0 1 0 540059962 30658560 5673 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7485 5673 231 231 0 7254 0 vsize: 29940 [startup+690.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6411 0 0 0 68870 140 0 0 25 0 1 0 540059962 30658560 5683 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7485 5683 231 231 0 7254 0 vsize: 29940 [startup+700.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6549 0 0 0 69868 142 0 0 25 0 1 0 540059962 30724096 5821 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7501 5821 231 231 0 7270 0 vsize: 30004 [startup+710.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6633 0 0 0 70866 144 0 0 25 0 1 0 540059962 30724096 5905 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7501 5905 231 231 0 7270 0 vsize: 30004 [startup+720.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6646 0 0 0 71863 147 0 0 25 0 1 0 540059962 30810112 5918 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7522 5918 231 231 0 7291 0 vsize: 30088 [startup+730.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6667 0 0 0 72862 149 0 0 25 0 1 0 540059962 30810112 5939 4294967295 134512640 135450300 3221224624 3221223280 134532964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7522 5939 231 231 0 7291 0 vsize: 30088 [startup+740.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6761 0 0 0 73860 150 0 0 25 0 1 0 540059962 30896128 6033 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7543 6033 231 231 0 7312 0 vsize: 30172 [startup+750.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6824 0 0 0 74858 153 0 0 25 0 1 0 540059962 30896128 6096 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7543 6096 231 231 0 7312 0 vsize: 30172 [startup+760.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6859 0 0 0 75857 154 0 0 25 0 1 0 540059962 31113216 6131 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7596 6131 231 231 0 7365 0 vsize: 30384 [startup+770.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 6921 0 0 0 76855 157 0 0 25 0 1 0 540059962 31113216 6193 4294967295 134512640 135450300 3221224624 3221223232 134537667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7596 6193 231 231 0 7365 0 vsize: 30384 [startup+780.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7017 0 0 0 77854 157 0 0 25 0 1 0 540059962 31113216 6289 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7596 6289 231 231 0 7365 0 vsize: 30384 [startup+790.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7059 0 0 0 78853 159 0 0 25 0 1 0 540059962 31191040 6331 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7615 6331 231 231 0 7384 0 vsize: 30460 [startup+800.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7098 0 0 0 79852 160 0 0 25 0 1 0 540059962 31191040 6370 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7615 6370 231 231 0 7384 0 vsize: 30460 [startup+810.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7111 0 0 0 80851 162 0 0 25 0 1 0 540059962 31330304 6383 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7649 6383 231 231 0 7418 0 vsize: 30596 [startup+820.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7164 0 0 0 81849 163 0 0 25 0 1 0 540059962 31330304 6436 4294967295 134512640 135450300 3221224624 3221223440 134547177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7649 6436 231 231 0 7418 0 vsize: 30596 [startup+830.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17347 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7173 0 0 0 82848 165 0 0 25 0 1 0 540059962 31330304 6445 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7649 6445 231 231 0 7418 0 vsize: 30596 [startup+840.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7186 0 0 0 83845 167 0 0 25 0 1 0 540059962 31481856 6458 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7686 6458 231 231 0 7455 0 vsize: 30744 [startup+850.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7200 0 0 0 84843 170 0 0 25 0 1 0 540059962 31481856 6472 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7686 6472 231 231 0 7455 0 vsize: 30744 [startup+860.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7226 0 0 0 85842 172 0 0 25 0 1 0 540059962 31559680 6498 4294967295 134512640 135450300 3221224624 3221223340 134537787 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7705 6498 231 231 0 7474 0 vsize: 30820 [startup+870.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7239 0 0 0 86840 173 0 0 25 0 1 0 540059962 31559680 6511 4294967295 134512640 135450300 3221224624 3221222976 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7705 6511 231 231 0 7474 0 vsize: 30820 [startup+880.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7248 0 0 0 87839 175 0 0 25 0 1 0 540059962 31559680 6520 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7705 6520 231 231 0 7474 0 vsize: 30820 [startup+890.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7258 0 0 0 88838 176 0 0 25 0 1 0 540059962 31559680 6530 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7705 6530 231 231 0 7474 0 vsize: 30820 [startup+900.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7268 0 0 0 89836 177 0 0 25 0 1 0 540059962 31559680 6540 4294967295 134512640 135450300 3221224624 3221223440 134537300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7705 6540 231 231 0 7474 0 vsize: 30820 [startup+910.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7288 0 0 0 90836 178 0 0 25 0 1 0 540059962 31789056 6560 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7761 6560 231 231 0 7530 0 vsize: 31044 [startup+920.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7299 0 0 0 91834 180 0 0 25 0 1 0 540059962 31789056 6571 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7761 6571 231 231 0 7530 0 vsize: 31044 [startup+930.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7319 0 0 0 92834 181 0 0 25 0 1 0 540059962 31789056 6591 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7761 6591 231 231 0 7530 0 vsize: 31044 [startup+940.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7330 0 0 0 93833 182 0 0 25 0 1 0 540059962 31862784 6602 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7779 6602 231 231 0 7548 0 vsize: 31116 [startup+950.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7374 0 0 0 94831 184 0 0 25 0 1 0 540059962 31862784 6646 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7779 6646 231 231 0 7548 0 vsize: 31116 [startup+960.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7456 0 0 0 95829 186 0 0 25 0 1 0 540059962 31862784 6728 4294967295 134512640 135450300 3221224624 3221223360 134538721 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7779 6728 231 231 0 7548 0 vsize: 31116 [startup+970.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7469 0 0 0 96828 187 0 0 25 0 1 0 540059962 31932416 6741 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7796 6741 231 231 0 7565 0 vsize: 31184 [startup+980.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7562 0 0 0 97828 188 0 0 25 0 1 0 540059962 31932416 6834 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7796 6834 231 231 0 7565 0 vsize: 31184 [startup+990.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7638 0 0 0 98826 190 0 0 25 0 1 0 540059962 31932416 6910 4294967295 134512640 135450300 3221224624 3221223232 134537662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7796 6910 231 231 0 7565 0 vsize: 31184 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7676 0 0 0 99826 190 0 0 25 0 1 0 540059962 32006144 6948 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7814 6948 231 231 0 7583 0 vsize: 31256 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7781 0 0 0 100824 192 0 0 25 0 1 0 540059962 32006144 7053 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7814 7053 231 231 0 7583 0 vsize: 31256 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7876 0 0 0 101823 193 0 0 25 0 1 0 540059962 32006144 7148 4294967295 134512640 135450300 3221224624 3221222976 134533246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7814 7148 231 231 0 7583 0 vsize: 31256 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 7994 0 0 0 102822 195 0 0 25 0 1 0 540059962 32079872 7266 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7832 7266 231 231 0 7601 0 vsize: 31328 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8013 0 0 0 103820 196 0 0 25 0 1 0 540059962 32247808 7285 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7873 7285 231 231 0 7642 0 vsize: 31492 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8026 0 0 0 104820 197 0 0 25 0 1 0 540059962 32247808 7298 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7873 7298 231 231 0 7642 0 vsize: 31492 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8040 0 0 0 105819 198 0 0 25 0 1 0 540059962 32329728 7312 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7893 7312 231 231 0 7662 0 vsize: 31572 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8067 0 0 0 106818 199 0 0 25 0 1 0 540059962 32329728 7339 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7893 7339 231 231 0 7662 0 vsize: 31572 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8094 0 0 0 107816 202 0 0 25 0 1 0 540059962 32444416 7366 4294967295 134512640 135450300 3221224624 3221223440 134546531 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7921 7366 231 231 0 7690 0 vsize: 31684 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8101 0 0 0 108815 203 0 0 25 0 1 0 540059962 32444416 7373 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7921 7373 231 231 0 7690 0 vsize: 31684 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8107 0 0 0 109814 204 0 0 25 0 1 0 540059962 32444416 7379 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7921 7379 231 231 0 7690 0 vsize: 31684 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8146 0 0 0 110812 206 0 0 25 0 1 0 540059962 32444416 7418 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7921 7418 231 231 0 7690 0 vsize: 31684 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8183 0 0 0 111811 207 0 0 25 0 1 0 540059962 32444416 7455 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7921 7455 231 231 0 7690 0 vsize: 31684 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17349 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8282 0 0 0 112809 209 0 0 25 0 1 0 540059962 32894976 7554 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8031 7554 231 231 0 7800 0 vsize: 32124 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17351 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8292 0 0 0 113808 210 0 0 25 0 1 0 540059962 32894976 7564 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8031 7564 231 231 0 7800 0 vsize: 32124 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17351 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8314 0 0 0 114807 212 0 0 25 0 1 0 540059962 32894976 7586 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8031 7586 231 231 0 7800 0 vsize: 32124 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17351 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8322 0 0 0 115806 213 0 0 25 0 1 0 540059962 32894976 7594 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8031 7594 231 231 0 7800 0 vsize: 32124 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17351 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8331 0 0 0 116805 214 0 0 25 0 1 0 540059962 32894976 7603 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8031 7603 231 231 0 7800 0 vsize: 32124 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17351 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8341 0 0 0 117804 215 0 0 25 0 1 0 540059962 33099776 7613 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8081 7613 231 231 0 7850 0 vsize: 32324 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17351 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8349 0 0 0 118803 217 0 0 25 0 1 0 540059962 33099776 7621 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8081 7621 231 231 0 7850 0 vsize: 32324 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17351 Raw data (stat): 17343 (PBS4) R 17342 20838 20837 0 -1 0 8361 0 0 0 119802 218 0 0 25 0 1 0 540059962 33099776 7633 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8081 7633 231 231 0 7850 0 vsize: 32324 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 17351 Raw data (stat): 17343 (PBS4) Z 17342 20838 20837 0 -1 1036 8361 0 0 0 119802 220 0 0 25 0 1 0 540059962 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.02 CPU time (s): 1200.22 CPU user time (s): 1198.02 CPU system time (s): 2.20067 CPU usage (%): 100.017 Max. virtual memory (Kb): 32324 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####