Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb |
MD5SUM | 77c89bda49ebcdc0428e1292512864a9 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3080 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2792 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 1385986 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 1000 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 1385986 |
Number of bits of the biggest sum of numbers | 21 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.07184 |
Number of variables | 3300 |
Total number of constraints | 5284 |
Number of constraints which are clauses | 1364 |
Number of constraints which are cardinality constraints (but not clauses) | 3920 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 220 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-04-17 17:23:30 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3210 boxname=wulflinc9 idbench=357 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 77c89bda49ebcdc0428e1292512864a9 /oldhome/oroussel/tmp/wulflinc9/normalized-ws97-3.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc9/normalized-ws97-3.opb IDLAUNCH: 3210 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 849784 kB Buffers: 38036 kB Cached: 125280 kB SwapCached: 564 kB Active: 71532 kB Inactive: 95208 kB HighTotal: 131008 kB HighFree: 1792 kB LowTotal: 903652 kB LowFree: 847992 kB SwapTotal: 2097136 kB SwapFree: 2096572 kB Dirty: 52 kB Writeback: 0 kB Mapped: 6940 kB Slab: 12500 kB Committed_AS: 63560 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 17:43:33 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 3210 7 1200.26 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-ws97-3.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.86 0.97 0.91 2/54 25556 Raw data (stat): 25556 (runsolver) R 25555 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 454065788 1052672 99 4294967295 134512640 135381576 3221224544 3221219792 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+9.9996 s] Raw data (loadavg): 0.88 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 710 0 0 0 994 5 0 0 25 0 1 0 454065788 3629056 706 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 886 706 231 231 0 655 0 vsize: 3544 [startup+20.0006 s] Raw data (loadavg): 0.90 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1022 0 0 0 1993 6 0 0 25 0 1 0 454065788 6774784 1018 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1654 1018 231 231 0 1423 0 vsize: 6616 [startup+30.0014 s] Raw data (loadavg): 0.92 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1334 0 0 0 2992 7 0 0 25 0 1 0 454065788 6774784 1330 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1654 1330 231 231 0 1423 0 vsize: 6616 [startup+40.0018 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1645 0 0 0 3992 7 0 0 25 0 1 0 454065788 10969088 1641 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2678 1641 231 231 0 2447 0 vsize: 10712 [startup+50.0019 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 1964 0 0 0 4991 8 0 0 25 0 1 0 454065788 10969088 1960 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2678 1960 231 231 0 2447 0 vsize: 10712 [startup+60.0016 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 2292 0 0 0 5990 9 0 0 25 0 1 0 454065788 10969088 2288 4294967295 134512640 135450300 3221224640 3221223168 134544896 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2678 2288 231 231 0 2447 0 vsize: 10712 [startup+70.002 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 2602 0 0 0 6990 10 0 0 25 0 1 0 454065788 19357696 2598 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4726 2598 231 231 0 4495 0 vsize: 18904 [startup+80.0021 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 2915 0 0 0 7989 11 0 0 25 0 1 0 454065788 19357696 2911 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4726 2911 231 231 0 4495 0 vsize: 18904 [startup+90.0029 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 3230 0 0 0 8988 12 0 0 25 0 1 0 454065788 19357696 3226 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4726 3226 231 231 0 4495 0 vsize: 18904 [startup+100.002 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 3546 0 0 0 9988 12 0 0 25 0 1 0 454065788 19357696 3542 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4726 3542 231 231 0 4495 0 vsize: 18904 [startup+110.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 3861 0 0 0 10987 13 0 0 25 0 1 0 454065788 19357696 3857 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4726 3857 231 231 0 4495 0 vsize: 18904 [startup+120.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 4187 0 0 0 11987 14 0 0 25 0 1 0 454065788 19357696 4183 4294967295 134512640 135450300 3221224640 3221223116 134572060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4726 4183 231 231 0 4495 0 vsize: 18904 [startup+130.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 4500 0 0 0 12986 15 0 0 25 0 1 0 454065788 19357696 4496 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4726 4496 231 231 0 4495 0 vsize: 18904 [startup+140.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 4811 0 0 0 13986 15 0 0 25 0 1 0 454065788 36134912 4807 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8822 4807 231 231 0 8591 0 vsize: 35288 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 5146 0 0 0 14985 16 0 0 25 0 1 0 454065788 36335616 5142 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 5142 231 231 0 8640 0 vsize: 35484 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 5449 0 0 0 15985 17 0 0 25 0 1 0 454065788 36335616 5445 4294967295 134512640 135450300 3221224640 3221223360 134535692 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 5445 231 231 0 8640 0 vsize: 35484 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 5763 0 0 0 16984 17 0 0 25 0 1 0 454065788 36335616 5759 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 5759 231 231 0 8640 0 vsize: 35484 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 6084 0 0 0 17984 18 0 0 25 0 1 0 454065788 36335616 6080 4294967295 134512640 135450300 3221224640 3221223360 134535950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 6080 231 231 0 8640 0 vsize: 35484 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 6401 0 0 0 18984 19 0 0 25 0 1 0 454065788 36335616 6397 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 6397 231 231 0 8640 0 vsize: 35484 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 6713 0 0 0 19983 19 0 0 25 0 1 0 454065788 36335616 6709 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 6709 231 231 0 8640 0 vsize: 35484 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7025 0 0 0 20982 21 0 0 25 0 1 0 454065788 36335616 7021 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 7021 231 231 0 8640 0 vsize: 35484 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7342 0 0 0 21981 21 0 0 25 0 1 0 454065788 36335616 7338 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 7338 231 231 0 8640 0 vsize: 35484 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7653 0 0 0 22980 23 0 0 25 0 1 0 454065788 36335616 7649 4294967295 134512640 135450300 3221224640 3221222992 134533228 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 7649 231 231 0 8640 0 vsize: 35484 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 7961 0 0 0 23980 23 0 0 25 0 1 0 454065788 36335616 7957 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 7957 231 231 0 8640 0 vsize: 35484 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 8280 0 0 0 24980 24 0 0 25 0 1 0 454065788 36335616 8276 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 8276 231 231 0 8640 0 vsize: 35484 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 8597 0 0 0 25979 24 0 0 25 0 1 0 454065788 36335616 8593 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8871 8593 231 231 0 8640 0 vsize: 35484 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 8909 0 0 0 26979 25 0 0 25 0 1 0 454065788 69890048 8905 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 8905 231 231 0 16832 0 vsize: 68252 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 9222 0 0 0 27978 25 0 0 25 0 1 0 454065788 69890048 9218 4294967295 134512640 135450300 3221224640 3221222916 135070907 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 9218 231 231 0 16832 0 vsize: 68252 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 9531 0 0 0 28978 26 0 0 25 0 1 0 454065788 69890048 9527 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 9527 231 231 0 16832 0 vsize: 68252 [startup+300.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 9840 0 0 0 29977 27 0 0 25 0 1 0 454065788 69890048 9836 4294967295 134512640 135450300 3221224640 3221223360 134535791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 9836 231 231 0 16832 0 vsize: 68252 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 10150 0 0 0 30977 28 0 0 25 0 1 0 454065788 69890048 10146 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 10146 231 231 0 16832 0 vsize: 68252 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 10463 0 0 0 31976 29 0 0 25 0 1 0 454065788 69890048 10459 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 10459 231 231 0 16832 0 vsize: 68252 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 10756 0 0 0 32975 29 0 0 25 0 1 0 454065788 69890048 10752 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 10752 231 231 0 16832 0 vsize: 68252 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 11093 0 0 0 33975 30 0 0 25 0 1 0 454065788 69890048 11089 4294967295 134512640 135450300 3221224640 3221223376 134538528 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 11089 231 231 0 16832 0 vsize: 68252 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 11425 0 0 0 34974 32 0 0 25 0 1 0 454065788 69890048 11421 4294967295 134512640 135450300 3221224640 3221223360 134535678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 11421 231 231 0 16832 0 vsize: 68252 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 11740 0 0 0 35973 32 0 0 25 0 1 0 454065788 69890048 11736 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 11736 231 231 0 16832 0 vsize: 68252 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12054 0 0 0 36972 34 0 0 25 0 1 0 454065788 69890048 12050 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 12050 231 231 0 16832 0 vsize: 68252 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12366 0 0 0 37971 35 0 0 25 0 1 0 454065788 69890048 12362 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 12362 231 231 0 16832 0 vsize: 68252 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12679 0 0 0 38970 35 0 0 25 0 1 0 454065788 69890048 12675 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 12675 231 231 0 16832 0 vsize: 68252 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 12994 0 0 0 39970 36 0 0 25 0 1 0 454065788 69890048 12990 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 12990 231 231 0 16832 0 vsize: 68252 [startup+410.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 13304 0 0 0 40969 38 0 0 25 0 1 0 454065788 69890048 13300 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17063 13300 231 231 0 16832 0 vsize: 68252 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 13664 0 0 0 41968 38 0 0 25 0 1 0 454065788 70086656 13611 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17111 13611 231 231 0 16880 0 vsize: 68444 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 13961 0 0 0 42968 39 0 0 25 0 1 0 454065788 70086656 13908 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17111 13908 231 231 0 16880 0 vsize: 68444 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 14273 0 0 0 43967 40 0 0 25 0 1 0 454065788 70086656 14220 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17111 14220 231 231 0 16880 0 vsize: 68444 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 14579 0 0 0 44967 40 0 0 25 0 1 0 454065788 70086656 14526 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17111 14526 231 231 0 16880 0 vsize: 68444 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 14886 0 0 0 45967 41 0 0 25 0 1 0 454065788 70086656 14833 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17111 14833 231 231 0 16880 0 vsize: 68444 [startup+470.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 15158 0 0 0 46966 42 0 0 25 0 1 0 454065788 70086656 15105 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17111 15105 231 231 0 16880 0 vsize: 68444 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 15506 0 0 0 47963 45 0 0 25 0 1 0 454065788 70332416 15453 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17171 15453 231 231 0 16940 0 vsize: 68684 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 15822 0 0 0 48961 47 0 0 25 0 1 0 454065788 70332416 15769 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17171 15769 231 231 0 16940 0 vsize: 68684 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 16250 0 0 0 49960 48 0 0 25 0 1 0 454065788 70332416 16197 4294967295 134512640 135450300 3221224640 3221223376 134537913 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17171 16197 231 231 0 16940 0 vsize: 68684 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 16653 0 0 0 50959 49 0 0 25 0 1 0 454065788 70496256 16600 4294967295 134512640 135450300 3221224640 3221223360 134598272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17211 16600 231 231 0 16980 0 vsize: 68844 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17154 0 0 0 51952 57 0 0 25 0 1 0 454065788 70762496 17101 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17276 17101 231 231 0 17045 0 vsize: 69104 [startup+530.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17167 0 0 0 52951 58 0 0 25 0 1 0 454065788 70893568 17114 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17308 17114 231 231 0 17077 0 vsize: 69232 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17210 0 0 0 53947 61 0 0 25 0 1 0 454065788 71032832 17157 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17342 17157 231 231 0 17111 0 vsize: 69368 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17212 0 0 0 54947 62 0 0 25 0 1 0 454065788 71032832 17159 4294967295 134512640 135450300 3221224640 3221223456 134537248 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17342 17159 231 231 0 17111 0 vsize: 69368 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17270 0 0 0 55944 65 0 0 25 0 1 0 454065788 71303168 17217 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17408 17217 231 231 0 17177 0 vsize: 69632 [startup+570.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17288 0 0 0 56940 69 0 0 25 0 1 0 454065788 71303168 17235 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17408 17235 231 231 0 17177 0 vsize: 69632 [startup+580.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17289 0 0 0 57940 69 0 0 25 0 1 0 454065788 71303168 17236 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17408 17236 231 231 0 17177 0 vsize: 69632 [startup+590.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17289 0 0 0 58941 69 0 0 25 0 1 0 454065788 71303168 17236 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17408 17236 231 231 0 17177 0 vsize: 69632 [startup+600.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17293 0 0 0 59941 69 0 0 25 0 1 0 454065788 71303168 17240 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17408 17240 231 231 0 17177 0 vsize: 69632 [startup+610.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17309 0 0 0 60938 72 0 0 25 0 1 0 454065788 71421952 17256 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17437 17256 231 231 0 17206 0 vsize: 69748 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17313 0 0 0 61936 74 0 0 25 0 1 0 454065788 71421952 17260 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17437 17260 231 231 0 17206 0 vsize: 69748 [startup+630.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17317 0 0 0 62935 75 0 0 25 0 1 0 454065788 71421952 17264 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17437 17264 231 231 0 17206 0 vsize: 69748 [startup+640.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17318 0 0 0 63935 75 0 0 25 0 1 0 454065788 71421952 17265 4294967295 134512640 135450300 3221224640 3221222992 134533216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17437 17265 231 231 0 17206 0 vsize: 69748 [startup+650.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17319 0 0 0 64935 76 0 0 25 0 1 0 454065788 71421952 17266 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17437 17266 231 231 0 17206 0 vsize: 69748 [startup+660.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17350 0 0 0 65935 76 0 0 25 0 1 0 454065788 71565312 17297 4294967295 134512640 135450300 3221224640 3221223168 134544615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17472 17297 231 231 0 17241 0 vsize: 69888 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17365 0 0 0 66935 76 0 0 25 0 1 0 454065788 71565312 17312 4294967295 134512640 135450300 3221224640 3221223456 134547511 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17472 17312 231 231 0 17241 0 vsize: 69888 [startup+680.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17376 0 0 0 67935 76 0 0 25 0 1 0 454065788 71700480 17323 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17505 17323 231 231 0 17274 0 vsize: 70020 [startup+690.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17381 0 0 0 68935 76 0 0 25 0 1 0 454065788 71700480 17328 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17505 17328 231 231 0 17274 0 vsize: 70020 [startup+700.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17383 0 0 0 69935 76 0 0 25 0 1 0 454065788 71700480 17330 4294967295 134512640 135450300 3221224640 3221223360 134535932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17505 17330 231 231 0 17274 0 vsize: 70020 [startup+710.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17384 0 0 0 70936 76 0 0 25 0 1 0 454065788 71700480 17331 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17505 17331 231 231 0 17274 0 vsize: 70020 [startup+720.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17391 0 0 0 71936 76 0 0 25 0 1 0 454065788 71700480 17338 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17505 17338 231 231 0 17274 0 vsize: 70020 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17392 0 0 0 72936 77 0 0 25 0 1 0 454065788 71700480 17339 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17505 17339 231 231 0 17274 0 vsize: 70020 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17409 0 0 0 73932 81 0 0 25 0 1 0 454065788 71700480 17356 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17505 17356 231 231 0 17274 0 vsize: 70020 [startup+750.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17415 0 0 0 74931 82 0 0 25 0 1 0 454065788 71839744 17362 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17539 17362 231 231 0 17308 0 vsize: 70156 [startup+760.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17451 0 0 0 75929 84 0 0 25 0 1 0 454065788 71974912 17398 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17572 17398 231 231 0 17341 0 vsize: 70288 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17452 0 0 0 76927 86 0 0 25 0 1 0 454065788 71974912 17399 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17572 17399 231 231 0 17341 0 vsize: 70288 [startup+780.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17453 0 0 0 77926 87 0 0 25 0 1 0 454065788 71974912 17400 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17572 17400 231 231 0 17341 0 vsize: 70288 [startup+790.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17454 0 0 0 78926 87 0 0 25 0 1 0 454065788 71974912 17401 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17572 17401 231 231 0 17341 0 vsize: 70288 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17465 0 0 0 79926 88 0 0 25 0 1 0 454065788 71974912 17412 4294967295 134512640 135450300 3221224640 3221222992 134533236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17572 17412 231 231 0 17341 0 vsize: 70288 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17507 0 0 0 80924 90 0 0 25 0 1 0 454065788 72110080 17454 4294967295 134512640 135450300 3221224640 3221223376 134538025 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17605 17454 231 231 0 17374 0 vsize: 70420 [startup+820.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17508 0 0 0 81923 91 0 0 25 0 1 0 454065788 72110080 17455 4294967295 134512640 135450300 3221224640 3221222992 134533241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17605 17455 231 231 0 17374 0 vsize: 70420 [startup+830.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17509 0 0 0 82923 92 0 0 25 0 1 0 454065788 72110080 17456 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17605 17456 231 231 0 17374 0 vsize: 70420 [startup+840.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17517 0 0 0 83922 92 0 0 25 0 1 0 454065788 72110080 17464 4294967295 134512640 135450300 3221224640 3221223376 134537979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17605 17464 231 231 0 17374 0 vsize: 70420 [startup+850.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17527 0 0 0 84916 98 0 0 25 0 1 0 454065788 72245248 17474 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17638 17474 231 231 0 17407 0 vsize: 70552 [startup+860.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17626 0 0 0 85916 99 0 0 25 0 1 0 454065788 72638464 17476 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17476 231 231 0 17503 0 vsize: 70936 [startup+870.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17636 0 0 0 86916 99 0 0 25 0 1 0 454065788 72638464 17486 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17486 231 231 0 17503 0 vsize: 70936 [startup+880.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17643 0 0 0 87916 100 0 0 25 0 1 0 454065788 72638464 17493 4294967295 134512640 135450300 3221224640 3221222992 134533221 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17493 231 231 0 17503 0 vsize: 70936 [startup+890.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17643 0 0 0 88916 100 0 0 25 0 1 0 454065788 72638464 17493 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17493 231 231 0 17503 0 vsize: 70936 [startup+900.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17644 0 0 0 89916 100 0 0 25 0 1 0 454065788 72638464 17494 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17494 231 231 0 17503 0 vsize: 70936 [startup+910.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17644 0 0 0 90916 100 0 0 25 0 1 0 454065788 72638464 17494 4294967295 134512640 135450300 3221224640 3221223376 134538577 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17494 231 231 0 17503 0 vsize: 70936 [startup+920.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17645 0 0 0 91916 100 0 0 25 0 1 0 454065788 72638464 17495 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17495 231 231 0 17503 0 vsize: 70936 [startup+930.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17646 0 0 0 92916 100 0 0 25 0 1 0 454065788 72638464 17496 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17496 231 231 0 17503 0 vsize: 70936 [startup+940.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17647 0 0 0 93916 100 0 0 25 0 1 0 454065788 72638464 17497 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17497 231 231 0 17503 0 vsize: 70936 [startup+950.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17657 0 0 0 94916 101 0 0 25 0 1 0 454065788 72638464 17507 4294967295 134512640 135450300 3221224640 3221222992 134533233 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17734 17507 231 231 0 17503 0 vsize: 70936 [startup+960.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17663 0 0 0 95911 106 0 0 25 0 1 0 454065788 72773632 17513 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17513 231 231 0 17536 0 vsize: 71068 [startup+970.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17665 0 0 0 96911 106 0 0 25 0 1 0 454065788 72773632 17515 4294967295 134512640 135450300 3221224640 3221223456 134546480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17515 231 231 0 17536 0 vsize: 71068 [startup+980.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17674 0 0 0 97910 107 0 0 25 0 1 0 454065788 72773632 17524 4294967295 134512640 135450300 3221224640 3221223168 134544104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17524 231 231 0 17536 0 vsize: 71068 [startup+990.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17676 0 0 0 98907 111 0 0 25 0 1 0 454065788 72773632 17526 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17526 231 231 0 17536 0 vsize: 71068 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17680 0 0 0 99904 114 0 0 25 0 1 0 454065788 72773632 17530 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17530 231 231 0 17536 0 vsize: 71068 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17681 0 0 0 100904 114 0 0 25 0 1 0 454065788 72773632 17531 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17531 231 231 0 17536 0 vsize: 71068 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17698 0 0 0 101899 119 0 0 25 0 1 0 454065788 72773632 17548 4294967295 134512640 135450300 3221224640 3221223360 134535483 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17548 231 231 0 17536 0 vsize: 71068 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17702 0 0 0 102899 119 0 0 25 0 1 0 454065788 72773632 17552 4294967295 134512640 135450300 3221224640 3221223116 134572079 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17767 17552 231 231 0 17536 0 vsize: 71068 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17709 0 0 0 103897 122 0 0 25 0 1 0 454065788 72892416 17559 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17559 231 231 0 17565 0 vsize: 71184 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17710 0 0 0 104895 124 0 0 25 0 1 0 454065788 72892416 17560 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17560 231 231 0 17565 0 vsize: 71184 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17712 0 0 0 105895 124 0 0 25 0 1 0 454065788 72892416 17562 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17562 231 231 0 17565 0 vsize: 71184 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17724 0 0 0 106889 130 0 0 25 0 1 0 454065788 72892416 17574 4294967295 134512640 135450300 3221224640 3221223248 134537672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17574 231 231 0 17565 0 vsize: 71184 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17726 0 0 0 107889 130 0 0 25 0 1 0 454065788 72892416 17576 4294967295 134512640 135450300 3221224640 3221223456 134536518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17576 231 231 0 17565 0 vsize: 71184 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17733 0 0 0 108886 133 0 0 25 0 1 0 454065788 72892416 17583 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17583 231 231 0 17565 0 vsize: 71184 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17736 0 0 0 109884 136 0 0 25 0 1 0 454065788 72892416 17586 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17586 231 231 0 17565 0 vsize: 71184 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17745 0 0 0 110884 136 0 0 25 0 1 0 454065788 72892416 17595 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17796 17595 231 231 0 17565 0 vsize: 71184 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17751 0 0 0 111883 137 0 0 25 0 1 0 454065788 73027584 17601 4294967295 134512640 135450300 3221224640 3221223376 134537993 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17829 17601 231 231 0 17598 0 vsize: 71316 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17758 0 0 0 112883 138 0 0 25 0 1 0 454065788 73027584 17608 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17829 17608 231 231 0 17598 0 vsize: 71316 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17760 0 0 0 113883 138 0 0 25 0 1 0 454065788 73027584 17610 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17829 17610 231 231 0 17598 0 vsize: 71316 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17761 0 0 0 114883 138 0 0 25 0 1 0 454065788 73027584 17611 4294967295 134512640 135450300 3221224640 3221223456 134546472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17829 17611 231 231 0 17598 0 vsize: 71316 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17762 0 0 0 115883 138 0 0 25 0 1 0 454065788 73027584 17612 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17829 17612 231 231 0 17598 0 vsize: 71316 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17792 0 0 0 116877 144 0 0 25 0 1 0 454065788 73162752 17642 4294967295 134512640 135450300 3221224640 3221223376 134538007 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17862 17642 231 231 0 17631 0 vsize: 71448 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17821 0 0 0 117875 146 0 0 25 0 1 0 454065788 73162752 17671 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17862 17671 231 231 0 17631 0 vsize: 71448 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17831 0 0 0 118874 148 0 0 25 0 1 0 454065788 73281536 17681 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17891 17681 231 231 0 17660 0 vsize: 71564 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25556 Raw data (stat): 25556 (PBS4) R 25555 30854 30853 0 -1 0 17831 0 0 0 119870 152 0 0 25 0 1 0 454065788 73281536 17681 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17891 17681 231 231 0 17660 0 vsize: 71564 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 25556 Raw data (stat): 25556 (PBS4) Z 25555 30854 30853 0 -1 1036 17831 0 0 0 119870 155 0 0 25 0 1 0 454065788 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.06 CPU time (s): 1200.26 CPU user time (s): 1198.71 CPU system time (s): 1.55576 CPU usage (%): 100.017 Max. virtual memory (Kb): 71564 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####