Name | normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb |
MD5SUM | 0493ba9e257fafbb54efa7af2eeb7bf2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1567 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 5699 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 5699 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.134979 |
Number of variables | 133 |
Total number of constraints | 229 |
Number of constraints which are clauses | 229 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-17 16:39:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2256 boxname=wulflinc17 idbench=251 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 0493ba9e257fafbb54efa7af2eeb7bf2 /oldhome/oroussel/tmp/wulflinc17/normalized-cc.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-cc.opb IDLAUNCH: 2256 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 735360 kB Buffers: 37404 kB Cached: 226508 kB SwapCached: 2376 kB Active: 68324 kB Inactive: 200876 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 735108 kB SwapTotal: 2097892 kB SwapFree: 2095516 kB Dirty: 24 kB Writeback: 0 kB Mapped: 7044 kB Slab: 24404 kB Committed_AS: 63708 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 16:59:25 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 2256 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-cc.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/55 17057 Raw data (stat): 17057 (runsolver) R 17056 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512029958 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99962 s] Raw data (loadavg): 0.87 0.94 0.90 2/55 17057 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 1188 0 0 0 993 5 0 0 25 0 1 0 512029958 6086656 1135 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1486 1135 231 231 0 1255 0 vsize: 5944 [startup+19.9995 s] Raw data (loadavg): 0.89 0.94 0.90 2/55 17057 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 1699 0 0 0 1990 8 0 0 25 0 1 0 512029958 10706944 1646 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2614 1646 231 231 0 2383 0 vsize: 10456 [startup+30.0001 s] Raw data (loadavg): 0.90 0.94 0.90 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2032 0 0 0 2989 10 0 0 25 0 1 0 512029958 11235328 1882 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2743 1882 231 231 0 2512 0 vsize: 10972 [startup+39.9994 s] Raw data (loadavg): 0.92 0.94 0.90 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2214 0 0 0 3988 11 0 0 25 0 1 0 512029958 11374592 2064 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2777 2064 231 231 0 2546 0 vsize: 11108 [startup+50.0003 s] Raw data (loadavg): 0.93 0.94 0.90 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2471 0 0 0 4987 12 0 0 25 0 1 0 512029958 11513856 2321 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2811 2321 231 231 0 2580 0 vsize: 11244 [startup+59.9998 s] Raw data (loadavg): 0.94 0.95 0.90 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2709 0 0 0 5985 15 0 0 25 0 1 0 512029958 11649024 2559 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2844 2559 231 231 0 2613 0 vsize: 11376 [startup+70.0002 s] Raw data (loadavg): 0.95 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2757 0 0 0 6984 15 0 0 25 0 1 0 512029958 11796480 2607 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2880 2607 231 231 0 2649 0 vsize: 11520 [startup+80.0011 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2775 0 0 0 7983 16 0 0 25 0 1 0 512029958 11796480 2625 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2880 2625 231 231 0 2649 0 vsize: 11520 [startup+90.0007 s] Raw data (loadavg): 0.96 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2799 0 0 0 8982 17 0 0 25 0 1 0 512029958 11796480 2649 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2880 2649 231 231 0 2649 0 vsize: 11520 [startup+100.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 2820 0 0 0 9982 18 0 0 25 0 1 0 512029958 11943936 2670 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2916 2670 231 231 0 2685 0 vsize: 11664 [startup+110.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3076 0 0 0 10981 20 0 0 25 0 1 0 512029958 12730368 2733 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3108 2733 231 231 0 2877 0 vsize: 12432 [startup+120 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3137 0 0 0 11980 20 0 0 25 0 1 0 512029958 21258240 2794 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5190 2794 231 231 0 4959 0 vsize: 20760 [startup+130 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3217 0 0 0 12979 21 0 0 25 0 1 0 512029958 21413888 2874 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5228 2874 231 231 0 4997 0 vsize: 20912 [startup+140 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3258 0 0 0 13978 23 0 0 25 0 1 0 512029958 21413888 2915 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5228 2915 231 231 0 4997 0 vsize: 20912 [startup+150 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3299 0 0 0 14978 23 0 0 25 0 1 0 512029958 21557248 2956 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5263 2956 231 231 0 5032 0 vsize: 21052 [startup+160 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3313 0 0 0 15977 24 0 0 25 0 1 0 512029958 21557248 2970 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5263 2970 231 231 0 5032 0 vsize: 21052 [startup+169.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3339 0 0 0 16977 24 0 0 25 0 1 0 512029958 21708800 2996 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5300 2996 231 231 0 5069 0 vsize: 21200 [startup+179.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3372 0 0 0 17976 25 0 0 25 0 1 0 512029958 21708800 3029 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5300 3029 231 231 0 5069 0 vsize: 21200 [startup+189.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3517 0 0 0 18976 26 0 0 25 0 1 0 512029958 21876736 3174 4294967295 134512640 135450300 3221224640 3221223272 135084237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5341 3174 231 231 0 5110 0 vsize: 21364 [startup+199.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3599 0 0 0 19975 27 0 0 25 0 1 0 512029958 21876736 3256 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5341 3256 231 231 0 5110 0 vsize: 21364 [startup+209.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3727 0 0 0 20974 28 0 0 25 0 1 0 512029958 22040576 3384 4294967295 134512640 135450300 3221224640 3221223608 134548257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5381 3384 231 231 0 5150 0 vsize: 21524 [startup+219.998 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3804 0 0 0 21973 29 0 0 25 0 1 0 512029958 22040576 3461 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5381 3461 231 231 0 5150 0 vsize: 21524 [startup+229.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 3947 0 0 0 22972 30 0 0 25 0 1 0 512029958 22208512 3604 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5422 3604 231 231 0 5191 0 vsize: 21688 [startup+239.998 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4017 0 0 0 23972 30 0 0 25 0 1 0 512029958 22208512 3674 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5422 3674 231 231 0 5191 0 vsize: 21688 [startup+249.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4095 0 0 0 24971 31 0 0 25 0 1 0 512029958 22208512 3752 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5422 3752 231 231 0 5191 0 vsize: 21688 [startup+259.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4235 0 0 0 25971 32 0 0 25 0 1 0 512029958 22372352 3892 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5462 3892 231 231 0 5231 0 vsize: 21848 [startup+269.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4289 0 0 0 26970 33 0 0 25 0 1 0 512029958 22372352 3946 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5462 3946 231 231 0 5231 0 vsize: 21848 [startup+279.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4377 0 0 0 27969 34 0 0 25 0 1 0 512029958 22523904 4034 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5499 4034 231 231 0 5268 0 vsize: 21996 [startup+289.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4516 0 0 0 28969 34 0 0 25 0 1 0 512029958 22523904 4173 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5499 4173 231 231 0 5268 0 vsize: 21996 [startup+299.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4569 0 0 0 29969 34 0 0 25 0 1 0 512029958 22687744 4226 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5539 4226 231 231 0 5308 0 vsize: 22156 [startup+309.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4628 0 0 0 30969 35 0 0 25 0 1 0 512029958 22687744 4285 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5539 4285 231 231 0 5308 0 vsize: 22156 [startup+319.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17059 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 4761 0 0 0 31968 36 0 0 25 0 1 0 512029958 22851584 4418 4294967295 134512640 135450300 3221224640 3221223552 134597367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5579 4418 231 231 0 5348 0 vsize: 22316 [startup+329.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5158 0 0 0 32967 37 0 0 25 0 1 0 512029958 24424448 4430 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5963 4430 231 231 0 5732 0 vsize: 23852 [startup+339.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5183 0 0 0 33967 37 0 0 25 0 1 0 512029958 24424448 4455 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5963 4455 231 231 0 5732 0 vsize: 23852 [startup+349.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5189 0 0 0 34967 38 0 0 25 0 1 0 512029958 24424448 4461 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5963 4461 231 231 0 5732 0 vsize: 23852 [startup+360 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5201 0 0 0 35967 38 0 0 25 0 1 0 512029958 24596480 4473 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6005 4473 231 231 0 5774 0 vsize: 24020 [startup+370 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5211 0 0 0 36967 38 0 0 25 0 1 0 512029958 24596480 4483 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6005 4483 231 231 0 5774 0 vsize: 24020 [startup+380 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5245 0 0 0 37967 38 0 0 25 0 1 0 512029958 24596480 4517 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6005 4517 231 231 0 5774 0 vsize: 24020 [startup+389.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5258 0 0 0 38967 39 0 0 25 0 1 0 512029958 24596480 4530 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6005 4530 231 231 0 5774 0 vsize: 24020 [startup+400 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5287 0 0 0 39967 39 0 0 25 0 1 0 512029958 24752128 4559 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6043 4559 231 231 0 5812 0 vsize: 24172 [startup+410 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5361 0 0 0 40966 39 0 0 25 0 1 0 512029958 24752128 4633 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6043 4633 231 231 0 5812 0 vsize: 24172 [startup+419.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5376 0 0 0 41966 40 0 0 25 0 1 0 512029958 24752128 4648 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6043 4648 231 231 0 5812 0 vsize: 24172 [startup+430 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5389 0 0 0 42966 41 0 0 25 0 1 0 512029958 24752128 4661 4294967295 134512640 135450300 3221224640 3221223456 134547488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6043 4661 231 231 0 5812 0 vsize: 24172 [startup+440 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5429 0 0 0 43964 42 0 0 25 0 1 0 512029958 24752128 4701 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6043 4701 231 231 0 5812 0 vsize: 24172 [startup+450 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5495 0 0 0 44963 43 0 0 25 0 1 0 512029958 24915968 4767 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6083 4767 231 231 0 5852 0 vsize: 24332 [startup+460 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5617 0 0 0 45963 44 0 0 25 0 1 0 512029958 25088000 4889 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6125 4889 231 231 0 5894 0 vsize: 24500 [startup+469.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5692 0 0 0 46962 45 0 0 25 0 1 0 512029958 25088000 4964 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6125 4964 231 231 0 5894 0 vsize: 24500 [startup+480 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5711 0 0 0 47962 45 0 0 25 0 1 0 512029958 25088000 4983 4294967295 134512640 135450300 3221224640 3221223472 134549314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6125 4983 231 231 0 5894 0 vsize: 24500 [startup+490 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5736 0 0 0 48961 46 0 0 25 0 1 0 512029958 25227264 5008 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6159 5008 231 231 0 5928 0 vsize: 24636 [startup+500 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5751 0 0 0 49961 46 0 0 25 0 1 0 512029958 25227264 5023 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6159 5023 231 231 0 5928 0 vsize: 24636 [startup+510 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5764 0 0 0 50961 47 0 0 25 0 1 0 512029958 25227264 5036 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6159 5036 231 231 0 5928 0 vsize: 24636 [startup+520 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5782 0 0 0 51961 47 0 0 25 0 1 0 512029958 25374720 5054 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6195 5054 231 231 0 5964 0 vsize: 24780 [startup+530 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5788 0 0 0 52960 48 0 0 25 0 1 0 512029958 25374720 5060 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6195 5060 231 231 0 5964 0 vsize: 24780 [startup+539.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5817 0 0 0 53959 49 0 0 25 0 1 0 512029958 25374720 5089 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6195 5089 231 231 0 5964 0 vsize: 24780 [startup+550 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5828 0 0 0 54959 49 0 0 25 0 1 0 512029958 25374720 5100 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6195 5100 231 231 0 5964 0 vsize: 24780 [startup+560 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5855 0 0 0 55959 49 0 0 25 0 1 0 512029958 25583616 5127 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6246 5127 231 231 0 6015 0 vsize: 24984 [startup+569.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5866 0 0 0 56959 50 0 0 25 0 1 0 512029958 25583616 5138 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6246 5138 231 231 0 6015 0 vsize: 24984 [startup+579.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5889 0 0 0 57958 50 0 0 25 0 1 0 512029958 25747456 5161 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6286 5161 231 231 0 6055 0 vsize: 25144 [startup+589.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5902 0 0 0 58958 51 0 0 25 0 1 0 512029958 25747456 5174 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6286 5174 231 231 0 6055 0 vsize: 25144 [startup+599.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5915 0 0 0 59958 51 0 0 25 0 1 0 512029958 25747456 5187 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6286 5187 231 231 0 6055 0 vsize: 25144 [startup+609.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5924 0 0 0 60958 51 0 0 25 0 1 0 512029958 25747456 5196 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6286 5196 231 231 0 6055 0 vsize: 25144 [startup+619.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17061 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5941 0 0 0 61958 51 0 0 25 0 1 0 512029958 25747456 5213 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6286 5213 231 231 0 6055 0 vsize: 25144 [startup+629.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5952 0 0 0 62958 52 0 0 25 0 1 0 512029958 25747456 5224 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6286 5224 231 231 0 6055 0 vsize: 25144 [startup+640 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5964 0 0 0 63958 52 0 0 25 0 1 0 512029958 25882624 5236 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6319 5236 231 231 0 6088 0 vsize: 25276 [startup+650 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5970 0 0 0 64958 52 0 0 25 0 1 0 512029958 25882624 5242 4294967295 134512640 135450300 3221224640 3221223472 134549490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6319 5242 231 231 0 6088 0 vsize: 25276 [startup+660 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5982 0 0 0 65958 53 0 0 25 0 1 0 512029958 25882624 5254 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6319 5254 231 231 0 6088 0 vsize: 25276 [startup+670 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 5990 0 0 0 66958 53 0 0 25 0 1 0 512029958 25882624 5262 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6319 5262 231 231 0 6088 0 vsize: 25276 [startup+680 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6004 0 0 0 67957 54 0 0 25 0 1 0 512029958 25882624 5276 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6319 5276 231 231 0 6088 0 vsize: 25276 [startup+689.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6012 0 0 0 68957 54 0 0 25 0 1 0 512029958 25882624 5284 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6319 5284 231 231 0 6088 0 vsize: 25276 [startup+699.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6027 0 0 0 69957 54 0 0 25 0 1 0 512029958 25882624 5299 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6319 5299 231 231 0 6088 0 vsize: 25276 [startup+710 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6051 0 0 0 70957 55 0 0 25 0 1 0 512029958 26103808 5323 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 5323 231 231 0 6142 0 vsize: 25492 [startup+720 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6064 0 0 0 71956 55 0 0 25 0 1 0 512029958 26103808 5336 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 5336 231 231 0 6142 0 vsize: 25492 [startup+730 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6080 0 0 0 72956 56 0 0 25 0 1 0 512029958 26103808 5352 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 5352 231 231 0 6142 0 vsize: 25492 [startup+740.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6090 0 0 0 73956 56 0 0 25 0 1 0 512029958 26103808 5362 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 5362 231 231 0 6142 0 vsize: 25492 [startup+750.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6098 0 0 0 74956 57 0 0 25 0 1 0 512029958 26103808 5370 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 5370 231 231 0 6142 0 vsize: 25492 [startup+760.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6120 0 0 0 75955 57 0 0 25 0 1 0 512029958 26103808 5392 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6373 5392 231 231 0 6142 0 vsize: 25492 [startup+770 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6142 0 0 0 76955 57 0 0 25 0 1 0 512029958 26357760 5414 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6435 5414 231 231 0 6204 0 vsize: 25740 [startup+780.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6153 0 0 0 77955 58 0 0 25 0 1 0 512029958 26357760 5425 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6435 5425 231 231 0 6204 0 vsize: 25740 [startup+790.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6164 0 0 0 78955 58 0 0 25 0 1 0 512029958 26357760 5436 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6435 5436 231 231 0 6204 0 vsize: 25740 [startup+800.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6178 0 0 0 79954 59 0 0 25 0 1 0 512029958 26357760 5450 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6435 5450 231 231 0 6204 0 vsize: 25740 [startup+810.001 s] Raw data (loadavg): 1.15 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6191 0 0 0 80954 60 0 0 25 0 1 0 512029958 26357760 5463 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6435 5463 231 231 0 6204 0 vsize: 25740 [startup+820 s] Raw data (loadavg): 1.12 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6204 0 0 0 81953 60 0 0 25 0 1 0 512029958 26497024 5476 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6469 5476 231 231 0 6238 0 vsize: 25876 [startup+830.001 s] Raw data (loadavg): 1.10 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6211 0 0 0 82953 61 0 0 25 0 1 0 512029958 26497024 5483 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6469 5483 231 231 0 6238 0 vsize: 25876 [startup+840.001 s] Raw data (loadavg): 1.09 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6222 0 0 0 83953 61 0 0 25 0 1 0 512029958 26497024 5494 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6469 5494 231 231 0 6238 0 vsize: 25876 [startup+850.001 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6237 0 0 0 84952 62 0 0 25 0 1 0 512029958 26497024 5509 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6469 5509 231 231 0 6238 0 vsize: 25876 [startup+860.002 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6252 0 0 0 85952 62 0 0 25 0 1 0 512029958 26497024 5524 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6469 5524 231 231 0 6238 0 vsize: 25876 [startup+870.001 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6260 0 0 0 86952 62 0 0 25 0 1 0 512029958 26497024 5532 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6469 5532 231 231 0 6238 0 vsize: 25876 [startup+880.002 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6275 0 0 0 87953 62 0 0 25 0 1 0 512029958 26648576 5547 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6506 5547 231 231 0 6275 0 vsize: 26024 [startup+890.002 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6287 0 0 0 88952 63 0 0 25 0 1 0 512029958 26648576 5559 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6506 5559 231 231 0 6275 0 vsize: 26024 [startup+900.002 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6302 0 0 0 89952 64 0 0 25 0 1 0 512029958 26648576 5574 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6506 5574 231 231 0 6275 0 vsize: 26024 [startup+910.002 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6324 0 0 0 90951 64 0 0 25 0 1 0 512029958 26648576 5596 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6506 5596 231 231 0 6275 0 vsize: 26024 [startup+920.001 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 17063 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6339 0 0 0 91951 65 0 0 25 0 1 0 512029958 26808320 5611 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6545 5611 231 231 0 6314 0 vsize: 26180 [startup+930.002 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 6349 0 0 0 92950 65 0 0 25 0 1 0 512029958 26808320 5621 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6545 5621 231 231 0 6314 0 vsize: 26180 [startup+940.001 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7134 0 0 0 93949 67 0 0 25 0 1 0 512029958 29954048 5637 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7313 5637 231 231 0 7082 0 vsize: 29252 [startup+950.002 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7144 0 0 0 94949 67 0 0 25 0 1 0 512029958 29954048 5647 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7313 5647 231 231 0 7082 0 vsize: 29252 [startup+960.002 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7151 0 0 0 95949 68 0 0 25 0 1 0 512029958 29954048 5654 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7313 5654 231 231 0 7082 0 vsize: 29252 [startup+970.001 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7163 0 0 0 96949 68 0 0 25 0 1 0 512029958 29954048 5666 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7313 5666 231 231 0 7082 0 vsize: 29252 [startup+980.002 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7176 0 0 0 97949 68 0 0 25 0 1 0 512029958 29954048 5679 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7313 5679 231 231 0 7082 0 vsize: 29252 [startup+990.003 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7184 0 0 0 98948 69 0 0 25 0 1 0 512029958 29954048 5687 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7313 5687 231 231 0 7082 0 vsize: 29252 [startup+1000 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7190 0 0 0 99948 69 0 0 25 0 1 0 512029958 29954048 5693 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7313 5693 231 231 0 7082 0 vsize: 29252 [startup+1010 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7210 0 0 0 100948 69 0 0 25 0 1 0 512029958 30121984 5713 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7354 5713 231 231 0 7123 0 vsize: 29416 [startup+1020 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7219 0 0 0 101948 70 0 0 25 0 1 0 512029958 30121984 5722 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7354 5722 231 231 0 7123 0 vsize: 29416 [startup+1030 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7232 0 0 0 102947 70 0 0 25 0 1 0 512029958 30121984 5735 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7354 5735 231 231 0 7123 0 vsize: 29416 [startup+1040 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7240 0 0 0 103947 71 0 0 25 0 1 0 512029958 30121984 5743 4294967295 134512640 135450300 3221224640 3221223472 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7354 5743 231 231 0 7123 0 vsize: 29416 [startup+1050 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7248 0 0 0 104947 71 0 0 25 0 1 0 512029958 30121984 5751 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7354 5751 231 231 0 7123 0 vsize: 29416 [startup+1060 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7258 0 0 0 105947 71 0 0 25 0 1 0 512029958 30121984 5761 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7354 5761 231 231 0 7123 0 vsize: 29416 [startup+1070 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7272 0 0 0 106947 72 0 0 25 0 1 0 512029958 30121984 5775 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7354 5775 231 231 0 7123 0 vsize: 29416 [startup+1080 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7301 0 0 0 107946 72 0 0 25 0 1 0 512029958 30302208 5804 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5804 231 231 0 7167 0 vsize: 29592 [startup+1090 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7308 0 0 0 108946 73 0 0 25 0 1 0 512029958 30302208 5811 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5811 231 231 0 7167 0 vsize: 29592 [startup+1100 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7316 0 0 0 109946 73 0 0 25 0 1 0 512029958 30302208 5819 4294967295 134512640 135450300 3221224640 3221223472 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5819 231 231 0 7167 0 vsize: 29592 [startup+1110 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7326 0 0 0 110946 73 0 0 25 0 1 0 512029958 30302208 5829 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5829 231 231 0 7167 0 vsize: 29592 [startup+1120 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7344 0 0 0 111946 74 0 0 25 0 1 0 512029958 30302208 5847 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5847 231 231 0 7167 0 vsize: 29592 [startup+1130 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7351 0 0 0 112946 74 0 0 25 0 1 0 512029958 30302208 5854 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5854 231 231 0 7167 0 vsize: 29592 [startup+1140 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7363 0 0 0 113946 74 0 0 25 0 1 0 512029958 30302208 5866 4294967295 134512640 135450300 3221224640 3221223456 134537300 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5866 231 231 0 7167 0 vsize: 29592 [startup+1150 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7369 0 0 0 114945 75 0 0 25 0 1 0 512029958 30302208 5872 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5872 231 231 0 7167 0 vsize: 29592 [startup+1160 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7375 0 0 0 115945 75 0 0 25 0 1 0 512029958 30302208 5878 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5878 231 231 0 7167 0 vsize: 29592 [startup+1170 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7381 0 0 0 116945 75 0 0 25 0 1 0 512029958 30302208 5884 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5884 231 231 0 7167 0 vsize: 29592 [startup+1180 s] Raw data (loadavg): 1.00 1.00 0.92 3/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7386 0 0 0 117945 75 0 0 25 0 1 0 512029958 30302208 5889 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7398 5889 231 231 0 7167 0 vsize: 29592 [startup+1190.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7405 0 0 0 118945 76 0 0 25 0 1 0 512029958 30466048 5908 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7438 5908 231 231 0 7207 0 vsize: 29752 [startup+1200.01 s] Raw data (loadavg): 1.00 1.00 0.92 2/55 17065 Raw data (stat): 17057 (PBS4) R 17056 20838 20837 0 -1 0 7413 0 0 0 119945 76 0 0 25 0 1 0 512029958 30466048 5916 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7438 5916 231 231 0 7207 0 vsize: 29752 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 0.92 1/55 17065 Raw data (stat): 17057 (PBS4) Z 17056 20838 20837 0 -1 1036 7413 0 0 0 119945 77 0 0 25 0 1 0 512029958 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.02 CPU time (s): 1200.23 CPU user time (s): 1199.46 CPU system time (s): 0.775882 CPU usage (%): 100.018 Max. virtual memory (Kb): 29752 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####