Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 270e069f649d19b0da4e4d23c0e1ebfc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-17 17:03:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2922 boxname=wulflinc23 idbench=325 idsolver=6 numberseed=0 MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 270e069f649d19b0da4e4d23c0e1ebfc /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-2.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-2.opb IDLAUNCH: 2922 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 823012 kB Buffers: 36104 kB Cached: 131732 kB SwapCached: 192 kB Active: 72988 kB Inactive: 97900 kB HighTotal: 131008 kB HighFree: 728 kB LowTotal: 903652 kB LowFree: 822284 kB SwapTotal: 2097136 kB SwapFree: 2096944 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6916 kB Slab: 35192 kB Committed_AS: 63480 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-17 17:23:08 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 2922 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc23/normalized-frb40-19-2.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.85 0.94 0.90 2/54 26081 Raw data (stat): 26081 (runsolver) R 26080 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 512163768 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 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.0003 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 3463 0 0 0 989 10 0 0 25 0 1 0 512163768 20434944 3113 4294967295 134512640 135450300 3221224640 3221223116 134572341 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4989 3113 231 231 0 4758 0 vsize: 19956 [startup+19.9999 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 5522 0 0 0 1983 14 0 0 25 0 1 0 512163768 37212160 5172 4294967295 134512640 135450300 3221224640 3221223024 134579236 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9085 5172 231 231 0 8854 0 vsize: 36340 [startup+30.0008 s] Raw data (loadavg): 0.91 0.94 0.90 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 7157 0 0 0 2980 18 0 0 25 0 1 0 512163768 37359616 6807 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9121 6807 231 231 0 8890 0 vsize: 36484 [startup+40.0002 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 8312 0 0 0 3977 22 0 0 25 0 1 0 512163768 37654528 7962 4294967295 134512640 135450300 3221224640 3221223376 134538463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9193 7962 231 231 0 8962 0 vsize: 36772 [startup+49.9999 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 9861 0 0 0 4974 25 0 0 25 0 1 0 512163768 71372800 9511 4294967295 134512640 135450300 3221224640 3221223376 134538549 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17425 9511 231 231 0 17194 0 vsize: 69700 [startup+60 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 11136 0 0 0 5970 28 0 0 25 0 1 0 512163768 71536640 10786 4294967295 134512640 135450300 3221224640 3221223376 134538461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17465 10786 231 231 0 17234 0 vsize: 69860 [startup+70.0003 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 12478 0 0 0 6968 31 0 0 25 0 1 0 512163768 72814592 12128 4294967295 134512640 135450300 3221224640 3221223024 134602056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17777 12128 231 231 0 17546 0 vsize: 71108 [startup+80.001 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 12992 0 0 0 7966 33 0 0 25 0 1 0 512163768 73424896 12642 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17926 12642 231 231 0 17695 0 vsize: 71704 [startup+90.0011 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 14211 0 0 0 8964 35 0 0 25 0 1 0 512163768 74379264 13861 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18159 13861 231 231 0 17928 0 vsize: 72636 [startup+100 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 15586 0 0 0 9962 38 0 0 25 0 1 0 512163768 74948608 15236 4294967295 134512640 135450300 3221224640 3221223360 134535904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18298 15236 231 231 0 18067 0 vsize: 73192 [startup+110.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 16341 0 0 0 10961 39 0 0 25 0 1 0 512163768 75083776 15991 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18331 15991 231 231 0 18100 0 vsize: 73324 [startup+120.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 16375 0 0 0 11960 39 0 0 25 0 1 0 512163768 75083776 16025 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18331 16025 231 231 0 18100 0 vsize: 73324 [startup+130.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 17084 0 0 0 12959 41 0 0 25 0 1 0 512163768 75386880 16734 4294967295 134512640 135450300 3221224640 3221223360 134535501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18405 16735 231 231 0 18174 0 vsize: 73620 [startup+140.001 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18532 0 0 0 13955 45 0 0 25 0 1 0 512163768 142651392 18182 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34827 18182 231 231 0 34596 0 vsize: 139308 [startup+150.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18633 0 0 0 14955 46 0 0 25 0 1 0 512163768 143069184 18283 4294967295 134512640 135450300 3221224640 3221223024 134602277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34929 18283 231 231 0 34698 0 vsize: 139716 [startup+160.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26081 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18752 0 0 0 15955 46 0 0 25 0 1 0 512163768 143642624 18402 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35069 18402 231 231 0 34838 0 vsize: 140276 [startup+170.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 18814 0 0 0 16955 46 0 0 25 0 1 0 512163768 143781888 18464 4294967295 134512640 135450300 3221224640 3221223360 134535740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35103 18464 231 231 0 34872 0 vsize: 140412 [startup+180.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 19813 0 0 0 17952 49 0 0 25 0 1 0 512163768 143917056 19463 4294967295 134512640 135450300 3221224640 3221223456 134537257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35136 19463 231 231 0 34905 0 vsize: 140544 [startup+190.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 19944 0 0 0 18952 49 0 0 25 0 1 0 512163768 144510976 19594 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35281 19594 231 231 0 35050 0 vsize: 141124 [startup+200.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 19974 0 0 0 19952 49 0 0 25 0 1 0 512163768 144658432 19624 4294967295 134512640 135450300 3221224640 3221223248 134537630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35317 19624 231 231 0 35086 0 vsize: 141268 [startup+210.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20005 0 0 0 20952 49 0 0 25 0 1 0 512163768 144797696 19655 4294967295 134512640 135450300 3221224640 3221223376 134538680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35351 19655 231 231 0 35120 0 vsize: 141404 [startup+220.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20723 0 0 0 21950 52 0 0 25 0 1 0 512163768 144949248 20373 4294967295 134512640 135450300 3221224640 3221223456 134547503 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35388 20373 231 231 0 35157 0 vsize: 141552 [startup+230.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20779 0 0 0 22950 52 0 0 25 0 1 0 512163768 145088512 20429 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35422 20429 231 231 0 35191 0 vsize: 141688 [startup+240.002 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20846 0 0 0 23950 52 0 0 25 0 1 0 512163768 145383424 20496 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35494 20496 231 231 0 35263 0 vsize: 141976 [startup+250.001 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 20884 0 0 0 24950 53 0 0 25 0 1 0 512163768 145522688 20534 4294967295 134512640 135450300 3221224640 3221223376 134538443 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35528 20534 231 231 0 35297 0 vsize: 142112 [startup+260.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21739 0 0 0 25948 54 0 0 25 0 1 0 512163768 147095552 21004 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35912 21005 231 231 0 35681 0 vsize: 143648 [startup+270.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21879 0 0 0 26948 55 0 0 25 0 1 0 512163768 147243008 21144 4294967295 134512640 135450300 3221224640 3221223456 134537317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35948 21144 231 231 0 35717 0 vsize: 143792 [startup+280.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21923 0 0 0 27948 55 0 0 25 0 1 0 512163768 147525632 21188 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36017 21188 231 231 0 35786 0 vsize: 144068 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 21960 0 0 0 28947 55 0 0 25 0 1 0 512163768 147673088 21225 4294967295 134512640 135450300 3221224640 3221223456 134547472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36053 21225 231 231 0 35822 0 vsize: 144212 [startup+300.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22165 0 0 0 29947 56 0 0 25 0 1 0 512163768 148164608 21430 4294967295 134512640 135450300 3221224640 3221223456 134547461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36173 21430 231 231 0 35942 0 vsize: 144692 [startup+310 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22484 0 0 0 30946 57 0 0 25 0 1 0 512163768 148299776 21749 4294967295 134512640 135450300 3221224640 3221223472 134549317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36206 21749 231 231 0 35975 0 vsize: 144824 [startup+320 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22503 0 0 0 31946 58 0 0 25 0 1 0 512163768 148299776 21768 4294967295 134512640 135450300 3221224640 3221223456 134537277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36206 21768 231 231 0 35975 0 vsize: 144824 [startup+330 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22536 0 0 0 32946 58 0 0 25 0 1 0 512163768 148443136 21801 4294967295 134512640 135450300 3221224640 3221223456 134536525 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36241 21801 231 231 0 36010 0 vsize: 144964 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22606 0 0 0 33946 58 0 0 25 0 1 0 512163768 148729856 21871 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36311 21871 231 231 0 36080 0 vsize: 145244 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22912 0 0 0 34945 59 0 0 25 0 1 0 512163768 148729856 22177 4294967295 134512640 135450300 3221224640 3221223360 134535540 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36311 22177 231 231 0 36080 0 vsize: 145244 [startup+360.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22936 0 0 0 35945 59 0 0 25 0 1 0 512163768 148869120 22201 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36345 22201 231 231 0 36114 0 vsize: 145380 [startup+370 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 22967 0 0 0 36945 59 0 0 25 0 1 0 512163768 149024768 22232 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36383 22232 231 231 0 36152 0 vsize: 145532 [startup+380 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23008 0 0 0 37945 60 0 0 25 0 1 0 512163768 149024768 22273 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36383 22273 231 231 0 36152 0 vsize: 145532 [startup+390 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23231 0 0 0 38944 60 0 0 25 0 1 0 512163768 149188608 22496 4294967295 134512640 135450300 3221224640 3221223552 134597392 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36423 22496 231 231 0 36192 0 vsize: 145692 [startup+399.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23274 0 0 0 39944 61 0 0 25 0 1 0 512163768 149368832 22539 4294967295 134512640 135450300 3221224640 3221223024 134579530 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36467 22539 231 231 0 36236 0 vsize: 145868 [startup+409.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23296 0 0 0 40944 61 0 0 25 0 1 0 512163768 149524480 22561 4294967295 134512640 135450300 3221224640 3221223376 134537999 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36505 22561 231 231 0 36274 0 vsize: 146020 [startup+419.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23322 0 0 0 41944 61 0 0 25 0 1 0 512163768 149524480 22587 4294967295 134512640 135450300 3221224640 3221223360 134535803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36505 22587 231 231 0 36274 0 vsize: 146020 [startup+429.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23486 0 0 0 42944 62 0 0 25 0 1 0 512163768 149663744 22751 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36539 22751 231 231 0 36308 0 vsize: 146156 [startup+439.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23557 0 0 0 43943 62 0 0 25 0 1 0 512163768 149975040 22822 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36615 22822 231 231 0 36384 0 vsize: 146460 [startup+449.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23634 0 0 0 44943 63 0 0 25 0 1 0 512163768 150286336 22899 4294967295 134512640 135450300 3221224640 3221223472 134549846 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36691 22899 231 231 0 36460 0 vsize: 146764 [startup+459.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23687 0 0 0 45943 63 0 0 25 0 1 0 512163768 150564864 22952 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36759 22952 231 231 0 36528 0 vsize: 147036 [startup+469.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23713 0 0 0 46943 63 0 0 25 0 1 0 512163768 150564864 22978 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36759 22978 231 231 0 36528 0 vsize: 147036 [startup+479.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23837 0 0 0 47942 64 0 0 25 0 1 0 512163768 150564864 23102 4294967295 134512640 135450300 3221224640 3221223472 134549276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36759 23102 231 231 0 36528 0 vsize: 147036 [startup+489.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23848 0 0 0 48942 64 0 0 25 0 1 0 512163768 150564864 23113 4294967295 134512640 135450300 3221224640 3221223456 134536515 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36759 23113 231 231 0 36528 0 vsize: 147036 [startup+499.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23878 0 0 0 49942 64 0 0 25 0 1 0 512163768 150712320 23143 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36795 23143 231 231 0 36564 0 vsize: 147180 [startup+509.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 23930 0 0 0 50942 65 0 0 25 0 1 0 512163768 151015424 23195 4294967295 134512640 135450300 3221224640 3221223360 134535478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36869 23195 231 231 0 36638 0 vsize: 147476 [startup+519.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24025 0 0 0 51942 65 0 0 25 0 1 0 512163768 151015424 23290 4294967295 134512640 135450300 3221224640 3221223360 134535480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36869 23290 231 231 0 36638 0 vsize: 147476 [startup+529.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24040 0 0 0 52942 65 0 0 25 0 1 0 512163768 151015424 23305 4294967295 134512640 135450300 3221224640 3221223008 134579568 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36869 23305 231 231 0 36638 0 vsize: 147476 [startup+539.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24060 0 0 0 53942 66 0 0 25 0 1 0 512163768 151175168 23325 4294967295 134512640 135450300 3221224640 3221223360 134535722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36908 23325 231 231 0 36677 0 vsize: 147632 [startup+549.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24069 0 0 0 54941 66 0 0 25 0 1 0 512163768 151175168 23334 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36908 23334 231 231 0 36677 0 vsize: 147632 [startup+559.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24143 0 0 0 55941 67 0 0 25 0 1 0 512163768 151339008 23408 4294967295 134512640 135450300 3221224640 3221223552 134597354 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36948 23408 231 231 0 36717 0 vsize: 147792 [startup+569.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24247 0 0 0 56941 67 0 0 25 0 1 0 512163768 151666688 23512 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37028 23512 231 231 0 36797 0 vsize: 148112 [startup+579.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24283 0 0 0 57940 68 0 0 25 0 1 0 512163768 151830528 23548 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37068 23548 231 231 0 36837 0 vsize: 148272 [startup+589.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24334 0 0 0 58940 68 0 0 25 0 1 0 512163768 152195072 23599 4294967295 134512640 135450300 3221224640 3221223120 134580028 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37157 23599 231 231 0 36926 0 vsize: 148628 [startup+599.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24352 0 0 0 59940 68 0 0 25 0 1 0 512163768 152195072 23617 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37157 23617 231 231 0 36926 0 vsize: 148628 [startup+609.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24375 0 0 0 60940 69 0 0 25 0 1 0 512163768 152195072 23640 4294967295 134512640 135450300 3221224640 3221223360 134535775 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37157 23640 231 231 0 36926 0 vsize: 148628 [startup+619.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24390 0 0 0 61940 69 0 0 25 0 1 0 512163768 152330240 23655 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37190 23655 231 231 0 36959 0 vsize: 148760 [startup+630 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24405 0 0 0 62940 69 0 0 25 0 1 0 512163768 152330240 23670 4294967295 134512640 135450300 3221224640 3221223516 135126769 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37190 23670 231 231 0 36959 0 vsize: 148760 [startup+640 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24419 0 0 0 63940 69 0 0 25 0 1 0 512163768 152469504 23684 4294967295 134512640 135450300 3221224640 3221223376 134538651 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37224 23684 231 231 0 36993 0 vsize: 148896 [startup+650 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24486 0 0 0 64939 70 0 0 25 0 1 0 512163768 152469504 23751 4294967295 134512640 135450300 3221224640 3221223360 134535526 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37224 23751 231 231 0 36993 0 vsize: 148896 [startup+660.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24494 0 0 0 65940 70 0 0 25 0 1 0 512163768 152469504 23759 4294967295 134512640 135450300 3221224640 3221223456 134536476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37224 23759 231 231 0 36993 0 vsize: 148896 [startup+670 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24525 0 0 0 66940 70 0 0 25 0 1 0 512163768 152469504 23790 4294967295 134512640 135450300 3221224640 3221223456 134536486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37224 23790 231 231 0 36993 0 vsize: 148896 [startup+680 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24543 0 0 0 67940 70 0 0 25 0 1 0 512163768 152616960 23808 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37260 23808 231 231 0 37029 0 vsize: 149040 [startup+690 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24605 0 0 0 68940 70 0 0 25 0 1 0 512163768 152760320 23870 4294967295 134512640 135450300 3221224640 3221223360 134535486 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37295 23870 231 231 0 37064 0 vsize: 149180 [startup+700 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24613 0 0 0 69940 70 0 0 25 0 1 0 512163768 152760320 23878 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37295 23878 231 231 0 37064 0 vsize: 149180 [startup+710 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24631 0 0 0 70940 71 0 0 25 0 1 0 512163768 152961024 23896 4294967295 134512640 135450300 3221224640 3221223360 134535514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37344 23896 231 231 0 37113 0 vsize: 149376 [startup+720 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24651 0 0 0 71940 71 0 0 25 0 1 0 512163768 152961024 23916 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37344 23916 231 231 0 37113 0 vsize: 149376 [startup+730 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24740 0 0 0 72940 71 0 0 25 0 1 0 512163768 153288704 24005 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37424 24005 231 231 0 37193 0 vsize: 149696 [startup+740 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24796 0 0 0 73939 71 0 0 25 0 1 0 512163768 153452544 24061 4294967295 134512640 135450300 3221224640 3221223456 134547862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37464 24061 231 231 0 37233 0 vsize: 149856 [startup+750 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24820 0 0 0 74939 72 0 0 25 0 1 0 512163768 153616384 24085 4294967295 134512640 135450300 3221224640 3221223360 134535772 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37504 24085 231 231 0 37273 0 vsize: 150016 [startup+760 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24846 0 0 0 75939 72 0 0 25 0 1 0 512163768 153767936 24111 4294967295 134512640 135450300 3221224640 3221223248 134537664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37541 24111 231 231 0 37310 0 vsize: 150164 [startup+770 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24865 0 0 0 76939 73 0 0 25 0 1 0 512163768 153767936 24130 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37541 24130 231 231 0 37310 0 vsize: 150164 [startup+780 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24900 0 0 0 77939 73 0 0 25 0 1 0 512163768 153767936 24165 4294967295 134512640 135450300 3221224640 3221223456 134537272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37541 24165 231 231 0 37310 0 vsize: 150164 [startup+790 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24933 0 0 0 78938 73 0 0 25 0 1 0 512163768 153931776 24198 4294967295 134512640 135450300 3221224640 3221223456 134536510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37581 24198 231 231 0 37350 0 vsize: 150324 [startup+800 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24965 0 0 0 79938 74 0 0 25 0 1 0 512163768 154066944 24230 4294967295 134512640 135450300 3221224640 3221223024 134579702 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37614 24230 231 231 0 37383 0 vsize: 150456 [startup+810 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24985 0 0 0 80938 74 0 0 25 0 1 0 512163768 154259456 24250 4294967295 134512640 135450300 3221224640 3221223104 134532761 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37661 24250 231 231 0 37430 0 vsize: 150644 [startup+819.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 24994 0 0 0 81938 74 0 0 25 0 1 0 512163768 154259456 24259 4294967295 134512640 135450300 3221224640 3221223004 134844208 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37661 24259 231 231 0 37430 0 vsize: 150644 [startup+829.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25008 0 0 0 82938 74 0 0 25 0 1 0 512163768 154259456 24273 4294967295 134512640 135450300 3221224640 3221223472 134549326 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37661 24273 231 231 0 37430 0 vsize: 150644 [startup+839.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25019 0 0 0 83938 74 0 0 25 0 1 0 512163768 154259456 24284 4294967295 134512640 135450300 3221224640 3221223360 134535687 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37661 24284 231 231 0 37430 0 vsize: 150644 [startup+849.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25029 0 0 0 84938 75 0 0 25 0 1 0 512163768 154259456 24294 4294967295 134512640 135450300 3221224640 3221223376 134538682 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37661 24294 231 231 0 37430 0 vsize: 150644 [startup+859.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25039 0 0 0 85938 75 0 0 25 0 1 0 512163768 154259456 24304 4294967295 134512640 135450300 3221224640 3221223376 134537973 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37661 24304 231 231 0 37430 0 vsize: 150644 [startup+869.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25047 0 0 0 86938 75 0 0 25 0 1 0 512163768 154259456 24312 4294967295 134512640 135450300 3221224640 3221223376 134538677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37661 24312 231 231 0 37430 0 vsize: 150644 [startup+879.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25106 0 0 0 87938 75 0 0 25 0 1 0 512163768 154423296 24371 4294967295 134512640 135450300 3221224640 3221223472 134549464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37701 24371 231 231 0 37470 0 vsize: 150804 [startup+889.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25143 0 0 0 88938 76 0 0 25 0 1 0 512163768 154587136 24408 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37741 24408 231 231 0 37510 0 vsize: 150964 [startup+899.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25165 0 0 0 89938 76 0 0 25 0 1 0 512163768 154587136 24430 4294967295 134512640 135450300 3221224640 3221223456 134537282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37741 24430 231 231 0 37510 0 vsize: 150964 [startup+909.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25189 0 0 0 90937 77 0 0 25 0 1 0 512163768 154587136 24454 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37741 24454 231 231 0 37510 0 vsize: 150964 [startup+919.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25209 0 0 0 91937 77 0 0 25 0 1 0 512163768 154828800 24474 4294967295 134512640 135450300 3221224640 3221223552 134597365 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37800 24474 231 231 0 37569 0 vsize: 151200 [startup+929.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25245 0 0 0 92937 77 0 0 25 0 1 0 512163768 154992640 24510 4294967295 134512640 135450300 3221224640 3221223360 134535777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37840 24510 231 231 0 37609 0 vsize: 151360 [startup+939.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25264 0 0 0 93937 78 0 0 25 0 1 0 512163768 154992640 24529 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37840 24529 231 231 0 37609 0 vsize: 151360 [startup+949.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25287 0 0 0 94937 78 0 0 25 0 1 0 512163768 154992640 24552 4294967295 134512640 135450300 3221224640 3221223104 134532580 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37840 24552 231 231 0 37609 0 vsize: 151360 [startup+959.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25303 0 0 0 95937 78 0 0 25 0 1 0 512163768 155140096 24568 4294967295 134512640 135450300 3221224640 3221223360 134535675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37876 24568 231 231 0 37645 0 vsize: 151504 [startup+969.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25331 0 0 0 96936 79 0 0 25 0 1 0 512163768 155140096 24596 4294967295 134512640 135450300 3221224640 3221223376 134538459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37876 24596 231 231 0 37645 0 vsize: 151504 [startup+979.997 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25345 0 0 0 97936 79 0 0 25 0 1 0 512163768 155303936 24610 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37916 24610 231 231 0 37685 0 vsize: 151664 [startup+990.001 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25354 0 0 0 98937 79 0 0 25 0 1 0 512163768 155303936 24619 4294967295 134512640 135450300 3221224640 3221223376 134538672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37916 24619 231 231 0 37685 0 vsize: 151664 [startup+1000 s] Raw data (loadavg): 1.13 1.00 0.92 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25371 0 0 0 99936 80 0 0 25 0 1 0 512163768 155447296 24636 4294967295 134512640 135450300 3221224640 3221223456 134547904 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37951 24636 231 231 0 37720 0 vsize: 151804 [startup+1010 s] Raw data (loadavg): 1.18 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25418 0 0 0 100936 80 0 0 25 0 1 0 512163768 155611136 24683 4294967295 134512640 135450300 3221224640 3221223456 134537311 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37991 24683 231 231 0 37760 0 vsize: 151964 [startup+1020 s] Raw data (loadavg): 1.16 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25455 0 0 0 101936 80 0 0 25 0 1 0 512163768 155611136 24720 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37991 24720 231 231 0 37760 0 vsize: 151964 [startup+1030 s] Raw data (loadavg): 1.13 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25470 0 0 0 102936 80 0 0 25 0 1 0 512163768 155774976 24735 4294967295 134512640 135450300 3221224640 3221223456 134536478 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38031 24735 231 231 0 37800 0 vsize: 152124 [startup+1040 s] Raw data (loadavg): 1.11 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25514 0 0 0 103936 80 0 0 25 0 1 0 512163768 156028928 24779 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38093 24779 231 231 0 37862 0 vsize: 152372 [startup+1050 s] Raw data (loadavg): 1.09 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25530 0 0 0 104936 81 0 0 25 0 1 0 512163768 156028928 24795 4294967295 134512640 135450300 3221224640 3221223248 134537611 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38093 24795 231 231 0 37862 0 vsize: 152372 [startup+1060 s] Raw data (loadavg): 1.08 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25547 0 0 0 105936 81 0 0 25 0 1 0 512163768 156028928 24812 4294967295 134512640 135450300 3221224640 3221223472 134549289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38093 24812 231 231 0 37862 0 vsize: 152372 [startup+1070 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25564 0 0 0 106936 81 0 0 25 0 1 0 512163768 156028928 24829 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38093 24829 231 231 0 37862 0 vsize: 152372 [startup+1080 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25582 0 0 0 107936 82 0 0 25 0 1 0 512163768 156192768 24847 4294967295 134512640 135450300 3221224640 3221223472 134549507 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38133 24847 231 231 0 37902 0 vsize: 152532 [startup+1090 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 25598 0 0 0 108936 82 0 0 25 0 1 0 512163768 156192768 24863 4294967295 134512640 135450300 3221224640 3221223456 134547886 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38133 24863 231 231 0 37902 0 vsize: 152532 [startup+1100 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26399 0 0 0 109934 84 0 0 25 0 1 0 512163768 159502336 24895 4294967295 134512640 135450300 3221224640 3221223360 134535974 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38941 24895 231 231 0 38710 0 vsize: 155764 [startup+1110 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26426 0 0 0 110934 84 0 0 25 0 1 0 512163768 159694848 24922 4294967295 134512640 135450300 3221224640 3221223360 134535551 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38988 24922 231 231 0 38757 0 vsize: 155952 [startup+1120 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26441 0 0 0 111934 84 0 0 25 0 1 0 512163768 159694848 24937 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38988 24937 231 231 0 38757 0 vsize: 155952 [startup+1130 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26456 0 0 0 112934 85 0 0 25 0 1 0 512163768 159694848 24952 4294967295 134512640 135450300 3221224640 3221223168 134543680 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38988 24952 231 231 0 38757 0 vsize: 155952 [startup+1140 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26476 0 0 0 113933 85 0 0 25 0 1 0 512163768 159694848 24972 4294967295 134512640 135450300 3221224640 3221223360 134535779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38988 24972 231 231 0 38757 0 vsize: 155952 [startup+1150 s] Raw data (loadavg): 1.09 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26490 0 0 0 114933 85 0 0 25 0 1 0 512163768 159858688 24986 4294967295 134512640 135450300 3221224640 3221223360 134535977 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39028 24986 231 231 0 38797 0 vsize: 156112 [startup+1160 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26510 0 0 0 115933 86 0 0 25 0 1 0 512163768 159858688 25006 4294967295 134512640 135450300 3221224640 3221223360 134535749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39028 25006 231 231 0 38797 0 vsize: 156112 [startup+1170 s] Raw data (loadavg): 1.06 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26531 0 0 0 116933 86 0 0 25 0 1 0 512163768 159858688 25027 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39028 25027 231 231 0 38797 0 vsize: 156112 [startup+1180 s] Raw data (loadavg): 1.05 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26540 0 0 0 117933 86 0 0 25 0 1 0 512163768 159997952 25036 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39062 25036 231 231 0 38831 0 vsize: 156248 [startup+1190 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26547 0 0 0 118933 86 0 0 25 0 1 0 512163768 159997952 25043 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39062 25043 231 231 0 38831 0 vsize: 156248 [startup+1200 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 26083 Raw data (stat): 26081 (PBS4) R 26080 3260 3259 0 -1 0 26599 0 0 0 119933 87 0 0 25 0 1 0 512163768 160161792 25095 4294967295 134512640 135450300 3221224640 3221223472 134549281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39102 25095 231 231 0 38871 0 vsize: 156408 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.05 s] Raw data (loadavg): 1.04 1.02 0.93 1/54 26083 Raw data (stat): 26081 (PBS4) Z 26080 3260 3259 0 -1 1036 26599 0 0 0 119933 91 0 0 25 0 1 0 512163768 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.05 CPU time (s): 1200.25 CPU user time (s): 1199.33 CPU system time (s): 0.91786 CPU usage (%): 100.017 Max. virtual memory (Kb): 156408 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####