Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod008.opb |
MD5SUM | fbdb3cf321a85412feefcaac30780520 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01684 |
Number of variables | 319 |
Total number of constraints | 325 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 319 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 231 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-04-21 17:57:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17023 boxname=wulflinc17 idbench=1310 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: fbdb3cf321a85412feefcaac30780520 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod008.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod008.opb IDLAUNCH: 17023 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 3 cpu MHz : 451.072 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: 668120 kB Buffers: 13892 kB Cached: 327332 kB SwapCached: 408 kB Active: 54280 kB Inactive: 289576 kB HighTotal: 131008 kB HighFree: 22820 kB LowTotal: 903652 kB LowFree: 645300 kB SwapTotal: 2097892 kB SwapFree: 2097056 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5856 kB Slab: 17040 kB Committed_AS: 63820 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 18:17:27 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 17023 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-mod008.opb ...... #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.98 2/55 1687 Raw data (stat): 1687 (runsolver) R 1686 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547063379 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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+9.9998 s] Raw data (loadavg): 0.93 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 297 0 0 0 988 10 0 0 25 0 1 0 547063379 2023424 293 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 494 293 231 231 0 263 0 vsize: 1976 [startup+20.0007 s] Raw data (loadavg): 0.94 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 566 0 0 0 1987 11 0 0 25 0 1 0 547063379 3731456 562 4294967295 134512640 135450300 3221224624 3221223488 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 911 562 231 231 0 680 0 vsize: 3644 [startup+30.0012 s] Raw data (loadavg): 0.95 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1099 0 0 0 2986 13 0 0 25 0 1 0 547063379 6098944 1095 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1489 1095 231 231 0 1258 0 vsize: 5956 [startup+40.0016 s] Raw data (loadavg): 0.96 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1320 0 0 0 3986 13 0 0 25 0 1 0 547063379 6098944 1316 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1489 1316 231 231 0 1258 0 vsize: 5956 [startup+50.0015 s] Raw data (loadavg): 0.96 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1539 0 0 0 4985 14 0 0 25 0 1 0 547063379 10633216 1535 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2596 1535 231 231 0 2365 0 vsize: 10384 [startup+60.0011 s] Raw data (loadavg): 0.97 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1743 0 0 0 5984 15 0 0 25 0 1 0 547063379 10633216 1739 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2596 1739 231 231 0 2365 0 vsize: 10384 [startup+70.0014 s] Raw data (loadavg): 0.97 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 1977 0 0 0 6983 17 0 0 25 0 1 0 547063379 10768384 1973 4294967295 134512640 135450300 3221224624 3221223344 134535746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2629 1973 231 231 0 2398 0 vsize: 10516 [startup+80.0013 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2135 0 0 0 7983 17 0 0 25 0 1 0 547063379 10911744 2131 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2664 2131 231 231 0 2433 0 vsize: 10656 [startup+90.0019 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 1687 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2146 0 0 0 8983 17 0 0 25 0 1 0 547063379 10911744 2142 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2664 2142 231 231 0 2433 0 vsize: 10656 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.98 2/55 1689 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2210 0 0 0 9982 18 0 0 25 0 1 0 547063379 11108352 2157 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2712 2157 231 231 0 2481 0 vsize: 10848 [startup+110.001 s] Raw data (loadavg): 0.98 0.97 0.98 2/55 1689 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2239 0 0 0 10982 19 0 0 25 0 1 0 547063379 11247616 2186 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2746 2186 231 231 0 2515 0 vsize: 10984 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 1689 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2271 0 0 0 11981 19 0 0 25 0 1 0 547063379 11247616 2218 4294967295 134512640 135450300 3221224624 3221223360 134537979 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2746 2218 231 231 0 2515 0 vsize: 10984 [startup+130.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 1689 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2293 0 0 0 12981 20 0 0 25 0 1 0 547063379 11382784 2240 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2779 2240 231 231 0 2548 0 vsize: 11116 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 1689 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2320 0 0 0 13980 21 0 0 25 0 1 0 547063379 11382784 2267 4294967295 134512640 135450300 3221224624 3221223536 134597060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2779 2267 231 231 0 2548 0 vsize: 11116 [startup+150.001 s] Raw data (loadavg): 0.99 0.97 0.98 2/55 1689 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2446 0 0 0 14980 21 0 0 25 0 1 0 547063379 11907072 2296 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2907 2296 231 231 0 2676 0 vsize: 11628 [startup+160.002 s] Raw data (loadavg): 1.07 0.99 0.99 3/58 1730 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2466 0 0 0 15979 22 0 0 25 0 1 0 547063379 11907072 2316 4294967295 134512640 135450300 3221224624 3221223008 134602069 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2907 2316 231 231 0 2676 0 vsize: 11628 [startup+170.002 s] Raw data (loadavg): 1.06 0.99 0.99 2/55 1742 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2488 0 0 0 16979 23 0 0 25 0 1 0 547063379 12058624 2338 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2944 2338 231 231 0 2713 0 vsize: 11776 [startup+180.001 s] Raw data (loadavg): 1.05 0.99 0.99 2/55 1742 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2506 0 0 0 17978 23 0 0 25 0 1 0 547063379 12058624 2356 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2944 2356 231 231 0 2713 0 vsize: 11776 [startup+190.002 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 1742 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2526 0 0 0 18978 24 0 0 25 0 1 0 547063379 12058624 2376 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2944 2376 231 231 0 2713 0 vsize: 11776 [startup+200.002 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 1742 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2541 0 0 0 19977 25 0 0 25 0 1 0 547063379 12058624 2391 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2944 2391 231 231 0 2713 0 vsize: 11776 [startup+210.001 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 1742 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2558 0 0 0 20977 25 0 0 25 0 1 0 547063379 12189696 2408 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2976 2408 231 231 0 2745 0 vsize: 11904 [startup+220.001 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 1742 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2578 0 0 0 21977 25 0 0 25 0 1 0 547063379 12189696 2428 4294967295 134512640 135450300 3221224624 3221223232 134537654 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2976 2428 231 231 0 2745 0 vsize: 11904 [startup+230.001 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 1742 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2596 0 0 0 22976 27 0 0 25 0 1 0 547063379 12189696 2446 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2976 2446 231 231 0 2745 0 vsize: 11904 [startup+240.001 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2615 0 0 0 23976 27 0 0 25 0 1 0 547063379 12353536 2465 4294967295 134512640 135450300 3221224624 3221223360 134538677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3016 2465 231 231 0 2785 0 vsize: 12064 [startup+250.001 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2828 0 0 0 24975 28 0 0 25 0 1 0 547063379 13139968 2485 4294967295 134512640 135450300 3221224624 3221223360 134537968 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3208 2485 231 231 0 2977 0 vsize: 12832 [startup+260.001 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2844 0 0 0 25975 28 0 0 25 0 1 0 547063379 13139968 2501 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3208 2501 231 231 0 2977 0 vsize: 12832 [startup+270.001 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2854 0 0 0 26974 29 0 0 25 0 1 0 547063379 13139968 2511 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3208 2511 231 231 0 2977 0 vsize: 12832 [startup+280.001 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2872 0 0 0 27974 30 0 0 25 0 1 0 547063379 13275136 2529 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3241 2529 231 231 0 3010 0 vsize: 12964 [startup+290.001 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2882 0 0 0 28973 30 0 0 25 0 1 0 547063379 13275136 2539 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3241 2539 231 231 0 3010 0 vsize: 12964 [startup+300.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2898 0 0 0 29973 30 0 0 25 0 1 0 547063379 13275136 2555 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3241 2555 231 231 0 3010 0 vsize: 12964 [startup+310 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2911 0 0 0 30973 31 0 0 25 0 1 0 547063379 13275136 2568 4294967295 134512640 135450300 3221224624 3221223008 134602069 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3241 2568 231 231 0 3010 0 vsize: 12964 [startup+320 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2921 0 0 0 31973 31 0 0 25 0 1 0 547063379 13275136 2578 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3241 2578 231 231 0 3010 0 vsize: 12964 [startup+329.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2930 0 0 0 32973 32 0 0 25 0 1 0 547063379 13410304 2587 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2587 231 231 0 3043 0 vsize: 13096 [startup+340 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2954 0 0 0 33972 32 0 0 25 0 1 0 547063379 13410304 2611 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2611 231 231 0 3043 0 vsize: 13096 [startup+349.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2964 0 0 0 34972 32 0 0 25 0 1 0 547063379 13410304 2621 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2621 231 231 0 3043 0 vsize: 13096 [startup+359.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2972 0 0 0 35972 33 0 0 25 0 1 0 547063379 13410304 2629 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2629 231 231 0 3043 0 vsize: 13096 [startup+370 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2988 0 0 0 36972 33 0 0 25 0 1 0 547063379 13410304 2645 4294967295 134512640 135450300 3221224624 3221223360 134538029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2645 231 231 0 3043 0 vsize: 13096 [startup+379.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 2997 0 0 0 37972 34 0 0 25 0 1 0 547063379 13410304 2654 4294967295 134512640 135450300 3221224624 3221223344 134535925 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3274 2654 231 231 0 3043 0 vsize: 13096 [startup+390 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1744 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3021 0 0 0 38972 34 0 0 25 0 1 0 547063379 13586432 2678 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3317 2678 231 231 0 3086 0 vsize: 13268 [startup+400.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3032 0 0 0 39971 34 0 0 25 0 1 0 547063379 13586432 2689 4294967295 134512640 135450300 3221224624 3221222976 134533241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3317 2689 231 231 0 3086 0 vsize: 13268 [startup+410 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3044 0 0 0 40971 35 0 0 25 0 1 0 547063379 13586432 2701 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3317 2701 231 231 0 3086 0 vsize: 13268 [startup+420 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3049 0 0 0 41971 35 0 0 25 0 1 0 547063379 13586432 2706 4294967295 134512640 135450300 3221224624 3221223456 134550227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3317 2706 231 231 0 3086 0 vsize: 13268 [startup+430 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3071 0 0 0 42970 36 0 0 25 0 1 0 547063379 13586432 2728 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3317 2728 231 231 0 3086 0 vsize: 13268 [startup+440 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3082 0 0 0 43970 36 0 0 25 0 1 0 547063379 13586432 2739 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3317 2739 231 231 0 3086 0 vsize: 13268 [startup+450 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3092 0 0 0 44970 37 0 0 25 0 1 0 547063379 13783040 2749 4294967295 134512640 135450300 3221224624 3221223440 134536510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2749 231 231 0 3134 0 vsize: 13460 [startup+459.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3209 0 0 0 45969 38 0 0 25 0 1 0 547063379 13783040 2866 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2866 231 231 0 3134 0 vsize: 13460 [startup+470 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3221 0 0 0 46969 38 0 0 25 0 1 0 547063379 13783040 2878 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2878 231 231 0 3134 0 vsize: 13460 [startup+479.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1746 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3245 0 0 0 47968 39 0 0 25 0 1 0 547063379 13783040 2902 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2902 231 231 0 3134 0 vsize: 13460 [startup+490 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3254 0 0 0 48968 39 0 0 25 0 1 0 547063379 13783040 2911 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2911 231 231 0 3134 0 vsize: 13460 [startup+500.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3261 0 0 0 49968 39 0 0 25 0 1 0 547063379 13783040 2918 4294967295 134512640 135450300 3221224624 3221223456 134549267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2918 231 231 0 3134 0 vsize: 13460 [startup+510 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3267 0 0 0 50968 40 0 0 25 0 1 0 547063379 13783040 2924 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 2924 231 231 0 3134 0 vsize: 13460 [startup+520.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3286 0 0 0 51967 40 0 0 25 0 1 0 547063379 13987840 2943 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3415 2943 231 231 0 3184 0 vsize: 13660 [startup+530 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3295 0 0 0 52968 40 0 0 25 0 1 0 547063379 13987840 2952 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3415 2952 231 231 0 3184 0 vsize: 13660 [startup+540.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3305 0 0 0 53967 41 0 0 25 0 1 0 547063379 13987840 2962 4294967295 134512640 135450300 3221224624 3221223232 134537761 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3415 2962 231 231 0 3184 0 vsize: 13660 [startup+550 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3314 0 0 0 54967 41 0 0 25 0 1 0 547063379 13987840 2971 4294967295 134512640 135450300 3221224624 3221222976 134533221 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3415 2971 231 231 0 3184 0 vsize: 13660 [startup+560 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3326 0 0 0 55967 42 0 0 25 0 1 0 547063379 13987840 2983 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3415 2983 231 231 0 3184 0 vsize: 13660 [startup+570.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3332 0 0 0 56966 43 0 0 25 0 1 0 547063379 13987840 2989 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3415 2989 231 231 0 3184 0 vsize: 13660 [startup+580 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3731 0 0 0 57965 44 0 0 25 0 1 0 547063379 15560704 3003 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3799 3003 231 231 0 3568 0 vsize: 15196 [startup+590 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3743 0 0 0 58965 44 0 0 25 0 1 0 547063379 15560704 3015 4294967295 134512640 135450300 3221224624 3221223404 134535398 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3799 3015 231 231 0 3568 0 vsize: 15196 [startup+600 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3758 0 0 0 59965 45 0 0 25 0 1 0 547063379 15699968 3030 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3030 231 231 0 3602 0 vsize: 15332 [startup+609.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3763 0 0 0 60964 45 0 0 25 0 1 0 547063379 15699968 3035 4294967295 134512640 135450300 3221224624 3221223360 134537970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3035 231 231 0 3602 0 vsize: 15332 [startup+619.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3783 0 0 0 61964 45 0 0 25 0 1 0 547063379 15699968 3055 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3055 231 231 0 3602 0 vsize: 15332 [startup+630 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3788 0 0 0 62964 45 0 0 25 0 1 0 547063379 15699968 3060 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3060 231 231 0 3602 0 vsize: 15332 [startup+640 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3793 0 0 0 63964 46 0 0 25 0 1 0 547063379 15699968 3065 4294967295 134512640 135450300 3221224624 3221223456 134549264 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3065 231 231 0 3602 0 vsize: 15332 [startup+649.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3802 0 0 0 64964 46 0 0 25 0 1 0 547063379 15699968 3074 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3074 231 231 0 3602 0 vsize: 15332 [startup+659.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3819 0 0 0 65964 46 0 0 25 0 1 0 547063379 15699968 3091 4294967295 134512640 135450300 3221224624 3221223360 134538002 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3091 231 231 0 3602 0 vsize: 15332 [startup+670 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3824 0 0 0 66963 47 0 0 25 0 1 0 547063379 15699968 3096 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3833 3096 231 231 0 3602 0 vsize: 15332 [startup+680 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3834 0 0 0 67963 47 0 0 25 0 1 0 547063379 15839232 3106 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3867 3106 231 231 0 3636 0 vsize: 15468 [startup+690 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1748 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3842 0 0 0 68963 48 0 0 25 0 1 0 547063379 15839232 3114 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3867 3114 231 231 0 3636 0 vsize: 15468 [startup+700.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3859 0 0 0 69963 48 0 0 25 0 1 0 547063379 15839232 3131 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3867 3131 231 231 0 3636 0 vsize: 15468 [startup+710 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3870 0 0 0 70963 48 0 0 25 0 1 0 547063379 15839232 3142 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3867 3142 231 231 0 3636 0 vsize: 15468 [startup+720 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3876 0 0 0 71963 49 0 0 25 0 1 0 547063379 15839232 3148 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3867 3148 231 231 0 3636 0 vsize: 15468 [startup+730 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3882 0 0 0 72963 49 0 0 25 0 1 0 547063379 15839232 3154 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3867 3154 231 231 0 3636 0 vsize: 15468 [startup+740 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3891 0 0 0 73962 50 0 0 25 0 1 0 547063379 15839232 3163 4294967295 134512640 135450300 3221224624 3221223344 134535724 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3867 3163 231 231 0 3636 0 vsize: 15468 [startup+750 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3903 0 0 0 74962 50 0 0 25 0 1 0 547063379 16084992 3175 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3175 231 231 0 3696 0 vsize: 15708 [startup+759.999 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3916 0 0 0 75962 50 0 0 25 0 1 0 547063379 16084992 3188 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3188 231 231 0 3696 0 vsize: 15708 [startup+770 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3922 0 0 0 76962 51 0 0 25 0 1 0 547063379 16084992 3194 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3194 231 231 0 3696 0 vsize: 15708 [startup+780 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3930 0 0 0 77962 51 0 0 25 0 1 0 547063379 16084992 3202 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3202 231 231 0 3696 0 vsize: 15708 [startup+790 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3935 0 0 0 78961 51 0 0 25 0 1 0 547063379 16084992 3207 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3207 231 231 0 3696 0 vsize: 15708 [startup+800.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3943 0 0 0 79961 52 0 0 25 0 1 0 547063379 16084992 3215 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3215 231 231 0 3696 0 vsize: 15708 [startup+810 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3955 0 0 0 80961 52 0 0 25 0 1 0 547063379 16084992 3227 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3227 231 231 0 3696 0 vsize: 15708 [startup+820.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3968 0 0 0 81961 52 0 0 25 0 1 0 547063379 16084992 3240 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3927 3240 231 231 0 3696 0 vsize: 15708 [startup+830.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3973 0 0 0 82961 53 0 0 25 0 1 0 547063379 16269312 3245 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3245 231 231 0 3741 0 vsize: 15888 [startup+840.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3990 0 0 0 83961 53 0 0 25 0 1 0 547063379 16269312 3262 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3262 231 231 0 3741 0 vsize: 15888 [startup+850.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 3997 0 0 0 84960 54 0 0 25 0 1 0 547063379 16269312 3269 4294967295 134512640 135450300 3221224624 3221223456 134549289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3269 231 231 0 3741 0 vsize: 15888 [startup+860.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4003 0 0 0 85960 54 0 0 25 0 1 0 547063379 16269312 3275 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3275 231 231 0 3741 0 vsize: 15888 [startup+870.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4020 0 0 0 86960 54 0 0 25 0 1 0 547063379 16269312 3292 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3292 231 231 0 3741 0 vsize: 15888 [startup+880 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4026 0 0 0 87960 55 0 0 25 0 1 0 547063379 16269312 3298 4294967295 134512640 135450300 3221224624 3221223456 134549357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3298 231 231 0 3741 0 vsize: 15888 [startup+890.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4036 0 0 0 88959 55 0 0 25 0 1 0 547063379 16269312 3308 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3308 231 231 0 3741 0 vsize: 15888 [startup+900.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4051 0 0 0 89959 56 0 0 25 0 1 0 547063379 16269312 3323 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3323 231 231 0 3741 0 vsize: 15888 [startup+910 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4061 0 0 0 90959 56 0 0 25 0 1 0 547063379 16269312 3333 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3972 3333 231 231 0 3741 0 vsize: 15888 [startup+920 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4101 0 0 0 91959 56 0 0 25 0 1 0 547063379 16404480 3373 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4005 3373 231 231 0 3774 0 vsize: 16020 [startup+930.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4109 0 0 0 92959 56 0 0 25 0 1 0 547063379 16404480 3381 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4005 3381 231 231 0 3774 0 vsize: 16020 [startup+940.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4113 0 0 0 93959 57 0 0 25 0 1 0 547063379 16404480 3385 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4005 3385 231 231 0 3774 0 vsize: 16020 [startup+950.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4129 0 0 0 94959 57 0 0 25 0 1 0 547063379 16404480 3401 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4005 3401 231 231 0 3774 0 vsize: 16020 [startup+960 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4133 0 0 0 95959 57 0 0 25 0 1 0 547063379 16404480 3405 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4005 3405 231 231 0 3774 0 vsize: 16020 [startup+970.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4146 0 0 0 96958 58 0 0 25 0 1 0 547063379 16543744 3418 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4039 3418 231 231 0 3808 0 vsize: 16156 [startup+980.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4150 0 0 0 97958 58 0 0 25 0 1 0 547063379 16543744 3422 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4039 3422 231 231 0 3808 0 vsize: 16156 [startup+990.001 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1750 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4156 0 0 0 98959 58 0 0 25 0 1 0 547063379 16543744 3428 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4039 3428 231 231 0 3808 0 vsize: 16156 [startup+1000 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4159 0 0 0 99959 58 0 0 25 0 1 0 547063379 16543744 3431 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4039 3431 231 231 0 3808 0 vsize: 16156 [startup+1010 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4164 0 0 0 100958 59 0 0 25 0 1 0 547063379 16543744 3436 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4039 3436 231 231 0 3808 0 vsize: 16156 [startup+1020 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4177 0 0 0 101958 59 0 0 25 0 1 0 547063379 16687104 3449 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3449 231 231 0 3843 0 vsize: 16296 [startup+1030 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4182 0 0 0 102958 59 0 0 25 0 1 0 547063379 16687104 3454 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3454 231 231 0 3843 0 vsize: 16296 [startup+1040 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4186 0 0 0 103958 59 0 0 25 0 1 0 547063379 16687104 3458 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3458 231 231 0 3843 0 vsize: 16296 [startup+1050 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4199 0 0 0 104958 59 0 0 25 0 1 0 547063379 16687104 3471 4294967295 134512640 135450300 3221224624 3221223344 134535806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3471 231 231 0 3843 0 vsize: 16296 [startup+1060 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4202 0 0 0 105958 60 0 0 25 0 1 0 547063379 16687104 3474 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3474 231 231 0 3843 0 vsize: 16296 [startup+1070 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4207 0 0 0 106958 60 0 0 25 0 1 0 547063379 16687104 3479 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3479 231 231 0 3843 0 vsize: 16296 [startup+1080 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4214 0 0 0 107958 61 0 0 25 0 1 0 547063379 16687104 3486 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3486 231 231 0 3843 0 vsize: 16296 [startup+1090 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4218 0 0 0 108958 61 0 0 25 0 1 0 547063379 16687104 3490 4294967295 134512640 135450300 3221224624 3221223360 134537976 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3490 231 231 0 3843 0 vsize: 16296 [startup+1100 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4225 0 0 0 109958 61 0 0 25 0 1 0 547063379 16687104 3497 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3497 231 231 0 3843 0 vsize: 16296 [startup+1110 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4230 0 0 0 110958 61 0 0 25 0 1 0 547063379 16687104 3502 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3502 231 231 0 3843 0 vsize: 16296 [startup+1120 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4233 0 0 0 111958 61 0 0 25 0 1 0 547063379 16687104 3505 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3505 231 231 0 3843 0 vsize: 16296 [startup+1130 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4237 0 0 0 112958 61 0 0 25 0 1 0 547063379 16687104 3509 4294967295 134512640 135450300 3221224624 3221223456 134549276 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3509 231 231 0 3843 0 vsize: 16296 [startup+1140 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4241 0 0 0 113958 61 0 0 25 0 1 0 547063379 16687104 3513 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 3513 231 231 0 3843 0 vsize: 16296 [startup+1150 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4244 0 0 0 114958 61 0 0 25 0 1 0 547063379 16838656 3516 4294967295 134512640 135450300 3221224624 3221223456 134549281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 3516 231 231 0 3880 0 vsize: 16444 [startup+1160 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4248 0 0 0 115958 62 0 0 25 0 1 0 547063379 16838656 3520 4294967295 134512640 135450300 3221224624 3221223456 134549317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 3520 231 231 0 3880 0 vsize: 16444 [startup+1170 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4258 0 0 0 116958 62 0 0 25 0 1 0 547063379 16838656 3530 4294967295 134512640 135450300 3221224624 3221223232 134537659 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 3530 231 231 0 3880 0 vsize: 16444 [startup+1180 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4273 0 0 0 117958 62 0 0 25 0 1 0 547063379 16838656 3545 4294967295 134512640 135450300 3221224624 3221223456 134549326 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 3545 231 231 0 3880 0 vsize: 16444 [startup+1190 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4279 0 0 0 118958 62 0 0 25 0 1 0 547063379 16838656 3551 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 3551 231 231 0 3880 0 vsize: 16444 [startup+1200 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 1752 Raw data (stat): 1687 (PBS4) R 1686 20838 20837 0 -1 0 4284 0 0 0 119958 63 0 0 25 0 1 0 547063379 16838656 3556 4294967295 134512640 135450300 3221224624 3221223232 134537560 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 3556 231 231 0 3880 0 vsize: 16444 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.01 s] Raw data (loadavg): 1.00 0.99 0.99 1/55 1752 Raw data (stat): 1687 (PBS4) Z 1686 20838 20837 0 -1 1036 4284 0 0 0 119958 63 0 0 25 0 1 0 547063379 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.01 CPU time (s): 1200.23 CPU user time (s): 1199.59 CPU system time (s): 0.639902 CPU usage (%): 100.018 Max. virtual memory (Kb): 16444 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####