Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb |
MD5SUM | bc275113592d0f0914bb7f3c346a4153 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7100 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 714 |
Biggest coefficient in the objective function | 559 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 66891 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1117 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 66891 |
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.04 |
Number of variables | 12596 |
Total number of constraints | 22177 |
Number of constraints which are clauses | 4 |
Number of constraints which are cardinality constraints (but not clauses) | 17162 |
Number of constraints which are nor clauses,nor cardinality constraints | 5011 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-04-22 00:40:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12811 boxname=wulflinc30 idbench=986 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: bc275113592d0f0914bb7f3c346a4153 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-mzzv42z.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-mzzv42z.opb IDLAUNCH: 12811 /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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 783984 kB Buffers: 9936 kB Cached: 214432 kB SwapCached: 304 kB Active: 21060 kB Inactive: 205952 kB HighTotal: 131008 kB HighFree: 52864 kB LowTotal: 903652 kB LowFree: 731120 kB SwapTotal: 2097892 kB SwapFree: 2097328 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5980 kB Slab: 17880 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-22 01:00:47 (client local time) WITH STATUS 0 IN 1200.54 SECONDS stats: 12811 7 1200.54 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-mzzv42z.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.92 0.90 2/54 576 Raw data (stat): 576 (runsolver) R 575 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549472517 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 s] Raw data (loadavg): 0.87 0.92 0.90 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 2321 0 0 0 985 13 0 0 25 0 1 0 549472517 9760768 2159 4294967295 134512640 135450300 3221224624 3221223552 134539619 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2383 2159 231 231 0 2152 0 vsize: 9532 [startup+20.0008 s] Raw data (loadavg): 0.89 0.93 0.90 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 2512 0 0 0 1980 18 0 0 25 0 1 0 549472517 10641408 2350 4294967295 134512640 135450300 3221224624 3221223232 134537771 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2598 2350 231 231 0 2367 0 vsize: 10392 [startup+30.002 s] Raw data (loadavg): 0.91 0.93 0.90 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 2612 0 0 0 2974 25 0 0 25 0 1 0 549472517 11288576 2450 4294967295 134512640 135450300 3221224624 3221223360 134538457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2756 2450 231 231 0 2525 0 vsize: 11024 [startup+40.0014 s] Raw data (loadavg): 0.92 0.93 0.90 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 2866 0 0 0 3970 28 0 0 25 0 1 0 549472517 12046336 2655 4294967295 134512640 135450300 3221224624 3221223344 134535815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2941 2655 231 231 0 2710 0 vsize: 11764 [startup+50.0022 s] Raw data (loadavg): 0.93 0.93 0.90 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3003 0 0 0 4969 30 0 0 25 0 1 0 549472517 13131776 2792 4294967295 134512640 135450300 3221224624 3221223056 134533530 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3206 2792 231 231 0 2975 0 vsize: 12824 [startup+60.0024 s] Raw data (loadavg): 0.94 0.93 0.90 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3153 0 0 0 5966 33 0 0 25 0 1 0 549472517 13406208 2942 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3273 2942 231 231 0 3042 0 vsize: 13092 [startup+70.0028 s] Raw data (loadavg): 0.95 0.93 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3344 0 0 0 6961 38 0 0 25 0 1 0 549472517 15806464 3133 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3859 3133 231 231 0 3628 0 vsize: 15436 [startup+80.0036 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3476 0 0 0 7958 41 0 0 25 0 1 0 549472517 15986688 3265 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3903 3265 231 231 0 3672 0 vsize: 15612 [startup+90.0039 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3713 0 0 0 8955 44 0 0 25 0 1 0 549472517 16584704 3405 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4049 3405 231 231 0 3818 0 vsize: 16196 [startup+100.004 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3737 0 0 0 9952 47 0 0 25 0 1 0 549472517 16728064 3429 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4084 3429 231 231 0 3853 0 vsize: 16336 [startup+110.004 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3798 0 0 0 10949 50 0 0 25 0 1 0 549472517 16875520 3490 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4120 3490 231 231 0 3889 0 vsize: 16480 [startup+120.005 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3839 0 0 0 11945 54 0 0 25 0 1 0 549472517 17022976 3531 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4156 3531 231 231 0 3925 0 vsize: 16624 [startup+130.006 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 3932 0 0 0 12941 58 0 0 25 0 1 0 549472517 17072128 3624 4294967295 134512640 135450300 3221224624 3221223232 134537621 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4168 3624 231 231 0 3937 0 vsize: 16672 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4003 0 0 0 13937 63 0 0 25 0 1 0 549472517 17211392 3695 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4202 3695 231 231 0 3971 0 vsize: 16808 [startup+150.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4071 0 0 0 14934 67 0 0 25 0 1 0 549472517 17211392 3763 4294967295 134512640 135450300 3221224624 3221223360 134538134 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4202 3763 231 231 0 3971 0 vsize: 16808 [startup+160.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4145 0 0 0 15930 70 0 0 25 0 1 0 549472517 17321984 3837 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4229 3837 231 231 0 3998 0 vsize: 16916 [startup+170.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4218 0 0 0 16926 75 0 0 25 0 1 0 549472517 17321984 3910 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4229 3910 231 231 0 3998 0 vsize: 16916 [startup+180.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4286 0 0 0 17923 77 0 0 25 0 1 0 549472517 17436672 3978 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4257 3978 231 231 0 4026 0 vsize: 17028 [startup+190.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4371 0 0 0 18920 81 0 0 25 0 1 0 549472517 21712896 4063 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5301 4063 231 231 0 5070 0 vsize: 21204 [startup+200.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4379 0 0 0 19918 83 0 0 25 0 1 0 549472517 21712896 4071 4294967295 134512640 135450300 3221224624 3221222976 134533118 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5301 4071 231 231 0 5070 0 vsize: 21204 [startup+210.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4464 0 0 0 20914 87 0 0 25 0 1 0 549472517 21995520 4156 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5370 4156 231 231 0 5139 0 vsize: 21480 [startup+220.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4528 0 0 0 21911 90 0 0 25 0 1 0 549472517 21995520 4220 4294967295 134512640 135450300 3221224624 3221223232 134537611 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5370 4220 231 231 0 5139 0 vsize: 21480 [startup+230.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4814 0 0 0 22908 94 0 0 25 0 1 0 549472517 22855680 4313 4294967295 134512640 135450300 3221224624 3221222976 134533081 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5580 4313 231 231 0 5349 0 vsize: 22320 [startup+240.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 4876 0 0 0 23905 97 0 0 25 0 1 0 549472517 22855680 4375 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5580 4375 231 231 0 5349 0 vsize: 22320 [startup+250.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5001 0 0 0 24902 100 0 0 25 0 1 0 549472517 23044096 4500 4294967295 134512640 135450300 3221224624 3221223564 134530276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5626 4500 231 231 0 5395 0 vsize: 22504 [startup+260.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5062 0 0 0 25899 103 0 0 25 0 1 0 549472517 23044096 4561 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5626 4561 231 231 0 5395 0 vsize: 22504 [startup+270.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5135 0 0 0 26896 106 0 0 25 0 1 0 549472517 23093248 4634 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5638 4634 231 231 0 5407 0 vsize: 22552 [startup+280.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5215 0 0 0 27893 109 0 0 25 0 1 0 549472517 23142400 4714 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5650 4714 231 231 0 5419 0 vsize: 22600 [startup+290.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5293 0 0 0 28891 111 0 0 25 0 1 0 549472517 23142400 4792 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5650 4792 231 231 0 5419 0 vsize: 22600 [startup+300.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5355 0 0 0 29888 115 0 0 25 0 1 0 549472517 23142400 4854 4294967295 134512640 135450300 3221224624 3221222976 134533236 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5650 4854 231 231 0 5419 0 vsize: 22600 [startup+310.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5425 0 0 0 30885 118 0 0 25 0 1 0 549472517 23248896 4924 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5676 4924 231 231 0 5445 0 vsize: 22704 [startup+320.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5504 0 0 0 31882 121 0 0 25 0 1 0 549472517 23248896 5003 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5676 5003 231 231 0 5445 0 vsize: 22704 [startup+330.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5584 0 0 0 32880 124 0 0 25 0 1 0 549472517 23384064 5083 4294967295 134512640 135450300 3221224624 3221223524 134539773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5709 5083 231 231 0 5478 0 vsize: 22836 [startup+340.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5677 0 0 0 33876 127 0 0 25 0 1 0 549472517 23605248 5176 4294967295 134512640 135450300 3221224624 3221223512 134616033 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 5176 231 231 0 5532 0 vsize: 23052 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5690 0 0 0 34874 130 0 0 25 0 1 0 549472517 23605248 5189 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 5189 231 231 0 5532 0 vsize: 23052 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5698 0 0 0 35871 133 0 0 25 0 1 0 549472517 23605248 5197 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 5197 231 231 0 5532 0 vsize: 23052 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5706 0 0 0 36866 138 0 0 25 0 1 0 549472517 23605248 5205 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 5205 231 231 0 5532 0 vsize: 23052 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5713 0 0 0 37863 141 0 0 25 0 1 0 549472517 23605248 5212 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 5212 231 231 0 5532 0 vsize: 23052 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5720 0 0 0 38860 144 0 0 25 0 1 0 549472517 23605248 5219 4294967295 134512640 135450300 3221224624 3221223360 134538461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5763 5219 231 231 0 5532 0 vsize: 23052 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5732 0 0 0 39858 146 0 0 25 0 1 0 549472517 23715840 5231 4294967295 134512640 135450300 3221224624 3221223232 134537603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5790 5231 231 231 0 5559 0 vsize: 23160 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5756 0 0 0 40855 149 0 0 25 0 1 0 549472517 23715840 5255 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5790 5255 231 231 0 5559 0 vsize: 23160 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5785 0 0 0 41852 153 0 0 25 0 1 0 549472517 23838720 5284 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5820 5284 231 231 0 5589 0 vsize: 23280 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5790 0 0 0 42849 156 0 0 25 0 1 0 549472517 23838720 5289 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5820 5289 231 231 0 5589 0 vsize: 23280 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5814 0 0 0 43847 159 0 0 25 0 1 0 549472517 23871488 5313 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5828 5313 231 231 0 5597 0 vsize: 23312 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5837 0 0 0 44843 162 0 0 25 0 1 0 549472517 23941120 5336 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5845 5336 231 231 0 5614 0 vsize: 23380 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5842 0 0 0 45841 164 0 0 25 0 1 0 549472517 23941120 5341 4294967295 134512640 135450300 3221224624 3221223360 134538549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5845 5341 231 231 0 5614 0 vsize: 23380 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5849 0 0 0 46839 167 0 0 25 0 1 0 549472517 23941120 5348 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5845 5348 231 231 0 5614 0 vsize: 23380 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5853 0 0 0 47837 170 0 0 25 0 1 0 549472517 23941120 5352 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5845 5352 231 231 0 5614 0 vsize: 23380 [startup+490.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5883 0 0 0 48834 173 0 0 25 0 1 0 549472517 24203264 5382 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5909 5382 231 231 0 5678 0 vsize: 23636 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5889 0 0 0 49832 175 0 0 25 0 1 0 549472517 24203264 5388 4294967295 134512640 135450300 3221224624 3221223488 134539194 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5909 5388 231 231 0 5678 0 vsize: 23636 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5907 0 0 0 50829 177 0 0 25 0 1 0 549472517 24252416 5406 4294967295 134512640 135450300 3221224624 3221222976 134533185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5921 5406 231 231 0 5690 0 vsize: 23684 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5915 0 0 0 51827 180 0 0 25 0 1 0 549472517 24252416 5414 4294967295 134512640 135450300 3221224624 3221222976 134533343 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5921 5414 231 231 0 5690 0 vsize: 23684 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5930 0 0 0 52825 182 0 0 25 0 1 0 549472517 24285184 5429 4294967295 134512640 135450300 3221224624 3221223440 134547912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5929 5429 231 231 0 5698 0 vsize: 23716 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5937 0 0 0 53822 186 0 0 25 0 1 0 549472517 24285184 5436 4294967295 134512640 135450300 3221224624 3221223232 134537613 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5929 5436 231 231 0 5698 0 vsize: 23716 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 5957 0 0 0 54821 187 0 0 25 0 1 0 549472517 24338432 5456 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5942 5456 231 231 0 5711 0 vsize: 23768 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6016 0 0 0 55819 189 0 0 25 0 1 0 549472517 24338432 5515 4294967295 134512640 135450300 3221224624 3221223564 134530375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5942 5515 231 231 0 5711 0 vsize: 23768 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6084 0 0 0 56816 192 0 0 25 0 1 0 549472517 24375296 5583 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5951 5583 231 231 0 5720 0 vsize: 23804 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6132 0 0 0 57813 195 0 0 25 0 1 0 549472517 24375296 5631 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5951 5631 231 231 0 5720 0 vsize: 23804 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6189 0 0 0 58811 198 0 0 25 0 1 0 549472517 24375296 5688 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5951 5688 231 231 0 5720 0 vsize: 23804 [startup+600.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6243 0 0 0 59807 201 0 0 25 0 1 0 549472517 32763904 5742 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7999 5742 231 231 0 7768 0 vsize: 31996 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6687 0 0 0 60804 205 0 0 25 0 1 0 549472517 34336768 5801 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8383 5801 231 231 0 8152 0 vsize: 33532 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6733 0 0 0 61802 208 0 0 25 0 1 0 549472517 34447360 5847 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8410 5847 231 231 0 8179 0 vsize: 33640 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6800 0 0 0 62800 210 0 0 25 0 1 0 549472517 34447360 5914 4294967295 134512640 135450300 3221224624 3221223360 134538463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8410 5914 231 231 0 8179 0 vsize: 33640 [startup+640.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6855 0 0 0 63798 213 0 0 25 0 1 0 549472517 34447360 5969 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8410 5969 231 231 0 8179 0 vsize: 33640 [startup+650.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 6942 0 0 0 64795 216 0 0 25 0 1 0 549472517 34496512 6056 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8422 6056 231 231 0 8191 0 vsize: 33688 [startup+660.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7012 0 0 0 65793 219 0 0 25 0 1 0 549472517 34693120 6126 4294967295 134512640 135450300 3221224624 3221223360 134537913 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8470 6126 231 231 0 8239 0 vsize: 33880 [startup+670.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7061 0 0 0 66790 222 0 0 25 0 1 0 549472517 34693120 6175 4294967295 134512640 135450300 3221224624 3221223360 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8470 6175 231 231 0 8239 0 vsize: 33880 [startup+680.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7103 0 0 0 67787 225 0 0 25 0 1 0 549472517 34693120 6217 4294967295 134512640 135450300 3221224624 3221223056 134533524 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8470 6217 231 231 0 8239 0 vsize: 33880 [startup+690.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7163 0 0 0 68786 228 0 0 25 0 1 0 549472517 34762752 6277 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8487 6277 231 231 0 8256 0 vsize: 33948 [startup+700.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7225 0 0 0 69785 230 0 0 25 0 1 0 549472517 34762752 6339 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8487 6339 231 231 0 8256 0 vsize: 33948 [startup+710.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7276 0 0 0 70782 234 0 0 25 0 1 0 549472517 34762752 6390 4294967295 134512640 135450300 3221224624 3221222976 134533228 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8487 6390 231 231 0 8256 0 vsize: 33948 [startup+720.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7342 0 0 0 71779 236 0 0 25 0 1 0 549472517 34762752 6456 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8487 6456 231 231 0 8256 0 vsize: 33948 [startup+730.066 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7380 0 0 0 72777 239 0 0 25 0 1 0 549472517 34828288 6494 4294967295 134512640 135450300 3221224624 3221223360 134538018 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8503 6494 231 231 0 8272 0 vsize: 34012 [startup+740.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7393 0 0 0 73776 241 0 0 25 0 1 0 549472517 34828288 6507 4294967295 134512640 135450300 3221224624 3221223488 134539185 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8503 6507 231 231 0 8272 0 vsize: 34012 [startup+750.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7400 0 0 0 74774 243 0 0 25 0 1 0 549472517 34869248 6514 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8513 6514 231 231 0 8282 0 vsize: 34052 [startup+760.072 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7408 0 0 0 75772 245 0 0 25 0 1 0 549472517 34869248 6522 4294967295 134512640 135450300 3221224624 3221222976 134533206 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8513 6522 231 231 0 8282 0 vsize: 34052 [startup+770.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7412 0 0 0 76771 247 0 0 25 0 1 0 549472517 34869248 6526 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8513 6526 231 231 0 8282 0 vsize: 34052 [startup+780.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7438 0 0 0 77769 249 0 0 25 0 1 0 549472517 34934784 6552 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8529 6552 231 231 0 8298 0 vsize: 34116 [startup+790.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7442 0 0 0 78767 251 0 0 25 0 1 0 549472517 34934784 6556 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8529 6556 231 231 0 8298 0 vsize: 34116 [startup+800.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7450 0 0 0 79767 252 0 0 25 0 1 0 549472517 34934784 6564 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8529 6564 231 231 0 8298 0 vsize: 34116 [startup+810.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7454 0 0 0 80764 255 0 0 25 0 1 0 549472517 34934784 6568 4294967295 134512640 135450300 3221224624 3221223440 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8529 6568 231 231 0 8298 0 vsize: 34116 [startup+820.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7459 0 0 0 81761 258 0 0 25 0 1 0 549472517 34934784 6573 4294967295 134512640 135450300 3221224624 3221223360 134538475 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8529 6573 231 231 0 8298 0 vsize: 34116 [startup+830.226 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7489 0 0 0 82773 261 0 0 25 0 1 0 549472517 35008512 6603 4294967295 134512640 135450300 3221224624 3221222976 134533209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8547 6603 231 231 0 8316 0 vsize: 34188 [startup+840.235 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7496 0 0 0 83771 264 0 0 25 0 1 0 549472517 35008512 6610 4294967295 134512640 135450300 3221224624 3221223456 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8547 6610 231 231 0 8316 0 vsize: 34188 [startup+850.235 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7501 0 0 0 84768 267 0 0 25 0 1 0 549472517 35008512 6615 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8547 6615 231 231 0 8316 0 vsize: 34188 [startup+860.235 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7516 0 0 0 85766 269 0 0 25 0 1 0 549472517 35045376 6630 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8556 6630 231 231 0 8325 0 vsize: 34224 [startup+870.235 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7524 0 0 0 86764 272 0 0 25 0 1 0 549472517 35045376 6638 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8556 6638 231 231 0 8325 0 vsize: 34224 [startup+880.239 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7530 0 0 0 87762 273 0 0 25 0 1 0 549472517 35254272 6644 4294967295 134512640 135450300 3221224624 3221223344 134535528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8607 6644 231 231 0 8376 0 vsize: 34428 [startup+890.244 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7537 0 0 0 88760 276 0 0 25 0 1 0 549472517 35287040 6651 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8615 6651 231 231 0 8384 0 vsize: 34460 [startup+900.251 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7542 0 0 0 89760 277 0 0 25 0 1 0 549472517 35287040 6656 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8615 6656 231 231 0 8384 0 vsize: 34460 [startup+910.258 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7547 0 0 0 90757 281 0 0 25 0 1 0 549472517 35287040 6661 4294967295 134512640 135450300 3221224624 3221223360 134538084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8615 6661 231 231 0 8384 0 vsize: 34460 [startup+920.258 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7551 0 0 0 91755 283 0 0 25 0 1 0 549472517 35287040 6665 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8615 6665 231 231 0 8384 0 vsize: 34460 [startup+930.264 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7559 0 0 0 92752 287 0 0 25 0 1 0 549472517 35287040 6673 4294967295 134512640 135450300 3221224624 3221223488 134539116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8615 6673 231 231 0 8384 0 vsize: 34460 [startup+940.263 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7568 0 0 0 93749 290 0 0 25 0 1 0 549472517 35397632 6682 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8642 6682 231 231 0 8411 0 vsize: 34568 [startup+950.265 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7594 0 0 0 94746 293 0 0 25 0 1 0 549472517 35397632 6708 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8642 6708 231 231 0 8411 0 vsize: 34568 [startup+960.268 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7600 0 0 0 95745 295 0 0 25 0 1 0 549472517 35397632 6714 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8642 6714 231 231 0 8411 0 vsize: 34568 [startup+970.268 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7604 0 0 0 96742 298 0 0 25 0 1 0 549472517 35397632 6718 4294967295 134512640 135450300 3221224624 3221223464 134538369 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8642 6718 231 231 0 8411 0 vsize: 34568 [startup+980.268 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7631 0 0 0 97739 301 0 0 25 0 1 0 549472517 35467264 6745 4294967295 134512640 135450300 3221224624 3221223324 134537783 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6745 231 231 0 8428 0 vsize: 34636 [startup+990.269 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7637 0 0 0 98736 304 0 0 25 0 1 0 549472517 35467264 6751 4294967295 134512640 135450300 3221224624 3221223360 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6751 231 231 0 8428 0 vsize: 34636 [startup+1000.27 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7646 0 0 0 99734 306 0 0 25 0 1 0 549472517 35467264 6760 4294967295 134512640 135450300 3221224624 3221223232 134537639 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6760 231 231 0 8428 0 vsize: 34636 [startup+1010.29 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7658 0 0 0 100734 309 0 0 25 0 1 0 549472517 35467264 6772 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6772 231 231 0 8428 0 vsize: 34636 [startup+1020.3 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7663 0 0 0 101733 311 0 0 25 0 1 0 549472517 35467264 6777 4294967295 134512640 135450300 3221224624 3221223360 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6777 231 231 0 8428 0 vsize: 34636 [startup+1030.3 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7669 0 0 0 102731 314 0 0 25 0 1 0 549472517 35467264 6783 4294967295 134512640 135450300 3221224624 3221223360 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6783 231 231 0 8428 0 vsize: 34636 [startup+1040.3 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7674 0 0 0 103728 317 0 0 25 0 1 0 549472517 35467264 6788 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6788 231 231 0 8428 0 vsize: 34636 [startup+1050.3 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7679 0 0 0 104726 319 0 0 25 0 1 0 549472517 35467264 6793 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6793 231 231 0 8428 0 vsize: 34636 [startup+1060.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7703 0 0 0 105723 323 0 0 25 0 1 0 549472517 35573760 6817 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8685 6817 231 231 0 8454 0 vsize: 34740 [startup+1070.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7717 0 0 0 106720 326 0 0 25 0 1 0 549472517 35573760 6831 4294967295 134512640 135450300 3221224624 3221222724 134615676 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8685 6831 231 231 0 8454 0 vsize: 34740 [startup+1080.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7733 0 0 0 107718 328 0 0 25 0 1 0 549472517 35627008 6847 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8698 6847 231 231 0 8467 0 vsize: 34792 [startup+1090.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7738 0 0 0 108717 329 0 0 25 0 1 0 549472517 35627008 6852 4294967295 134512640 135450300 3221224624 3221223344 134535761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8698 6852 231 231 0 8467 0 vsize: 34792 [startup+1100.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7747 0 0 0 109714 332 0 0 25 0 1 0 549472517 35627008 6861 4294967295 134512640 135450300 3221224624 3221223024 134533045 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8698 6861 231 231 0 8467 0 vsize: 34792 [startup+1110.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7756 0 0 0 110712 334 0 0 25 0 1 0 549472517 35627008 6870 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8698 6870 231 231 0 8467 0 vsize: 34792 [startup+1120.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7767 0 0 0 111710 337 0 0 25 0 1 0 549472517 35672064 6881 4294967295 134512640 135450300 3221224624 3221223232 134537633 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8709 6881 231 231 0 8478 0 vsize: 34836 [startup+1130.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7780 0 0 0 112709 338 0 0 25 0 1 0 549472517 35672064 6894 4294967295 134512640 135450300 3221224624 3221223032 134533041 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8709 6894 231 231 0 8478 0 vsize: 34836 [startup+1140.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7788 0 0 0 113707 340 0 0 25 0 1 0 549472517 35672064 6902 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8709 6902 231 231 0 8478 0 vsize: 34836 [startup+1150.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7802 0 0 0 114707 341 0 0 25 0 1 0 549472517 35946496 6916 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8776 6916 231 231 0 8545 0 vsize: 35104 [startup+1160.31 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 576 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7807 0 0 0 115705 343 0 0 25 0 1 0 549472517 35946496 6921 4294967295 134512640 135450300 3221224624 3221222976 134533066 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8776 6921 231 231 0 8545 0 vsize: 35104 [startup+1170.34 s] Raw data (loadavg): 1.22 1.02 0.93 3/57 614 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7820 0 0 0 116705 345 0 0 25 0 1 0 549472517 35946496 6934 4294967295 134512640 135450300 3221224624 3221223360 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8776 6934 231 231 0 8545 0 vsize: 35104 [startup+1180.34 s] Raw data (loadavg): 1.26 1.04 0.93 2/54 629 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7831 0 0 0 117702 348 0 0 25 0 1 0 549472517 35983360 6945 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 6945 231 231 0 8554 0 vsize: 35140 [startup+1190.35 s] Raw data (loadavg): 1.22 1.03 0.93 2/54 629 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7834 0 0 0 118701 350 0 0 25 0 1 0 549472517 35983360 6948 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8785 6948 231 231 0 8554 0 vsize: 35140 [startup+1200.35 s] Raw data (loadavg): 1.19 1.03 0.93 2/54 629 Raw data (stat): 576 (PBS4) R 575 11931 11930 0 -1 0 7856 0 0 0 119700 352 0 0 25 0 1 0 549472517 36024320 6970 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8795 6970 231 231 0 8564 0 vsize: 35180 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.37 s] Raw data (loadavg): 1.19 1.03 0.93 1/54 629 Raw data (stat): 576 (PBS4) Z 575 11931 11930 0 -1 1036 7856 0 0 0 119700 353 0 0 25 0 1 0 549472517 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.37 CPU time (s): 1200.54 CPU user time (s): 1197 CPU system time (s): 3.53946 CPU usage (%): 100.014 Max. virtual memory (Kb): 35180 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####