Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb |
MD5SUM | eedeccaceaf05a0e4d919e4f9df619c0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -38 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1272 |
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 | 1272 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1272 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.11 |
Number of variables | 1272 |
Total number of constraints | 94226 |
Number of constraints which are clauses | 94226 |
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 wulflinc1 THE 2005-04-17 17:19:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3084 boxname=wulflinc1 idbench=343 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: eedeccaceaf05a0e4d919e4f9df619c0 /oldhome/oroussel/tmp/wulflinc1/normalized-frb53-24-5.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc1/normalized-frb53-24-5.opb IDLAUNCH: 3084 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 796600 kB Buffers: 42740 kB Cached: 169216 kB SwapCached: 0 kB Active: 126136 kB Inactive: 88936 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 796348 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 32 kB Writeback: 0 kB Mapped: 7212 kB Slab: 17256 kB Committed_AS: 92820 kB PageTables: 344 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 17:39:31 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 3084 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc1/normalized-frb53-24-5.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.92 0.95 0.90 2/56 14439 Raw data (stat): 14439 (runsolver) R 14438 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 397186646 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.001 s] Raw data (loadavg): 0.93 0.96 0.91 2/56 14439 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 4483 0 0 0 987 12 0 0 25 0 1 0 397186646 22941696 3750 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5601 3750 231 231 0 5370 0 vsize: 22404 [startup+20.0014 s] Raw data (loadavg): 0.94 0.96 0.91 2/56 14439 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 6352 0 0 0 1982 17 0 0 25 0 1 0 397186646 39718912 5619 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9697 5619 231 231 0 9466 0 vsize: 38788 [startup+30.0011 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 14439 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 8593 0 0 0 2976 23 0 0 25 0 1 0 397186646 39718912 7860 4294967295 134512640 135450300 3221224640 3221223472 134549475 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9697 7860 231 231 0 9466 0 vsize: 38788 [startup+40.0009 s] Raw data (loadavg): 0.96 0.96 0.91 2/56 14439 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 9982 0 0 0 3973 27 0 0 25 0 1 0 397186646 39858176 9249 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9731 9249 231 231 0 9500 0 vsize: 38924 [startup+50.0017 s] Raw data (loadavg): 0.96 0.96 0.91 2/56 14439 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 11789 0 0 0 4969 31 0 0 25 0 1 0 397186646 73547776 11056 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17956 11056 231 231 0 17725 0 vsize: 71824 [startup+60.0015 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 14439 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 13513 0 0 0 5964 36 0 0 25 0 1 0 397186646 73547776 12780 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17956 12780 231 231 0 17725 0 vsize: 71824 [startup+70.0027 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 14863 0 0 0 6959 41 0 0 25 0 1 0 397186646 73687040 14130 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17990 14130 231 231 0 17759 0 vsize: 71960 [startup+80.0031 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 16303 0 0 0 7956 45 0 0 25 0 1 0 397186646 73834496 15570 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18026 15570 231 231 0 17795 0 vsize: 72104 [startup+90.0028 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 17964 0 0 0 8951 49 0 0 25 0 1 0 397186646 73834496 17231 4294967295 134512640 135450300 3221224640 3221223376 134538457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18026 17231 231 231 0 17795 0 vsize: 72104 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 19549 0 0 0 9949 52 0 0 25 0 1 0 397186646 140943360 18816 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34410 18816 231 231 0 34179 0 vsize: 137640 [startup+110.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 21140 0 0 0 10945 56 0 0 25 0 1 0 397186646 141697024 20407 4294967295 134512640 135450300 3221224640 3221223248 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34594 20407 231 231 0 34363 0 vsize: 138376 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 22857 0 0 0 11942 59 0 0 25 0 1 0 397186646 142319616 22124 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34746 22124 231 231 0 34515 0 vsize: 138984 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 23239 0 0 0 12941 60 0 0 25 0 1 0 397186646 142479360 22506 4294967295 134512640 135450300 3221224640 3221223248 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34785 22506 231 231 0 34554 0 vsize: 139140 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 23390 0 0 0 13940 61 0 0 25 0 1 0 397186646 143396864 22657 4294967295 134512640 135450300 3221224640 3221223472 134549447 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35009 22657 231 231 0 34778 0 vsize: 140036 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 24439 0 0 0 14938 63 0 0 25 0 1 0 397186646 143540224 23706 4294967295 134512640 135450300 3221224640 3221223024 134602496 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35044 23706 231 231 0 34813 0 vsize: 140176 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26103 0 0 0 15935 67 0 0 25 0 1 0 397186646 143683584 25370 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35079 25370 231 231 0 34848 0 vsize: 140316 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26170 0 0 0 16934 67 0 0 25 0 1 0 397186646 144105472 25437 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35182 25437 231 231 0 34951 0 vsize: 140728 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26236 0 0 0 17933 68 0 0 25 0 1 0 397186646 144244736 25503 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35216 25503 231 231 0 34985 0 vsize: 140864 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 26271 0 0 0 18933 68 0 0 25 0 1 0 397186646 144408576 25538 4294967295 134512640 135450300 3221224640 3221223376 134538607 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35256 25538 231 231 0 35025 0 vsize: 141024 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 27536 0 0 0 19930 71 0 0 25 0 1 0 397186646 144408576 26803 4294967295 134512640 135450300 3221224640 3221223132 134579990 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35256 26803 231 231 0 35025 0 vsize: 141024 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 28944 0 0 0 20927 75 0 0 25 0 1 0 397186646 144674816 28211 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35321 28211 231 231 0 35090 0 vsize: 141284 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 30138 0 0 0 21925 77 0 0 25 0 1 0 397186646 144822272 29405 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35357 29405 231 231 0 35126 0 vsize: 141428 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31079 0 0 0 22924 79 0 0 25 0 1 0 397186646 145080320 30346 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35420 30346 231 231 0 35189 0 vsize: 141680 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31099 0 0 0 23923 79 0 0 25 0 1 0 397186646 145080320 30366 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35420 30366 231 231 0 35189 0 vsize: 141680 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31132 0 0 0 24923 80 0 0 25 0 1 0 397186646 145215488 30399 4294967295 134512640 135450300 3221224640 3221223432 134523537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35453 30399 231 231 0 35222 0 vsize: 141812 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31189 0 0 0 25922 80 0 0 25 0 1 0 397186646 145477632 30456 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35517 30456 231 231 0 35286 0 vsize: 142068 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31219 0 0 0 26922 81 0 0 25 0 1 0 397186646 145641472 30486 4294967295 134512640 135450300 3221224640 3221223168 134544130 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35557 30486 231 231 0 35326 0 vsize: 142228 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 31230 0 0 0 27922 81 0 0 25 0 1 0 397186646 145641472 30497 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35557 30497 231 231 0 35326 0 vsize: 142228 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 32635 0 0 0 28919 84 0 0 25 0 1 0 397186646 146067456 31902 4294967295 134512640 135450300 3221224640 3221223376 134538646 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35661 31902 231 231 0 35430 0 vsize: 142644 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33042 0 0 0 29918 85 0 0 25 0 1 0 397186646 146509824 32309 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35769 32309 231 231 0 35538 0 vsize: 143076 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33066 0 0 0 30918 85 0 0 25 0 1 0 397186646 146673664 32333 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35809 32333 231 231 0 35578 0 vsize: 143236 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33103 0 0 0 31918 85 0 0 25 0 1 0 397186646 146837504 32370 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35849 32370 231 231 0 35618 0 vsize: 143396 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33176 0 0 0 32918 86 0 0 25 0 1 0 397186646 147144704 32443 4294967295 134512640 135450300 3221224640 3221223104 134532838 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35924 32443 231 231 0 35693 0 vsize: 143696 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33273 0 0 0 33917 87 0 0 25 0 1 0 397186646 147570688 32540 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36028 32540 231 231 0 35797 0 vsize: 144112 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33276 0 0 0 34917 87 0 0 25 0 1 0 397186646 147570688 32543 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36028 32543 231 231 0 35797 0 vsize: 144112 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14441 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 33803 0 0 0 35916 88 0 0 25 0 1 0 397186646 147705856 33070 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36061 33070 231 231 0 35830 0 vsize: 144244 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34501 0 0 0 36915 89 0 0 25 0 1 0 397186646 147705856 33768 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36061 33768 231 231 0 35830 0 vsize: 144244 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34543 0 0 0 37914 90 0 0 25 0 1 0 397186646 147841024 33810 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36094 33810 231 231 0 35863 0 vsize: 144376 [startup+390.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34584 0 0 0 38914 90 0 0 25 0 1 0 397186646 147980288 33851 4294967295 134512640 135450300 3221224640 3221223456 134547444 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36128 33851 231 231 0 35897 0 vsize: 144512 [startup+400.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34621 0 0 0 39914 91 0 0 25 0 1 0 397186646 148127744 33888 4294967295 134512640 135450300 3221224640 3221223456 134547505 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36164 33888 231 231 0 35933 0 vsize: 144656 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34660 0 0 0 40914 91 0 0 25 0 1 0 397186646 148267008 33927 4294967295 134512640 135450300 3221224640 3221223116 134571599 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36198 33927 231 231 0 35967 0 vsize: 144792 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34663 0 0 0 41914 91 0 0 25 0 1 0 397186646 148267008 33930 4294967295 134512640 135450300 3221224640 3221223360 134535890 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36198 33930 231 231 0 35967 0 vsize: 144792 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 34737 0 0 0 42914 91 0 0 25 0 1 0 397186646 148553728 34004 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36268 34004 231 231 0 36037 0 vsize: 145072 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35649 0 0 0 43913 93 0 0 25 0 1 0 397186646 148701184 34916 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36304 34916 231 231 0 36073 0 vsize: 145216 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35695 0 0 0 44912 93 0 0 25 0 1 0 397186646 148865024 34962 4294967295 134512640 135450300 3221224640 3221223456 134547914 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36344 34962 231 231 0 36113 0 vsize: 145376 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35796 0 0 0 45912 94 0 0 25 0 1 0 397186646 149508096 35063 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36501 35063 231 231 0 36270 0 vsize: 146004 [startup+470.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35865 0 0 0 46912 94 0 0 25 0 1 0 397186646 149815296 35132 4294967295 134512640 135450300 3221224640 3221223376 134538472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36576 35132 231 231 0 36345 0 vsize: 146304 [startup+480.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35869 0 0 0 47912 94 0 0 25 0 1 0 397186646 149815296 35136 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36576 35136 231 231 0 36345 0 vsize: 146304 [startup+490.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35922 0 0 0 48912 94 0 0 25 0 1 0 397186646 149962752 35189 4294967295 134512640 135450300 3221224640 3221223248 134537609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36612 35189 231 231 0 36381 0 vsize: 146448 [startup+500.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 35971 0 0 0 49912 94 0 0 25 0 1 0 397186646 150126592 35238 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36652 35238 231 231 0 36421 0 vsize: 146608 [startup+510.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36650 0 0 0 50911 96 0 0 25 0 1 0 397186646 150126592 35917 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36652 35917 231 231 0 36421 0 vsize: 146608 [startup+520.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36700 0 0 0 51911 96 0 0 25 0 1 0 397186646 150405120 35967 4294967295 134512640 135450300 3221224640 3221223456 134547906 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36720 35967 231 231 0 36489 0 vsize: 146880 [startup+530.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36741 0 0 0 52911 96 0 0 25 0 1 0 397186646 150568960 36008 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36760 36008 231 231 0 36529 0 vsize: 147040 [startup+540.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36765 0 0 0 53911 96 0 0 25 0 1 0 397186646 150720512 36032 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36797 36032 231 231 0 36566 0 vsize: 147188 [startup+550.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36797 0 0 0 54911 97 0 0 25 0 1 0 397186646 150859776 36064 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36831 36064 231 231 0 36600 0 vsize: 147324 [startup+560.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36828 0 0 0 55911 97 0 0 25 0 1 0 397186646 150859776 36095 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36831 36095 231 231 0 36600 0 vsize: 147324 [startup+570.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 36865 0 0 0 56910 97 0 0 25 0 1 0 397186646 150999040 36132 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36865 36132 231 231 0 36634 0 vsize: 147460 [startup+580.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37323 0 0 0 57910 98 0 0 25 0 1 0 397186646 285216768 36590 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69633 36590 231 231 0 69402 0 vsize: 278532 [startup+590.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37373 0 0 0 58910 98 0 0 25 0 1 0 397186646 285503488 36640 4294967295 134512640 135450300 3221224640 3221223360 134535472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69703 36640 231 231 0 69472 0 vsize: 278812 [startup+600.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37408 0 0 0 59910 99 0 0 25 0 1 0 397186646 285667328 36675 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69743 36675 231 231 0 69512 0 vsize: 278972 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37438 0 0 0 60909 99 0 0 25 0 1 0 397186646 285667328 36705 4294967295 134512640 135450300 3221224640 3221223024 134579548 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69743 36705 231 231 0 69512 0 vsize: 278972 [startup+620.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37442 0 0 0 61909 100 0 0 25 0 1 0 397186646 285667328 36709 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69743 36709 231 231 0 69512 0 vsize: 278972 [startup+630.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37466 0 0 0 62909 100 0 0 25 0 1 0 397186646 285814784 36733 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69779 36733 231 231 0 69548 0 vsize: 279116 [startup+640.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37479 0 0 0 63909 100 0 0 25 0 1 0 397186646 285814784 36746 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69779 36746 231 231 0 69548 0 vsize: 279116 [startup+650.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37833 0 0 0 64908 101 0 0 25 0 1 0 397186646 285962240 37100 4294967295 134512640 135450300 3221224640 3221223168 134543751 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69815 37100 231 231 0 69584 0 vsize: 279260 [startup+660.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14443 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37844 0 0 0 65908 101 0 0 25 0 1 0 397186646 285962240 37111 4294967295 134512640 135450300 3221224640 3221223168 134543665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69815 37111 231 231 0 69584 0 vsize: 279260 [startup+670.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37862 0 0 0 66908 101 0 0 25 0 1 0 397186646 286113792 37129 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69852 37129 231 231 0 69621 0 vsize: 279408 [startup+680.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 37900 0 0 0 67908 102 0 0 25 0 1 0 397186646 286113792 37167 4294967295 134512640 135450300 3221224640 3221223360 134535520 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69852 37167 231 231 0 69621 0 vsize: 279408 [startup+690.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 38671 0 0 0 68906 103 0 0 25 0 1 0 397186646 289259520 37169 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70620 37169 231 231 0 70389 0 vsize: 282480 [startup+700.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 38699 0 0 0 69906 104 0 0 25 0 1 0 397186646 289390592 37197 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70652 37197 231 231 0 70421 0 vsize: 282608 [startup+710.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 38765 0 0 0 70905 104 0 0 25 0 1 0 397186646 289677312 37263 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70722 37263 231 231 0 70491 0 vsize: 282888 [startup+720.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39059 0 0 0 71904 106 0 0 25 0 1 0 397186646 289841152 37557 4294967295 134512640 135450300 3221224640 3221223456 134547501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70762 37557 231 231 0 70531 0 vsize: 283048 [startup+730.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39062 0 0 0 72904 106 0 0 25 0 1 0 397186646 289841152 37560 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70762 37560 231 231 0 70531 0 vsize: 283048 [startup+740.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39084 0 0 0 73904 106 0 0 25 0 1 0 397186646 290004992 37582 4294967295 134512640 135450300 3221224640 3221223376 134538607 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70802 37582 231 231 0 70571 0 vsize: 283208 [startup+750.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39132 0 0 0 74903 107 0 0 25 0 1 0 397186646 290152448 37630 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70838 37630 231 231 0 70607 0 vsize: 283352 [startup+760.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39162 0 0 0 75903 107 0 0 25 0 1 0 397186646 290316288 37660 4294967295 134512640 135450300 3221224640 3221223168 134544641 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70878 37660 231 231 0 70647 0 vsize: 283512 [startup+770.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39165 0 0 0 76903 107 0 0 25 0 1 0 397186646 290316288 37663 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70878 37663 231 231 0 70647 0 vsize: 283512 [startup+780.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39194 0 0 0 77903 107 0 0 25 0 1 0 397186646 290459648 37692 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70913 37692 231 231 0 70682 0 vsize: 283652 [startup+790.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39383 0 0 0 78903 108 0 0 25 0 1 0 397186646 290459648 37881 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70913 37881 231 231 0 70682 0 vsize: 283652 [startup+800.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39392 0 0 0 79903 108 0 0 25 0 1 0 397186646 290619392 37890 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70952 37890 231 231 0 70721 0 vsize: 283808 [startup+810.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39404 0 0 0 80903 108 0 0 25 0 1 0 397186646 290619392 37902 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70952 37902 231 231 0 70721 0 vsize: 283808 [startup+820.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39416 0 0 0 81903 109 0 0 25 0 1 0 397186646 290619392 37914 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70952 37914 231 231 0 70721 0 vsize: 283808 [startup+830.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39441 0 0 0 82903 109 0 0 25 0 1 0 397186646 290619392 37939 4294967295 134512640 135450300 3221224640 3221223472 134549469 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70952 37939 231 231 0 70721 0 vsize: 283808 [startup+840.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39465 0 0 0 83903 109 0 0 25 0 1 0 397186646 290758656 37963 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70986 37963 231 231 0 70755 0 vsize: 283944 [startup+850.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39487 0 0 0 84902 109 0 0 25 0 1 0 397186646 290897920 37985 4294967295 134512640 135450300 3221224640 3221223360 134535518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71020 37985 231 231 0 70789 0 vsize: 284080 [startup+860.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39644 0 0 0 85902 110 0 0 25 0 1 0 397186646 291061760 38142 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71060 38142 231 231 0 70829 0 vsize: 284240 [startup+870.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39671 0 0 0 86902 110 0 0 25 0 1 0 397186646 291196928 38169 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71093 38169 231 231 0 70862 0 vsize: 284372 [startup+880.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39680 0 0 0 87902 111 0 0 25 0 1 0 397186646 291196928 38178 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71093 38178 231 231 0 70862 0 vsize: 284372 [startup+890.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39697 0 0 0 88901 111 0 0 25 0 1 0 397186646 291344384 38195 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71129 38195 231 231 0 70898 0 vsize: 284516 [startup+900.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39711 0 0 0 89902 111 0 0 25 0 1 0 397186646 291344384 38209 4294967295 134512640 135450300 3221224640 3221223104 134532832 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71129 38209 231 231 0 70898 0 vsize: 284516 [startup+910.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39715 0 0 0 90902 111 0 0 25 0 1 0 397186646 291344384 38213 4294967295 134512640 135450300 3221224640 3221223456 134537240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71129 38213 231 231 0 70898 0 vsize: 284516 [startup+920.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39751 0 0 0 91901 112 0 0 25 0 1 0 397186646 291631104 38249 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71199 38249 231 231 0 70968 0 vsize: 284796 [startup+930.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39893 0 0 0 92901 113 0 0 25 0 1 0 397186646 291778560 38391 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71235 38391 231 231 0 71004 0 vsize: 284940 [startup+940.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39933 0 0 0 93900 113 0 0 25 0 1 0 397186646 291926016 38431 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71271 38431 231 231 0 71040 0 vsize: 285084 [startup+950.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39941 0 0 0 94900 113 0 0 25 0 1 0 397186646 291926016 38439 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71271 38439 231 231 0 71040 0 vsize: 285084 [startup+960.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14445 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 39992 0 0 0 95900 114 0 0 25 0 1 0 397186646 292220928 38490 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71343 38490 231 231 0 71112 0 vsize: 285372 [startup+970.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40026 0 0 0 96900 114 0 0 25 0 1 0 397186646 292384768 38524 4294967295 134512640 135450300 3221224640 3221223360 134535528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71383 38524 231 231 0 71152 0 vsize: 285532 [startup+980.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40053 0 0 0 97899 115 0 0 25 0 1 0 397186646 292524032 38551 4294967295 134512640 135450300 3221224640 3221223024 134579348 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71417 38551 231 231 0 71186 0 vsize: 285668 [startup+990.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40057 0 0 0 98899 115 0 0 25 0 1 0 397186646 292524032 38555 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71417 38555 231 231 0 71186 0 vsize: 285668 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40134 0 0 0 99899 115 0 0 25 0 1 0 397186646 292524032 38632 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71417 38632 231 231 0 71186 0 vsize: 285668 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40148 0 0 0 100899 115 0 0 25 0 1 0 397186646 292524032 38646 4294967295 134512640 135450300 3221224640 3221223472 134549505 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71417 38646 231 231 0 71186 0 vsize: 285668 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40181 0 0 0 101899 116 0 0 25 0 1 0 397186646 292663296 38679 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71451 38679 231 231 0 71220 0 vsize: 285804 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40204 0 0 0 102899 116 0 0 25 0 1 0 397186646 292810752 38702 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71487 38702 231 231 0 71256 0 vsize: 285948 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40207 0 0 0 103898 116 0 0 25 0 1 0 397186646 292810752 38705 4294967295 134512640 135450300 3221224640 3221223456 134537291 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71487 38705 231 231 0 71256 0 vsize: 285948 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40229 0 0 0 104898 117 0 0 25 0 1 0 397186646 292958208 38727 4294967295 134512640 135450300 3221224640 3221223024 134579438 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71523 38727 231 231 0 71292 0 vsize: 286092 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40255 0 0 0 105898 118 0 0 25 0 1 0 397186646 292958208 38753 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71523 38753 231 231 0 71292 0 vsize: 286092 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40311 0 0 0 106897 118 0 0 25 0 1 0 397186646 292958208 38809 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71523 38809 231 231 0 71292 0 vsize: 286092 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40335 0 0 0 107897 118 0 0 25 0 1 0 397186646 293097472 38833 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71557 38833 231 231 0 71326 0 vsize: 286228 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40346 0 0 0 108897 119 0 0 25 0 1 0 397186646 293097472 38844 4294967295 134512640 135450300 3221224640 3221223104 134532816 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71557 38844 231 231 0 71326 0 vsize: 286228 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40366 0 0 0 109897 119 0 0 25 0 1 0 397186646 293097472 38864 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71557 38864 231 231 0 71326 0 vsize: 286228 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40378 0 0 0 110897 119 0 0 25 0 1 0 397186646 293097472 38876 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71557 38876 231 231 0 71326 0 vsize: 286228 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40409 0 0 0 111897 119 0 0 25 0 1 0 397186646 293363712 38907 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71622 38907 231 231 0 71391 0 vsize: 286488 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40430 0 0 0 112897 119 0 0 25 0 1 0 397186646 293363712 38928 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71622 38928 231 231 0 71391 0 vsize: 286488 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40476 0 0 0 113897 120 0 0 25 0 1 0 397186646 293511168 38974 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71658 38974 231 231 0 71427 0 vsize: 286632 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40527 0 0 0 114897 120 0 0 25 0 1 0 397186646 293658624 39025 4294967295 134512640 135450300 3221224640 3221223024 134602069 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71694 39025 231 231 0 71463 0 vsize: 286776 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40546 0 0 0 115897 120 0 0 25 0 1 0 397186646 293658624 39044 4294967295 134512640 135450300 3221224640 3221223148 134571798 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71694 39044 231 231 0 71463 0 vsize: 286776 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40567 0 0 0 116897 120 0 0 25 0 1 0 397186646 293806080 39065 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71730 39065 231 231 0 71499 0 vsize: 286920 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40570 0 0 0 117896 121 0 0 25 0 1 0 397186646 293806080 39068 4294967295 134512640 135450300 3221224640 3221223456 134536464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71730 39068 231 231 0 71499 0 vsize: 286920 [startup+1190.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40586 0 0 0 118896 121 0 0 25 0 1 0 397186646 293806080 39084 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71730 39084 231 231 0 71499 0 vsize: 286920 [startup+1200.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 14447 Raw data (stat): 14439 (PBS4) R 14438 12452 12451 0 -1 0 40610 0 0 0 119896 121 0 0 25 0 1 0 397186646 293949440 39108 4294967295 134512640 135450300 3221224640 3221223472 134549502 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71765 39108 231 231 0 71534 0 vsize: 287060 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 14447 Raw data (stat): 14439 (PBS4) Z 14438 12452 12451 0 -1 1036 40610 0 0 0 119896 129 0 0 25 0 1 0 397186646 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.09 CPU time (s): 1200.26 CPU user time (s): 1198.97 CPU system time (s): 1.2908 CPU usage (%): 100.014 Max. virtual memory (Kb): 287060 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####