Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | 2b591d1b24a201f365bc505135aa0578 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -33 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.07 |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
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 | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-04-17 17:03:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2985 boxname=wulflinc31 idbench=332 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 2b591d1b24a201f365bc505135aa0578 /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb IDLAUNCH: 2985 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 848656 kB Buffers: 37500 kB Cached: 108444 kB SwapCached: 392 kB Active: 77084 kB Inactive: 72000 kB HighTotal: 131008 kB HighFree: 18844 kB LowTotal: 903652 kB LowFree: 829812 kB SwapTotal: 2097892 kB SwapFree: 2097452 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6840 kB Slab: 31404 kB Committed_AS: 63476 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-17 17:23:52 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 2985 7 1200.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc31/normalized-frb45-21-4.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.91 2/54 17796 Raw data (stat): 17796 (runsolver) R 17795 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512155447 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.87 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 3668 0 0 0 987 11 0 0 25 0 1 0 512155447 20615168 3321 4294967295 134512640 135450300 3221224640 3221223104 134532577 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5033 3321 231 231 0 4802 0 vsize: 20132 [startup+20.002 s] Raw data (loadavg): 0.89 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 5527 0 0 0 1983 15 0 0 25 0 1 0 512155447 37531648 5180 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9163 5180 231 231 0 8932 0 vsize: 36652 [startup+30.0017 s] Raw data (loadavg): 0.91 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 7209 0 0 0 2978 20 0 0 25 0 1 0 512155447 37675008 6862 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9198 6862 231 231 0 8967 0 vsize: 36792 [startup+40.0016 s] Raw data (loadavg): 0.92 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 8829 0 0 0 3976 23 0 0 25 0 1 0 512155447 37822464 8482 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9234 8482 231 231 0 9003 0 vsize: 36936 [startup+50.0018 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 10701 0 0 0 4970 29 0 0 25 0 1 0 512155447 71376896 10354 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17426 10354 231 231 0 17195 0 vsize: 69704 [startup+60.0025 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 12250 0 0 0 5966 33 0 0 25 0 1 0 512155447 71516160 11903 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17460 11903 231 231 0 17229 0 vsize: 69840 [startup+70.0035 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 13605 0 0 0 6964 36 0 0 25 0 1 0 512155447 71663616 13258 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17496 13258 231 231 0 17265 0 vsize: 69984 [startup+80.0037 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 15255 0 0 0 7960 40 0 0 25 0 1 0 512155447 74149888 14523 4294967295 134512640 135450300 3221224640 3221223024 134579418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18103 14523 231 231 0 17872 0 vsize: 72412 [startup+90.0044 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 17096 0 0 0 8955 45 0 0 25 0 1 0 512155447 74625024 16364 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18219 16364 231 231 0 17988 0 vsize: 72876 [startup+100.004 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 18760 0 0 0 9949 51 0 0 25 0 1 0 512155447 142016512 18028 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34672 18028 231 231 0 34441 0 vsize: 138688 [startup+110.006 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 19028 0 0 0 10949 52 0 0 25 0 1 0 512155447 143376384 18296 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35004 18296 231 231 0 34773 0 vsize: 140016 [startup+120.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 17796 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 19139 0 0 0 11948 52 0 0 25 0 1 0 512155447 143953920 18407 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35145 18407 231 231 0 34914 0 vsize: 140580 [startup+130.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 20323 0 0 0 12946 55 0 0 25 0 1 0 512155447 145002496 19591 4294967295 134512640 135450300 3221224640 3221223168 134545081 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35401 19591 231 231 0 35170 0 vsize: 141604 [startup+140.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 21577 0 0 0 13943 58 0 0 25 0 1 0 512155447 145158144 20845 4294967295 134512640 135450300 3221224640 3221223360 134535681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35439 20845 231 231 0 35208 0 vsize: 141756 [startup+150.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 21634 0 0 0 14942 59 0 0 25 0 1 0 512155447 145428480 20902 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35505 20902 231 231 0 35274 0 vsize: 142020 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 21706 0 0 0 15942 59 0 0 25 0 1 0 512155447 145707008 20974 4294967295 134512640 135450300 3221224640 3221223024 134579378 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35573 20974 231 231 0 35342 0 vsize: 142292 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 22465 0 0 0 16940 61 0 0 25 0 1 0 512155447 145842176 21733 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35606 21733 231 231 0 35375 0 vsize: 142424 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 24020 0 0 0 17937 65 0 0 25 0 1 0 512155447 145981440 23288 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35640 23288 231 231 0 35409 0 vsize: 142560 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 24194 0 0 0 18937 65 0 0 25 0 1 0 512155447 146120704 23462 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35674 23462 231 231 0 35443 0 vsize: 142696 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 24236 0 0 0 19936 65 0 0 25 0 1 0 512155447 146264064 23504 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35709 23504 231 231 0 35478 0 vsize: 142836 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 24340 0 0 0 20936 66 0 0 25 0 1 0 512155447 146673664 23608 4294967295 134512640 135450300 3221224640 3221223168 134544907 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35809 23608 231 231 0 35578 0 vsize: 143236 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 24390 0 0 0 21936 66 0 0 25 0 1 0 512155447 146993152 23658 4294967295 134512640 135450300 3221224640 3221223024 134579441 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35887 23658 231 231 0 35656 0 vsize: 143548 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 25337 0 0 0 22934 68 0 0 25 0 1 0 512155447 146993152 24605 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35887 24605 231 231 0 35656 0 vsize: 143548 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 25503 0 0 0 23934 69 0 0 25 0 1 0 512155447 147279872 24771 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35957 24771 231 231 0 35726 0 vsize: 143828 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 25541 0 0 0 24934 69 0 0 25 0 1 0 512155447 147419136 24809 4294967295 134512640 135450300 3221224640 3221223168 134544109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35991 24809 231 231 0 35760 0 vsize: 143964 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 25603 0 0 0 25934 70 0 0 25 0 1 0 512155447 147722240 24871 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36065 24871 231 231 0 35834 0 vsize: 144260 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 25680 0 0 0 26933 70 0 0 25 0 1 0 512155447 147996672 24948 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36132 24948 231 231 0 35901 0 vsize: 144528 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 26244 0 0 0 27932 71 0 0 25 0 1 0 512155447 148144128 25512 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36168 25513 231 231 0 35937 0 vsize: 144672 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 26549 0 0 0 28931 72 0 0 25 0 1 0 512155447 148434944 25817 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36239 25817 231 231 0 36008 0 vsize: 144956 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 26584 0 0 0 29931 73 0 0 25 0 1 0 512155447 148434944 25852 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36239 25852 231 231 0 36008 0 vsize: 144956 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 26622 0 0 0 30931 73 0 0 25 0 1 0 512155447 148729856 25890 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36311 25890 231 231 0 36080 0 vsize: 145244 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 26671 0 0 0 31931 73 0 0 25 0 1 0 512155447 148893696 25939 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36351 25939 231 231 0 36120 0 vsize: 145404 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 26937 0 0 0 32930 74 0 0 25 0 1 0 512155447 149041152 26205 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36387 26205 231 231 0 36156 0 vsize: 145548 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 27342 0 0 0 33930 75 0 0 25 0 1 0 512155447 149192704 26610 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36424 26610 231 231 0 36193 0 vsize: 145696 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 27370 0 0 0 34930 75 0 0 25 0 1 0 512155447 149356544 26638 4294967295 134512640 135450300 3221224640 3221222944 134844356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36464 26638 231 231 0 36233 0 vsize: 145856 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 27412 0 0 0 35929 76 0 0 25 0 1 0 512155447 149491712 26680 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36497 26680 231 231 0 36266 0 vsize: 145988 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 27467 0 0 0 36929 76 0 0 25 0 1 0 512155447 149774336 26735 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36566 26735 231 231 0 36335 0 vsize: 146264 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 27533 0 0 0 37929 76 0 0 25 0 1 0 512155447 150069248 26801 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36638 26801 231 231 0 36407 0 vsize: 146552 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 27980 0 0 0 38929 77 0 0 25 0 1 0 512155447 150204416 27248 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36671 27248 231 231 0 36440 0 vsize: 146684 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28029 0 0 0 39928 77 0 0 25 0 1 0 512155447 150351872 27297 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36707 27297 231 231 0 36476 0 vsize: 146828 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28060 0 0 0 40928 77 0 0 25 0 1 0 512155447 150507520 27328 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36745 27328 231 231 0 36514 0 vsize: 146980 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28085 0 0 0 41928 78 0 0 25 0 1 0 512155447 150507520 27353 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36745 27353 231 231 0 36514 0 vsize: 146980 [startup+430.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28107 0 0 0 42927 79 0 0 25 0 1 0 512155447 150683648 27375 4294967295 134512640 135450300 3221224640 3221223360 134535937 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36788 27375 231 231 0 36557 0 vsize: 147152 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28446 0 0 0 43927 80 0 0 25 0 1 0 512155447 150822912 27714 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36822 27714 231 231 0 36591 0 vsize: 147288 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28478 0 0 0 44926 80 0 0 25 0 1 0 512155447 150982656 27746 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36861 27746 231 231 0 36630 0 vsize: 147444 [startup+460.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28515 0 0 0 45927 81 0 0 25 0 1 0 512155447 150982656 27783 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36861 27783 231 231 0 36630 0 vsize: 147444 [startup+470.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28674 0 0 0 46927 82 0 0 25 0 1 0 512155447 151736320 27942 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37045 27942 231 231 0 36814 0 vsize: 148180 [startup+480.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28704 0 0 0 47927 82 0 0 25 0 1 0 512155447 151904256 27972 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37086 27972 231 231 0 36855 0 vsize: 148344 [startup+490.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28748 0 0 0 48927 82 0 0 25 0 1 0 512155447 152051712 28016 4294967295 134512640 135450300 3221224640 3221223360 134535911 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37122 28016 231 231 0 36891 0 vsize: 148488 [startup+500.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28797 0 0 0 49927 82 0 0 25 0 1 0 512155447 152190976 28065 4294967295 134512640 135450300 3221224640 3221223360 134535516 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37156 28065 231 231 0 36925 0 vsize: 148624 [startup+510.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28879 0 0 0 50926 83 0 0 25 0 1 0 512155447 152625152 28147 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37262 28147 231 231 0 37031 0 vsize: 149048 [startup+520.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 28891 0 0 0 51926 83 0 0 25 0 1 0 512155447 152776704 28159 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37299 28159 231 231 0 37068 0 vsize: 149196 [startup+530.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29264 0 0 0 52925 84 0 0 25 0 1 0 512155447 152776704 28532 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37299 28532 231 231 0 37068 0 vsize: 149196 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29407 0 0 0 53925 84 0 0 25 0 1 0 512155447 153432064 28675 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37459 28675 231 231 0 37228 0 vsize: 149836 [startup+550.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29437 0 0 0 54924 85 0 0 25 0 1 0 512155447 153595904 28705 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37499 28705 231 231 0 37268 0 vsize: 149996 [startup+560.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29465 0 0 0 55924 85 0 0 25 0 1 0 512155447 153747456 28733 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37536 28733 231 231 0 37305 0 vsize: 150144 [startup+570.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29506 0 0 0 56924 86 0 0 25 0 1 0 512155447 153911296 28774 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37576 28774 231 231 0 37345 0 vsize: 150304 [startup+580.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29532 0 0 0 57924 86 0 0 25 0 1 0 512155447 154075136 28800 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37616 28800 231 231 0 37385 0 vsize: 150464 [startup+590.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29680 0 0 0 58924 86 0 0 25 0 1 0 512155447 154075136 28948 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37616 28948 231 231 0 37385 0 vsize: 150464 [startup+600.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29692 0 0 0 59924 86 0 0 25 0 1 0 512155447 154210304 28960 4294967295 134512640 135450300 3221224640 3221223456 134537245 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37649 28960 231 231 0 37418 0 vsize: 150596 [startup+610.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29705 0 0 0 60924 87 0 0 25 0 1 0 512155447 154210304 28973 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37649 28973 231 231 0 37418 0 vsize: 150596 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29722 0 0 0 61924 87 0 0 25 0 1 0 512155447 154210304 28990 4294967295 134512640 135450300 3221224640 3221223456 134536521 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37649 28990 231 231 0 37418 0 vsize: 150596 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29755 0 0 0 62924 87 0 0 25 0 1 0 512155447 154357760 29023 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37685 29023 231 231 0 37454 0 vsize: 150740 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29866 0 0 0 63923 88 0 0 25 0 1 0 512155447 154492928 29134 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37718 29134 231 231 0 37487 0 vsize: 150872 [startup+650.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29890 0 0 0 64923 88 0 0 25 0 1 0 512155447 154492928 29158 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37718 29158 231 231 0 37487 0 vsize: 150872 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29923 0 0 0 65923 89 0 0 25 0 1 0 512155447 154656768 29191 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37758 29191 231 231 0 37527 0 vsize: 151032 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29953 0 0 0 66923 89 0 0 25 0 1 0 512155447 154796032 29221 4294967295 134512640 135450300 3221224640 3221223456 134537242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37792 29221 231 231 0 37561 0 vsize: 151168 [startup+680.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 29988 0 0 0 67923 89 0 0 25 0 1 0 512155447 154939392 29256 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37827 29256 231 231 0 37596 0 vsize: 151308 [startup+690.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30002 0 0 0 68922 90 0 0 25 0 1 0 512155447 154939392 29270 4294967295 134512640 135450300 3221224640 3221223024 134602070 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37827 29270 231 231 0 37596 0 vsize: 151308 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30095 0 0 0 69922 90 0 0 25 0 1 0 512155447 155103232 29363 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37867 29363 231 231 0 37636 0 vsize: 151468 [startup+710.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30118 0 0 0 70922 90 0 0 25 0 1 0 512155447 155303936 29386 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37916 29386 231 231 0 37685 0 vsize: 151664 [startup+720.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30140 0 0 0 71923 90 0 0 25 0 1 0 512155447 155303936 29408 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37916 29408 231 231 0 37685 0 vsize: 151664 [startup+730.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30197 0 0 0 72923 90 0 0 25 0 1 0 512155447 155467776 29465 4294967295 134512640 135450300 3221224640 3221223360 134535901 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37956 29465 231 231 0 37725 0 vsize: 151824 [startup+740.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30201 0 0 0 73923 90 0 0 25 0 1 0 512155447 155467776 29469 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37956 29469 231 231 0 37725 0 vsize: 151824 [startup+750.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30227 0 0 0 74923 91 0 0 25 0 1 0 512155447 155631616 29495 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37996 29495 231 231 0 37765 0 vsize: 151984 [startup+760.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30247 0 0 0 75922 91 0 0 25 0 1 0 512155447 155824128 29515 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38043 29515 231 231 0 37812 0 vsize: 152172 [startup+770.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30261 0 0 0 76922 91 0 0 25 0 1 0 512155447 155824128 29529 4294967295 134512640 135450300 3221224640 3221223360 134535537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38043 29529 231 231 0 37812 0 vsize: 152172 [startup+780.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30264 0 0 0 77922 91 0 0 25 0 1 0 512155447 155824128 29532 4294967295 134512640 135450300 3221224640 3221223456 134537232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38043 29532 231 231 0 37812 0 vsize: 152172 [startup+790.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30305 0 0 0 78922 92 0 0 25 0 1 0 512155447 155987968 29573 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38083 29573 231 231 0 37852 0 vsize: 152332 [startup+800.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30319 0 0 0 79922 92 0 0 25 0 1 0 512155447 155987968 29587 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38083 29587 231 231 0 37852 0 vsize: 152332 [startup+810.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30392 0 0 0 80922 92 0 0 25 0 1 0 512155447 156135424 29660 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38119 29660 231 231 0 37888 0 vsize: 152476 [startup+820.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30409 0 0 0 81922 92 0 0 25 0 1 0 512155447 156295168 29677 4294967295 134512640 135450300 3221224640 3221223116 134572341 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38158 29677 231 231 0 37927 0 vsize: 152632 [startup+830.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30434 0 0 0 82923 92 0 0 25 0 1 0 512155447 156295168 29702 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38158 29702 231 231 0 37927 0 vsize: 152632 [startup+840.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30452 0 0 0 83923 92 0 0 25 0 1 0 512155447 156295168 29720 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38158 29720 231 231 0 37927 0 vsize: 152632 [startup+850.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30471 0 0 0 84922 93 0 0 25 0 1 0 512155447 156459008 29739 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38198 29739 231 231 0 37967 0 vsize: 152792 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30506 0 0 0 85922 93 0 0 25 0 1 0 512155447 156459008 29774 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38198 29774 231 231 0 37967 0 vsize: 152792 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30528 0 0 0 86922 93 0 0 25 0 1 0 512155447 156459008 29796 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38198 29796 231 231 0 37967 0 vsize: 152792 [startup+880.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30541 0 0 0 87922 93 0 0 25 0 1 0 512155447 156606464 29809 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38234 29809 231 231 0 38003 0 vsize: 152936 [startup+890.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30561 0 0 0 88922 93 0 0 25 0 1 0 512155447 156741632 29829 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38267 29829 231 231 0 38036 0 vsize: 153068 [startup+900.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30575 0 0 0 89922 94 0 0 25 0 1 0 512155447 156741632 29843 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38267 29843 231 231 0 38036 0 vsize: 153068 [startup+910.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30591 0 0 0 90922 94 0 0 25 0 1 0 512155447 156741632 29859 4294967295 134512640 135450300 3221224640 3221223120 134580033 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38267 29859 231 231 0 38036 0 vsize: 153068 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30600 0 0 0 91922 94 0 0 25 0 1 0 512155447 156741632 29868 4294967295 134512640 135450300 3221224640 3221223552 134597086 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38267 29868 231 231 0 38036 0 vsize: 153068 [startup+930.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30616 0 0 0 92922 94 0 0 25 0 1 0 512155447 156741632 29884 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38267 29884 231 231 0 38036 0 vsize: 153068 [startup+940.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30626 0 0 0 93922 94 0 0 25 0 1 0 512155447 156913664 29894 4294967295 134512640 135450300 3221224640 3221223360 134598296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38309 29894 231 231 0 38078 0 vsize: 153236 [startup+950.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30640 0 0 0 94922 95 0 0 25 0 1 0 512155447 156913664 29908 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38309 29908 231 231 0 38078 0 vsize: 153236 [startup+960.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30655 0 0 0 95922 95 0 0 25 0 1 0 512155447 156913664 29923 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38309 29923 231 231 0 38078 0 vsize: 153236 [startup+970.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30679 0 0 0 96922 95 0 0 25 0 1 0 512155447 156913664 29947 4294967295 134512640 135450300 3221224640 3221223472 134549368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38309 29947 231 231 0 38078 0 vsize: 153236 [startup+980.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30711 0 0 0 97922 95 0 0 25 0 1 0 512155447 157061120 29979 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38345 29979 231 231 0 38114 0 vsize: 153380 [startup+990.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30727 0 0 0 98922 95 0 0 25 0 1 0 512155447 157241344 29995 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38389 29995 231 231 0 38158 0 vsize: 153556 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30731 0 0 0 99922 95 0 0 25 0 1 0 512155447 157241344 29999 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38389 29999 231 231 0 38158 0 vsize: 153556 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30763 0 0 0 100922 96 0 0 25 0 1 0 512155447 157241344 30031 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38389 30031 231 231 0 38158 0 vsize: 153556 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30776 0 0 0 101922 96 0 0 25 0 1 0 512155447 157388800 30044 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38425 30044 231 231 0 38194 0 vsize: 153700 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30795 0 0 0 102922 96 0 0 25 0 1 0 512155447 157388800 30063 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38425 30063 231 231 0 38194 0 vsize: 153700 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30826 0 0 0 103922 97 0 0 25 0 1 0 512155447 157388800 30094 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38425 30094 231 231 0 38194 0 vsize: 153700 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30829 0 0 0 104922 97 0 0 25 0 1 0 512155447 157388800 30097 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38425 30097 231 231 0 38194 0 vsize: 153700 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30843 0 0 0 105921 97 0 0 25 0 1 0 512155447 157388800 30111 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38425 30111 231 231 0 38194 0 vsize: 153700 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 30866 0 0 0 106921 97 0 0 25 0 1 0 512155447 157552640 30134 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38465 30134 231 231 0 38234 0 vsize: 153860 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31642 0 0 0 107920 99 0 0 25 0 1 0 512155447 160698368 30141 4294967295 134512640 135450300 3221224640 3221223456 134547478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39233 30141 231 231 0 39002 0 vsize: 156932 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31658 0 0 0 108920 99 0 0 25 0 1 0 512155447 160833536 30157 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39266 30157 231 231 0 39035 0 vsize: 157064 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31687 0 0 0 109920 99 0 0 25 0 1 0 512155447 160833536 30186 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39266 30186 231 231 0 39035 0 vsize: 157064 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31698 0 0 0 110920 99 0 0 25 0 1 0 512155447 160980992 30197 4294967295 134512640 135450300 3221224640 3221223168 134544164 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39302 30197 231 231 0 39071 0 vsize: 157208 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31709 0 0 0 111920 99 0 0 25 0 1 0 512155447 160980992 30208 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39302 30208 231 231 0 39071 0 vsize: 157208 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31721 0 0 0 112920 100 0 0 25 0 1 0 512155447 161124352 30220 4294967295 134512640 135450300 3221224640 3221223116 134572673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39337 30220 231 231 0 39106 0 vsize: 157348 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31733 0 0 0 113920 100 0 0 25 0 1 0 512155447 161124352 30232 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39337 30232 231 231 0 39106 0 vsize: 157348 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31741 0 0 0 114920 100 0 0 25 0 1 0 512155447 161124352 30240 4294967295 134512640 135450300 3221224640 3221223472 134549328 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39337 30240 231 231 0 39106 0 vsize: 157348 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31758 0 0 0 115920 100 0 0 25 0 1 0 512155447 161124352 30257 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39337 30257 231 231 0 39106 0 vsize: 157348 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31772 0 0 0 116920 101 0 0 25 0 1 0 512155447 161124352 30271 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39337 30271 231 231 0 39106 0 vsize: 157348 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31804 0 0 0 117919 101 0 0 25 0 1 0 512155447 161271808 30303 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39373 30303 231 231 0 39142 0 vsize: 157492 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31811 0 0 0 118920 101 0 0 25 0 1 0 512155447 161271808 30310 4294967295 134512640 135450300 3221224640 3221223456 134537242 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39373 30310 231 231 0 39142 0 vsize: 157492 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17798 Raw data (stat): 17796 (PBS4) R 17795 23176 23175 0 -1 0 31832 0 0 0 119919 101 0 0 25 0 1 0 512155447 161435648 30331 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39413 30331 231 231 0 39182 0 vsize: 157652 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 17798 Raw data (stat): 17796 (PBS4) Z 17795 23176 23175 0 -1 1036 31832 0 0 0 119919 107 0 0 25 0 1 0 512155447 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.1 CPU time (s): 1200.27 CPU user time (s): 1199.2 CPU system time (s): 1.07584 CPU usage (%): 100.014 Max. virtual memory (Kb): 157652 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####