Name | normalized-opb/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-9symml.opb |
MD5SUM | 48809ba02390b1184dab90aed89aff8e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4517 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 651 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 28138 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 28138 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02684 |
Number of variables | 651 |
Total number of constraints | 1658 |
Number of constraints which are clauses | 1656 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-04-17 16:39:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2211 boxname=wulflinc6 idbench=246 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 48809ba02390b1184dab90aed89aff8e /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb IDLAUNCH: 2211 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 828568 kB Buffers: 37584 kB Cached: 144936 kB SwapCached: 2644 kB Active: 68328 kB Inactive: 119732 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 828288 kB SwapTotal: 2097136 kB SwapFree: 2094492 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6940 kB Slab: 12404 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:59:18 (client local time) WITH STATUS 0 IN 1200.43 SECONDS stats: 2211 7 1200.43 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc6/normalized-9symml.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.84 0.95 0.90 2/54 20803 Raw data (stat): 20803 (runsolver) R 20802 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453799583 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.0001 s] Raw data (loadavg): 0.87 0.95 0.90 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 706 0 0 0 994 5 0 0 25 0 1 0 453799583 3690496 702 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 901 702 231 231 0 670 0 vsize: 3604 [startup+20.0003 s] Raw data (loadavg): 0.89 0.95 0.90 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 1151 0 0 0 1993 6 0 0 25 0 1 0 453799583 5988352 1147 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1462 1147 231 231 0 1231 0 vsize: 5848 [startup+30.0001 s] Raw data (loadavg): 0.90 0.95 0.90 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 1478 0 0 0 2993 6 0 0 25 0 1 0 453799583 10182656 1474 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2486 1474 231 231 0 2255 0 vsize: 9944 [startup+39.9996 s] Raw data (loadavg): 0.92 0.95 0.90 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 1824 0 0 0 3992 8 0 0 25 0 1 0 453799583 10182656 1820 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2486 1820 231 231 0 2255 0 vsize: 9944 [startup+49.9994 s] Raw data (loadavg): 0.93 0.96 0.90 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 2145 0 0 0 4990 10 0 0 25 0 1 0 453799583 10182656 2141 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2486 2141 231 231 0 2255 0 vsize: 9944 [startup+59.9985 s] Raw data (loadavg): 0.94 0.96 0.90 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 2454 0 0 0 5989 11 0 0 25 0 1 0 453799583 18571264 2450 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4534 2450 231 231 0 4303 0 vsize: 18136 [startup+69.999 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 2807 0 0 0 6988 12 0 0 25 0 1 0 453799583 18903040 2754 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4615 2754 231 231 0 4384 0 vsize: 18460 [startup+79.9991 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3124 0 0 0 7987 14 0 0 25 0 1 0 453799583 19042304 3071 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4649 3071 231 231 0 4418 0 vsize: 18596 [startup+89.999 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3365 0 0 0 8986 15 0 0 25 0 1 0 453799583 19042304 3312 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4649 3312 231 231 0 4418 0 vsize: 18596 [startup+99.9985 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3516 0 0 0 9986 16 0 0 25 0 1 0 453799583 19173376 3463 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4681 3463 231 231 0 4450 0 vsize: 18724 [startup+109.999 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3783 0 0 0 10985 17 0 0 25 0 1 0 453799583 19173376 3730 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4681 3730 231 231 0 4450 0 vsize: 18724 [startup+119.998 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3794 0 0 0 11985 18 0 0 25 0 1 0 453799583 19173376 3741 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4681 3741 231 231 0 4450 0 vsize: 18724 [startup+129.998 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3804 0 0 0 12984 18 0 0 25 0 1 0 453799583 19173376 3751 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4681 3751 231 231 0 4450 0 vsize: 18724 [startup+139.998 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3812 0 0 0 13984 19 0 0 25 0 1 0 453799583 19312640 3759 4294967295 134512640 135450300 3221224640 3221223376 134538895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4715 3759 231 231 0 4484 0 vsize: 18860 [startup+149.998 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3826 0 0 0 14984 19 0 0 25 0 1 0 453799583 19312640 3773 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4715 3773 231 231 0 4484 0 vsize: 18860 [startup+159.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3841 0 0 0 15984 20 0 0 25 0 1 0 453799583 19312640 3788 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4715 3788 231 231 0 4484 0 vsize: 18860 [startup+169.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3855 0 0 0 16984 20 0 0 25 0 1 0 453799583 19312640 3802 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4715 3802 231 231 0 4484 0 vsize: 18860 [startup+179.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3864 0 0 0 17984 20 0 0 25 0 1 0 453799583 19439616 3811 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4746 3811 231 231 0 4515 0 vsize: 18984 [startup+189.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3976 0 0 0 18983 21 0 0 25 0 1 0 453799583 19832832 3826 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4842 3826 231 231 0 4611 0 vsize: 19368 [startup+199.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 3987 0 0 0 19983 21 0 0 25 0 1 0 453799583 19832832 3837 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4842 3837 231 231 0 4611 0 vsize: 19368 [startup+209.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4011 0 0 0 20983 23 0 0 25 0 1 0 453799583 19988480 3861 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4880 3861 231 231 0 4649 0 vsize: 19520 [startup+219.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4021 0 0 0 21982 23 0 0 25 0 1 0 453799583 19988480 3871 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4880 3871 231 231 0 4649 0 vsize: 19520 [startup+229.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4033 0 0 0 22983 23 0 0 25 0 1 0 453799583 19988480 3883 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4880 3883 231 231 0 4649 0 vsize: 19520 [startup+239.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4041 0 0 0 23982 24 0 0 25 0 1 0 453799583 19988480 3891 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4880 3891 231 231 0 4649 0 vsize: 19520 [startup+249.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4045 0 0 0 24982 24 0 0 25 0 1 0 453799583 19988480 3895 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4880 3895 231 231 0 4649 0 vsize: 19520 [startup+259.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4056 0 0 0 25979 28 0 0 25 0 1 0 453799583 19988480 3906 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4880 3906 231 231 0 4649 0 vsize: 19520 [startup+269.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4064 0 0 0 26980 28 0 0 25 0 1 0 453799583 19988480 3914 4294967295 134512640 135450300 3221224640 3221223376 134538654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4880 3914 231 231 0 4649 0 vsize: 19520 [startup+279.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4084 0 0 0 27980 28 0 0 25 0 1 0 453799583 20152320 3934 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 3934 231 231 0 4689 0 vsize: 19680 [startup+289.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4094 0 0 0 28980 28 0 0 25 0 1 0 453799583 20152320 3944 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 3944 231 231 0 4689 0 vsize: 19680 [startup+299.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4102 0 0 0 29980 29 0 0 25 0 1 0 453799583 20152320 3952 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 3952 231 231 0 4689 0 vsize: 19680 [startup+310 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4103 0 0 0 30980 29 0 0 25 0 1 0 453799583 20152320 3953 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 3953 231 231 0 4689 0 vsize: 19680 [startup+319.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4105 0 0 0 31980 29 0 0 25 0 1 0 453799583 20152320 3955 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 3955 231 231 0 4689 0 vsize: 19680 [startup+330 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4126 0 0 0 32980 29 0 0 25 0 1 0 453799583 20283392 3976 4294967295 134512640 135450300 3221224640 3221223360 134535944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 3976 231 231 0 4721 0 vsize: 19808 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4131 0 0 0 33980 29 0 0 25 0 1 0 453799583 20283392 3981 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 3981 231 231 0 4721 0 vsize: 19808 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4135 0 0 0 34981 29 0 0 25 0 1 0 453799583 20283392 3985 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 3985 231 231 0 4721 0 vsize: 19808 [startup+360 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4153 0 0 0 35979 31 0 0 25 0 1 0 453799583 20283392 4003 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 4003 231 231 0 4721 0 vsize: 19808 [startup+370 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4154 0 0 0 36979 31 0 0 25 0 1 0 453799583 20283392 4004 4294967295 134512640 135450300 3221224640 3221223360 134535489 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 4004 231 231 0 4721 0 vsize: 19808 [startup+380.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4155 0 0 0 37980 31 0 0 25 0 1 0 453799583 20283392 4005 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 4005 231 231 0 4721 0 vsize: 19808 [startup+390 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4169 0 0 0 38980 32 0 0 25 0 1 0 453799583 20283392 4019 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4952 4019 231 231 0 4721 0 vsize: 19808 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4174 0 0 0 39980 32 0 0 25 0 1 0 453799583 20410368 4024 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4024 231 231 0 4752 0 vsize: 19932 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4178 0 0 0 40980 32 0 0 25 0 1 0 453799583 20410368 4028 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4028 231 231 0 4752 0 vsize: 19932 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4181 0 0 0 41981 32 0 0 25 0 1 0 453799583 20410368 4031 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4031 231 231 0 4752 0 vsize: 19932 [startup+430.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4183 0 0 0 42981 32 0 0 25 0 1 0 453799583 20410368 4033 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4033 231 231 0 4752 0 vsize: 19932 [startup+440.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4197 0 0 0 43981 32 0 0 25 0 1 0 453799583 20410368 4047 4294967295 134512640 135450300 3221224640 3221223360 134535910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4047 231 231 0 4752 0 vsize: 19932 [startup+450.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4202 0 0 0 44981 33 0 0 25 0 1 0 453799583 20410368 4052 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4052 231 231 0 4752 0 vsize: 19932 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4206 0 0 0 45981 33 0 0 25 0 1 0 453799583 20410368 4056 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4056 231 231 0 4752 0 vsize: 19932 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4208 0 0 0 46982 33 0 0 25 0 1 0 453799583 20410368 4058 4294967295 134512640 135450300 3221224640 3221223360 134535898 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4058 231 231 0 4752 0 vsize: 19932 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4217 0 0 0 47982 33 0 0 25 0 1 0 453799583 20410368 4067 4294967295 134512640 135450300 3221224640 3221223472 134549362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4983 4067 231 231 0 4752 0 vsize: 19932 [startup+490.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4416 0 0 0 48982 33 0 0 25 0 1 0 453799583 21196800 4073 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5175 4073 231 231 0 4944 0 vsize: 20700 [startup+500.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4418 0 0 0 49982 34 0 0 25 0 1 0 453799583 21196800 4075 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5175 4075 231 231 0 4944 0 vsize: 20700 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4427 0 0 0 50983 34 0 0 25 0 1 0 453799583 21356544 4084 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4084 231 231 0 4983 0 vsize: 20856 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4440 0 0 0 51982 34 0 0 25 0 1 0 453799583 21356544 4097 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4097 231 231 0 4983 0 vsize: 20856 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4445 0 0 0 52983 34 0 0 25 0 1 0 453799583 21356544 4102 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4102 231 231 0 4983 0 vsize: 20856 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4446 0 0 0 53983 34 0 0 25 0 1 0 453799583 21356544 4103 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4103 231 231 0 4983 0 vsize: 20856 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4462 0 0 0 54983 35 0 0 25 0 1 0 453799583 21356544 4119 4294967295 134512640 135450300 3221224640 3221223360 134535695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4119 231 231 0 4983 0 vsize: 20856 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4474 0 0 0 55983 35 0 0 25 0 1 0 453799583 21356544 4131 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4131 231 231 0 4983 0 vsize: 20856 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4476 0 0 0 56983 35 0 0 25 0 1 0 453799583 21356544 4133 4294967295 134512640 135450300 3221224640 3221223456 134547480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4133 231 231 0 4983 0 vsize: 20856 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4478 0 0 0 57983 35 0 0 25 0 1 0 453799583 21356544 4135 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5214 4135 231 231 0 4983 0 vsize: 20856 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4500 0 0 0 58983 36 0 0 25 0 1 0 453799583 21491712 4157 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5247 4157 231 231 0 5016 0 vsize: 20988 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4505 0 0 0 59983 36 0 0 25 0 1 0 453799583 21491712 4162 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5247 4162 231 231 0 5016 0 vsize: 20988 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4506 0 0 0 60983 36 0 0 25 0 1 0 453799583 21491712 4163 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5247 4163 231 231 0 5016 0 vsize: 20988 [startup+620.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4509 0 0 0 61983 37 0 0 25 0 1 0 453799583 21491712 4166 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5247 4166 231 231 0 5016 0 vsize: 20988 [startup+630.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4528 0 0 0 62983 37 0 0 25 0 1 0 453799583 21491712 4185 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5247 4185 231 231 0 5016 0 vsize: 20988 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4530 0 0 0 63984 37 0 0 25 0 1 0 453799583 21491712 4187 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5247 4187 231 231 0 5016 0 vsize: 20988 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4550 0 0 0 64984 37 0 0 25 0 1 0 453799583 21639168 4207 4294967295 134512640 135450300 3221224640 3221223104 134532896 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5283 4207 231 231 0 5052 0 vsize: 21132 [startup+660.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4570 0 0 0 65983 39 0 0 25 0 1 0 453799583 21639168 4227 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5283 4227 231 231 0 5052 0 vsize: 21132 [startup+670.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4585 0 0 0 66983 39 0 0 25 0 1 0 453799583 21639168 4242 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5283 4242 231 231 0 5052 0 vsize: 21132 [startup+680.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4596 0 0 0 67983 39 0 0 25 0 1 0 453799583 21639168 4253 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5283 4253 231 231 0 5052 0 vsize: 21132 [startup+690.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4606 0 0 0 68983 40 0 0 25 0 1 0 453799583 21639168 4263 4294967295 134512640 135450300 3221224640 3221223376 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5283 4263 231 231 0 5052 0 vsize: 21132 [startup+700.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4622 0 0 0 69983 40 0 0 25 0 1 0 453799583 21831680 4279 4294967295 134512640 135450300 3221224640 3221223552 134597060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5330 4279 231 231 0 5099 0 vsize: 21320 [startup+710.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4635 0 0 0 70983 40 0 0 25 0 1 0 453799583 21831680 4292 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5330 4292 231 231 0 5099 0 vsize: 21320 [startup+720.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4649 0 0 0 71983 40 0 0 25 0 1 0 453799583 21831680 4306 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5330 4306 231 231 0 5099 0 vsize: 21320 [startup+730.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4660 0 0 0 72983 41 0 0 25 0 1 0 453799583 21831680 4317 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5330 4317 231 231 0 5099 0 vsize: 21320 [startup+740.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4671 0 0 0 73983 41 0 0 25 0 1 0 453799583 21962752 4328 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5362 4328 231 231 0 5131 0 vsize: 21448 [startup+750.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4686 0 0 0 74983 41 0 0 25 0 1 0 453799583 21962752 4343 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5362 4343 231 231 0 5131 0 vsize: 21448 [startup+760.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4701 0 0 0 75983 42 0 0 25 0 1 0 453799583 21962752 4358 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5362 4358 231 231 0 5131 0 vsize: 21448 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4714 0 0 0 76983 42 0 0 25 0 1 0 453799583 21962752 4371 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5362 4371 231 231 0 5131 0 vsize: 21448 [startup+780.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4883 0 0 0 77983 42 0 0 25 0 1 0 453799583 21962752 4540 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5362 4540 231 231 0 5131 0 vsize: 21448 [startup+790.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4926 0 0 0 78983 43 0 0 25 0 1 0 453799583 22118400 4583 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5400 4583 231 231 0 5169 0 vsize: 21600 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4929 0 0 0 79983 44 0 0 25 0 1 0 453799583 22118400 4586 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5400 4586 231 231 0 5169 0 vsize: 21600 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 4949 0 0 0 80982 44 0 0 25 0 1 0 453799583 22118400 4606 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5400 4606 231 231 0 5169 0 vsize: 21600 [startup+820.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5034 0 0 0 81982 45 0 0 25 0 1 0 453799583 22253568 4691 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5433 4691 231 231 0 5202 0 vsize: 21732 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5316 0 0 0 82981 46 0 0 25 0 1 0 453799583 22253568 4973 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5433 4973 231 231 0 5202 0 vsize: 21732 [startup+840.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5580 0 0 0 83980 48 0 0 25 0 1 0 453799583 39030784 5237 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9529 5237 231 231 0 9298 0 vsize: 38116 [startup+850.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5671 0 0 0 84980 48 0 0 25 0 1 0 453799583 39030784 5328 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9529 5328 231 231 0 9298 0 vsize: 38116 [startup+860.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5781 0 0 0 85980 49 0 0 25 0 1 0 453799583 39030784 5438 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9529 5438 231 231 0 9298 0 vsize: 38116 [startup+870.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5789 0 0 0 86980 49 0 0 25 0 1 0 453799583 39161856 5446 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9561 5446 231 231 0 9330 0 vsize: 38244 [startup+880.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5794 0 0 0 87980 50 0 0 25 0 1 0 453799583 39161856 5451 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9561 5451 231 231 0 9330 0 vsize: 38244 [startup+890.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5800 0 0 0 88980 50 0 0 25 0 1 0 453799583 39161856 5457 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9561 5457 231 231 0 9330 0 vsize: 38244 [startup+900.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5808 0 0 0 89980 50 0 0 25 0 1 0 453799583 39161856 5465 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9561 5465 231 231 0 9330 0 vsize: 38244 [startup+910.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5815 0 0 0 90980 51 0 0 25 0 1 0 453799583 39161856 5472 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9561 5472 231 231 0 9330 0 vsize: 38244 [startup+920.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 5824 0 0 0 91979 51 0 0 25 0 1 0 453799583 39161856 5481 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9561 5481 231 231 0 9330 0 vsize: 38244 [startup+930.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6221 0 0 0 92979 52 0 0 25 0 1 0 453799583 40734720 5493 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9945 5493 231 231 0 9714 0 vsize: 39780 [startup+940.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6230 0 0 0 93979 52 0 0 25 0 1 0 453799583 40734720 5502 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9945 5502 231 231 0 9714 0 vsize: 39780 [startup+950.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6233 0 0 0 94979 52 0 0 25 0 1 0 453799583 40734720 5505 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9945 5505 231 231 0 9714 0 vsize: 39780 [startup+960.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6241 0 0 0 95979 53 0 0 25 0 1 0 453799583 40734720 5513 4294967295 134512640 135450300 3221224640 3221223248 134537624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9945 5513 231 231 0 9714 0 vsize: 39780 [startup+970.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6258 0 0 0 96979 53 0 0 25 0 1 0 453799583 40865792 5530 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9977 5530 231 231 0 9746 0 vsize: 39908 [startup+980.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6270 0 0 0 97979 54 0 0 25 0 1 0 453799583 40865792 5542 4294967295 134512640 135450300 3221224640 3221223456 134547458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9977 5542 231 231 0 9746 0 vsize: 39908 [startup+990.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6290 0 0 0 98978 55 0 0 25 0 1 0 453799583 40996864 5562 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10009 5562 231 231 0 9778 0 vsize: 40036 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6301 0 0 0 99978 55 0 0 25 0 1 0 453799583 40996864 5573 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10009 5573 231 231 0 9778 0 vsize: 40036 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6314 0 0 0 100978 56 0 0 25 0 1 0 453799583 40996864 5586 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10009 5586 231 231 0 9778 0 vsize: 40036 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6323 0 0 0 101978 56 0 0 25 0 1 0 453799583 41140224 5595 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10044 5595 231 231 0 9813 0 vsize: 40176 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6331 0 0 0 102978 56 0 0 25 0 1 0 453799583 41140224 5603 4294967295 134512640 135450300 3221224640 3221223360 134535770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10044 5603 231 231 0 9813 0 vsize: 40176 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6342 0 0 0 103978 57 0 0 25 0 1 0 453799583 41140224 5614 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10044 5614 231 231 0 9813 0 vsize: 40176 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6346 0 0 0 104979 57 0 0 25 0 1 0 453799583 41140224 5618 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10044 5618 231 231 0 9813 0 vsize: 40176 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6356 0 0 0 105979 57 0 0 25 0 1 0 453799583 41140224 5628 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10044 5628 231 231 0 9813 0 vsize: 40176 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6366 0 0 0 106979 57 0 0 25 0 1 0 453799583 41140224 5638 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10044 5638 231 231 0 9813 0 vsize: 40176 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6378 0 0 0 107979 57 0 0 25 0 1 0 453799583 41140224 5650 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10044 5650 231 231 0 9813 0 vsize: 40176 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6390 0 0 0 108979 57 0 0 25 0 1 0 453799583 41275392 5662 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 5662 231 231 0 9846 0 vsize: 40308 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6397 0 0 0 109979 58 0 0 25 0 1 0 453799583 41275392 5669 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 5669 231 231 0 9846 0 vsize: 40308 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6465 0 0 0 110979 58 0 0 25 0 1 0 453799583 41275392 5737 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 5737 231 231 0 9846 0 vsize: 40308 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6619 0 0 0 111979 59 0 0 25 0 1 0 453799583 41275392 5891 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 5891 231 231 0 9846 0 vsize: 40308 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6789 0 0 0 112978 60 0 0 25 0 1 0 453799583 41275392 6061 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 6061 231 231 0 9846 0 vsize: 40308 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6892 0 0 0 113978 60 0 0 25 0 1 0 453799583 41275392 6164 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 6164 231 231 0 9846 0 vsize: 40308 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6900 0 0 0 114978 61 0 0 25 0 1 0 453799583 41275392 6172 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 6172 231 231 0 9846 0 vsize: 40308 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6906 0 0 0 115978 61 0 0 25 0 1 0 453799583 41275392 6178 4294967295 134512640 135450300 3221224640 3221223472 134549298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 6178 231 231 0 9846 0 vsize: 40308 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6917 0 0 0 116979 61 0 0 25 0 1 0 453799583 41275392 6189 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 6189 231 231 0 9846 0 vsize: 40308 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 6972 0 0 0 117978 62 0 0 25 0 1 0 453799583 41275392 6244 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10077 6244 231 231 0 9846 0 vsize: 40308 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 7155 0 0 0 118978 63 0 0 25 0 1 0 453799583 41476096 6427 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10126 6427 231 231 0 9895 0 vsize: 40504 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20803 Raw data (stat): 20803 (PBS4) R 20802 29653 29652 0 -1 0 7167 0 0 0 119978 63 0 0 25 0 1 0 453799583 41476096 6439 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10126 6439 231 231 0 9895 0 vsize: 40504 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 20803 Raw data (stat): 20803 (PBS4) Z 20802 29653 29652 0 -1 1036 7167 0 0 0 119978 64 0 0 25 0 1 0 453799583 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.04 CPU time (s): 1200.43 CPU user time (s): 1199.79 CPU system time (s): 0.643902 CPU usage (%): 100.033 Max. virtual memory (Kb): 40504 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####