Name | normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
MD5SUM | 5b41c3eb79e4b3bf301d25b20a1c7b76 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 62704 |
Total number of constraints | 187107 |
Number of constraints which are clauses | 186603 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-04-17 16:47:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2571 boxname=wulflinc22 idbench=286 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 5b41c3eb79e4b3bf301d25b20a1c7b76 /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.opb IDLAUNCH: 2571 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 805288 kB Buffers: 34112 kB Cached: 151392 kB SwapCached: 0 kB Active: 76212 kB Inactive: 112176 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 805036 kB SwapTotal: 2097892 kB SwapFree: 2097892 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6932 kB Slab: 35448 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 17:07:57 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 2571 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc22/normalized-cache.inv14.ucl.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.91 0.90 2/54 17936 Raw data (stat): 17936 (runsolver) R 17935 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512071703 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.87 0.91 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 7798 0 0 0 978 21 0 0 25 0 1 0 512071703 31334400 6145 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7650 6145 231 231 0 7419 0 vsize: 30600 [startup+20.001 s] Raw data (loadavg): 0.89 0.91 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 8813 0 0 0 1975 24 0 0 25 0 1 0 512071703 35975168 7028 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8783 7028 231 231 0 8552 0 vsize: 35132 [startup+30.0017 s] Raw data (loadavg): 0.90 0.92 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 9826 0 0 0 2972 27 0 0 25 0 1 0 512071703 40902656 7975 4294967295 134512640 135450300 3221224640 3221223500 134539316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9986 7975 231 231 0 9755 0 vsize: 39944 [startup+40.001 s] Raw data (loadavg): 0.92 0.92 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 11078 0 0 0 3969 30 0 0 25 0 1 0 512071703 45813760 8930 4294967295 134512640 135450300 3221224640 3221223536 134539774 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11185 8930 231 231 0 10954 0 vsize: 44740 [startup+50.0021 s] Raw data (loadavg): 0.93 0.92 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 11466 0 0 0 4969 31 0 0 25 0 1 0 512071703 46563328 9195 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11368 9195 231 231 0 11137 0 vsize: 45472 [startup+60.0028 s] Raw data (loadavg): 0.94 0.92 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 12758 0 0 0 5965 34 0 0 25 0 1 0 512071703 52187136 10223 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12741 10223 231 231 0 12510 0 vsize: 50964 [startup+70.0031 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 13044 0 0 0 6964 36 0 0 25 0 1 0 512071703 53374976 10476 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13031 10476 231 231 0 12800 0 vsize: 52124 [startup+80.0042 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 13969 0 0 0 7961 39 0 0 25 0 1 0 512071703 57102336 11229 4294967295 134512640 135450300 3221224640 3221223392 135068531 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13941 11229 231 231 0 13710 0 vsize: 55764 [startup+90.0039 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 14381 0 0 0 8959 41 0 0 25 0 1 0 512071703 58773504 11575 4294967295 134512640 135450300 3221224640 3221223116 134534888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14349 11575 231 231 0 14118 0 vsize: 57396 [startup+100.004 s] Raw data (loadavg): 0.97 0.93 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 14790 0 0 0 9957 43 0 0 25 0 1 0 512071703 60108800 11861 4294967295 134512640 135450300 3221224640 3221223376 134538889 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14675 11861 231 231 0 14444 0 vsize: 58700 [startup+110.005 s] Raw data (loadavg): 0.97 0.93 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 15188 0 0 0 10956 44 0 0 25 0 1 0 512071703 61722624 12193 4294967295 134512640 135450300 3221224640 3221223580 134530260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15069 12193 231 231 0 14838 0 vsize: 60276 [startup+120.007 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 15711 0 0 0 11954 46 0 0 25 0 1 0 512071703 63496192 12494 4294967295 134512640 135450300 3221224640 3221223376 134537902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15502 12494 231 231 0 15271 0 vsize: 62008 [startup+130.007 s] Raw data (loadavg): 0.98 0.93 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 16249 0 0 0 12953 48 0 0 25 0 1 0 512071703 66015232 13032 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16117 13032 231 231 0 15886 0 vsize: 64468 [startup+140.007 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 16842 0 0 0 13951 50 0 0 25 0 1 0 512071703 68689920 13493 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16770 13493 231 231 0 16539 0 vsize: 67080 [startup+150.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 17464 0 0 0 14949 52 0 0 25 0 1 0 512071703 70672384 13818 4294967295 134512640 135450300 3221224640 3221223580 134530263 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17254 13818 231 231 0 17023 0 vsize: 69016 [startup+160.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 17954 0 0 0 15948 53 0 0 25 0 1 0 512071703 72552448 14209 4294967295 134512640 135450300 3221224640 3221223504 134539158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17713 14209 231 231 0 17482 0 vsize: 70852 [startup+170.009 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18141 0 0 0 16947 55 0 0 25 0 1 0 512071703 81747968 14396 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19958 14396 231 231 0 19727 0 vsize: 79832 [startup+180.009 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18296 0 0 0 17946 56 0 0 25 0 1 0 512071703 82014208 14518 4294967295 134512640 135450300 3221224640 3221223468 134537814 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20023 14518 231 231 0 19792 0 vsize: 80092 [startup+190.01 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18475 0 0 0 18944 57 0 0 25 0 1 0 512071703 82554880 14697 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20155 14697 231 231 0 19924 0 vsize: 80620 [startup+200.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 18769 0 0 0 19944 58 0 0 25 0 1 0 512071703 83628032 14925 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20417 14925 231 231 0 20186 0 vsize: 81668 [startup+210.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19025 0 0 0 20943 59 0 0 25 0 1 0 512071703 84430848 15115 4294967295 134512640 135450300 3221224640 3221223376 134538483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20613 15115 231 231 0 20382 0 vsize: 82452 [startup+220.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19232 0 0 0 21941 61 0 0 25 0 1 0 512071703 85102592 15289 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20777 15289 231 231 0 20546 0 vsize: 83108 [startup+230.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19445 0 0 0 22940 62 0 0 25 0 1 0 512071703 85762048 15403 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20938 15403 231 231 0 20707 0 vsize: 83752 [startup+240.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 19717 0 0 0 23939 63 0 0 25 0 1 0 512071703 86949888 15609 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21228 15609 231 231 0 20997 0 vsize: 84912 [startup+250.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20085 0 0 0 24937 65 0 0 25 0 1 0 512071703 87941120 15845 4294967295 134512640 135450300 3221224640 3221223376 134537851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21470 15845 231 231 0 21239 0 vsize: 85880 [startup+260.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20255 0 0 0 25936 66 0 0 25 0 1 0 512071703 88203264 15949 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21534 15949 231 231 0 21303 0 vsize: 86136 [startup+270.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20438 0 0 0 26936 67 0 0 25 0 1 0 512071703 88870912 16132 4294967295 134512640 135450300 3221224640 3221223052 134533356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21697 16132 231 231 0 21466 0 vsize: 86788 [startup+280.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20606 0 0 0 27934 69 0 0 25 0 1 0 512071703 89133056 16234 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21761 16234 231 231 0 21530 0 vsize: 87044 [startup+290.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20747 0 0 0 28933 70 0 0 25 0 1 0 512071703 89395200 16309 4294967295 134512640 135450300 3221224640 3221223500 134539310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21825 16309 231 231 0 21594 0 vsize: 87300 [startup+300.014 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 20844 0 0 0 29933 71 0 0 25 0 1 0 512071703 89530368 16406 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21858 16406 231 231 0 21627 0 vsize: 87432 [startup+310.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21046 0 0 0 30931 72 0 0 25 0 1 0 512071703 89530368 16485 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21858 16485 231 231 0 21627 0 vsize: 87432 [startup+320.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21308 0 0 0 31930 74 0 0 25 0 1 0 512071703 90054656 16615 4294967295 134512640 135450300 3221224640 3221223376 134538438 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21986 16615 231 231 0 21755 0 vsize: 87944 [startup+330.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21562 0 0 0 32929 75 0 0 25 0 1 0 512071703 90980352 16737 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22212 16737 231 231 0 21981 0 vsize: 88848 [startup+340.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 21730 0 0 0 33927 77 0 0 25 0 1 0 512071703 91377664 16839 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22309 16839 231 231 0 22078 0 vsize: 89236 [startup+350.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22076 0 0 0 34925 78 0 0 25 0 1 0 512071703 92315648 17062 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22538 17062 231 231 0 22307 0 vsize: 90152 [startup+360.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22218 0 0 0 35924 80 0 0 25 0 1 0 512071703 92852224 17171 4294967295 134512640 135450300 3221224640 3221223484 134538634 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22669 17171 231 231 0 22438 0 vsize: 90676 [startup+370.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22220 0 0 0 36924 80 0 0 25 0 1 0 512071703 92852224 17173 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22669 17173 231 231 0 22438 0 vsize: 90676 [startup+380.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22222 0 0 0 37924 81 0 0 25 0 1 0 512071703 92852224 17175 4294967295 134512640 135450300 3221224640 3221223580 134530276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22669 17175 231 231 0 22438 0 vsize: 90676 [startup+390.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22255 0 0 0 38923 82 0 0 25 0 1 0 512071703 92852224 17208 4294967295 134512640 135450300 3221224640 3221223484 134538066 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22669 17208 231 231 0 22438 0 vsize: 90676 [startup+400.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22298 0 0 0 39922 82 0 0 25 0 1 0 512071703 92983296 17218 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22701 17218 231 231 0 22470 0 vsize: 90804 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22383 0 0 0 40922 83 0 0 25 0 1 0 512071703 92983296 17303 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22701 17303 231 231 0 22470 0 vsize: 90804 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22609 0 0 0 41921 83 0 0 25 0 1 0 512071703 92983296 17406 4294967295 134512640 135450300 3221224640 3221223312 134529277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22701 17406 231 231 0 22470 0 vsize: 90804 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22704 0 0 0 42920 85 0 0 25 0 1 0 512071703 93253632 17501 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22767 17501 231 231 0 22536 0 vsize: 91068 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22806 0 0 0 43919 86 0 0 25 0 1 0 512071703 93519872 17603 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22832 17603 231 231 0 22601 0 vsize: 91328 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22864 0 0 0 44918 87 0 0 25 0 1 0 512071703 93519872 17661 4294967295 134512640 135450300 3221224640 3221223376 134537890 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22832 17661 231 231 0 22601 0 vsize: 91328 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22943 0 0 0 45918 88 0 0 25 0 1 0 512071703 93650944 17707 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22864 17707 231 231 0 22633 0 vsize: 91456 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 22991 0 0 0 46917 89 0 0 25 0 1 0 512071703 93650944 17755 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22864 17755 231 231 0 22633 0 vsize: 91456 [startup+480.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23110 0 0 0 47916 89 0 0 25 0 1 0 512071703 93917184 17874 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22929 17874 231 231 0 22698 0 vsize: 91716 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23163 0 0 0 48915 90 0 0 25 0 1 0 512071703 93917184 17927 4294967295 134512640 135450300 3221224640 3221223504 134539260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22929 17927 231 231 0 22698 0 vsize: 91716 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23236 0 0 0 49915 91 0 0 25 0 1 0 512071703 94052352 18000 4294967295 134512640 135450300 3221224640 3221223232 134844232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22962 18000 231 231 0 22731 0 vsize: 91848 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23317 0 0 0 50914 92 0 0 25 0 1 0 512071703 94318592 18081 4294967295 134512640 135450300 3221224640 3221223568 134539679 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23027 18081 231 231 0 22796 0 vsize: 92108 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23370 0 0 0 51913 93 0 0 25 0 1 0 512071703 94318592 18134 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23027 18134 231 231 0 22796 0 vsize: 92108 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23416 0 0 0 52913 94 0 0 25 0 1 0 512071703 94318592 18180 4294967295 134512640 135450300 3221224640 3221223568 134539619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23027 18180 231 231 0 22796 0 vsize: 92108 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23486 0 0 0 53912 94 0 0 25 0 1 0 512071703 94318592 18250 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23027 18250 231 231 0 22796 0 vsize: 92108 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 23694 0 0 0 54911 95 0 0 25 0 1 0 512071703 94318592 18335 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23027 18335 231 231 0 22796 0 vsize: 92108 [startup+560.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24038 0 0 0 55910 97 0 0 25 0 1 0 512071703 94584832 18523 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23092 18523 231 231 0 22861 0 vsize: 92368 [startup+570.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24163 0 0 0 56910 97 0 0 25 0 1 0 512071703 94584832 18648 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23092 18648 231 231 0 22861 0 vsize: 92368 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24446 0 0 0 57908 99 0 0 25 0 1 0 512071703 94720000 18808 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23125 18808 231 231 0 22894 0 vsize: 92500 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24584 0 0 0 58907 100 0 0 25 0 1 0 512071703 111632384 18946 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27254 18946 231 231 0 27023 0 vsize: 109016 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24860 0 0 0 59906 101 0 0 25 0 1 0 512071703 111632384 19099 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27254 19099 231 231 0 27023 0 vsize: 109016 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 24868 0 0 0 60906 102 0 0 25 0 1 0 512071703 111632384 19107 4294967295 134512640 135450300 3221224640 3221223376 134537876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27254 19107 231 231 0 27023 0 vsize: 109016 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25015 0 0 0 61905 103 0 0 25 0 1 0 512071703 111767552 19131 4294967295 134512640 135450300 3221224640 3221223376 134538427 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27287 19131 231 231 0 27056 0 vsize: 109148 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25079 0 0 0 62903 104 0 0 25 0 1 0 512071703 112033792 19162 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27352 19162 231 231 0 27121 0 vsize: 109408 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25120 0 0 0 63903 105 0 0 25 0 1 0 512071703 112164864 19170 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27384 19170 231 231 0 27153 0 vsize: 109536 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25123 0 0 0 64902 106 0 0 25 0 1 0 512071703 112164864 19173 4294967295 134512640 135450300 3221224640 3221223376 134538380 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27384 19173 231 231 0 27153 0 vsize: 109536 [startup+660.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25124 0 0 0 65902 106 0 0 25 0 1 0 512071703 112164864 19174 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27384 19174 231 231 0 27153 0 vsize: 109536 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25172 0 0 0 66901 107 0 0 25 0 1 0 512071703 112431104 19222 4294967295 134512640 135450300 3221224640 3221223376 134538640 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27449 19222 231 231 0 27218 0 vsize: 109796 [startup+680.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25231 0 0 0 67901 107 0 0 25 0 1 0 512071703 112697344 19281 4294967295 134512640 135450300 3221224640 3221223088 134533413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27514 19281 231 231 0 27283 0 vsize: 110056 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25283 0 0 0 68901 108 0 0 25 0 1 0 512071703 112828416 19300 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27546 19300 231 231 0 27315 0 vsize: 110184 [startup+700.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25287 0 0 0 69900 109 0 0 25 0 1 0 512071703 112828416 19304 4294967295 134512640 135450300 3221224640 3221222992 134533084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27546 19304 231 231 0 27315 0 vsize: 110184 [startup+710.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25390 0 0 0 70900 109 0 0 25 0 1 0 512071703 113496064 19407 4294967295 134512640 135450300 3221224640 3221223504 134539179 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27709 19407 231 231 0 27478 0 vsize: 110836 [startup+720.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25496 0 0 0 71899 110 0 0 25 0 1 0 512071703 113893376 19480 4294967295 134512640 135450300 3221224640 3221223376 134538745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27806 19480 231 231 0 27575 0 vsize: 111224 [startup+730.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17936 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25711 0 0 0 72899 111 0 0 25 0 1 0 512071703 114556928 19662 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27968 19662 231 231 0 27737 0 vsize: 111872 [startup+740.022 s] Raw data (loadavg): 1.22 1.02 0.93 2/56 17979 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 25968 0 0 0 73897 113 0 0 25 0 1 0 512071703 114556928 19796 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27968 19796 231 231 0 27737 0 vsize: 111872 [startup+750.022 s] Raw data (loadavg): 1.26 1.04 0.93 2/54 17989 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26071 0 0 0 74896 113 0 0 25 0 1 0 512071703 114823168 19899 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 19899 231 231 0 27802 0 vsize: 112132 [startup+760.023 s] Raw data (loadavg): 1.22 1.03 0.93 2/54 17989 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26200 0 0 0 75896 114 0 0 25 0 1 0 512071703 114823168 20028 4294967295 134512640 135450300 3221224640 3221223376 134538029 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 20028 231 231 0 27802 0 vsize: 112132 [startup+770.022 s] Raw data (loadavg): 1.19 1.03 0.93 2/54 17989 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26411 0 0 0 76895 115 0 0 25 0 1 0 512071703 114823168 20116 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 20116 231 231 0 27802 0 vsize: 112132 [startup+780.022 s] Raw data (loadavg): 1.16 1.03 0.93 2/54 17989 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26491 0 0 0 77894 116 0 0 25 0 1 0 512071703 114823168 20196 4294967295 134512640 135450300 3221224640 3221223052 134533356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 20196 231 231 0 27802 0 vsize: 112132 [startup+790.022 s] Raw data (loadavg): 1.13 1.03 0.93 2/54 17989 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26559 0 0 0 78893 117 0 0 25 0 1 0 512071703 114823168 20264 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 20264 231 231 0 27802 0 vsize: 112132 [startup+800.022 s] Raw data (loadavg): 1.11 1.03 0.93 2/54 17989 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26635 0 0 0 79892 118 0 0 25 0 1 0 512071703 114823168 20340 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 20340 231 231 0 27802 0 vsize: 112132 [startup+810.022 s] Raw data (loadavg): 1.09 1.03 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26734 0 0 0 80891 119 0 0 25 0 1 0 512071703 114954240 20406 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28065 20406 231 231 0 27834 0 vsize: 112260 [startup+820.021 s] Raw data (loadavg): 1.08 1.03 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26827 0 0 0 81890 120 0 0 25 0 1 0 512071703 114954240 20499 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28065 20499 231 231 0 27834 0 vsize: 112260 [startup+830.022 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 26926 0 0 0 82890 121 0 0 25 0 1 0 512071703 115089408 20598 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28098 20598 231 231 0 27867 0 vsize: 112392 [startup+840.022 s] Raw data (loadavg): 1.06 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27158 0 0 0 83889 122 0 0 25 0 1 0 512071703 115224576 20707 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28131 20707 231 231 0 27900 0 vsize: 112524 [startup+850.022 s] Raw data (loadavg): 1.05 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27261 0 0 0 84888 123 0 0 25 0 1 0 512071703 115490816 20810 4294967295 134512640 135450300 3221224640 3221223492 134902020 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28196 20810 231 231 0 27965 0 vsize: 112784 [startup+860.022 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27320 0 0 0 85887 124 0 0 25 0 1 0 512071703 115490816 20869 4294967295 134512640 135450300 3221224640 3221223468 134538630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28196 20869 231 231 0 27965 0 vsize: 112784 [startup+870.022 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27389 0 0 0 86887 124 0 0 25 0 1 0 512071703 115625984 20938 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28229 20938 231 231 0 27998 0 vsize: 112916 [startup+880.022 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27440 0 0 0 87887 125 0 0 25 0 1 0 512071703 115625984 20989 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28229 20989 231 231 0 27998 0 vsize: 112916 [startup+890.021 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27483 0 0 0 88887 125 0 0 25 0 1 0 512071703 115625984 21032 4294967295 134512640 135450300 3221224640 3221223376 134538730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28229 21032 231 231 0 27998 0 vsize: 112916 [startup+900.022 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27540 0 0 0 89887 125 0 0 25 0 1 0 512071703 115625984 21089 4294967295 134512640 135450300 3221224640 3221223120 134534885 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28229 21089 231 231 0 27998 0 vsize: 112916 [startup+910.021 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27599 0 0 0 90886 126 0 0 25 0 1 0 512071703 115625984 21148 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28229 21148 231 231 0 27998 0 vsize: 112916 [startup+920.021 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27662 0 0 0 91885 127 0 0 25 0 1 0 512071703 115761152 21211 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28262 21211 231 231 0 28031 0 vsize: 113048 [startup+930.022 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27698 0 0 0 92885 128 0 0 25 0 1 0 512071703 115761152 21247 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28262 21247 231 231 0 28031 0 vsize: 113048 [startup+940.022 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27760 0 0 0 93885 128 0 0 25 0 1 0 512071703 115761152 21309 4294967295 134512640 135450300 3221224640 3221223504 134539216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28262 21309 231 231 0 28031 0 vsize: 113048 [startup+950.023 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27813 0 0 0 94884 129 0 0 25 0 1 0 512071703 115761152 21362 4294967295 134512640 135450300 3221224640 3221223376 134538969 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28262 21362 231 231 0 28031 0 vsize: 113048 [startup+960.023 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 27972 0 0 0 95884 129 0 0 25 0 1 0 512071703 115761152 21398 4294967295 134512640 135450300 3221224640 3221223504 134539260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28262 21398 231 231 0 28031 0 vsize: 113048 [startup+970.023 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28037 0 0 0 96883 130 0 0 25 0 1 0 512071703 116162560 21463 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28360 21463 231 231 0 28129 0 vsize: 113440 [startup+980.023 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28038 0 0 0 97883 130 0 0 25 0 1 0 512071703 116162560 21464 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28360 21464 231 231 0 28129 0 vsize: 113440 [startup+990.023 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28051 0 0 0 98883 131 0 0 25 0 1 0 512071703 116162560 21477 4294967295 134512640 135450300 3221224640 3221223376 134538475 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28360 21477 231 231 0 28129 0 vsize: 113440 [startup+1000.02 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28052 0 0 0 99883 131 0 0 25 0 1 0 512071703 116162560 21478 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28360 21478 231 231 0 28129 0 vsize: 113440 [startup+1010.02 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28106 0 0 0 100882 132 0 0 25 0 1 0 512071703 116293632 21499 4294967295 134512640 135450300 3221224640 3221223568 134539671 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28392 21499 231 231 0 28161 0 vsize: 113568 [startup+1020.02 s] Raw data (loadavg): 1.00 1.01 0.93 3/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28294 0 0 0 101882 132 0 0 25 0 1 0 512071703 116748288 21531 4294967295 134512640 135450300 3221224640 3221223376 134538803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28503 21531 231 231 0 28272 0 vsize: 114012 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28298 0 0 0 102881 133 0 0 25 0 1 0 512071703 116748288 21535 4294967295 134512640 135450300 3221224640 3221223072 134533524 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28503 21535 231 231 0 28272 0 vsize: 114012 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28299 0 0 0 103881 134 0 0 25 0 1 0 512071703 116748288 21536 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28503 21536 231 231 0 28272 0 vsize: 114012 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17991 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28300 0 0 0 104880 135 0 0 25 0 1 0 512071703 116748288 21537 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28503 21537 231 231 0 28272 0 vsize: 114012 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28302 0 0 0 105880 135 0 0 25 0 1 0 512071703 116748288 21539 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28503 21539 231 231 0 28272 0 vsize: 114012 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28514 0 0 0 106878 137 0 0 25 0 1 0 512071703 117010432 21562 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28567 21562 231 231 0 28336 0 vsize: 114268 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28517 0 0 0 107878 138 0 0 25 0 1 0 512071703 117010432 21565 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28567 21565 231 231 0 28336 0 vsize: 114268 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28520 0 0 0 108878 138 0 0 25 0 1 0 512071703 117010432 21568 4294967295 134512640 135450300 3221224640 3221223360 134535457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28567 21568 231 231 0 28336 0 vsize: 114268 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28646 0 0 0 109877 139 0 0 25 0 1 0 512071703 117010432 21571 4294967295 134512640 135450300 3221224640 3221223376 134538690 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28567 21571 231 231 0 28336 0 vsize: 114268 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28683 0 0 0 110876 140 0 0 25 0 1 0 512071703 117276672 21608 4294967295 134512640 135450300 3221224640 3221223580 134530260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28632 21608 231 231 0 28401 0 vsize: 114528 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28816 0 0 0 111876 141 0 0 25 0 1 0 512071703 117276672 21618 4294967295 134512640 135450300 3221224640 3221222992 134533081 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28632 21618 231 231 0 28401 0 vsize: 114528 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28826 0 0 0 112875 141 0 0 25 0 1 0 512071703 117276672 21628 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28632 21628 231 231 0 28401 0 vsize: 114528 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28894 0 0 0 113875 142 0 0 25 0 1 0 512071703 117407744 21663 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28664 21663 231 231 0 28433 0 vsize: 114656 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 28963 0 0 0 114874 142 0 0 25 0 1 0 512071703 117407744 21732 4294967295 134512640 135450300 3221224640 3221222992 134533112 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28664 21732 231 231 0 28433 0 vsize: 114656 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29011 0 0 0 115874 143 0 0 25 0 1 0 512071703 117407744 21780 4294967295 134512640 135450300 3221224640 3221222992 134533084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28664 21780 231 231 0 28433 0 vsize: 114656 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29042 0 0 0 116874 143 0 0 25 0 1 0 512071703 117407744 21811 4294967295 134512640 135450300 3221224640 3221223376 134538435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28664 21811 231 231 0 28433 0 vsize: 114656 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29078 0 0 0 117874 144 0 0 25 0 1 0 512071703 117407744 21847 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28664 21847 231 231 0 28433 0 vsize: 114656 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29112 0 0 0 118873 145 0 0 25 0 1 0 512071703 117407744 21881 4294967295 134512640 135450300 3221224640 3221223580 134530387 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28664 21881 231 231 0 28433 0 vsize: 114656 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 17993 Raw data (stat): 17936 (PBS4) R 17935 26298 26297 0 -1 0 29170 0 0 0 119871 146 0 0 25 0 1 0 512071703 117407744 21939 4294967295 134512640 135450300 3221224640 3221223376 134538496 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28664 21939 231 231 0 28433 0 vsize: 114656 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 17993 Raw data (stat): 17936 (PBS4) Z 17935 26298 26297 0 -1 1036 29170 0 0 0 119871 151 0 0 25 0 1 0 512071703 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.07 CPU time (s): 1200.23 CPU user time (s): 1198.72 CPU system time (s): 1.51177 CPU usage (%): 100.014 Max. virtual memory (Kb): 114656 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####