Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | ec9eb8bc5f0ce888f87dfc271da55db8 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -5109 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.05 |
Number of variables | 11247 |
Total number of constraints | 19739 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 15744 |
Number of constraints which are nor clauses,nor cardinality constraints | 3918 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 68 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-22 00:46:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12798 boxname=wulflinc31 idbench=985 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: ec9eb8bc5f0ce888f87dfc271da55db8 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-mzzv11.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-mzzv11.opb IDLAUNCH: 12798 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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: 712424 kB Buffers: 22944 kB Cached: 274316 kB SwapCached: 580 kB Active: 68068 kB Inactive: 231084 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 712172 kB SwapTotal: 2097892 kB SwapFree: 2096356 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5024 kB Slab: 17492 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-22 01:06:50 (client local time) WITH STATUS 0 IN 1201.29 SECONDS stats: 12798 7 1201.29 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-mzzv11.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.76 0.92 0.90 2/54 6978 Raw data (stat): 6978 (runsolver) R 6977 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549497541 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.0014 s] Raw data (loadavg): 0.80 0.93 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2073 0 0 0 990 9 0 0 25 0 1 0 549497541 8888320 1911 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2170 1911 231 231 0 1939 0 vsize: 8680 [startup+20.0023 s] Raw data (loadavg): 0.83 0.93 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2242 0 0 0 1986 13 0 0 25 0 1 0 549497541 9756672 2080 4294967295 134512640 135450300 3221224624 3221223552 134539673 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2382 2080 231 231 0 2151 0 vsize: 9528 [startup+30.0028 s] Raw data (loadavg): 0.85 0.93 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2353 0 0 0 2983 16 0 0 25 0 1 0 549497541 10575872 2191 4294967295 134512640 135450300 3221224624 3221223456 134549656 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2582 2191 231 231 0 2351 0 vsize: 10328 [startup+40.0032 s] Raw data (loadavg): 0.88 0.93 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2459 0 0 0 3979 20 0 0 25 0 1 0 549497541 10866688 2297 4294967295 134512640 135450300 3221224624 3221223484 134539290 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2653 2297 231 231 0 2422 0 vsize: 10612 [startup+50.0039 s] Raw data (loadavg): 0.89 0.93 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2598 0 0 0 4975 25 0 0 25 0 1 0 549497541 11063296 2387 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2701 2387 231 231 0 2470 0 vsize: 10804 [startup+60.0045 s] Raw data (loadavg): 0.91 0.94 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2679 0 0 0 5971 28 0 0 25 0 1 0 549497541 12259328 2468 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2993 2468 231 231 0 2762 0 vsize: 11972 [startup+70.0048 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2812 0 0 0 6968 32 0 0 25 0 1 0 549497541 12627968 2601 4294967295 134512640 135450300 3221224624 3221223360 134538023 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3083 2601 231 231 0 2852 0 vsize: 12332 [startup+80.0047 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 2937 0 0 0 7965 35 0 0 25 0 1 0 549497541 12767232 2726 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3117 2726 231 231 0 2886 0 vsize: 12468 [startup+90.0053 s] Raw data (loadavg): 0.94 0.94 0.90 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3010 0 0 0 8960 40 0 0 25 0 1 0 549497541 12906496 2799 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2799 231 231 0 2920 0 vsize: 12604 [startup+100.006 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3184 0 0 0 9955 45 0 0 25 0 1 0 549497541 13299712 2876 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3247 2876 231 231 0 3016 0 vsize: 12988 [startup+110.006 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3258 0 0 0 10953 48 0 0 25 0 1 0 549497541 15544320 2950 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3795 2950 231 231 0 3564 0 vsize: 15180 [startup+120.007 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3344 0 0 0 11950 51 0 0 25 0 1 0 549497541 15753216 3036 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3846 3036 231 231 0 3615 0 vsize: 15384 [startup+130.007 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3398 0 0 0 12946 55 0 0 25 0 1 0 549497541 15753216 3090 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3846 3090 231 231 0 3615 0 vsize: 15384 [startup+140.008 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3446 0 0 0 13943 58 0 0 25 0 1 0 549497541 15753216 3138 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3846 3138 231 231 0 3615 0 vsize: 15384 [startup+150.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3504 0 0 0 14941 61 0 0 25 0 1 0 549497541 15867904 3196 4294967295 134512640 135450300 3221224624 3221222976 134533252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 3196 231 231 0 3643 0 vsize: 15496 [startup+160.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3517 0 0 0 15938 64 0 0 25 0 1 0 549497541 15867904 3209 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3874 3209 231 231 0 3643 0 vsize: 15496 [startup+170.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3556 0 0 0 16935 66 0 0 25 0 1 0 549497541 15982592 3248 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3902 3248 231 231 0 3671 0 vsize: 15608 [startup+180.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3565 0 0 0 17932 70 0 0 25 0 1 0 549497541 15982592 3257 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3902 3257 231 231 0 3671 0 vsize: 15608 [startup+190.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3577 0 0 0 18930 72 0 0 25 0 1 0 549497541 15982592 3269 4294967295 134512640 135450300 3221224624 3221223360 134538020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3902 3269 231 231 0 3671 0 vsize: 15608 [startup+200.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3622 0 0 0 19928 74 0 0 25 0 1 0 549497541 16142336 3314 4294967295 134512640 135450300 3221224624 3221222724 134615676 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3941 3314 231 231 0 3710 0 vsize: 15764 [startup+210.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3698 0 0 0 20926 77 0 0 25 0 1 0 549497541 16265216 3390 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3971 3390 231 231 0 3740 0 vsize: 15884 [startup+220.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3733 0 0 0 21923 80 0 0 25 0 1 0 549497541 16314368 3425 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3983 3425 231 231 0 3752 0 vsize: 15932 [startup+230.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 3990 0 0 0 22920 82 0 0 25 0 1 0 549497541 17100800 3489 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4175 3489 231 231 0 3944 0 vsize: 16700 [startup+240.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4044 0 0 0 23918 85 0 0 25 0 1 0 549497541 17145856 3543 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4186 3543 231 231 0 3955 0 vsize: 16744 [startup+250.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4092 0 0 0 24916 88 0 0 25 0 1 0 549497541 17145856 3591 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4186 3591 231 231 0 3955 0 vsize: 16744 [startup+260.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4146 0 0 0 25913 91 0 0 25 0 1 0 549497541 17248256 3645 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4211 3645 231 231 0 3980 0 vsize: 16844 [startup+270.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4163 0 0 0 26910 94 0 0 25 0 1 0 549497541 17248256 3662 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4211 3662 231 231 0 3980 0 vsize: 16844 [startup+280.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4207 0 0 0 27908 96 0 0 25 0 1 0 549497541 17248256 3706 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4211 3706 231 231 0 3980 0 vsize: 16844 [startup+290.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4259 0 0 0 28906 99 0 0 25 0 1 0 549497541 17248256 3758 4294967295 134512640 135450300 3221224624 3221223440 134546477 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4211 3758 231 231 0 3980 0 vsize: 16844 [startup+300.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4326 0 0 0 29903 102 0 0 25 0 1 0 549497541 17358848 3825 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4238 3825 231 231 0 4007 0 vsize: 16952 [startup+310.021 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4388 0 0 0 30902 104 0 0 25 0 1 0 549497541 21667840 3887 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5290 3887 231 231 0 5059 0 vsize: 21160 [startup+320.027 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4475 0 0 0 31900 106 0 0 25 0 1 0 549497541 21729280 3974 4294967295 134512640 135450300 3221224624 3221223360 134538415 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5305 3974 231 231 0 5074 0 vsize: 21220 [startup+330.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4531 0 0 0 32899 108 0 0 25 0 1 0 549497541 21729280 4030 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5305 4030 231 231 0 5074 0 vsize: 21220 [startup+340.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4571 0 0 0 33896 111 0 0 25 0 1 0 549497541 21729280 4070 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5305 4070 231 231 0 5074 0 vsize: 21220 [startup+350.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4626 0 0 0 34893 114 0 0 25 0 1 0 549497541 21729280 4125 4294967295 134512640 135450300 3221224624 3221223440 134537311 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5305 4125 231 231 0 5074 0 vsize: 21220 [startup+360.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4650 0 0 0 35891 116 0 0 25 0 1 0 549497541 21835776 4149 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5331 4149 231 231 0 5100 0 vsize: 21324 [startup+370.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4661 0 0 0 36888 119 0 0 25 0 1 0 549497541 21835776 4160 4294967295 134512640 135450300 3221224624 3221223484 134539316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5331 4160 231 231 0 5100 0 vsize: 21324 [startup+380.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4707 0 0 0 37886 122 0 0 25 0 1 0 549497541 22093824 4206 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5394 4206 231 231 0 5163 0 vsize: 21576 [startup+390.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4752 0 0 0 38886 124 0 0 25 0 1 0 549497541 22093824 4251 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5394 4251 231 231 0 5163 0 vsize: 21576 [startup+400.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4795 0 0 0 39883 127 0 0 25 0 1 0 549497541 22093824 4294 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5394 4294 231 231 0 5163 0 vsize: 21576 [startup+410.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4847 0 0 0 40880 131 0 0 25 0 1 0 549497541 22151168 4346 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5408 4346 231 231 0 5177 0 vsize: 21632 [startup+420.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4899 0 0 0 41877 134 0 0 25 0 1 0 549497541 22151168 4398 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5408 4398 231 231 0 5177 0 vsize: 21632 [startup+430.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4959 0 0 0 42874 137 0 0 25 0 1 0 549497541 22151168 4458 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5408 4458 231 231 0 5177 0 vsize: 21632 [startup+440.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 4986 0 0 0 43874 139 0 0 25 0 1 0 549497541 22200320 4485 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5420 4485 231 231 0 5189 0 vsize: 21680 [startup+450.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5003 0 0 0 44872 141 0 0 25 0 1 0 549497541 22200320 4502 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5420 4502 231 231 0 5189 0 vsize: 21680 [startup+460.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5008 0 0 0 45870 143 0 0 25 0 1 0 549497541 22200320 4507 4294967295 134512640 135450300 3221224624 3221223360 134538490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5420 4507 231 231 0 5189 0 vsize: 21680 [startup+470.401 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5014 0 0 0 46900 146 0 0 25 0 1 0 549497541 22200320 4513 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5420 4513 231 231 0 5189 0 vsize: 21680 [startup+480.405 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5037 0 0 0 47897 149 0 0 25 0 1 0 549497541 22323200 4536 4294967295 134512640 135450300 3221224624 3221223456 134550227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5450 4536 231 231 0 5219 0 vsize: 21800 [startup+490.413 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5043 0 0 0 48896 152 0 0 25 0 1 0 549497541 22323200 4542 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5450 4542 231 231 0 5219 0 vsize: 21800 [startup+500.412 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5058 0 0 0 49893 154 0 0 25 0 1 0 549497541 22323200 4557 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5450 4557 231 231 0 5219 0 vsize: 21800 [startup+510.426 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5071 0 0 0 50892 157 0 0 25 0 1 0 549497541 22388736 4570 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5466 4570 231 231 0 5235 0 vsize: 21864 [startup+520.425 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5077 0 0 0 51890 159 0 0 25 0 1 0 549497541 22388736 4576 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5466 4576 231 231 0 5235 0 vsize: 21864 [startup+530.539 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5112 0 0 0 52899 161 0 0 25 0 1 0 549497541 22437888 4611 4294967295 134512640 135450300 3221224624 3221223232 134537639 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5478 4611 231 231 0 5247 0 vsize: 21912 [startup+540.558 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5162 0 0 0 53899 164 0 0 25 0 1 0 549497541 22437888 4661 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5478 4661 231 231 0 5247 0 vsize: 21912 [startup+550.557 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5168 0 0 0 54897 166 0 0 25 0 1 0 549497541 22437888 4667 4294967295 134512640 135450300 3221224624 3221222976 134533173 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5478 4667 231 231 0 5247 0 vsize: 21912 [startup+560.578 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5190 0 0 0 55897 168 0 0 25 0 1 0 549497541 22540288 4689 4294967295 134512640 135450300 3221224624 3221223088 134534896 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5503 4689 231 231 0 5272 0 vsize: 22012 [startup+570.581 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5201 0 0 0 56895 170 0 0 25 0 1 0 549497541 22540288 4700 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5503 4700 231 231 0 5272 0 vsize: 22012 [startup+580.581 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5249 0 0 0 57892 173 0 0 25 0 1 0 549497541 22540288 4748 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5503 4748 231 231 0 5272 0 vsize: 22012 [startup+590.595 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5278 0 0 0 58891 176 0 0 25 0 1 0 549497541 22609920 4777 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5520 4777 231 231 0 5289 0 vsize: 22080 [startup+600.607 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5290 0 0 0 59891 178 0 0 25 0 1 0 549497541 22609920 4789 4294967295 134512640 135450300 3221224624 3221223440 134533219 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5520 4789 231 231 0 5289 0 vsize: 22080 [startup+610.607 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5332 0 0 0 60888 180 0 0 25 0 1 0 549497541 22609920 4831 4294967295 134512640 135450300 3221224624 3221222976 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5520 4831 231 231 0 5289 0 vsize: 22080 [startup+620.607 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5386 0 0 0 61885 183 0 0 25 0 1 0 549497541 22609920 4885 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5520 4885 231 231 0 5289 0 vsize: 22080 [startup+630.615 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5825 0 0 0 62883 186 0 0 25 0 1 0 549497541 24256512 4939 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5922 4939 231 231 0 5691 0 vsize: 23688 [startup+640.621 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5865 0 0 0 63881 189 0 0 25 0 1 0 549497541 24256512 4979 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5922 4979 231 231 0 5691 0 vsize: 23688 [startup+650.629 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5916 0 0 0 64879 192 0 0 25 0 1 0 549497541 24428544 5030 4294967295 134512640 135450300 3221224624 3221223360 134538730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5964 5030 231 231 0 5733 0 vsize: 23856 [startup+660.74 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5961 0 0 0 65887 195 0 0 25 0 1 0 549497541 24428544 5075 4294967295 134512640 135450300 3221224624 3221222976 134533334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5964 5075 231 231 0 5733 0 vsize: 23856 [startup+670.74 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 5995 0 0 0 66885 198 0 0 25 0 1 0 549497541 24428544 5109 4294967295 134512640 135450300 3221224624 3221223360 134538483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5964 5109 231 231 0 5733 0 vsize: 23856 [startup+680.74 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6043 0 0 0 67884 199 0 0 25 0 1 0 549497541 24535040 5157 4294967295 134512640 135450300 3221224624 3221223076 134575441 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5990 5157 231 231 0 5759 0 vsize: 23960 [startup+690.741 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6048 0 0 0 68881 203 0 0 25 0 1 0 549497541 24535040 5162 4294967295 134512640 135450300 3221224624 3221223360 134538092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5990 5162 231 231 0 5759 0 vsize: 23960 [startup+700.742 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6063 0 0 0 69879 204 0 0 25 0 1 0 549497541 24535040 5177 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5990 5177 231 231 0 5759 0 vsize: 23960 [startup+710.854 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6074 0 0 0 70888 206 0 0 25 0 1 0 549497541 24604672 5188 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6007 5188 231 231 0 5776 0 vsize: 24028 [startup+720.858 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6080 0 0 0 71887 209 0 0 25 0 1 0 549497541 24604672 5194 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6007 5194 231 231 0 5776 0 vsize: 24028 [startup+730.871 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6084 0 0 0 72885 212 0 0 25 0 1 0 549497541 24604672 5198 4294967295 134512640 135450300 3221224624 3221222976 134533258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6007 5198 231 231 0 5776 0 vsize: 24028 [startup+740.871 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6088 0 0 0 73883 214 0 0 25 0 1 0 549497541 24604672 5202 4294967295 134512640 135450300 3221224624 3221223488 134539158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6007 5202 231 231 0 5776 0 vsize: 24028 [startup+750.89 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6110 0 0 0 74882 217 0 0 25 0 1 0 549497541 24674304 5224 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6024 5224 231 231 0 5793 0 vsize: 24096 [startup+760.921 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6131 0 0 0 75883 219 0 0 25 0 1 0 549497541 24735744 5245 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6039 5245 231 231 0 5808 0 vsize: 24156 [startup+770.921 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6136 0 0 0 76882 221 0 0 25 0 1 0 549497541 24735744 5250 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6039 5250 231 231 0 5808 0 vsize: 24156 [startup+780.925 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6146 0 0 0 77879 224 0 0 25 0 1 0 549497541 24735744 5260 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6039 5260 231 231 0 5808 0 vsize: 24156 [startup+790.929 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6978 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6188 0 0 0 78877 226 0 0 25 0 1 0 549497541 24735744 5302 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6039 5302 231 231 0 5808 0 vsize: 24156 [startup+800.951 s] Raw data (loadavg): 1.15 1.00 0.92 2/56 6982 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6240 0 0 0 79877 229 0 0 25 0 1 0 549497541 24788992 5354 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6052 5354 231 231 0 5821 0 vsize: 24208 [startup+810.954 s] Raw data (loadavg): 1.28 1.04 0.93 3/57 7017 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6281 0 0 0 80876 230 0 0 25 0 1 0 549497541 24788992 5395 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6052 5395 231 231 0 5821 0 vsize: 24208 [startup+820.956 s] Raw data (loadavg): 1.31 1.05 0.94 2/54 7031 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6312 0 0 0 81874 233 0 0 25 0 1 0 549497541 24834048 5426 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6063 5426 231 231 0 5832 0 vsize: 24252 [startup+830.957 s] Raw data (loadavg): 1.26 1.05 0.94 2/54 7031 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6316 0 0 0 82872 235 0 0 25 0 1 0 549497541 24834048 5430 4294967295 134512640 135450300 3221224624 3221223360 134538520 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6063 5430 231 231 0 5832 0 vsize: 24252 [startup+840.958 s] Raw data (loadavg): 1.22 1.05 0.94 2/54 7031 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6319 0 0 0 83869 238 0 0 25 0 1 0 549497541 24834048 5433 4294967295 134512640 135450300 3221224624 3221222976 134533126 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6063 5433 231 231 0 5832 0 vsize: 24252 [startup+850.962 s] Raw data (loadavg): 1.19 1.04 0.94 2/54 7031 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6358 0 0 0 84868 240 0 0 25 0 1 0 549497541 24879104 5472 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6074 5472 231 231 0 5843 0 vsize: 24296 [startup+860.973 s] Raw data (loadavg): 1.16 1.04 0.94 2/54 7031 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6400 0 0 0 85867 242 0 0 25 0 1 0 549497541 24879104 5514 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6074 5514 231 231 0 5843 0 vsize: 24296 [startup+870.98 s] Raw data (loadavg): 1.13 1.04 0.94 2/54 7031 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6455 0 0 0 86865 245 0 0 25 0 1 0 549497541 33267712 5569 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8122 5569 231 231 0 7891 0 vsize: 32488 [startup+880.98 s] Raw data (loadavg): 1.11 1.04 0.94 2/54 7031 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6502 0 0 0 87862 248 0 0 25 0 1 0 549497541 33267712 5616 4294967295 134512640 135450300 3221224624 3221223360 134538427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8122 5616 231 231 0 7891 0 vsize: 32488 [startup+890.981 s] Raw data (loadavg): 1.10 1.04 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6543 0 0 0 88860 250 0 0 25 0 1 0 549497541 33267712 5657 4294967295 134512640 135450300 3221224624 3221223456 134538373 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8122 5657 231 231 0 7891 0 vsize: 32488 [startup+900.982 s] Raw data (loadavg): 1.08 1.04 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6582 0 0 0 89858 252 0 0 25 0 1 0 549497541 33267712 5696 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8122 5696 231 231 0 7891 0 vsize: 32488 [startup+910.983 s] Raw data (loadavg): 1.07 1.03 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6623 0 0 0 90856 255 0 0 25 0 1 0 549497541 33378304 5737 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8149 5737 231 231 0 7918 0 vsize: 32596 [startup+920.985 s] Raw data (loadavg): 1.06 1.03 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6657 0 0 0 91854 257 0 0 25 0 1 0 549497541 33378304 5771 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8149 5771 231 231 0 7918 0 vsize: 32596 [startup+930.985 s] Raw data (loadavg): 1.05 1.03 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6703 0 0 0 92852 259 0 0 25 0 1 0 549497541 33378304 5817 4294967295 134512640 135450300 3221224624 3221223360 134538496 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8149 5817 231 231 0 7918 0 vsize: 32596 [startup+940.986 s] Raw data (loadavg): 1.04 1.03 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6741 0 0 0 93851 260 0 0 25 0 1 0 549497541 33443840 5855 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8165 5855 231 231 0 7934 0 vsize: 32660 [startup+950.986 s] Raw data (loadavg): 1.03 1.03 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6745 0 0 0 94848 263 0 0 25 0 1 0 549497541 33443840 5859 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8165 5859 231 231 0 7934 0 vsize: 32660 [startup+960.986 s] Raw data (loadavg): 1.03 1.03 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6750 0 0 0 95846 265 0 0 25 0 1 0 549497541 33443840 5864 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8165 5864 231 231 0 7934 0 vsize: 32660 [startup+971.092 s] Raw data (loadavg): 1.02 1.03 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6769 0 0 0 96854 268 0 0 25 0 1 0 549497541 33501184 5883 4294967295 134512640 135450300 3221224624 3221223360 134537943 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8179 5883 231 231 0 7948 0 vsize: 32716 [startup+981.092 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6774 0 0 0 97852 271 0 0 25 0 1 0 549497541 33501184 5888 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8179 5888 231 231 0 7948 0 vsize: 32716 [startup+991.093 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6815 0 0 0 98850 273 0 0 25 0 1 0 549497541 33554432 5929 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8192 5929 231 231 0 7961 0 vsize: 32768 [startup+1001.09 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6862 0 0 0 99849 274 0 0 25 0 1 0 549497541 33554432 5976 4294967295 134512640 135450300 3221224624 3221223440 134536518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8192 5976 231 231 0 7961 0 vsize: 32768 [startup+1011.09 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6874 0 0 0 100847 276 0 0 25 0 1 0 549497541 33554432 5988 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8192 5988 231 231 0 7961 0 vsize: 32768 [startup+1021.1 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6893 0 0 0 101844 279 0 0 25 0 1 0 549497541 33554432 6007 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8192 6007 231 231 0 7961 0 vsize: 32768 [startup+1031.09 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6922 0 0 0 102843 281 0 0 25 0 1 0 549497541 33554432 6036 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8192 6036 231 231 0 7961 0 vsize: 32768 [startup+1041.1 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 6956 0 0 0 103841 283 0 0 25 0 1 0 549497541 33554432 6070 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8192 6070 231 231 0 7961 0 vsize: 32768 [startup+1051.1 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7009 0 0 0 104839 285 0 0 25 0 1 0 549497541 33660928 6123 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8218 6123 231 231 0 7987 0 vsize: 32872 [startup+1061.1 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7045 0 0 0 105837 287 0 0 25 0 1 0 549497541 33660928 6159 4294967295 134512640 135450300 3221224624 3221222976 134533118 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8218 6159 231 231 0 7987 0 vsize: 32872 [startup+1071.1 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7082 0 0 0 106835 290 0 0 25 0 1 0 549497541 33660928 6196 4294967295 134512640 135450300 3221224624 3221223360 134537943 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8218 6196 231 231 0 7987 0 vsize: 32872 [startup+1081.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7115 0 0 0 107832 293 0 0 25 0 1 0 549497541 33660928 6229 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8218 6229 231 231 0 7987 0 vsize: 32872 [startup+1091.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7151 0 0 0 108830 295 0 0 25 0 1 0 549497541 33660928 6265 4294967295 134512640 135450300 3221224624 3221222976 134533303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8218 6265 231 231 0 7987 0 vsize: 32872 [startup+1101.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7187 0 0 0 109827 299 0 0 25 0 1 0 549497541 33775616 6301 4294967295 134512640 135450300 3221224624 3221223232 134537624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8246 6301 231 231 0 8015 0 vsize: 32984 [startup+1111.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7225 0 0 0 110825 300 0 0 25 0 1 0 549497541 33775616 6339 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8246 6339 231 231 0 8015 0 vsize: 32984 [startup+1121.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7256 0 0 0 111823 303 0 0 25 0 1 0 549497541 33775616 6370 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8246 6370 231 231 0 8015 0 vsize: 32984 [startup+1131.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7294 0 0 0 112822 304 0 0 25 0 1 0 549497541 33775616 6408 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8246 6408 231 231 0 8015 0 vsize: 32984 [startup+1141.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7351 0 0 0 113819 307 0 0 25 0 1 0 549497541 33882112 6465 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8272 6465 231 231 0 8041 0 vsize: 33088 [startup+1151.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7386 0 0 0 114817 309 0 0 25 0 1 0 549497541 33882112 6500 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8272 6500 231 231 0 8041 0 vsize: 33088 [startup+1161.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7426 0 0 0 115816 310 0 0 25 0 1 0 549497541 33882112 6540 4294967295 134512640 135450300 3221224624 3221223040 134533471 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8272 6540 231 231 0 8041 0 vsize: 33088 [startup+1171.1 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 7033 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7499 0 0 0 116814 312 0 0 25 0 1 0 549497541 34136064 6613 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8334 6613 231 231 0 8103 0 vsize: 33336 [startup+1181.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 7035 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7539 0 0 0 117811 315 0 0 25 0 1 0 549497541 34136064 6653 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8334 6653 231 231 0 8103 0 vsize: 33336 [startup+1191.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 7035 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7581 0 0 0 118809 318 0 0 25 0 1 0 549497541 34136064 6695 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8334 6695 231 231 0 8103 0 vsize: 33336 [startup+1201.1 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 7035 Raw data (stat): 6978 (PBS4) R 6977 23176 23175 0 -1 0 7624 0 0 0 119807 320 0 0 25 0 1 0 549497541 34136064 6738 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8334 6738 231 231 0 8103 0 vsize: 33336 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.12 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 7035 Raw data (stat): 6978 (PBS4) Z 6977 23176 23175 0 -1 1036 7624 0 0 0 119807 321 0 0 25 0 1 0 549497541 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): 1201.12 CPU time (s): 1201.29 CPU user time (s): 1198.08 CPU system time (s): 3.21651 CPU usage (%): 100.015 Max. virtual memory (Kb): 33336 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####