Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-jac3.opb |
MD5SUM | 43952ea8e0659c6ffd861c99c0b605de |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1732 |
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 | 1732 |
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 | 1732 |
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 | 1.05384 |
Number of variables | 1731 |
Total number of constraints | 1254 |
Number of constraints which are clauses | 1254 |
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 | 694 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc12 THE 2005-04-17 15:42:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=627 boxname=wulflinc12 idbench=70 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 43952ea8e0659c6ffd861c99c0b605de /oldhome/oroussel/tmp/wulflinc12/normalized-jac3.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc12/normalized-jac3.opb IDLAUNCH: 627 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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.091 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: 863688 kB Buffers: 37116 kB Cached: 113148 kB SwapCached: 16 kB Active: 71564 kB Inactive: 81604 kB HighTotal: 131008 kB HighFree: 13832 kB LowTotal: 903652 kB LowFree: 849856 kB SwapTotal: 2097136 kB SwapFree: 2097120 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6932 kB Slab: 12348 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:02:53 (client local time) WITH STATUS 0 IN 1200.43 SECONDS stats: 627 7 1200.43 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc12/normalized-jac3.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.00 0.00 0.00 2/54 17482 Raw data (stat): 17482 (runsolver) R 17481 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453458299 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+10.0016 s] Raw data (loadavg): 0.15 0.03 0.01 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 302 0 0 0 976 23 0 0 25 0 1 0 453458299 1892352 298 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 462 298 231 231 0 231 0 vsize: 1848 [startup+20.0017 s] Raw data (loadavg): 0.28 0.06 0.02 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 474 0 0 0 1963 36 0 0 25 0 1 0 453458299 2564096 470 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 626 470 231 231 0 395 0 vsize: 2504 [startup+30.0025 s] Raw data (loadavg): 0.39 0.09 0.03 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 495 0 0 0 2963 36 0 0 25 0 1 0 453458299 2703360 491 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 660 491 231 231 0 429 0 vsize: 2640 [startup+40.0027 s] Raw data (loadavg): 0.49 0.12 0.04 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 507 0 0 0 3962 37 0 0 25 0 1 0 453458299 2703360 503 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 660 503 231 231 0 429 0 vsize: 2640 [startup+50.0031 s] Raw data (loadavg): 0.56 0.15 0.05 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 520 0 0 0 4962 37 0 0 25 0 1 0 453458299 2703360 516 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 660 516 231 231 0 429 0 vsize: 2640 [startup+60.0029 s] Raw data (loadavg): 0.63 0.18 0.06 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 529 0 0 0 5962 37 0 0 25 0 1 0 453458299 3227648 525 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 788 525 231 231 0 557 0 vsize: 3152 [startup+70.0034 s] Raw data (loadavg): 0.69 0.21 0.07 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 542 0 0 0 6962 38 0 0 25 0 1 0 453458299 3366912 538 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 538 231 231 0 591 0 vsize: 3288 [startup+80.0045 s] Raw data (loadavg): 0.73 0.23 0.08 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 547 0 0 0 7961 38 0 0 25 0 1 0 453458299 3366912 543 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 543 231 231 0 591 0 vsize: 3288 [startup+90.0043 s] Raw data (loadavg): 0.77 0.26 0.09 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 551 0 0 0 8961 38 0 0 25 0 1 0 453458299 3366912 547 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 547 231 231 0 591 0 vsize: 3288 [startup+100.004 s] Raw data (loadavg): 0.81 0.28 0.10 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 555 0 0 0 9961 38 0 0 25 0 1 0 453458299 3366912 551 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 551 231 231 0 591 0 vsize: 3288 [startup+110.005 s] Raw data (loadavg): 0.84 0.30 0.11 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 561 0 0 0 10961 39 0 0 25 0 1 0 453458299 3366912 557 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 557 231 231 0 591 0 vsize: 3288 [startup+120.005 s] Raw data (loadavg): 0.86 0.33 0.12 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 564 0 0 0 11962 39 0 0 25 0 1 0 453458299 3366912 560 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 560 231 231 0 591 0 vsize: 3288 [startup+130.006 s] Raw data (loadavg): 0.88 0.35 0.12 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 570 0 0 0 12962 39 0 0 25 0 1 0 453458299 3366912 566 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 566 231 231 0 591 0 vsize: 3288 [startup+140.006 s] Raw data (loadavg): 0.90 0.37 0.13 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 577 0 0 0 13962 39 0 0 25 0 1 0 453458299 3366912 573 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 573 231 231 0 591 0 vsize: 3288 [startup+150.006 s] Raw data (loadavg): 0.92 0.39 0.14 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 583 0 0 0 14962 39 0 0 25 0 1 0 453458299 3366912 579 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 579 231 231 0 591 0 vsize: 3288 [startup+160.006 s] Raw data (loadavg): 0.93 0.41 0.15 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 588 0 0 0 15962 39 0 0 25 0 1 0 453458299 3366912 584 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 584 231 231 0 591 0 vsize: 3288 [startup+170.006 s] Raw data (loadavg): 0.94 0.43 0.16 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 593 0 0 0 16962 39 0 0 25 0 1 0 453458299 3366912 589 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 589 231 231 0 591 0 vsize: 3288 [startup+180.006 s] Raw data (loadavg): 0.95 0.45 0.17 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 599 0 0 0 17961 40 0 0 25 0 1 0 453458299 3366912 595 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 595 231 231 0 591 0 vsize: 3288 [startup+190.008 s] Raw data (loadavg): 0.95 0.46 0.18 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 605 0 0 0 18961 40 0 0 25 0 1 0 453458299 3366912 601 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 601 231 231 0 591 0 vsize: 3288 [startup+200.007 s] Raw data (loadavg): 0.96 0.48 0.19 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 611 0 0 0 19961 40 0 0 25 0 1 0 453458299 3366912 607 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 607 231 231 0 591 0 vsize: 3288 [startup+210.007 s] Raw data (loadavg): 0.97 0.50 0.19 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 618 0 0 0 20961 41 0 0 25 0 1 0 453458299 3366912 614 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 614 231 231 0 591 0 vsize: 3288 [startup+220.007 s] Raw data (loadavg): 0.97 0.51 0.20 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 624 0 0 0 21961 41 0 0 25 0 1 0 453458299 3366912 620 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 620 231 231 0 591 0 vsize: 3288 [startup+230.007 s] Raw data (loadavg): 0.98 0.53 0.21 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 630 0 0 0 22960 42 0 0 25 0 1 0 453458299 3366912 626 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 626 231 231 0 591 0 vsize: 3288 [startup+240.007 s] Raw data (loadavg): 0.98 0.54 0.22 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 635 0 0 0 23960 42 0 0 25 0 1 0 453458299 3366912 631 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 631 231 231 0 591 0 vsize: 3288 [startup+250.008 s] Raw data (loadavg): 0.98 0.56 0.22 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 641 0 0 0 24960 42 0 0 25 0 1 0 453458299 3366912 637 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 637 231 231 0 591 0 vsize: 3288 [startup+260.008 s] Raw data (loadavg): 0.98 0.57 0.23 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 645 0 0 0 25960 42 0 0 25 0 1 0 453458299 3366912 641 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 641 231 231 0 591 0 vsize: 3288 [startup+270.008 s] Raw data (loadavg): 0.99 0.59 0.24 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 649 0 0 0 26960 43 0 0 25 0 1 0 453458299 3366912 645 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 645 231 231 0 591 0 vsize: 3288 [startup+280.009 s] Raw data (loadavg): 0.99 0.60 0.25 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 653 0 0 0 27960 43 0 0 25 0 1 0 453458299 3366912 649 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 649 231 231 0 591 0 vsize: 3288 [startup+290.009 s] Raw data (loadavg): 0.99 0.61 0.26 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 670 0 0 0 28959 44 0 0 25 0 1 0 453458299 3366912 666 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 666 231 231 0 591 0 vsize: 3288 [startup+300.009 s] Raw data (loadavg): 0.99 0.62 0.26 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 675 0 0 0 29959 44 0 0 25 0 1 0 453458299 3366912 671 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 671 231 231 0 591 0 vsize: 3288 [startup+310.01 s] Raw data (loadavg): 0.99 0.64 0.27 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 679 0 0 0 30959 44 0 0 25 0 1 0 453458299 3366912 675 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 822 675 231 231 0 591 0 vsize: 3288 [startup+320.01 s] Raw data (loadavg): 0.99 0.65 0.28 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 684 0 0 0 31959 45 0 0 25 0 1 0 453458299 4415488 680 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 680 231 231 0 847 0 vsize: 4312 [startup+330.01 s] Raw data (loadavg): 0.99 0.66 0.29 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 690 0 0 0 32959 45 0 0 25 0 1 0 453458299 4415488 686 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 686 231 231 0 847 0 vsize: 4312 [startup+340.011 s] Raw data (loadavg): 0.99 0.67 0.29 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 695 0 0 0 33959 45 0 0 25 0 1 0 453458299 4415488 691 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 691 231 231 0 847 0 vsize: 4312 [startup+350.01 s] Raw data (loadavg): 0.99 0.68 0.30 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 699 0 0 0 34958 45 0 0 25 0 1 0 453458299 4415488 695 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 695 231 231 0 847 0 vsize: 4312 [startup+360.011 s] Raw data (loadavg): 0.99 0.69 0.31 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 704 0 0 0 35959 45 0 0 25 0 1 0 453458299 4415488 700 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 700 231 231 0 847 0 vsize: 4312 [startup+370.011 s] Raw data (loadavg): 0.99 0.70 0.31 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 709 0 0 0 36958 46 0 0 25 0 1 0 453458299 4415488 705 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 705 231 231 0 847 0 vsize: 4312 [startup+380.011 s] Raw data (loadavg): 0.99 0.71 0.32 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 713 0 0 0 37958 46 0 0 25 0 1 0 453458299 4415488 709 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 709 231 231 0 847 0 vsize: 4312 [startup+390.011 s] Raw data (loadavg): 0.99 0.72 0.33 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 718 0 0 0 38958 46 0 0 25 0 1 0 453458299 4415488 714 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 714 231 231 0 847 0 vsize: 4312 [startup+400.011 s] Raw data (loadavg): 0.99 0.73 0.33 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 724 0 0 0 39958 46 0 0 25 0 1 0 453458299 4415488 720 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 720 231 231 0 847 0 vsize: 4312 [startup+410.011 s] Raw data (loadavg): 0.99 0.74 0.34 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 729 0 0 0 40958 46 0 0 25 0 1 0 453458299 4415488 725 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 725 231 231 0 847 0 vsize: 4312 [startup+420.01 s] Raw data (loadavg): 0.99 0.74 0.35 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 734 0 0 0 41958 47 0 0 25 0 1 0 453458299 4415488 730 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 730 231 231 0 847 0 vsize: 4312 [startup+430.012 s] Raw data (loadavg): 0.99 0.75 0.35 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 739 0 0 0 42958 47 0 0 25 0 1 0 453458299 4415488 735 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 735 231 231 0 847 0 vsize: 4312 [startup+440.012 s] Raw data (loadavg): 0.99 0.76 0.36 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 744 0 0 0 43958 47 0 0 25 0 1 0 453458299 4415488 740 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 740 231 231 0 847 0 vsize: 4312 [startup+450.012 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 748 0 0 0 44958 47 0 0 25 0 1 0 453458299 4415488 744 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 744 231 231 0 847 0 vsize: 4312 [startup+460.012 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 752 0 0 0 45958 48 0 0 25 0 1 0 453458299 4415488 748 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 748 231 231 0 847 0 vsize: 4312 [startup+470.012 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 755 0 0 0 46957 48 0 0 25 0 1 0 453458299 4415488 751 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 751 231 231 0 847 0 vsize: 4312 [startup+480.013 s] Raw data (loadavg): 0.99 0.79 0.38 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 760 0 0 0 47958 48 0 0 25 0 1 0 453458299 4415488 756 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 756 231 231 0 847 0 vsize: 4312 [startup+490.014 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 765 0 0 0 48958 48 0 0 25 0 1 0 453458299 4415488 761 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 761 231 231 0 847 0 vsize: 4312 [startup+500.014 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 770 0 0 0 49958 48 0 0 25 0 1 0 453458299 4415488 766 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 766 231 231 0 847 0 vsize: 4312 [startup+510.014 s] Raw data (loadavg): 0.99 0.81 0.40 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 775 0 0 0 50958 48 0 0 25 0 1 0 453458299 4415488 771 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 771 231 231 0 847 0 vsize: 4312 [startup+520.014 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 779 0 0 0 51958 49 0 0 25 0 1 0 453458299 4415488 775 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 775 231 231 0 847 0 vsize: 4312 [startup+530.014 s] Raw data (loadavg): 0.99 0.82 0.41 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 784 0 0 0 52957 49 0 0 25 0 1 0 453458299 4415488 780 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 780 231 231 0 847 0 vsize: 4312 [startup+540.015 s] Raw data (loadavg): 0.99 0.82 0.42 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 789 0 0 0 53958 49 0 0 25 0 1 0 453458299 4415488 785 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 785 231 231 0 847 0 vsize: 4312 [startup+550.015 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 793 0 0 0 54957 49 0 0 25 0 1 0 453458299 4415488 789 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 789 231 231 0 847 0 vsize: 4312 [startup+560.015 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 797 0 0 0 55957 49 0 0 25 0 1 0 453458299 4415488 793 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 793 231 231 0 847 0 vsize: 4312 [startup+570.015 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 803 0 0 0 56957 49 0 0 25 0 1 0 453458299 4415488 799 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 799 231 231 0 847 0 vsize: 4312 [startup+580.016 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 807 0 0 0 57957 50 0 0 25 0 1 0 453458299 4415488 803 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 803 231 231 0 847 0 vsize: 4312 [startup+590.017 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 813 0 0 0 58958 50 0 0 25 0 1 0 453458299 4415488 809 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 809 231 231 0 847 0 vsize: 4312 [startup+600.017 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 819 0 0 0 59957 50 0 0 25 0 1 0 453458299 4415488 815 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 815 231 231 0 847 0 vsize: 4312 [startup+610.018 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 825 0 0 0 60957 50 0 0 25 0 1 0 453458299 4415488 821 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 821 231 231 0 847 0 vsize: 4312 [startup+620.018 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 830 0 0 0 61957 50 0 0 25 0 1 0 453458299 4415488 826 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 826 231 231 0 847 0 vsize: 4312 [startup+630.019 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 835 0 0 0 62957 51 0 0 25 0 1 0 453458299 4415488 831 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 831 231 231 0 847 0 vsize: 4312 [startup+640.02 s] Raw data (loadavg): 0.99 0.87 0.47 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 841 0 0 0 63957 51 0 0 25 0 1 0 453458299 4415488 837 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 837 231 231 0 847 0 vsize: 4312 [startup+650.02 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 845 0 0 0 64957 51 0 0 25 0 1 0 453458299 4415488 841 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 841 231 231 0 847 0 vsize: 4312 [startup+660.019 s] Raw data (loadavg): 0.99 0.88 0.48 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 849 0 0 0 65957 51 0 0 25 0 1 0 453458299 4415488 845 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 845 231 231 0 847 0 vsize: 4312 [startup+670.02 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 854 0 0 0 66957 52 0 0 25 0 1 0 453458299 4415488 850 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 850 231 231 0 847 0 vsize: 4312 [startup+680.02 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 858 0 0 0 67957 52 0 0 25 0 1 0 453458299 4415488 854 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 854 231 231 0 847 0 vsize: 4312 [startup+690.02 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 863 0 0 0 68956 52 0 0 25 0 1 0 453458299 4415488 859 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 859 231 231 0 847 0 vsize: 4312 [startup+700.02 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 868 0 0 0 69956 53 0 0 25 0 1 0 453458299 4415488 864 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 864 231 231 0 847 0 vsize: 4312 [startup+710.02 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 875 0 0 0 70956 53 0 0 25 0 1 0 453458299 4415488 871 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 871 231 231 0 847 0 vsize: 4312 [startup+720.02 s] Raw data (loadavg): 0.99 0.90 0.51 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 881 0 0 0 71956 53 0 0 25 0 1 0 453458299 4415488 877 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 877 231 231 0 847 0 vsize: 4312 [startup+730.022 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 887 0 0 0 72956 53 0 0 25 0 1 0 453458299 4415488 883 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1078 883 231 231 0 847 0 vsize: 4312 [startup+740.022 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 893 0 0 0 73956 53 0 0 25 0 1 0 453458299 4415488 889 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 889 231 231 0 847 0 vsize: 4312 [startup+750.022 s] Raw data (loadavg): 0.99 0.90 0.53 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 900 0 0 0 74956 53 0 0 25 0 1 0 453458299 4415488 896 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 896 231 231 0 847 0 vsize: 4312 [startup+760.022 s] Raw data (loadavg): 0.99 0.91 0.53 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 906 0 0 0 75956 53 0 0 25 0 1 0 453458299 4415488 902 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 902 231 231 0 847 0 vsize: 4312 [startup+770.021 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 911 0 0 0 76956 53 0 0 25 0 1 0 453458299 4415488 907 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 907 231 231 0 847 0 vsize: 4312 [startup+780.022 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 918 0 0 0 77957 53 0 0 25 0 1 0 453458299 4415488 914 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 914 231 231 0 847 0 vsize: 4312 [startup+790.022 s] Raw data (loadavg): 0.99 0.91 0.55 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 924 0 0 0 78957 53 0 0 25 0 1 0 453458299 4415488 920 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 920 231 231 0 847 0 vsize: 4312 [startup+800.022 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 929 0 0 0 79957 53 0 0 25 0 1 0 453458299 4415488 925 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 925 231 231 0 847 0 vsize: 4312 [startup+810.021 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 934 0 0 0 80957 53 0 0 25 0 1 0 453458299 4415488 930 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 930 231 231 0 847 0 vsize: 4312 [startup+820.021 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 939 0 0 0 81957 53 0 0 25 0 1 0 453458299 4415488 935 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1078 935 231 231 0 847 0 vsize: 4312 [startup+830.022 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 944 0 0 0 82957 53 0 0 25 0 1 0 453458299 6512640 940 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 940 231 231 0 1359 0 vsize: 6360 [startup+840.022 s] Raw data (loadavg): 0.99 0.92 0.57 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 949 0 0 0 83958 53 0 0 25 0 1 0 453458299 6512640 945 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 945 231 231 0 1359 0 vsize: 6360 [startup+850.022 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 954 0 0 0 84958 54 0 0 25 0 1 0 453458299 6512640 950 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 950 231 231 0 1359 0 vsize: 6360 [startup+860.022 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 960 0 0 0 85958 54 0 0 25 0 1 0 453458299 6512640 956 4294967295 134512640 135450300 3221224640 3221223360 134535697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 956 231 231 0 1359 0 vsize: 6360 [startup+870.022 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 965 0 0 0 86958 54 0 0 25 0 1 0 453458299 6512640 961 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 961 231 231 0 1359 0 vsize: 6360 [startup+880.023 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 969 0 0 0 87958 54 0 0 25 0 1 0 453458299 6512640 965 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 965 231 231 0 1359 0 vsize: 6360 [startup+890.023 s] Raw data (loadavg): 0.99 0.93 0.59 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 974 0 0 0 88958 54 0 0 25 0 1 0 453458299 6512640 970 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 970 231 231 0 1359 0 vsize: 6360 [startup+900.023 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 979 0 0 0 89959 54 0 0 25 0 1 0 453458299 6512640 975 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 975 231 231 0 1359 0 vsize: 6360 [startup+910.023 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 984 0 0 0 90959 54 0 0 25 0 1 0 453458299 6512640 980 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 980 231 231 0 1359 0 vsize: 6360 [startup+920.023 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 988 0 0 0 91959 54 0 0 25 0 1 0 453458299 6512640 984 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 984 231 231 0 1359 0 vsize: 6360 [startup+930.023 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 995 0 0 0 92959 54 0 0 25 0 1 0 453458299 6512640 991 4294967295 134512640 135450300 3221224640 3221223360 134535718 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 991 231 231 0 1359 0 vsize: 6360 [startup+940.023 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1001 0 0 0 93959 54 0 0 25 0 1 0 453458299 6512640 997 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 997 231 231 0 1359 0 vsize: 6360 [startup+950.023 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1006 0 0 0 94959 54 0 0 25 0 1 0 453458299 6512640 1002 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1002 231 231 0 1359 0 vsize: 6360 [startup+960.023 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1013 0 0 0 95960 54 0 0 25 0 1 0 453458299 6512640 1009 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1009 231 231 0 1359 0 vsize: 6360 [startup+970.023 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1018 0 0 0 96960 54 0 0 25 0 1 0 453458299 6512640 1014 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1014 231 231 0 1359 0 vsize: 6360 [startup+980.023 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1024 0 0 0 97960 54 0 0 25 0 1 0 453458299 6512640 1020 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1020 231 231 0 1359 0 vsize: 6360 [startup+990.023 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1029 0 0 0 98960 54 0 0 25 0 1 0 453458299 6512640 1025 4294967295 134512640 135450300 3221224640 3221223456 134546464 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1025 231 231 0 1359 0 vsize: 6360 [startup+1000.02 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1037 0 0 0 99960 54 0 0 25 0 1 0 453458299 6512640 1033 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1033 231 231 0 1359 0 vsize: 6360 [startup+1010.02 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1042 0 0 0 100961 54 0 0 25 0 1 0 453458299 6512640 1038 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1038 231 231 0 1359 0 vsize: 6360 [startup+1020.02 s] Raw data (loadavg): 0.99 0.95 0.64 4/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1049 0 0 0 101961 54 0 0 25 0 1 0 453458299 6512640 1045 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1045 231 231 0 1359 0 vsize: 6360 [startup+1030.02 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 17482 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1055 0 0 0 102961 54 0 0 25 0 1 0 453458299 6512640 1051 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1051 231 231 0 1359 0 vsize: 6360 [startup+1040.03 s] Raw data (loadavg): 1.07 0.97 0.65 3/57 17519 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1061 0 0 0 103959 56 0 0 25 0 1 0 453458299 6512640 1057 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1057 231 231 0 1359 0 vsize: 6360 [startup+1050.04 s] Raw data (loadavg): 1.13 0.99 0.66 3/58 17527 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1067 0 0 0 104960 56 0 0 25 0 1 0 453458299 6512640 1063 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1063 231 231 0 1359 0 vsize: 6360 [startup+1060.12 s] Raw data (loadavg): 1.26 1.02 0.67 2/54 17535 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1074 0 0 0 105968 56 0 0 25 0 1 0 453458299 6512640 1070 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1070 231 231 0 1359 0 vsize: 6360 [startup+1070.12 s] Raw data (loadavg): 1.22 1.02 0.67 2/54 17535 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1080 0 0 0 106968 56 0 0 25 0 1 0 453458299 6512640 1076 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1076 231 231 0 1359 0 vsize: 6360 [startup+1080.12 s] Raw data (loadavg): 1.19 1.02 0.68 2/54 17535 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1086 0 0 0 107969 56 0 0 25 0 1 0 453458299 6512640 1082 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1082 231 231 0 1359 0 vsize: 6360 [startup+1090.27 s] Raw data (loadavg): 1.16 1.02 0.68 2/54 17535 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1092 0 0 0 108984 56 0 0 25 0 1 0 453458299 6512640 1088 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1088 231 231 0 1359 0 vsize: 6360 [startup+1100.27 s] Raw data (loadavg): 1.13 1.02 0.68 2/54 17535 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1098 0 0 0 109984 56 0 0 25 0 1 0 453458299 6512640 1094 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1094 231 231 0 1359 0 vsize: 6360 [startup+1110.27 s] Raw data (loadavg): 1.11 1.01 0.69 2/54 17535 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1104 0 0 0 110984 56 0 0 25 0 1 0 453458299 6512640 1100 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1100 231 231 0 1359 0 vsize: 6360 [startup+1120.27 s] Raw data (loadavg): 1.10 1.01 0.69 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1110 0 0 0 111984 56 0 0 25 0 1 0 453458299 6512640 1106 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1106 231 231 0 1359 0 vsize: 6360 [startup+1130.27 s] Raw data (loadavg): 1.08 1.01 0.69 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1116 0 0 0 112984 56 0 0 25 0 1 0 453458299 6512640 1112 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1112 231 231 0 1359 0 vsize: 6360 [startup+1140.27 s] Raw data (loadavg): 1.07 1.01 0.69 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1122 0 0 0 113984 56 0 0 25 0 1 0 453458299 6512640 1118 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1118 231 231 0 1359 0 vsize: 6360 [startup+1150.27 s] Raw data (loadavg): 1.06 1.01 0.70 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1128 0 0 0 114984 56 0 0 25 0 1 0 453458299 6512640 1124 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1124 231 231 0 1359 0 vsize: 6360 [startup+1160.27 s] Raw data (loadavg): 1.05 1.01 0.70 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1134 0 0 0 115985 56 0 0 25 0 1 0 453458299 6512640 1130 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1590 1130 231 231 0 1359 0 vsize: 6360 [startup+1170.27 s] Raw data (loadavg): 1.04 1.01 0.70 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1164 0 0 0 116985 56 0 0 25 0 1 0 453458299 6713344 1160 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1160 231 231 0 1408 0 vsize: 6556 [startup+1180.27 s] Raw data (loadavg): 1.03 1.01 0.71 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1171 0 0 0 117985 56 0 0 25 0 1 0 453458299 6713344 1167 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1167 231 231 0 1408 0 vsize: 6556 [startup+1190.27 s] Raw data (loadavg): 1.03 1.01 0.71 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1177 0 0 0 118985 56 0 0 25 0 1 0 453458299 6713344 1173 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1173 231 231 0 1408 0 vsize: 6556 [startup+1200.27 s] Raw data (loadavg): 1.02 1.01 0.71 2/54 17537 Raw data (stat): 17482 (PBS4) R 17481 25285 25284 0 -1 0 1182 0 0 0 119985 56 0 0 25 0 1 0 453458299 6713344 1178 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1639 1178 231 231 0 1408 0 vsize: 6556 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.27 s] Raw data (loadavg): 1.02 1.01 0.71 1/54 17537 Raw data (stat): 17482 (PBS4) Z 17481 25285 25284 0 -1 1036 1182 0 0 0 119985 57 0 0 25 0 1 0 453458299 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.27 CPU time (s): 1200.43 CPU user time (s): 1199.86 CPU system time (s): 0.571913 CPU usage (%): 100.013 Max. virtual memory (Kb): 6556 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####