Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb |
MD5SUM | ebc55cfc194a279163f52418008eccf2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 65 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2460 |
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 | 2460 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2460 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.11783 |
Number of variables | 2459 |
Total number of constraints | 873 |
Number of constraints which are clauses | 873 |
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 | 1 |
Maximum length of a constraint | 146 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-04-17 15:42:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=600 boxname=wulflinc9 idbench=67 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: ebc55cfc194a279163f52418008eccf2 /oldhome/oroussel/tmp/wulflinc9/normalized-ex5.pi.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc9/normalized-ex5.pi.opb IDLAUNCH: 600 /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: 851228 kB Buffers: 37940 kB Cached: 124152 kB SwapCached: 564 kB Active: 68516 kB Inactive: 96932 kB HighTotal: 131008 kB HighFree: 2940 kB LowTotal: 903652 kB LowFree: 848288 kB SwapTotal: 2097136 kB SwapFree: 2096572 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6936 kB Slab: 12396 kB Committed_AS: 63476 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 16:02:02 (client local time) WITH STATUS 0 IN 1200.31 SECONDS stats: 600 7 1200.31 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-ex5.pi.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.08 0.02 0.01 2/54 24901 Raw data (stat): 24901 (runsolver) R 24900 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 453456609 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+10.0004 s] Raw data (loadavg): 0.22 0.05 0.02 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 363 0 0 0 983 16 0 0 25 0 1 0 453456609 2215936 359 4294967295 134512640 135450300 3221224640 3221223376 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 541 359 231 231 0 310 0 vsize: 2164 [startup+20.0015 s] Raw data (loadavg): 0.34 0.08 0.02 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 363 0 0 0 1967 32 0 0 25 0 1 0 453456609 2215936 359 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 541 359 231 231 0 310 0 vsize: 2164 [startup+30.0018 s] Raw data (loadavg): 0.44 0.11 0.03 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 363 0 0 0 2951 48 0 0 25 0 1 0 453456609 2215936 359 4294967295 134512640 135450300 3221224640 3221223376 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 541 359 231 231 0 310 0 vsize: 2164 [startup+40.0015 s] Raw data (loadavg): 0.53 0.14 0.04 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 370 0 0 0 3934 66 0 0 25 0 1 0 453456609 2351104 366 4294967295 134512640 135450300 3221224640 3221223456 134533239 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 574 366 231 231 0 343 0 vsize: 2296 [startup+50.0029 s] Raw data (loadavg): 0.60 0.17 0.05 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 483 0 0 0 4904 95 0 0 25 0 1 0 453456609 2617344 479 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 639 479 231 231 0 408 0 vsize: 2556 [startup+60.003 s] Raw data (loadavg): 0.66 0.19 0.06 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 639 0 0 0 5903 96 0 0 25 0 1 0 453456609 4333568 635 4294967295 134512640 135450300 3221224640 3221223568 134539744 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1058 635 231 231 0 827 0 vsize: 4232 [startup+70.0036 s] Raw data (loadavg): 0.71 0.22 0.07 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 850 0 0 0 6902 98 0 0 25 0 1 0 453456609 4333568 846 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1058 846 231 231 0 827 0 vsize: 4232 [startup+80.0048 s] Raw data (loadavg): 0.76 0.24 0.08 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1059 0 0 0 7901 99 0 0 25 0 1 0 453456609 6430720 1055 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1570 1055 231 231 0 1339 0 vsize: 6280 [startup+90.0041 s] Raw data (loadavg): 0.79 0.27 0.09 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1286 0 0 0 8900 100 0 0 25 0 1 0 453456609 6430720 1282 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1570 1282 231 231 0 1339 0 vsize: 6280 [startup+100.004 s] Raw data (loadavg): 0.82 0.29 0.10 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1530 0 0 0 9899 101 0 0 25 0 1 0 453456609 10625024 1526 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2594 1526 231 231 0 2363 0 vsize: 10376 [startup+110.004 s] Raw data (loadavg): 0.85 0.31 0.11 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1737 0 0 0 10898 102 0 0 25 0 1 0 453456609 10625024 1733 4294967295 134512640 135450300 3221224640 3221223360 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2594 1733 231 231 0 2363 0 vsize: 10376 [startup+120.004 s] Raw data (loadavg): 0.87 0.34 0.12 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 1950 0 0 0 11897 104 0 0 25 0 1 0 453456609 10625024 1946 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2594 1946 231 231 0 2363 0 vsize: 10376 [startup+130.004 s] Raw data (loadavg): 0.89 0.36 0.13 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2120 0 0 0 12896 104 0 0 25 0 1 0 453456609 10625024 2116 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2594 2116 231 231 0 2363 0 vsize: 10376 [startup+140.004 s] Raw data (loadavg): 0.91 0.38 0.14 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2299 0 0 0 13896 105 0 0 25 0 1 0 453456609 10625024 2295 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2594 2295 231 231 0 2363 0 vsize: 10376 [startup+150.004 s] Raw data (loadavg): 0.92 0.40 0.15 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2461 0 0 0 14895 106 0 0 25 0 1 0 453456609 10760192 2457 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2627 2457 231 231 0 2396 0 vsize: 10508 [startup+160.004 s] Raw data (loadavg): 0.93 0.42 0.15 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2542 0 0 0 15891 109 0 0 25 0 1 0 453456609 19148800 2538 4294967295 134512640 135450300 3221224640 3221223360 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4675 2538 231 231 0 4444 0 vsize: 18700 [startup+170.005 s] Raw data (loadavg): 0.94 0.44 0.16 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2602 0 0 0 16891 110 0 0 25 0 1 0 453456609 19288064 2598 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4709 2598 231 231 0 4478 0 vsize: 18836 [startup+180.005 s] Raw data (loadavg): 0.95 0.45 0.17 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2654 0 0 0 17891 110 0 0 25 0 1 0 453456609 19288064 2650 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4709 2650 231 231 0 4478 0 vsize: 18836 [startup+190.005 s] Raw data (loadavg): 0.96 0.47 0.18 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2714 0 0 0 18890 111 0 0 25 0 1 0 453456609 19288064 2710 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4709 2710 231 231 0 4478 0 vsize: 18836 [startup+200.005 s] Raw data (loadavg): 0.96 0.49 0.19 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2765 0 0 0 19890 111 0 0 25 0 1 0 453456609 19288064 2761 4294967295 134512640 135450300 3221224640 3221223544 134580065 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4709 2761 231 231 0 4478 0 vsize: 18836 [startup+210.005 s] Raw data (loadavg): 0.97 0.51 0.20 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2817 0 0 0 20890 112 0 0 25 0 1 0 453456609 19288064 2813 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4709 2813 231 231 0 4478 0 vsize: 18836 [startup+220.005 s] Raw data (loadavg): 0.97 0.52 0.20 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2897 0 0 0 21890 112 0 0 25 0 1 0 453456609 19488768 2893 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4758 2893 231 231 0 4527 0 vsize: 19032 [startup+230.005 s] Raw data (loadavg): 0.98 0.54 0.21 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 2953 0 0 0 22889 112 0 0 25 0 1 0 453456609 19488768 2949 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4758 2949 231 231 0 4527 0 vsize: 19032 [startup+240.005 s] Raw data (loadavg): 0.98 0.55 0.22 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3021 0 0 0 23889 113 0 0 25 0 1 0 453456609 19488768 3017 4294967295 134512640 135450300 3221224640 3221223376 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4758 3017 231 231 0 4527 0 vsize: 19032 [startup+250.005 s] Raw data (loadavg): 0.98 0.57 0.23 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3074 0 0 0 24889 113 0 0 25 0 1 0 453456609 19488768 3070 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4758 3070 231 231 0 4527 0 vsize: 19032 [startup+260.006 s] Raw data (loadavg): 0.98 0.58 0.24 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3139 0 0 0 25889 113 0 0 25 0 1 0 453456609 19488768 3135 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3135 231 231 0 4527 0 vsize: 19032 [startup+270.007 s] Raw data (loadavg): 0.99 0.59 0.24 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3198 0 0 0 26889 113 0 0 25 0 1 0 453456609 19488768 3194 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3194 231 231 0 4527 0 vsize: 19032 [startup+280.006 s] Raw data (loadavg): 0.99 0.61 0.25 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3250 0 0 0 27889 114 0 0 25 0 1 0 453456609 19488768 3246 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3246 231 231 0 4527 0 vsize: 19032 [startup+290.006 s] Raw data (loadavg): 0.99 0.62 0.26 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3304 0 0 0 28889 114 0 0 25 0 1 0 453456609 19488768 3300 4294967295 134512640 135450300 3221224640 3221223360 134535724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3300 231 231 0 4527 0 vsize: 19032 [startup+300.007 s] Raw data (loadavg): 0.99 0.63 0.27 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3367 0 0 0 29889 114 0 0 25 0 1 0 453456609 19488768 3363 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3363 231 231 0 4527 0 vsize: 19032 [startup+310.006 s] Raw data (loadavg): 0.99 0.64 0.28 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3432 0 0 0 30889 114 0 0 25 0 1 0 453456609 19488768 3428 4294967295 134512640 135450300 3221224640 3221223360 134535664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3428 231 231 0 4527 0 vsize: 19032 [startup+320.007 s] Raw data (loadavg): 0.99 0.65 0.28 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3491 0 0 0 31889 114 0 0 25 0 1 0 453456609 19488768 3487 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3487 231 231 0 4527 0 vsize: 19032 [startup+330.007 s] Raw data (loadavg): 0.99 0.66 0.29 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3547 0 0 0 32889 115 0 0 25 0 1 0 453456609 19488768 3543 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3543 231 231 0 4527 0 vsize: 19032 [startup+340.007 s] Raw data (loadavg): 0.99 0.67 0.30 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3598 0 0 0 33888 115 0 0 25 0 1 0 453456609 19488768 3594 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3594 231 231 0 4527 0 vsize: 19032 [startup+350.007 s] Raw data (loadavg): 0.99 0.68 0.30 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3662 0 0 0 34888 115 0 0 25 0 1 0 453456609 19488768 3658 4294967295 134512640 135450300 3221224640 3221223360 134535761 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3658 231 231 0 4527 0 vsize: 19032 [startup+360.007 s] Raw data (loadavg): 0.99 0.69 0.31 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3723 0 0 0 35888 116 0 0 25 0 1 0 453456609 19488768 3719 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3719 231 231 0 4527 0 vsize: 19032 [startup+370.008 s] Raw data (loadavg): 0.99 0.70 0.32 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3797 0 0 0 36888 116 0 0 25 0 1 0 453456609 19488768 3793 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3793 231 231 0 4527 0 vsize: 19032 [startup+380.008 s] Raw data (loadavg): 0.99 0.71 0.32 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3870 0 0 0 37888 116 0 0 25 0 1 0 453456609 19488768 3866 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3866 231 231 0 4527 0 vsize: 19032 [startup+390.007 s] Raw data (loadavg): 0.99 0.72 0.33 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 3932 0 0 0 38888 117 0 0 25 0 1 0 453456609 19488768 3928 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3928 231 231 0 4527 0 vsize: 19032 [startup+400.008 s] Raw data (loadavg): 0.99 0.73 0.34 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4003 0 0 0 39888 117 0 0 25 0 1 0 453456609 19488768 3999 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3999 231 231 0 4527 0 vsize: 19032 [startup+410.008 s] Raw data (loadavg): 0.99 0.74 0.34 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4074 0 0 0 40888 117 0 0 25 0 1 0 453456609 19488768 4070 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4070 231 231 0 4527 0 vsize: 19032 [startup+420.009 s] Raw data (loadavg): 0.99 0.75 0.35 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4153 0 0 0 41888 118 0 0 25 0 1 0 453456609 19488768 4149 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4149 231 231 0 4527 0 vsize: 19032 [startup+430.009 s] Raw data (loadavg): 0.99 0.76 0.36 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4229 0 0 0 42887 118 0 0 25 0 1 0 453456609 19488768 4225 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4225 231 231 0 4527 0 vsize: 19032 [startup+440.009 s] Raw data (loadavg): 0.99 0.76 0.36 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4305 0 0 0 43887 118 0 0 25 0 1 0 453456609 19488768 4301 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4301 231 231 0 4527 0 vsize: 19032 [startup+450.009 s] Raw data (loadavg): 0.99 0.77 0.37 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4374 0 0 0 44887 118 0 0 25 0 1 0 453456609 19488768 4370 4294967295 134512640 135450300 3221224640 3221223360 134535758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4370 231 231 0 4527 0 vsize: 19032 [startup+460.009 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4449 0 0 0 45887 119 0 0 25 0 1 0 453456609 19488768 4445 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4445 231 231 0 4527 0 vsize: 19032 [startup+470.009 s] Raw data (loadavg): 0.99 0.78 0.38 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4526 0 0 0 46887 119 0 0 25 0 1 0 453456609 19488768 4522 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4522 231 231 0 4527 0 vsize: 19032 [startup+480.009 s] Raw data (loadavg): 0.99 0.79 0.39 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4585 0 0 0 47887 119 0 0 25 0 1 0 453456609 19488768 4581 4294967295 134512640 135450300 3221224640 3221223360 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 4581 231 231 0 4527 0 vsize: 19032 [startup+490.008 s] Raw data (loadavg): 0.99 0.80 0.39 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4643 0 0 0 48887 119 0 0 25 0 1 0 453456609 36265984 4639 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 4639 231 231 0 8623 0 vsize: 35416 [startup+500.009 s] Raw data (loadavg): 0.99 0.80 0.40 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4702 0 0 0 49887 119 0 0 25 0 1 0 453456609 36265984 4698 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 4698 231 231 0 8623 0 vsize: 35416 [startup+510.009 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4763 0 0 0 50887 119 0 0 25 0 1 0 453456609 36265984 4759 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 4759 231 231 0 8623 0 vsize: 35416 [startup+520.009 s] Raw data (loadavg): 0.99 0.81 0.41 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4815 0 0 0 51887 120 0 0 25 0 1 0 453456609 36265984 4811 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 4811 231 231 0 8623 0 vsize: 35416 [startup+530.01 s] Raw data (loadavg): 0.99 0.82 0.42 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4875 0 0 0 52887 120 0 0 25 0 1 0 453456609 36265984 4871 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 4871 231 231 0 8623 0 vsize: 35416 [startup+540.01 s] Raw data (loadavg): 0.99 0.83 0.42 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 4938 0 0 0 53887 120 0 0 25 0 1 0 453456609 36265984 4934 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 4934 231 231 0 8623 0 vsize: 35416 [startup+550.01 s] Raw data (loadavg): 0.99 0.83 0.43 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5002 0 0 0 54888 120 0 0 25 0 1 0 453456609 36265984 4998 4294967295 134512640 135450300 3221224640 3221223116 134572063 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 4998 231 231 0 8623 0 vsize: 35416 [startup+560.011 s] Raw data (loadavg): 0.99 0.84 0.43 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5069 0 0 0 55888 120 0 0 25 0 1 0 453456609 36265984 5065 4294967295 134512640 135450300 3221224640 3221223360 134535755 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 5065 231 231 0 8623 0 vsize: 35416 [startup+570.011 s] Raw data (loadavg): 0.99 0.84 0.44 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5130 0 0 0 56888 120 0 0 25 0 1 0 453456609 36265984 5126 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 5126 231 231 0 8623 0 vsize: 35416 [startup+580.011 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5192 0 0 0 57887 121 0 0 25 0 1 0 453456609 36265984 5188 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 5188 231 231 0 8623 0 vsize: 35416 [startup+590.011 s] Raw data (loadavg): 0.99 0.85 0.45 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5245 0 0 0 58887 121 0 0 25 0 1 0 453456609 36265984 5241 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 5241 231 231 0 8623 0 vsize: 35416 [startup+600.012 s] Raw data (loadavg): 0.99 0.85 0.46 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5298 0 0 0 59887 121 0 0 25 0 1 0 453456609 36265984 5294 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8854 5294 231 231 0 8623 0 vsize: 35416 [startup+610.012 s] Raw data (loadavg): 0.99 0.86 0.46 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5394 0 0 0 60885 124 0 0 25 0 1 0 453456609 36405248 5390 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8888 5390 231 231 0 8657 0 vsize: 35552 [startup+620.012 s] Raw data (loadavg): 0.99 0.86 0.47 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5541 0 0 0 61883 126 0 0 25 0 1 0 453456609 36691968 5537 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8958 5537 231 231 0 8727 0 vsize: 35832 [startup+630.011 s] Raw data (loadavg): 0.99 0.87 0.47 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5639 0 0 0 62881 128 0 0 25 0 1 0 453456609 36839424 5635 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8994 5635 231 231 0 8763 0 vsize: 35976 [startup+640.011 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5756 0 0 0 63880 129 0 0 25 0 1 0 453456609 36974592 5752 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9027 5752 231 231 0 8796 0 vsize: 36108 [startup+650.011 s] Raw data (loadavg): 0.99 0.87 0.48 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5837 0 0 0 64880 130 0 0 25 0 1 0 453456609 36974592 5833 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9027 5833 231 231 0 8796 0 vsize: 36108 [startup+660.011 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 5964 0 0 0 65880 130 0 0 25 0 1 0 453456609 37171200 5911 4294967295 134512640 135450300 3221224640 3221223360 134535764 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9075 5911 231 231 0 8844 0 vsize: 36300 [startup+670.011 s] Raw data (loadavg): 0.99 0.88 0.49 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6075 0 0 0 66878 132 0 0 25 0 1 0 453456609 37171200 6022 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9075 6022 231 231 0 8844 0 vsize: 36300 [startup+680.011 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6342 0 0 0 67873 137 0 0 25 0 1 0 453456609 37171200 6289 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9075 6289 231 231 0 8844 0 vsize: 36300 [startup+690.011 s] Raw data (loadavg): 0.99 0.89 0.50 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6549 0 0 0 68872 139 0 0 25 0 1 0 453456609 37314560 6496 4294967295 134512640 135450300 3221224640 3221223360 134535752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6496 231 231 0 8879 0 vsize: 36440 [startup+700.011 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6550 0 0 0 69870 140 0 0 25 0 1 0 453456609 37314560 6497 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6497 231 231 0 8879 0 vsize: 36440 [startup+710.011 s] Raw data (loadavg): 0.99 0.89 0.51 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6551 0 0 0 70868 142 0 0 25 0 1 0 453456609 37314560 6498 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6498 231 231 0 8879 0 vsize: 36440 [startup+720.012 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6552 0 0 0 71868 143 0 0 25 0 1 0 453456609 37314560 6499 4294967295 134512640 135450300 3221224640 3221223024 134579382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6499 231 231 0 8879 0 vsize: 36440 [startup+730.012 s] Raw data (loadavg): 0.99 0.90 0.52 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6553 0 0 0 72868 143 0 0 25 0 1 0 453456609 37314560 6500 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6500 231 231 0 8879 0 vsize: 36440 [startup+740.012 s] Raw data (loadavg): 0.99 0.90 0.53 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6554 0 0 0 73868 143 0 0 25 0 1 0 453456609 37314560 6501 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6501 231 231 0 8879 0 vsize: 36440 [startup+750.013 s] Raw data (loadavg): 0.99 0.91 0.53 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6558 0 0 0 74868 143 0 0 25 0 1 0 453456609 37314560 6505 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6505 231 231 0 8879 0 vsize: 36440 [startup+760.012 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6564 0 0 0 75865 147 0 0 25 0 1 0 453456609 37314560 6511 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6511 231 231 0 8879 0 vsize: 36440 [startup+770.014 s] Raw data (loadavg): 0.99 0.91 0.54 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6572 0 0 0 76865 147 0 0 25 0 1 0 453456609 37314560 6519 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6519 231 231 0 8879 0 vsize: 36440 [startup+780.014 s] Raw data (loadavg): 0.99 0.91 0.55 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6572 0 0 0 77863 149 0 0 25 0 1 0 453456609 37314560 6519 4294967295 134512640 135450300 3221224640 3221223456 134547499 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6519 231 231 0 8879 0 vsize: 36440 [startup+790.014 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6573 0 0 0 78862 151 0 0 25 0 1 0 453456609 37314560 6520 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6520 231 231 0 8879 0 vsize: 36440 [startup+800.014 s] Raw data (loadavg): 0.99 0.92 0.55 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6574 0 0 0 79861 151 0 0 25 0 1 0 453456609 37314560 6521 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6521 231 231 0 8879 0 vsize: 36440 [startup+810.014 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6575 0 0 0 80861 151 0 0 25 0 1 0 453456609 37314560 6522 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6522 231 231 0 8879 0 vsize: 36440 [startup+820.015 s] Raw data (loadavg): 0.99 0.92 0.56 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6576 0 0 0 81861 151 0 0 25 0 1 0 453456609 37314560 6523 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6523 231 231 0 8879 0 vsize: 36440 [startup+830.015 s] Raw data (loadavg): 0.99 0.92 0.57 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6576 0 0 0 82862 151 0 0 25 0 1 0 453456609 37314560 6523 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6523 231 231 0 8879 0 vsize: 36440 [startup+840.015 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6577 0 0 0 83862 151 0 0 25 0 1 0 453456609 37314560 6524 4294967295 134512640 135450300 3221224640 3221223456 134546487 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6524 231 231 0 8879 0 vsize: 36440 [startup+850.015 s] Raw data (loadavg): 0.99 0.93 0.57 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6588 0 0 0 84858 155 0 0 25 0 1 0 453456609 37314560 6535 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6535 231 231 0 8879 0 vsize: 36440 [startup+860.015 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6590 0 0 0 85858 155 0 0 25 0 1 0 453456609 37314560 6537 4294967295 134512640 135450300 3221224640 3221223376 134537885 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6537 231 231 0 8879 0 vsize: 36440 [startup+870.016 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6602 0 0 0 86856 158 0 0 25 0 1 0 453456609 37441536 6549 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6549 231 231 0 8910 0 vsize: 36564 [startup+880.016 s] Raw data (loadavg): 0.99 0.93 0.58 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6603 0 0 0 87855 159 0 0 25 0 1 0 453456609 37441536 6550 4294967295 134512640 135450300 3221224640 3221223360 134535784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6550 231 231 0 8910 0 vsize: 36564 [startup+890.016 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6606 0 0 0 88855 159 0 0 25 0 1 0 453456609 37441536 6553 4294967295 134512640 135450300 3221224640 3221223360 134535746 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6553 231 231 0 8910 0 vsize: 36564 [startup+900.017 s] Raw data (loadavg): 0.99 0.94 0.59 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6607 0 0 0 89855 159 0 0 25 0 1 0 453456609 37441536 6554 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6554 231 231 0 8910 0 vsize: 36564 [startup+910.017 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6608 0 0 0 90856 159 0 0 25 0 1 0 453456609 37441536 6555 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6555 231 231 0 8910 0 vsize: 36564 [startup+920.018 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6608 0 0 0 91856 159 0 0 25 0 1 0 453456609 37441536 6555 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6555 231 231 0 8910 0 vsize: 36564 [startup+930.018 s] Raw data (loadavg): 0.99 0.94 0.60 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6609 0 0 0 92856 159 0 0 25 0 1 0 453456609 37441536 6556 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6556 231 231 0 8910 0 vsize: 36564 [startup+940.017 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6616 0 0 0 93852 163 0 0 25 0 1 0 453456609 37441536 6563 4294967295 134512640 135450300 3221224640 3221223360 134535737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6563 231 231 0 8910 0 vsize: 36564 [startup+950.018 s] Raw data (loadavg): 0.99 0.94 0.61 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6618 0 0 0 94853 163 0 0 25 0 1 0 453456609 37441536 6565 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9141 6565 231 231 0 8910 0 vsize: 36564 [startup+960.018 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6633 0 0 0 95850 165 0 0 25 0 1 0 453456609 37580800 6580 4294967295 134512640 135450300 3221224640 3221223360 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9175 6580 231 231 0 8944 0 vsize: 36700 [startup+970.018 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6664 0 0 0 96849 167 0 0 25 0 1 0 453456609 37715968 6611 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6611 231 231 0 8977 0 vsize: 36832 [startup+980.018 s] Raw data (loadavg): 0.99 0.95 0.62 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6665 0 0 0 97849 167 0 0 25 0 1 0 453456609 37715968 6612 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6612 231 231 0 8977 0 vsize: 36832 [startup+990.018 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6665 0 0 0 98849 167 0 0 25 0 1 0 453456609 37715968 6612 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6612 231 231 0 8977 0 vsize: 36832 [startup+1000.02 s] Raw data (loadavg): 0.99 0.95 0.63 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6666 0 0 0 99849 167 0 0 25 0 1 0 453456609 37715968 6613 4294967295 134512640 135450300 3221224640 3221223360 134535726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6613 231 231 0 8977 0 vsize: 36832 [startup+1010.02 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6681 0 0 0 100846 171 0 0 25 0 1 0 453456609 37715968 6628 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6628 231 231 0 8977 0 vsize: 36832 [startup+1020.02 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6683 0 0 0 101843 174 0 0 25 0 1 0 453456609 37715968 6630 4294967295 134512640 135450300 3221224640 3221223376 134538421 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6630 231 231 0 8977 0 vsize: 36832 [startup+1030.02 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6692 0 0 0 102840 177 0 0 25 0 1 0 453456609 37715968 6639 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6639 231 231 0 8977 0 vsize: 36832 [startup+1040.02 s] Raw data (loadavg): 0.99 0.95 0.64 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6703 0 0 0 103839 178 0 0 25 0 1 0 453456609 37715968 6650 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9208 6650 231 231 0 8977 0 vsize: 36832 [startup+1050.02 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6724 0 0 0 104838 179 0 0 25 0 1 0 453456609 37851136 6671 4294967295 134512640 135450300 3221224640 3221223360 134535709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9241 6671 231 231 0 9010 0 vsize: 36964 [startup+1060.02 s] Raw data (loadavg): 0.99 0.95 0.65 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6724 0 0 0 105839 179 0 0 25 0 1 0 453456609 37851136 6671 4294967295 134512640 135450300 3221224640 3221223360 134535782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9241 6671 231 231 0 9010 0 vsize: 36964 [startup+1070.02 s] Raw data (loadavg): 0.99 0.96 0.65 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6725 0 0 0 106839 179 0 0 25 0 1 0 453456609 37851136 6672 4294967295 134512640 135450300 3221224640 3221223360 134535806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9241 6672 231 231 0 9010 0 vsize: 36964 [startup+1080.02 s] Raw data (loadavg): 0.99 0.96 0.66 2/54 24901 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6726 0 0 0 107839 179 0 0 25 0 1 0 453456609 37851136 6673 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9241 6673 231 231 0 9010 0 vsize: 36964 [startup+1090.02 s] Raw data (loadavg): 1.07 0.97 0.66 3/57 24936 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6738 0 0 0 108834 184 0 0 25 0 1 0 453456609 37965824 6685 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9269 6685 231 231 0 9038 0 vsize: 37076 [startup+1100.02 s] Raw data (loadavg): 1.14 0.99 0.67 2/58 24944 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6739 0 0 0 109833 185 0 0 25 0 1 0 453456609 37965824 6686 4294967295 134512640 135450300 3221224640 3221223568 134539668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9269 6686 231 231 0 9038 0 vsize: 37076 [startup+1110.11 s] Raw data (loadavg): 1.27 1.02 0.69 3/58 24954 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6741 0 0 0 110842 185 0 0 25 0 1 0 453456609 37965824 6688 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9269 6688 231 231 0 9038 0 vsize: 37076 [startup+1120.11 s] Raw data (loadavg): 1.23 1.02 0.69 2/54 24954 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6775 0 0 0 111840 186 0 0 25 0 1 0 453456609 38113280 6722 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9305 6722 231 231 0 9074 0 vsize: 37220 [startup+1130.11 s] Raw data (loadavg): 1.19 1.02 0.69 2/54 24954 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6875 0 0 0 112838 189 0 0 25 0 1 0 453456609 38506496 6725 4294967295 134512640 135450300 3221224640 3221223360 134535712 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9401 6725 231 231 0 9170 0 vsize: 37604 [startup+1140.11 s] Raw data (loadavg): 1.16 1.02 0.70 2/54 24954 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6875 0 0 0 113838 189 0 0 25 0 1 0 453456609 38506496 6725 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9401 6725 231 231 0 9170 0 vsize: 37604 [startup+1150.11 s] Raw data (loadavg): 1.14 1.02 0.70 2/54 24954 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6876 0 0 0 114839 189 0 0 25 0 1 0 453456609 38506496 6726 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9401 6726 231 231 0 9170 0 vsize: 37604 [startup+1160.11 s] Raw data (loadavg): 1.11 1.02 0.70 2/54 24954 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6877 0 0 0 115839 189 0 0 25 0 1 0 453456609 38506496 6727 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9401 6727 231 231 0 9170 0 vsize: 37604 [startup+1170.11 s] Raw data (loadavg): 1.10 1.02 0.70 2/54 24954 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6889 0 0 0 116839 189 0 0 25 0 1 0 453456609 38506496 6739 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9401 6739 231 231 0 9170 0 vsize: 37604 [startup+1180.11 s] Raw data (loadavg): 1.08 1.02 0.71 2/54 24956 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6891 0 0 0 117839 189 0 0 25 0 1 0 453456609 38506496 6741 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9401 6741 231 231 0 9170 0 vsize: 37604 [startup+1190.11 s] Raw data (loadavg): 1.07 1.02 0.71 2/54 24956 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6905 0 0 0 118837 191 0 0 25 0 1 0 453456609 38506496 6755 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9401 6755 231 231 0 9170 0 vsize: 37604 [startup+1200.11 s] Raw data (loadavg): 1.06 1.02 0.71 2/54 24956 Raw data (stat): 24901 (PBS4) R 24900 30854 30853 0 -1 0 6912 0 0 0 119835 193 0 0 25 0 1 0 453456609 38649856 6762 4294967295 134512640 135450300 3221224640 3221223392 135068642 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9436 6762 231 231 0 9205 0 vsize: 37744 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.13 s] Raw data (loadavg): 1.06 1.02 0.71 1/54 24956 Raw data (stat): 24901 (PBS4) Z 24900 30854 30853 0 -1 1036 6912 0 0 0 119836 194 0 0 25 0 1 0 453456609 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.13 CPU time (s): 1200.31 CPU user time (s): 1198.36 CPU system time (s): 1.9467 CPU usage (%): 100.015 Max. virtual memory (Kb): 37744 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####