Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb |
MD5SUM | 6a6f7751d9c11fcafeb386712eac2f08 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3097606 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5376 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1473474440 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1473474440 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 433.74 |
Number of variables | 5376 |
Total number of constraints | 324 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 324 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 1280 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-16 19:54:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26188 boxname=wulflinc3 idbench=1488 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 6a6f7751d9c11fcafeb386712eac2f08 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran4x64.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran4x64.opb IDLAUNCH: 26188 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 2 cpu MHz : 451.190 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: 717816 kB Buffers: 25308 kB Cached: 269588 kB SwapCached: 768 kB Active: 38716 kB Inactive: 258296 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 717564 kB SwapTotal: 2097136 kB SwapFree: 2095372 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 13948 kB Committed_AS: 71904 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 20:15:02 (client local time) WITH STATUS 0 IN 1201.42 SECONDS stats: 26188 7 1201.42 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 18348/443957 Time: 150.384/86400 c Decision: 18740/443957 Time: 882.104/86400 c Decision: 18754/443957 Time: 922.051/86400 c Decision: 18757/443957 Time: 939.335/86400 c Decision: 18761/443957 Time: 960.068/86400 c Decision: 18763/443957 Time: 978.631/86400 c Decision: 18763/443957 Time: 989.202/86400 c Decision: 18763/443957 Time: 996.369/86400 c Decision: 18763/443957 Time: 1006.54/86400 c Decision: 18763/443957 Time: 1020.09/86400 c Decision: 18768/443957 Time: 1042.27/86400 c Decision: 18768/443957 Time: 1052.2/86400 c Decision: 18768/443957 Time: 1064.41/86400 c Decision: 18768/443957 Time: 1073.17/86400 c Decision: 18773/443957 Time: 1086.82/86400 c Decision: 18773/443957 Time: 1097.4/86400 c Decision: 18773/443957 Time: 1105.58/86400 c Decision: 18773/443957 Time: 1114.81/86400 c Decision: 18773/443957 Time: 1125.71/86400 c Decision: 18773/443957 Time: 1132.84/86400 c Decision: 18773/443957 Time: 1142.84/86400 c Decision: 18773/443957 Time: 1153.01/86400 c Decision: 18773/443957 Time: 1160.72/86400 c Decision: 18773/443957 Time: 1169.65/86400s UNKNOWN #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.93 0.98 0.91 2/54 28855 Raw data (stat): 28855 (runsolver) R 28854 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973435098 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 26464 0 0 0 938 60 0 0 25 0 1 0 973435098 79376384 15565 4294967295 134512640 135730672 3221224576 3220705880 134787727 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19379 15565 301 301 0 19078 0 vsize: 77516 [startup+20.0014 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 52738 0 0 0 1880 118 0 0 25 0 1 0 973435098 153878528 30870 4294967295 134512640 135730672 3221224576 3221188264 135301581 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 37568 30870 301 301 0 37267 0 vsize: 150272 [startup+30.0017 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 57129 0 0 0 2868 130 0 0 25 0 1 0 973435098 166379520 34379 4294967295 134512640 135730672 3221224576 3221222896 134732462 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 40620 34379 301 301 0 40319 0 vsize: 162480 [startup+40.0025 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 58027 0 0 0 3865 133 0 0 25 0 1 0 973435098 171003904 35277 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 41749 35277 301 301 0 41448 0 vsize: 166996 [startup+50.0037 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 58685 0 0 0 4862 136 0 0 25 0 1 0 973435098 174452736 35935 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 42591 35935 301 301 0 42290 0 vsize: 170364 [startup+60.0031 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 59281 0 0 0 5860 139 0 0 25 0 1 0 973435098 177631232 36531 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43367 36531 301 301 0 43066 0 vsize: 173468 [startup+70.0043 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 59934 0 0 0 6856 143 0 0 25 0 1 0 973435098 180826112 37184 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44147 37184 301 301 0 43846 0 vsize: 176588 [startup+80.0053 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60238 0 0 0 7854 145 0 0 25 0 1 0 973435098 182345728 37488 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44518 37488 301 301 0 44217 0 vsize: 178072 [startup+90.0057 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60544 0 0 0 8852 147 0 0 25 0 1 0 973435098 184098816 37794 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44946 37794 301 301 0 44645 0 vsize: 179784 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60726 0 0 0 9850 149 0 0 25 0 1 0 973435098 184754176 37976 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45106 37976 301 301 0 44805 0 vsize: 180424 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 60875 0 0 0 10848 152 0 0 25 0 1 0 973435098 185573376 38125 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45306 38125 301 301 0 45005 0 vsize: 181224 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61031 0 0 0 11846 154 0 0 25 0 1 0 973435098 186392576 38281 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45506 38281 301 301 0 45205 0 vsize: 182024 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61101 0 0 0 12845 155 0 0 25 0 1 0 973435098 186720256 38351 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45586 38351 301 301 0 45285 0 vsize: 182344 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61224 0 0 0 13842 158 0 0 25 0 1 0 973435098 187211776 38474 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45706 38474 301 301 0 45405 0 vsize: 182824 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61311 0 0 0 14841 159 0 0 25 0 1 0 973435098 187539456 38561 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45786 38561 301 301 0 45485 0 vsize: 183144 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 61414 0 0 0 15839 161 0 0 25 0 1 0 973435098 188194816 38664 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 45946 38664 301 301 0 45645 0 vsize: 183784 [startup+170.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62416 0 0 0 16836 165 0 0 25 0 1 0 973435098 188686336 38798 4294967295 134512640 135730672 3221224576 3221223128 135301581 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46066 38798 301 301 0 45765 0 vsize: 184264 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62625 0 0 0 17834 166 0 0 25 0 1 0 973435098 189669376 39007 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46306 39007 301 301 0 46005 0 vsize: 185224 [startup+190.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62719 0 0 0 18834 167 0 0 25 0 1 0 973435098 190160896 39101 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46426 39101 301 301 0 46125 0 vsize: 185704 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62758 0 0 0 19832 169 0 0 25 0 1 0 973435098 190324736 39140 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46466 39140 301 301 0 46165 0 vsize: 185864 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62766 0 0 0 20831 170 0 0 25 0 1 0 973435098 190324736 39148 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46466 39148 301 301 0 46165 0 vsize: 185864 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62801 0 0 0 21830 171 0 0 25 0 1 0 973435098 190324736 39183 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46466 39183 301 301 0 46165 0 vsize: 185864 [startup+230.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62807 0 0 0 22830 172 0 0 25 0 1 0 973435098 190324736 39189 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46466 39189 301 301 0 46165 0 vsize: 185864 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62822 0 0 0 23828 174 0 0 25 0 1 0 973435098 190324736 39204 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46466 39204 301 301 0 46165 0 vsize: 185864 [startup+250.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62899 0 0 0 24827 175 0 0 25 0 1 0 973435098 190816256 39281 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46586 39281 301 301 0 46285 0 vsize: 186344 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62954 0 0 0 25826 177 0 0 25 0 1 0 973435098 190980096 39336 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46626 39336 301 301 0 46325 0 vsize: 186504 [startup+270.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62972 0 0 0 26825 178 0 0 25 0 1 0 973435098 190980096 39354 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46626 39354 301 301 0 46325 0 vsize: 186504 [startup+280.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 62992 0 0 0 27824 179 0 0 25 0 1 0 973435098 190980096 39374 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46626 39374 301 301 0 46325 0 vsize: 186504 [startup+290.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63091 0 0 0 28823 180 0 0 25 0 1 0 973435098 191471616 39473 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46746 39473 301 301 0 46445 0 vsize: 186984 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 28855 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63106 0 0 0 29821 182 0 0 25 0 1 0 973435098 191471616 39488 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46746 39488 301 301 0 46445 0 vsize: 186984 [startup+310.013 s] Raw data (loadavg): 1.15 1.02 0.93 2/54 28908 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63136 0 0 0 30810 192 0 0 25 0 1 0 973435098 191471616 39518 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46746 39518 301 301 0 46445 0 vsize: 186984 [startup+320.013 s] Raw data (loadavg): 1.13 1.02 0.93 2/54 28908 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63175 0 0 0 31809 193 0 0 25 0 1 0 973435098 191635456 39557 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46786 39557 301 301 0 46485 0 vsize: 187144 [startup+330.013 s] Raw data (loadavg): 1.11 1.01 0.93 2/54 28908 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63187 0 0 0 32808 195 0 0 25 0 1 0 973435098 191635456 39569 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46786 39569 301 301 0 46485 0 vsize: 187144 [startup+340.014 s] Raw data (loadavg): 1.09 1.01 0.93 2/54 28908 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63220 0 0 0 33807 196 0 0 25 0 1 0 973435098 191799296 39602 4294967295 134512640 135730672 3221224576 3221223232 134734856 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46826 39602 301 301 0 46525 0 vsize: 187304 [startup+350.015 s] Raw data (loadavg): 1.08 1.01 0.93 2/54 28908 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63268 0 0 0 34805 198 0 0 25 0 1 0 973435098 191963136 39650 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46866 39650 301 301 0 46565 0 vsize: 187464 [startup+360.015 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 28908 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63300 0 0 0 35804 200 0 0 25 0 1 0 973435098 191963136 39682 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46866 39682 301 301 0 46565 0 vsize: 187464 [startup+370.016 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 28908 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63312 0 0 0 36803 201 0 0 25 0 1 0 973435098 192126976 39694 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46906 39694 301 301 0 46605 0 vsize: 187624 [startup+380.016 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63323 0 0 0 37801 203 0 0 25 0 1 0 973435098 192126976 39705 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46906 39705 301 301 0 46605 0 vsize: 187624 [startup+390.017 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63329 0 0 0 38800 204 0 0 25 0 1 0 973435098 192126976 39711 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46906 39711 301 301 0 46605 0 vsize: 187624 [startup+400.017 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63349 0 0 0 39799 205 0 0 25 0 1 0 973435098 192126976 39731 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46906 39731 301 301 0 46605 0 vsize: 187624 [startup+410.018 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63375 0 0 0 40798 207 0 0 25 0 1 0 973435098 192126976 39757 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46906 39757 301 301 0 46605 0 vsize: 187624 [startup+420.019 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63408 0 0 0 41796 209 0 0 25 0 1 0 973435098 192290816 39790 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46946 39790 301 301 0 46645 0 vsize: 187784 [startup+430.019 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63437 0 0 0 42794 211 0 0 25 0 1 0 973435098 192290816 39819 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46946 39819 301 301 0 46645 0 vsize: 187784 [startup+440.019 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63448 0 0 0 43792 213 0 0 25 0 1 0 973435098 192290816 39830 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46946 39830 301 301 0 46645 0 vsize: 187784 [startup+450.02 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63479 0 0 0 44791 214 0 0 25 0 1 0 973435098 192454656 39861 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46986 39861 301 301 0 46685 0 vsize: 187944 [startup+460.02 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63489 0 0 0 45790 215 0 0 25 0 1 0 973435098 192454656 39871 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 46986 39871 301 301 0 46685 0 vsize: 187944 [startup+470.021 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63592 0 0 0 46788 217 0 0 25 0 1 0 973435098 192753664 39974 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47059 39974 301 301 0 46758 0 vsize: 188236 [startup+480.022 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63835 0 0 0 47787 218 0 0 25 0 1 0 973435098 193744896 40184 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47301 40184 301 301 0 47000 0 vsize: 189204 [startup+490.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 63908 0 0 0 48786 220 0 0 25 0 1 0 973435098 194138112 40257 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 47397 40257 301 301 0 47096 0 vsize: 189588 [startup+500.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64022 0 0 0 49785 221 0 0 25 0 1 0 973435098 194666496 40371 4294967295 134512640 135730672 3221224576 3221222896 134732482 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47526 40371 301 301 0 47225 0 vsize: 190104 [startup+510.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64135 0 0 0 50784 223 0 0 25 0 1 0 973435098 195059712 40484 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47622 40484 301 301 0 47321 0 vsize: 190488 [startup+520.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64387 0 0 0 51782 225 0 0 25 0 1 0 973435098 196177920 40736 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47895 40736 301 301 0 47594 0 vsize: 191580 [startup+530.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64591 0 0 0 52781 226 0 0 25 0 1 0 973435098 196964352 40940 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48087 40940 301 301 0 47786 0 vsize: 192348 [startup+540.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64715 0 0 0 53779 228 0 0 25 0 1 0 973435098 197554176 41064 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48231 41064 301 301 0 47930 0 vsize: 192924 [startup+550.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 64936 0 0 0 54779 229 0 0 25 0 1 0 973435098 198746112 41285 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48522 41285 301 301 0 48221 0 vsize: 194088 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65163 0 0 0 55777 230 0 0 25 0 1 0 973435098 199729152 41512 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48762 41513 301 301 0 48461 0 vsize: 195048 [startup+570.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65265 0 0 0 56776 231 0 0 25 0 1 0 973435098 200257536 41614 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48891 41614 301 301 0 48590 0 vsize: 195564 [startup+580.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65321 0 0 0 57776 232 0 0 25 0 1 0 973435098 200454144 41670 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48939 41670 301 301 0 48638 0 vsize: 195756 [startup+590.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65405 0 0 0 58776 233 0 0 25 0 1 0 973435098 200724480 41754 4294967295 134512640 135730672 3221224576 3221223264 134748464 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49005 41754 301 301 0 48704 0 vsize: 196020 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65492 0 0 0 59775 233 0 0 25 0 1 0 973435098 201191424 41841 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49119 41841 301 301 0 48818 0 vsize: 196476 [startup+610.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 65679 0 0 0 60774 234 0 0 25 0 1 0 973435098 201986048 41995 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49313 41995 301 301 0 49012 0 vsize: 197252 [startup+620.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 66094 0 0 0 61773 236 0 0 25 0 1 0 973435098 204046336 42344 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49816 42344 301 301 0 49515 0 vsize: 199264 [startup+630.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28910 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 66377 0 0 0 62772 237 0 0 25 0 1 0 973435098 205312000 42627 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50125 42627 301 301 0 49824 0 vsize: 200500 [startup+640.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 66869 0 0 0 63770 239 0 0 25 0 1 0 973435098 207650816 43053 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50696 43053 301 301 0 50395 0 vsize: 202784 [startup+650.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67222 0 0 0 64769 241 0 0 25 0 1 0 973435098 209108992 43373 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51052 43373 301 301 0 50751 0 vsize: 204208 [startup+660.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67249 0 0 0 65768 242 0 0 25 0 1 0 973435098 209244160 43400 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51085 43400 301 301 0 50784 0 vsize: 204340 [startup+670.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67252 0 0 0 66767 242 0 0 25 0 1 0 973435098 209244160 43403 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51085 43403 301 301 0 50784 0 vsize: 204340 [startup+680.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67299 0 0 0 67766 244 0 0 25 0 1 0 973435098 209575936 43450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51166 43450 301 301 0 50865 0 vsize: 204664 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67458 0 0 0 68764 246 0 0 25 0 1 0 973435098 210243584 43609 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51329 43609 301 301 0 51028 0 vsize: 205316 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67466 0 0 0 69764 247 0 0 25 0 1 0 973435098 210243584 43617 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51329 43617 301 301 0 51028 0 vsize: 205316 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67482 0 0 0 70762 248 0 0 25 0 1 0 973435098 210243584 43633 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51329 43633 301 301 0 51028 0 vsize: 205316 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67509 0 0 0 71761 249 0 0 25 0 1 0 973435098 210440192 43660 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51377 43660 301 301 0 51076 0 vsize: 205508 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67814 0 0 0 72760 251 0 0 25 0 1 0 973435098 211640320 43932 4294967295 134512640 135730672 3221224576 3221223232 134734774 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51670 43932 301 301 0 51369 0 vsize: 206680 [startup+740.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67830 0 0 0 73759 252 0 0 25 0 1 0 973435098 211640320 43948 4294967295 134512640 135730672 3221224576 3221223072 134747942 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51670 43948 301 301 0 51369 0 vsize: 206680 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 67959 0 0 0 74757 254 0 0 25 0 1 0 973435098 212180992 44077 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51802 44077 301 301 0 51501 0 vsize: 207208 [startup+760.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68036 0 0 0 75756 255 0 0 25 0 1 0 973435098 212586496 44154 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51901 44154 301 301 0 51600 0 vsize: 207604 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68043 0 0 0 76756 256 0 0 25 0 1 0 973435098 212586496 44161 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51901 44161 301 301 0 51600 0 vsize: 207604 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68162 0 0 0 77754 258 0 0 25 0 1 0 973435098 213127168 44280 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52033 44280 301 301 0 51732 0 vsize: 208132 [startup+790.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68313 0 0 0 78753 260 0 0 25 0 1 0 973435098 213999616 44431 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52246 44431 301 301 0 51945 0 vsize: 208984 [startup+800.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68436 0 0 0 79752 261 0 0 25 0 1 0 973435098 214675456 44554 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52411 44554 301 301 0 52110 0 vsize: 209644 [startup+810.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68461 0 0 0 80750 262 0 0 25 0 1 0 973435098 214810624 44579 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52444 44579 301 301 0 52143 0 vsize: 209776 [startup+820.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68491 0 0 0 81749 264 0 0 25 0 1 0 973435098 214945792 44609 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52477 44609 301 301 0 52176 0 vsize: 209908 [startup+830.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68618 0 0 0 82749 265 0 0 25 0 1 0 973435098 215621632 44736 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52642 44736 301 301 0 52341 0 vsize: 210568 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 68894 0 0 0 83747 266 0 0 25 0 1 0 973435098 216969216 44979 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52971 44979 301 301 0 52670 0 vsize: 211884 [startup+850.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69191 0 0 0 84746 268 0 0 25 0 1 0 973435098 218177536 45210 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53266 45210 301 301 0 52965 0 vsize: 213064 [startup+860.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69202 0 0 0 85745 269 0 0 25 0 1 0 973435098 218177536 45221 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53266 45221 301 301 0 52965 0 vsize: 213064 [startup+870.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69262 0 0 0 86745 269 0 0 25 0 1 0 973435098 218583040 45281 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53365 45281 301 301 0 53064 0 vsize: 213460 [startup+880.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69323 0 0 0 87744 271 0 0 25 0 1 0 973435098 218853376 45342 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53431 45342 301 301 0 53130 0 vsize: 213724 [startup+890.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69347 0 0 0 88743 272 0 0 25 0 1 0 973435098 218988544 45366 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45366 301 301 0 53163 0 vsize: 213856 [startup+900.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 69360 0 0 0 89743 272 0 0 25 0 1 0 973435098 218988544 45379 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45379 301 301 0 53163 0 vsize: 213856 [startup+910.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70235 0 0 0 90739 275 0 0 25 0 1 0 973435098 218988544 45386 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45386 301 301 0 53163 0 vsize: 213856 [startup+920.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70254 0 0 0 91738 276 0 0 25 0 1 0 973435098 218988544 45405 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45405 301 301 0 53163 0 vsize: 213856 [startup+930.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70267 0 0 0 92737 278 0 0 25 0 1 0 973435098 218988544 45418 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45418 301 301 0 53163 0 vsize: 213856 [startup+940.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 70273 0 0 0 93735 280 0 0 25 0 1 0 973435098 218988544 45424 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45424 301 301 0 53163 0 vsize: 213856 [startup+950.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 71147 0 0 0 94732 283 0 0 25 0 1 0 973435098 218988544 45430 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45430 301 301 0 53163 0 vsize: 213856 [startup+960.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72030 0 0 0 95729 286 0 0 25 0 1 0 973435098 218988544 45445 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45445 301 301 0 53163 0 vsize: 213856 [startup+970.049 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72040 0 0 0 96728 288 0 0 25 0 1 0 973435098 218988544 45455 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45455 301 301 0 53163 0 vsize: 213856 [startup+980.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72920 0 0 0 97725 291 0 0 25 0 1 0 973435098 222543872 46335 4294967295 134512640 135730672 3221224576 3221222736 134768884 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 54332 46335 301 301 0 54031 0 vsize: 217328 [startup+990.051 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 72933 0 0 0 98724 292 0 0 25 0 1 0 973435098 218988544 45480 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45480 301 301 0 53163 0 vsize: 213856 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 73813 0 0 0 99721 295 0 0 25 0 1 0 973435098 218988544 45492 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45492 301 301 0 53163 0 vsize: 213856 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 74687 0 0 0 100718 298 0 0 25 0 1 0 973435098 218988544 45498 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45498 301 301 0 53163 0 vsize: 213856 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 75560 0 0 0 101715 302 0 0 25 0 1 0 973435098 218988544 45503 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45503 301 301 0 53163 0 vsize: 213856 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 76434 0 0 0 102713 304 0 0 25 0 1 0 973435098 218988544 45509 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45509 301 301 0 53163 0 vsize: 213856 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 77310 0 0 0 103710 308 0 0 25 0 1 0 973435098 222543872 46385 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 54332 46385 301 301 0 54031 0 vsize: 217328 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 77320 0 0 0 104708 309 0 0 25 0 1 0 973435098 218988544 45527 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45527 301 301 0 53163 0 vsize: 213856 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 77332 0 0 0 105707 311 0 0 25 0 1 0 973435098 218988544 45539 4294967295 134512640 135730672 3221224576 3221223088 134745856 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45539 301 301 0 53163 0 vsize: 213856 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 78207 0 0 0 106704 314 0 0 25 0 1 0 973435098 218988544 45546 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45546 301 301 0 53163 0 vsize: 213856 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 79085 0 0 0 107702 317 0 0 25 0 1 0 973435098 218988544 45556 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45556 301 301 0 53163 0 vsize: 213856 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 79964 0 0 0 108698 320 0 0 25 0 1 0 973435098 218988544 45567 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45567 301 301 0 53163 0 vsize: 213856 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 80845 0 0 0 109695 324 0 0 25 0 1 0 973435098 218988544 45580 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45580 301 301 0 53163 0 vsize: 213856 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 81727 0 0 0 110692 327 0 0 25 0 1 0 973435098 218988544 45594 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45594 301 301 0 53163 0 vsize: 213856 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 82605 0 0 0 111689 330 0 0 25 0 1 0 973435098 218988544 45604 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45604 301 301 0 53163 0 vsize: 213856 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 83486 0 0 0 112687 333 0 0 25 0 1 0 973435098 218988544 45617 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45617 301 301 0 53163 0 vsize: 213856 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 84365 0 0 0 113683 337 0 0 25 0 1 0 973435098 218988544 45628 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45628 301 301 0 53163 0 vsize: 213856 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 85252 0 0 0 114680 339 0 0 25 0 1 0 973435098 218988544 45647 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45647 301 301 0 53163 0 vsize: 213856 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 86134 0 0 0 115677 343 0 0 25 0 1 0 973435098 218988544 45661 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45661 301 301 0 53163 0 vsize: 213856 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 87010 0 0 0 116674 346 0 0 25 0 1 0 973435098 218988544 45669 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45669 301 301 0 53163 0 vsize: 213856 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 87891 0 0 0 117671 349 0 0 25 0 1 0 973435098 218988544 45682 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45682 301 301 0 53163 0 vsize: 213856 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 89640 0 0 0 118667 353 0 0 25 0 1 0 973435098 218988544 45695 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 53464 45695 301 301 0 53163 0 vsize: 213856 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 28912 Raw data (stat): 28855 (pb2sat-v2) R 28854 20224 20223 0 -1 0 90520 0 0 0 119664 357 0 0 25 0 1 0 973435098 222543872 46575 4294967295 134512640 135730672 3221224576 3221222736 134768813 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 54332 46575 301 301 0 54031 0 vsize: 217328 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.28 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 28912 Raw data (stat): 28855 (pb2sat-v2) Z 28854 20224 20223 0 -1 12 90522 0 0 0 119775 366 0 0 25 0 1 0 973435098 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0 Real time (s): 1201.28 CPU time (s): 1201.42 CPU user time (s): 1197.76 CPU system time (s): 3.66444 CPU usage (%): 100.012 Max. virtual memory (Kb): 217328 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####