Name | normalized-opb/submitted/manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | fc17fbe37098e8642918641dd9a84b04 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 350 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.1 |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-04-17 16:43:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2301 boxname=wulflinc9 idbench=256 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: fc17fbe37098e8642918641dd9a84b04 /oldhome/oroussel/tmp/wulflinc9/normalized-circ10_3.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc9/normalized-circ10_3.opb IDLAUNCH: 2301 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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 : 2 cpu MHz : 451.242 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: 847716 kB Buffers: 38004 kB Cached: 127080 kB SwapCached: 564 kB Active: 74056 kB Inactive: 94444 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 847464 kB SwapTotal: 2097136 kB SwapFree: 2096572 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6936 kB Slab: 12864 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 17:03:14 (client local time) WITH STATUS 0 IN 1200.3 SECONDS stats: 2301 7 1200.3 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-circ10_3.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.84 0.94 0.90 2/54 25319 Raw data (stat): 25319 (runsolver) R 25318 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453823862 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 2965 0 0 0 987 11 0 0 25 0 1 0 453823862 12320768 2448 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3008 2448 231 231 0 2777 0 vsize: 12032 [startup+20.0008 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 3154 0 0 0 1982 16 0 0 25 0 1 0 453823862 12587008 2637 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3073 2637 231 231 0 2842 0 vsize: 12292 [startup+30.0012 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 3283 0 0 0 2977 22 0 0 25 0 1 0 453823862 12853248 2766 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3138 2766 231 231 0 2907 0 vsize: 12552 [startup+40.001 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 3411 0 0 0 3971 28 0 0 25 0 1 0 453823862 15081472 2894 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3682 2894 231 231 0 3451 0 vsize: 14728 [startup+50.0011 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 3547 0 0 0 4967 32 0 0 25 0 1 0 453823862 15216640 3030 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3715 3030 231 231 0 3484 0 vsize: 14860 [startup+60.0016 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 3669 0 0 0 5964 35 0 0 25 0 1 0 453823862 15486976 3152 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3781 3152 231 231 0 3550 0 vsize: 15124 [startup+70.0014 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 3786 0 0 0 6961 39 0 0 25 0 1 0 453823862 15622144 3269 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3814 3269 231 231 0 3583 0 vsize: 15256 [startup+80.0025 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 3908 0 0 0 7955 44 0 0 25 0 1 0 453823862 15900672 3391 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3882 3391 231 231 0 3651 0 vsize: 15528 [startup+90.002 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4017 0 0 0 8950 50 0 0 25 0 1 0 453823862 15900672 3500 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3882 3500 231 231 0 3651 0 vsize: 15528 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4134 0 0 0 9944 56 0 0 25 0 1 0 453823862 20230144 3617 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4939 3617 231 231 0 4708 0 vsize: 19756 [startup+110.006 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4215 0 0 0 10939 62 0 0 25 0 1 0 453823862 20361216 3698 4294967295 134512640 135450300 3221224640 3221223376 134538188 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4971 3698 231 231 0 4740 0 vsize: 19884 [startup+120.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4252 0 0 0 11935 67 0 0 25 0 1 0 453823862 20496384 3735 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5004 3735 231 231 0 4773 0 vsize: 20016 [startup+130.014 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4284 0 0 0 12931 71 0 0 25 0 1 0 453823862 20631552 3767 4294967295 134512640 135450300 3221224640 3221222992 134533239 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5037 3767 231 231 0 4806 0 vsize: 20148 [startup+140.014 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4510 0 0 0 13925 77 0 0 25 0 1 0 453823862 21417984 3800 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5229 3800 231 231 0 4998 0 vsize: 20916 [startup+150.014 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4541 0 0 0 14919 83 0 0 25 0 1 0 453823862 21544960 3831 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5260 3831 231 231 0 5029 0 vsize: 21040 [startup+160.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4554 0 0 0 15912 90 0 0 25 0 1 0 453823862 21544960 3844 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5260 3844 231 231 0 5029 0 vsize: 21040 [startup+170.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4584 0 0 0 16908 94 0 0 25 0 1 0 453823862 21696512 3874 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5297 3874 231 231 0 5066 0 vsize: 21188 [startup+180.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4606 0 0 0 17901 101 0 0 25 0 1 0 453823862 21831680 3896 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5330 3896 231 231 0 5099 0 vsize: 21320 [startup+190.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4625 0 0 0 18895 108 0 0 25 0 1 0 453823862 21831680 3915 4294967295 134512640 135450300 3221224640 3221223248 134537648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5330 3915 231 231 0 5099 0 vsize: 21320 [startup+200.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4640 0 0 0 19886 117 0 0 25 0 1 0 453823862 21831680 3930 4294967295 134512640 135450300 3221224640 3221222992 134533275 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5330 3930 231 231 0 5099 0 vsize: 21320 [startup+210.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4656 0 0 0 20880 123 0 0 25 0 1 0 453823862 21831680 3946 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5330 3946 231 231 0 5099 0 vsize: 21320 [startup+220.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4666 0 0 0 21873 130 0 0 25 0 1 0 453823862 21831680 3956 4294967295 134512640 135450300 3221224640 3221223456 134546467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5330 3956 231 231 0 5099 0 vsize: 21320 [startup+230.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4691 0 0 0 22867 136 0 0 25 0 1 0 453823862 22114304 3981 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 3981 231 231 0 5168 0 vsize: 21596 [startup+240.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4700 0 0 0 23859 145 0 0 25 0 1 0 453823862 22114304 3990 4294967295 134512640 135450300 3221224640 3221223504 134539232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 3990 231 231 0 5168 0 vsize: 21596 [startup+250.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4720 0 0 0 24852 152 0 0 25 0 1 0 453823862 22114304 4010 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 4010 231 231 0 5168 0 vsize: 21596 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4733 0 0 0 25845 159 0 0 25 0 1 0 453823862 22114304 4023 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 4023 231 231 0 5168 0 vsize: 21596 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4744 0 0 0 26838 166 0 0 25 0 1 0 453823862 22114304 4034 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 4034 231 231 0 5168 0 vsize: 21596 [startup+280.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4757 0 0 0 27829 175 0 0 25 0 1 0 453823862 22114304 4047 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 4047 231 231 0 5168 0 vsize: 21596 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4771 0 0 0 28823 182 0 0 25 0 1 0 453823862 22228992 4061 4294967295 134512640 135450300 3221224640 3221222992 134533154 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5427 4061 231 231 0 5196 0 vsize: 21708 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4785 0 0 0 29816 189 0 0 25 0 1 0 453823862 22228992 4075 4294967295 134512640 135450300 3221224640 3221222992 134533191 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5427 4075 231 231 0 5196 0 vsize: 21708 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4796 0 0 0 30811 194 0 0 25 0 1 0 453823862 22228992 4086 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5427 4086 231 231 0 5196 0 vsize: 21708 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4806 0 0 0 31806 199 0 0 25 0 1 0 453823862 22228992 4096 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5427 4096 231 231 0 5196 0 vsize: 21708 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4829 0 0 0 32799 206 0 0 25 0 1 0 453823862 22401024 4119 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5469 4119 231 231 0 5238 0 vsize: 21876 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4853 0 0 0 33793 213 0 0 25 0 1 0 453823862 22519808 4143 4294967295 134512640 135450300 3221224640 3221223120 134534885 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5498 4143 231 231 0 5267 0 vsize: 21992 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4868 0 0 0 34785 220 0 0 25 0 1 0 453823862 22519808 4158 4294967295 134512640 135450300 3221224640 3221222992 134533173 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5498 4158 231 231 0 5267 0 vsize: 21992 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4880 0 0 0 35779 227 0 0 25 0 1 0 453823862 22519808 4170 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5498 4170 231 231 0 5267 0 vsize: 21992 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4891 0 0 0 36772 235 0 0 25 0 1 0 453823862 22519808 4181 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5498 4181 231 231 0 5267 0 vsize: 21992 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4901 0 0 0 37766 240 0 0 25 0 1 0 453823862 22519808 4191 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5498 4191 231 231 0 5267 0 vsize: 21992 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4914 0 0 0 38759 248 0 0 25 0 1 0 453823862 22519808 4204 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5498 4204 231 231 0 5267 0 vsize: 21992 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4926 0 0 0 39752 255 0 0 25 0 1 0 453823862 22700032 4216 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4216 231 231 0 5311 0 vsize: 22168 [startup+410.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4937 0 0 0 40748 259 0 0 25 0 1 0 453823862 22700032 4227 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4227 231 231 0 5311 0 vsize: 22168 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4943 0 0 0 41742 265 0 0 25 0 1 0 453823862 22700032 4233 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4233 231 231 0 5311 0 vsize: 22168 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4952 0 0 0 42736 271 0 0 25 0 1 0 453823862 22700032 4242 4294967295 134512640 135450300 3221224640 3221222992 134533219 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4242 231 231 0 5311 0 vsize: 22168 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4971 0 0 0 43728 279 0 0 25 0 1 0 453823862 22700032 4261 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4261 231 231 0 5311 0 vsize: 22168 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4980 0 0 0 44721 287 0 0 25 0 1 0 453823862 22700032 4270 4294967295 134512640 135450300 3221224640 3221223376 134538242 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4270 231 231 0 5311 0 vsize: 22168 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4988 0 0 0 45715 293 0 0 25 0 1 0 453823862 22700032 4278 4294967295 134512640 135450300 3221224640 3221223376 134538023 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4278 231 231 0 5311 0 vsize: 22168 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 4995 0 0 0 46711 298 0 0 25 0 1 0 453823862 22700032 4285 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4285 231 231 0 5311 0 vsize: 22168 [startup+480.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5015 0 0 0 47702 307 0 0 25 0 1 0 453823862 22700032 4305 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5542 4305 231 231 0 5311 0 vsize: 22168 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5029 0 0 0 48694 315 0 0 25 0 1 0 453823862 23007232 4319 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5617 4319 231 231 0 5386 0 vsize: 22468 [startup+500.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5040 0 0 0 49687 323 0 0 25 0 1 0 453823862 23007232 4330 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5617 4330 231 231 0 5386 0 vsize: 22468 [startup+510.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5051 0 0 0 50681 329 0 0 25 0 1 0 453823862 23007232 4341 4294967295 134512640 135450300 3221224640 3221223248 134537639 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5617 4341 231 231 0 5386 0 vsize: 22468 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5064 0 0 0 51674 335 0 0 25 0 1 0 453823862 23007232 4354 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5617 4354 231 231 0 5386 0 vsize: 22468 [startup+530.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5467 0 0 0 52666 344 0 0 25 0 1 0 453823862 24580096 4372 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 4372 231 231 0 5770 0 vsize: 24004 [startup+540.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5479 0 0 0 53659 352 0 0 25 0 1 0 453823862 24580096 4384 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 4384 231 231 0 5770 0 vsize: 24004 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5487 0 0 0 54652 359 0 0 25 0 1 0 453823862 24580096 4392 4294967295 134512640 135450300 3221224640 3221223376 134538791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 4392 231 231 0 5770 0 vsize: 24004 [startup+560.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5498 0 0 0 55645 366 0 0 25 0 1 0 453823862 24580096 4403 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 4403 231 231 0 5770 0 vsize: 24004 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5509 0 0 0 56639 372 0 0 25 0 1 0 453823862 24580096 4414 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 4414 231 231 0 5770 0 vsize: 24004 [startup+580.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5524 0 0 0 57633 378 0 0 25 0 1 0 453823862 24580096 4429 4294967295 134512640 135450300 3221224640 3221222992 134533214 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 4429 231 231 0 5770 0 vsize: 24004 [startup+590.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5530 0 0 0 58627 384 0 0 25 0 1 0 453823862 24580096 4435 4294967295 134512640 135450300 3221224640 3221223028 135077522 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6001 4435 231 231 0 5770 0 vsize: 24004 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5547 0 0 0 59622 390 0 0 25 0 1 0 453823862 24784896 4452 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6051 4452 231 231 0 5820 0 vsize: 24204 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5561 0 0 0 60615 396 0 0 25 0 1 0 453823862 24899584 4466 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 4466 231 231 0 5848 0 vsize: 24316 [startup+620.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5576 0 0 0 61609 403 0 0 25 0 1 0 453823862 24899584 4481 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 4481 231 231 0 5848 0 vsize: 24316 [startup+630.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5584 0 0 0 62603 409 0 0 25 0 1 0 453823862 24899584 4489 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 4489 231 231 0 5848 0 vsize: 24316 [startup+640.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5596 0 0 0 63597 415 0 0 25 0 1 0 453823862 24899584 4501 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 4501 231 231 0 5848 0 vsize: 24316 [startup+650.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5610 0 0 0 64592 421 0 0 25 0 1 0 453823862 24899584 4515 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 4515 231 231 0 5848 0 vsize: 24316 [startup+660.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5621 0 0 0 65584 428 0 0 25 0 1 0 453823862 24899584 4526 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 4526 231 231 0 5848 0 vsize: 24316 [startup+670.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5634 0 0 0 66578 435 0 0 25 0 1 0 453823862 24899584 4539 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6079 4539 231 231 0 5848 0 vsize: 24316 [startup+680.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5646 0 0 0 67573 440 0 0 25 0 1 0 453823862 25116672 4551 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4551 231 231 0 5901 0 vsize: 24528 [startup+690.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5659 0 0 0 68565 448 0 0 25 0 1 0 453823862 25116672 4564 4294967295 134512640 135450300 3221224640 3221223104 134532542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4564 231 231 0 5901 0 vsize: 24528 [startup+700.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5667 0 0 0 69558 455 0 0 25 0 1 0 453823862 25116672 4572 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4572 231 231 0 5901 0 vsize: 24528 [startup+710.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5682 0 0 0 70550 464 0 0 25 0 1 0 453823862 25116672 4587 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4587 231 231 0 5901 0 vsize: 24528 [startup+720.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5690 0 0 0 71544 469 0 0 25 0 1 0 453823862 25116672 4595 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4595 231 231 0 5901 0 vsize: 24528 [startup+730.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5697 0 0 0 72540 474 0 0 25 0 1 0 453823862 25116672 4602 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4602 231 231 0 5901 0 vsize: 24528 [startup+740.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5706 0 0 0 73533 482 0 0 25 0 1 0 453823862 25116672 4611 4294967295 134512640 135450300 3221224640 3221223376 134537968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4611 231 231 0 5901 0 vsize: 24528 [startup+750.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5715 0 0 0 74528 487 0 0 25 0 1 0 453823862 25116672 4620 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 4620 231 231 0 5901 0 vsize: 24528 [startup+760.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5731 0 0 0 75524 491 0 0 25 0 1 0 453823862 25251840 4636 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6165 4636 231 231 0 5934 0 vsize: 24660 [startup+770.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5747 0 0 0 76519 496 0 0 25 0 1 0 453823862 25251840 4652 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6165 4652 231 231 0 5934 0 vsize: 24660 [startup+780.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5777 0 0 0 77514 501 0 0 25 0 1 0 453823862 25251840 4682 4294967295 134512640 135450300 3221224640 3221223248 134537613 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6165 4682 231 231 0 5934 0 vsize: 24660 [startup+790.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5854 0 0 0 78508 507 0 0 25 0 1 0 453823862 25251840 4759 4294967295 134512640 135450300 3221224640 3221223248 134537667 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6165 4759 231 231 0 5934 0 vsize: 24660 [startup+800.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5939 0 0 0 79502 514 0 0 25 0 1 0 453823862 25366528 4844 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6193 4844 231 231 0 5962 0 vsize: 24772 [startup+810.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5975 0 0 0 80497 518 0 0 25 0 1 0 453823862 25366528 4880 4294967295 134512640 135450300 3221224640 3221223376 134538245 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6193 4880 231 231 0 5962 0 vsize: 24772 [startup+820.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 5995 0 0 0 81492 524 0 0 25 0 1 0 453823862 25595904 4900 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4900 231 231 0 6018 0 vsize: 24996 [startup+830.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6005 0 0 0 82485 531 0 0 25 0 1 0 453823862 25595904 4910 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4910 231 231 0 6018 0 vsize: 24996 [startup+840.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6021 0 0 0 83480 536 0 0 25 0 1 0 453823862 25595904 4926 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4926 231 231 0 6018 0 vsize: 24996 [startup+850.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6027 0 0 0 84475 541 0 0 25 0 1 0 453823862 25595904 4932 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4932 231 231 0 6018 0 vsize: 24996 [startup+860.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6033 0 0 0 85469 547 0 0 25 0 1 0 453823862 25595904 4938 4294967295 134512640 135450300 3221224640 3221223376 134538643 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4938 231 231 0 6018 0 vsize: 24996 [startup+870.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6049 0 0 0 86465 552 0 0 25 0 1 0 453823862 25595904 4954 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4954 231 231 0 6018 0 vsize: 24996 [startup+880.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6054 0 0 0 87460 557 0 0 25 0 1 0 453823862 25595904 4959 4294967295 134512640 135450300 3221224640 3221223376 134538219 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4959 231 231 0 6018 0 vsize: 24996 [startup+890.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6067 0 0 0 88455 562 0 0 25 0 1 0 453823862 25595904 4972 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4972 231 231 0 6018 0 vsize: 24996 [startup+900.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6076 0 0 0 89450 567 0 0 25 0 1 0 453823862 25595904 4981 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4981 231 231 0 6018 0 vsize: 24996 [startup+910.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6089 0 0 0 90442 575 0 0 25 0 1 0 453823862 25595904 4994 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 4994 231 231 0 6018 0 vsize: 24996 [startup+920.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6096 0 0 0 91437 580 0 0 25 0 1 0 453823862 25595904 5001 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5001 231 231 0 6018 0 vsize: 24996 [startup+930.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6100 0 0 0 92433 585 0 0 25 0 1 0 453823862 25595904 5005 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 5005 231 231 0 6018 0 vsize: 24996 [startup+940.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6121 0 0 0 93428 590 0 0 25 0 1 0 453823862 25841664 5026 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5026 231 231 0 6078 0 vsize: 25236 [startup+950.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6130 0 0 0 94424 594 0 0 25 0 1 0 453823862 25841664 5035 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5035 231 231 0 6078 0 vsize: 25236 [startup+960.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6137 0 0 0 95418 600 0 0 25 0 1 0 453823862 25841664 5042 4294967295 134512640 135450300 3221224640 3221223104 134532964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5042 231 231 0 6078 0 vsize: 25236 [startup+970.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6152 0 0 0 96413 606 0 0 25 0 1 0 453823862 25841664 5057 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5057 231 231 0 6078 0 vsize: 25236 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6170 0 0 0 97404 614 0 0 25 0 1 0 453823862 25841664 5075 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5075 231 231 0 6078 0 vsize: 25236 [startup+990.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6181 0 0 0 98398 621 0 0 25 0 1 0 453823862 25841664 5086 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5086 231 231 0 6078 0 vsize: 25236 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6190 0 0 0 99394 625 0 0 25 0 1 0 453823862 25841664 5095 4294967295 134512640 135450300 3221224640 3221222992 134533246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5095 231 231 0 6078 0 vsize: 25236 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25319 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6195 0 0 0 100389 631 0 0 25 0 1 0 453823862 25841664 5100 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5100 231 231 0 6078 0 vsize: 25236 [startup+1020.04 s] Raw data (loadavg): 1.07 0.99 0.91 3/57 25359 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6217 0 0 0 101381 638 0 0 25 0 1 0 453823862 25841664 5122 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6309 5122 231 231 0 6078 0 vsize: 25236 [startup+1030.1 s] Raw data (loadavg): 1.14 1.00 0.92 3/58 25364 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6227 0 0 0 102378 647 0 0 25 0 1 0 453823862 26103808 5132 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 5132 231 231 0 6142 0 vsize: 25492 [startup+1040.1 s] Raw data (loadavg): 1.19 1.02 0.93 2/54 25372 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6238 0 0 0 103372 653 0 0 25 0 1 0 453823862 26103808 5143 4294967295 134512640 135450300 3221224640 3221223360 134536025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 5143 231 231 0 6142 0 vsize: 25492 [startup+1050.1 s] Raw data (loadavg): 1.16 1.02 0.93 2/54 25372 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6247 0 0 0 104366 659 0 0 25 0 1 0 453823862 26103808 5152 4294967295 134512640 135450300 3221224640 3221223248 134537679 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 5152 231 231 0 6142 0 vsize: 25492 [startup+1060.1 s] Raw data (loadavg): 1.13 1.02 0.93 2/54 25372 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6261 0 0 0 105358 668 0 0 25 0 1 0 453823862 26103808 5166 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 5166 231 231 0 6142 0 vsize: 25492 [startup+1070.1 s] Raw data (loadavg): 1.11 1.02 0.93 2/54 25372 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6272 0 0 0 106352 674 0 0 25 0 1 0 453823862 26103808 5177 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 5177 231 231 0 6142 0 vsize: 25492 [startup+1080.1 s] Raw data (loadavg): 1.10 1.02 0.93 2/54 25372 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6282 0 0 0 107345 681 0 0 25 0 1 0 453823862 26103808 5187 4294967295 134512640 135450300 3221224640 3221222992 134533303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 5187 231 231 0 6142 0 vsize: 25492 [startup+1090.1 s] Raw data (loadavg): 1.08 1.01 0.93 2/54 25372 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6290 0 0 0 108338 689 0 0 25 0 1 0 453823862 26222592 5195 4294967295 134512640 135450300 3221224640 3221222992 134533209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6402 5195 231 231 0 6171 0 vsize: 25608 [startup+1100.1 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 25372 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6295 0 0 0 109332 695 0 0 25 0 1 0 453823862 26222592 5200 4294967295 134512640 135450300 3221224640 3221223456 134536409 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6402 5200 231 231 0 6171 0 vsize: 25608 [startup+1110.1 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6308 0 0 0 110326 700 0 0 25 0 1 0 453823862 26222592 5213 4294967295 134512640 135450300 3221224640 3221223376 134538219 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6402 5213 231 231 0 6171 0 vsize: 25608 [startup+1120.1 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6313 0 0 0 111320 706 0 0 25 0 1 0 453823862 26222592 5218 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6402 5218 231 231 0 6171 0 vsize: 25608 [startup+1130.1 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6327 0 0 0 112314 713 0 0 25 0 1 0 453823862 26222592 5232 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6402 5232 231 231 0 6171 0 vsize: 25608 [startup+1140.1 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6341 0 0 0 113307 720 0 0 25 0 1 0 453823862 26222592 5246 4294967295 134512640 135450300 3221224640 3221223248 134537633 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6402 5246 231 231 0 6171 0 vsize: 25608 [startup+1150.1 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6351 0 0 0 114300 727 0 0 25 0 1 0 453823862 26222592 5256 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6402 5256 231 231 0 6171 0 vsize: 25608 [startup+1160.1 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6365 0 0 0 115294 733 0 0 25 0 1 0 453823862 26497024 5270 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6469 5270 231 231 0 6238 0 vsize: 25876 [startup+1170.1 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6373 0 0 0 116286 741 0 0 25 0 1 0 453823862 26497024 5278 4294967295 134512640 135450300 3221224640 3221223376 134538089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6469 5278 231 231 0 6238 0 vsize: 25876 [startup+1180.1 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6383 0 0 0 117280 748 0 0 25 0 1 0 453823862 26497024 5288 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6469 5288 231 231 0 6238 0 vsize: 25876 [startup+1190.1 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6392 0 0 0 118273 754 0 0 25 0 1 0 453823862 26497024 5297 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6469 5297 231 231 0 6238 0 vsize: 25876 [startup+1200.1 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 25374 Raw data (stat): 25319 (PBS4) R 25318 30854 30853 0 -1 0 6398 0 0 0 119269 759 0 0 25 0 1 0 453823862 26497024 5303 4294967295 134512640 135450300 3221224640 3221223360 134536014 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6469 5303 231 231 0 6238 0 vsize: 25876 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.11 s] Raw data (loadavg): 1.01 1.00 0.93 1/54 25374 Raw data (stat): 25319 (PBS4) Z 25318 30854 30853 0 -1 1036 6398 0 0 0 119269 760 0 0 25 0 1 0 453823862 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.11 CPU time (s): 1200.3 CPU user time (s): 1192.69 CPU system time (s): 7.60684 CPU usage (%): 100.016 Max. virtual memory (Kb): 25876 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####