Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb |
MD5SUM | a592293d47471ef0e8a1691df160b1e8 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 13241344 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7998 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1568780661323 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1568780661323 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1233.27 |
Number of variables | 7998 |
Total number of constraints | 307 |
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 | 307 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1290 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-16 11:51:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25805 boxname=wulflinc4 idbench=1105 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: a592293d47471ef0e8a1691df160b1e8 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-ran6x43.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-ran6x43.opb IDLAUNCH: 25805 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 652984 kB Buffers: 34756 kB Cached: 324836 kB SwapCached: 944 kB Active: 39788 kB Inactive: 321964 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 652732 kB SwapTotal: 2097136 kB SwapFree: 2095208 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14212 kB Committed_AS: 71908 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 12:12:03 (client local time) WITH STATUS 0 IN 1201.4 SECONDS stats: 25805 7 1201.4 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 28194/417545 Time: 54.3757/86400 c Decision: 28194/417545 Time: 65.488/86400 c Decision: 28194/417545 Time: 75.2026/86400 c Decision: 28194/417545 Time: 87.0998/86400 c Decision: 28194/417545 Time: 98.758/86400 c Decision: 28194/417545 Time: 113.436/86400 c Decision: 28194/417545 Time: 133.271/86400 c Decision: 28194/417545 Time: 146.687/86400 c Decision: 28194/417545 Time: 167.774/86400 c Decision: 28194/417545 Time: 183.171/86400 c Decision: 28194/417545 Time: 202.654/86400 c Decision: 28194/417545 Time: 217.97/86400 c Decision: 28194/417545 Time: 234.31/86400 c Decision: 28194/417545 Time: 251.687/86400 c Decision: 28194/417545 Time: 276.191/86400 c Decision: 28199/417545 Time: 302.645/86400 c Decision: 28199/417545 Time: 318.979/86400 c Decision: 28199/417545 Time: 337.115/86400 c Decision: 28199/417545 Time: 357.198/86400 c Decision: 28199/417545 Time: 375.492/86400 c Decision: 28199/417545 Time: 400.136/86400 c Decision: 28206/417545 Time: 431.68/86400 c Decision: 28206/417545 Time: 451.442/86400 c Decision: 28206/417545 Time: 474.596/86400 c Decision: 28211/417545 Time: 514.371/86400 c Decision: 28211/417545 Time: 539.759/86400 c Decision: 28211/417545 Time: 558.93/86400 c Decision: 28211/417545 Time: 579.084/86400 c Decision: 28211/417545 Time: 597.34/86400 c Decision: 28211/417545 Time: 615.006/86400 c Decision: 28211/417545 Time: 634.324/86400 c Decision: 28211/417545 Time: 661.69/86400 c Decision: 28211/417545 Time: 681.343/86400 c Decision: 28211/417545 Time: 705.188/86400 c Decision: 28211/417545 Time: 728.657/86400 c Decision: 28211/417545 Time: 755.439/86400 c Decision: 28211/417545 Time: 781.065/86400 c Decision: 28211/417545 Time: 800.644/86400 c Decision: 28211/417545 Time: 821.633/86400 c Decision: 28213/417545 Time: 850.554/86400 c Decision: 28213/417545 Time: 879.854/86400 c Decision: 28216/417545 Time: 896.819/86400 c Decision: 28216/417545 Time: 914.967/86400 c Decision: 28216/417545 Time: 933.316/86400 c Decision: 28216/417545 Time: 955.034/86400 c Decision: 28216/417545 Time: 973.678/86400 c Decision: 28216/417545 Time: 1001.6/86400 c Decision: 28216/417545 Time: 1022.7/86400 c Decision: 28216/417545 Time: 1043.37/86400 c Decision: 28216/417545 Time: 1064.52/86400 c Decision: 28216/417545 Time: 1091.2/86400 c Decision: 28216/417545 Time: 1112.99/86400 c Decision: 28216/417545 Time: 1137.66/86400 c Decision: 28216/417545 Time: 1160.54/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.84 0.94 0.90 1/54 25397 Raw data (stat): 25397 (runsolver) R 25396 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970535767 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 25590 0 0 0 940 59 0 0 25 0 1 0 970535767 79294464 14641 4294967295 134512640 135730672 3221224576 3220632944 134546483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19359 14641 301 301 0 19058 0 vsize: 77436 [startup+20.0017 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 51633 0 0 0 1882 116 0 0 25 0 1 0 970535767 153391104 29713 4294967295 134512640 135730672 3221224576 3221223248 134742366 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 37449 29713 301 301 0 37148 0 vsize: 149796 [startup+30.002 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 54874 0 0 0 2871 126 0 0 25 0 1 0 970535767 163700736 32138 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39966 32138 301 301 0 39665 0 vsize: 159864 [startup+40.0023 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 56032 0 0 0 3868 129 0 0 25 0 1 0 970535767 169398272 33296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41357 33296 301 301 0 41056 0 vsize: 165428 [startup+50.0031 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 56407 0 0 0 4866 131 0 0 25 0 1 0 970535767 171278336 33671 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 41816 33671 301 301 0 41515 0 vsize: 167264 [startup+60.004 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 56634 0 0 0 5865 133 0 0 25 0 1 0 970535767 172302336 33898 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42066 33898 301 301 0 41765 0 vsize: 168264 [startup+70.0049 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 57442 0 0 0 6863 135 0 0 25 0 1 0 970535767 176033792 34706 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 42977 34706 301 301 0 42676 0 vsize: 171908 [startup+80.0057 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 58540 0 0 0 7859 139 0 0 25 0 1 0 970535767 177213440 34988 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43265 34988 301 301 0 42964 0 vsize: 173060 [startup+90.0052 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 59657 0 0 0 8855 143 0 0 25 0 1 0 970535767 178655232 35289 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43617 35289 301 301 0 43316 0 vsize: 174468 [startup+100.006 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 60560 0 0 0 9851 147 0 0 25 0 1 0 970535767 178982912 35376 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 43697 35376 301 301 0 43396 0 vsize: 174788 [startup+110.006 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 61490 0 0 0 10846 151 0 0 25 0 1 0 970535767 179572736 35490 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43841 35490 301 301 0 43540 0 vsize: 175364 [startup+120.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 62356 0 0 0 11843 154 0 0 25 0 1 0 970535767 179707904 35540 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43874 35540 301 301 0 43573 0 vsize: 175496 [startup+130.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 62404 0 0 0 12843 155 0 0 25 0 1 0 970535767 179904512 35588 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43922 35588 301 301 0 43621 0 vsize: 175688 [startup+140.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 63552 0 0 0 13839 159 0 0 25 0 1 0 970535767 181547008 35920 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44323 35920 301 301 0 44022 0 vsize: 177292 [startup+150.007 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 63869 0 0 0 14837 160 0 0 25 0 1 0 970535767 183160832 36237 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44717 36237 301 301 0 44416 0 vsize: 178868 [startup+160.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 64809 0 0 0 15833 165 0 0 25 0 1 0 970535767 183885824 36361 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44894 36361 301 301 0 44593 0 vsize: 179576 [startup+170.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 65722 0 0 0 16830 169 0 0 25 0 1 0 970535767 184279040 36458 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 44990 36458 301 301 0 44689 0 vsize: 179960 [startup+180.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 66032 0 0 0 17827 171 0 0 25 0 1 0 970535767 185782272 36768 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45357 36768 301 301 0 45056 0 vsize: 181428 [startup+190.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 66952 0 0 0 18823 176 0 0 25 0 1 0 970535767 186310656 36872 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45486 36872 301 301 0 45185 0 vsize: 181944 [startup+200.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 67026 0 0 0 19821 178 0 0 25 0 1 0 970535767 186703872 36946 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45582 36946 301 301 0 45281 0 vsize: 182328 [startup+210.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 67986 0 0 0 20818 181 0 0 25 0 1 0 970535767 187564032 37090 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45792 37090 301 301 0 45491 0 vsize: 183168 [startup+220.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 68133 0 0 0 21816 183 0 0 25 0 1 0 970535767 188289024 37237 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45969 37237 301 301 0 45668 0 vsize: 183876 [startup+230.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 68970 0 0 0 22813 186 0 0 25 0 1 0 970535767 188289024 37258 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 45969 37258 301 301 0 45668 0 vsize: 183876 [startup+240.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 69120 0 0 0 23812 187 0 0 25 0 1 0 970535767 189014016 37408 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46146 37408 301 301 0 45845 0 vsize: 184584 [startup+250.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 69146 0 0 0 24811 188 0 0 25 0 1 0 970535767 189210624 37434 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46194 37434 301 301 0 45893 0 vsize: 184776 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 70175 0 0 0 25807 193 0 0 25 0 1 0 970535767 190427136 37647 4294967295 134512640 135730672 3221224576 3221223264 134748433 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46491 37647 301 301 0 46190 0 vsize: 185964 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 70292 0 0 0 26805 195 0 0 25 0 1 0 970535767 190967808 37764 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46623 37764 301 301 0 46322 0 vsize: 186492 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 71136 0 0 0 27801 199 0 0 25 0 1 0 970535767 191164416 37792 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46671 37792 301 301 0 46370 0 vsize: 186684 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 71388 0 0 0 28800 201 0 0 25 0 1 0 970535767 192303104 38011 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 46949 38011 301 301 0 46648 0 vsize: 187796 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 72273 0 0 0 29796 204 0 0 25 0 1 0 970535767 192696320 38080 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47045 38080 301 301 0 46744 0 vsize: 188180 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 72286 0 0 0 30795 206 0 0 25 0 1 0 970535767 192696320 38093 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47045 38093 301 301 0 46744 0 vsize: 188180 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 72296 0 0 0 31794 207 0 0 25 0 1 0 970535767 192696320 38103 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47045 38103 301 301 0 46744 0 vsize: 188180 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 73181 0 0 0 32792 210 0 0 25 0 1 0 970535767 193089536 38172 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47141 38172 301 301 0 46840 0 vsize: 188564 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 74067 0 0 0 33788 213 0 0 25 0 1 0 970535767 193421312 38242 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47222 38242 301 301 0 46921 0 vsize: 188888 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 74109 0 0 0 34786 215 0 0 25 0 1 0 970535767 193691648 38284 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47288 38284 301 301 0 46987 0 vsize: 189152 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 74937 0 0 0 35784 218 0 0 25 0 1 0 970535767 193691648 38296 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47288 38296 301 301 0 46987 0 vsize: 189152 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 75044 0 0 0 36782 220 0 0 25 0 1 0 970535767 194232320 38403 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47420 38403 301 301 0 47119 0 vsize: 189680 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 75920 0 0 0 37778 224 0 0 25 0 1 0 970535767 194502656 38463 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47486 38463 301 301 0 47185 0 vsize: 189944 [startup+390.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 75929 0 0 0 38777 225 0 0 25 0 1 0 970535767 194502656 38472 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47486 38472 301 301 0 47185 0 vsize: 189944 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 76771 0 0 0 39774 229 0 0 25 0 1 0 970535767 194637824 38498 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47519 38498 301 301 0 47218 0 vsize: 190076 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 76807 0 0 0 40773 229 0 0 25 0 1 0 970535767 194772992 38534 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47552 38534 301 301 0 47251 0 vsize: 190208 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77688 0 0 0 41771 232 0 0 25 0 1 0 970535767 195104768 38599 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47633 38599 301 301 0 47332 0 vsize: 190532 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77690 0 0 0 42769 234 0 0 25 0 1 0 970535767 195104768 38601 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47633 38601 301 301 0 47332 0 vsize: 190532 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77774 0 0 0 43769 235 0 0 25 0 1 0 970535767 195694592 38685 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47777 38685 301 301 0 47476 0 vsize: 191108 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77790 0 0 0 44767 236 0 0 25 0 1 0 970535767 195694592 38701 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47777 38701 301 301 0 47476 0 vsize: 191108 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 78619 0 0 0 45764 240 0 0 25 0 1 0 970535767 195694592 38714 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47777 38714 301 301 0 47476 0 vsize: 191108 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 78635 0 0 0 46763 241 0 0 25 0 1 0 970535767 195694592 38730 4294967295 134512640 135730672 3221224576 3221223088 134745862 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47777 38730 301 301 0 47476 0 vsize: 191108 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25397 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 79547 0 0 0 47760 244 0 0 25 0 1 0 970535767 196263936 38826 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 47916 38826 301 301 0 47615 0 vsize: 191664 [startup+490.021 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 25450 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 79734 0 0 0 48759 245 0 0 25 0 1 0 970535767 197271552 39013 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48162 39013 301 301 0 47861 0 vsize: 192648 [startup+500.021 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 25450 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80655 0 0 0 49757 248 0 0 25 0 1 0 970535767 198008832 39118 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48342 39118 301 301 0 48041 0 vsize: 193368 [startup+510.021 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 25450 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80720 0 0 0 50755 249 0 0 25 0 1 0 970535767 198279168 39183 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48408 39183 301 301 0 48107 0 vsize: 193632 [startup+520.021 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 25450 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80750 0 0 0 51754 251 0 0 25 0 1 0 970535767 198475776 39213 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48456 39213 301 301 0 48155 0 vsize: 193824 [startup+530.022 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 25450 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80799 0 0 0 52753 252 0 0 25 0 1 0 970535767 198672384 39262 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48504 39262 301 301 0 48203 0 vsize: 194016 [startup+540.022 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 25450 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 81788 0 0 0 53749 256 0 0 25 0 1 0 970535767 199483392 39435 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48702 39435 301 301 0 48401 0 vsize: 194808 [startup+550.022 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 25450 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 81871 0 0 0 54748 257 0 0 25 0 1 0 970535767 199950336 39518 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48816 39518 301 301 0 48515 0 vsize: 195264 [startup+560.023 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 82822 0 0 0 55744 261 0 0 25 0 1 0 970535767 200613888 39653 4294967295 134512640 135730672 3221224576 3221223264 134748440 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 48978 39653 301 301 0 48677 0 vsize: 195912 [startup+570.023 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 82894 0 0 0 56743 263 0 0 25 0 1 0 970535767 200880128 39692 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49043 39692 301 301 0 48742 0 vsize: 196172 [startup+580.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 83718 0 0 0 57740 266 0 0 25 0 1 0 970535767 200880128 39700 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49043 39700 301 301 0 48742 0 vsize: 196172 [startup+590.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 83883 0 0 0 58739 266 0 0 25 0 1 0 970535767 201719808 39865 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49248 39865 301 301 0 48947 0 vsize: 196992 [startup+600.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 84726 0 0 0 59736 270 0 0 25 0 1 0 970535767 201854976 39892 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49281 39892 301 301 0 48980 0 vsize: 197124 [startup+610.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 84736 0 0 0 60735 271 0 0 25 0 1 0 970535767 201854976 39902 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49281 39902 301 301 0 48980 0 vsize: 197124 [startup+620.024 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 85607 0 0 0 61731 275 0 0 25 0 1 0 970535767 202125312 39957 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49347 39957 301 301 0 49046 0 vsize: 197388 [startup+630.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 85664 0 0 0 62730 277 0 0 25 0 1 0 970535767 202457088 40014 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49428 40014 301 301 0 49127 0 vsize: 197712 [startup+640.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 86507 0 0 0 63726 280 0 0 25 0 1 0 970535767 202592256 40041 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49461 40041 301 301 0 49160 0 vsize: 197844 [startup+650.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 86515 0 0 0 64725 282 0 0 25 0 1 0 970535767 202592256 40049 4294967295 134512640 135730672 3221224576 3221223240 134748654 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49461 40049 301 301 0 49160 0 vsize: 197844 [startup+660.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 87400 0 0 0 65721 286 0 0 25 0 1 0 970535767 202862592 40118 4294967295 134512640 135730672 3221224576 3221223216 134765753 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49527 40118 301 301 0 49226 0 vsize: 198108 [startup+670.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 87513 0 0 0 66720 287 0 0 25 0 1 0 970535767 203464704 40231 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49674 40231 301 301 0 49373 0 vsize: 198696 [startup+680.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 87657 0 0 0 67719 288 0 0 25 0 1 0 970535767 204324864 40375 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49884 40375 301 301 0 49583 0 vsize: 199536 [startup+690.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 88479 0 0 0 68715 292 0 0 25 0 1 0 970535767 204324864 40381 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49884 40381 301 301 0 49583 0 vsize: 199536 [startup+700.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 88514 0 0 0 69714 293 0 0 25 0 1 0 970535767 204460032 40416 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 49917 40416 301 301 0 49616 0 vsize: 199668 [startup+710.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 89398 0 0 0 70710 297 0 0 25 0 1 0 970535767 204988416 40484 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50046 40484 301 301 0 49745 0 vsize: 200184 [startup+720.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 89527 0 0 0 71709 298 0 0 25 0 1 0 970535767 205524992 40580 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50177 40580 301 301 0 49876 0 vsize: 200708 [startup+730.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 90349 0 0 0 72706 302 0 0 25 0 1 0 970535767 205524992 40586 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50177 40586 301 301 0 49876 0 vsize: 200708 [startup+740.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 90428 0 0 0 73705 303 0 0 25 0 1 0 970535767 205930496 40665 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50276 40665 301 301 0 49975 0 vsize: 201104 [startup+750.026 s] Raw data (loadavg): 1.00 0.99 0.91 3/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 91268 0 0 0 74702 306 0 0 25 0 1 0 970535767 206065664 40689 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50309 40689 301 301 0 50008 0 vsize: 201236 [startup+760.026 s] Raw data (loadavg): 1.00 0.99 0.91 3/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 91351 0 0 0 75701 308 0 0 25 0 1 0 970535767 206471168 40772 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50408 40772 301 301 0 50107 0 vsize: 201632 [startup+770.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 91357 0 0 0 76700 309 0 0 25 0 1 0 970535767 206471168 40778 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50408 40778 301 301 0 50107 0 vsize: 201632 [startup+780.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 92207 0 0 0 77697 311 0 0 25 0 1 0 970535767 206606336 40812 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50441 40812 301 301 0 50140 0 vsize: 201764 [startup+790.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 92241 0 0 0 78697 312 0 0 25 0 1 0 970535767 206741504 40846 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50474 40846 301 301 0 50173 0 vsize: 201896 [startup+800.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 92612 0 0 0 79695 314 0 0 25 0 1 0 970535767 210219008 41218 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51323 41225 301 301 0 51022 0 vsize: 205292 [startup+810.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25452 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 93103 0 0 0 80692 317 0 0 25 0 1 0 970535767 207011840 40892 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50540 40892 301 301 0 50239 0 vsize: 202160 [startup+820.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 93926 0 0 0 81690 320 0 0 25 0 1 0 970535767 210354176 41715 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51356 41715 301 301 0 51055 0 vsize: 205424 [startup+830.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 93987 0 0 0 82688 322 0 0 25 0 1 0 970535767 207282176 40960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50606 40960 301 301 0 50305 0 vsize: 202424 [startup+840.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 94030 0 0 0 83687 323 0 0 25 0 1 0 970535767 207552512 41003 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50672 41003 301 301 0 50371 0 vsize: 202688 [startup+850.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 94850 0 0 0 84683 327 0 0 25 0 1 0 970535767 207552512 41007 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50672 41007 301 301 0 50371 0 vsize: 202688 [startup+860.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 94859 0 0 0 85681 329 0 0 25 0 1 0 970535767 207552512 41016 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50672 41016 301 301 0 50371 0 vsize: 202688 [startup+870.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 95698 0 0 0 86677 333 0 0 25 0 1 0 970535767 211030016 41855 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51521 41855 301 301 0 51220 0 vsize: 206084 [startup+880.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 95705 0 0 0 87676 335 0 0 25 0 1 0 970535767 207687680 41046 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50705 41046 301 301 0 50404 0 vsize: 202820 [startup+890.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 95818 0 0 0 88675 336 0 0 25 0 1 0 970535767 208363520 41159 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50870 41159 301 301 0 50569 0 vsize: 203480 [startup+900.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 96638 0 0 0 89671 340 0 0 25 0 1 0 970535767 208363520 41163 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50870 41163 301 301 0 50569 0 vsize: 203480 [startup+910.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 96663 0 0 0 90670 342 0 0 25 0 1 0 970535767 208498688 41188 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41188 301 301 0 50602 0 vsize: 203612 [startup+920.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 97487 0 0 0 91666 346 0 0 25 0 1 0 970535767 208498688 41196 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41196 301 301 0 50602 0 vsize: 203612 [startup+930.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 97493 0 0 0 92663 348 0 0 25 0 1 0 970535767 208498688 41202 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41202 301 301 0 50602 0 vsize: 203612 [startup+940.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 98317 0 0 0 93662 351 0 0 25 0 1 0 970535767 208498688 41210 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41210 301 301 0 50602 0 vsize: 203612 [startup+950.057 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 98323 0 0 0 94661 352 0 0 25 0 1 0 970535767 208498688 41216 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41216 301 301 0 50602 0 vsize: 203612 [startup+960.058 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99151 0 0 0 95658 356 0 0 25 0 1 0 970535767 208498688 41228 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41228 301 301 0 50602 0 vsize: 203612 [startup+970.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99159 0 0 0 96657 357 0 0 25 0 1 0 970535767 208498688 41236 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41236 301 301 0 50602 0 vsize: 203612 [startup+980.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99978 0 0 0 97653 361 0 0 25 0 1 0 970535767 208498688 41239 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41239 301 301 0 50602 0 vsize: 203612 [startup+990.059 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99986 0 0 0 98650 364 0 0 25 0 1 0 970535767 208498688 41247 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50903 41247 301 301 0 50602 0 vsize: 203612 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 100859 0 0 0 99647 367 0 0 25 0 1 0 970535767 208769024 41304 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 50969 41304 301 301 0 50668 0 vsize: 203876 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 100897 0 0 0 100645 369 0 0 25 0 1 0 970535767 209039360 41342 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51035 41342 301 301 0 50734 0 vsize: 204140 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 100951 0 0 0 101644 371 0 0 25 0 1 0 970535767 209309696 41396 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51101 41396 301 301 0 50800 0 vsize: 204404 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 101772 0 0 0 102640 375 0 0 25 0 1 0 970535767 209309696 41401 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51101 41401 301 301 0 50800 0 vsize: 204404 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 101778 0 0 0 103639 376 0 0 25 0 1 0 970535767 209309696 41407 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51101 41407 301 301 0 50800 0 vsize: 204404 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 102598 0 0 0 104636 379 0 0 25 0 1 0 970535767 209309696 41411 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51101 41411 301 301 0 50800 0 vsize: 204404 [startup+1060.16 s] Raw data (loadavg): 1.00 0.99 0.91 3/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 102604 0 0 0 105645 381 0 0 25 0 1 0 970535767 209309696 41417 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51101 41417 301 301 0 50800 0 vsize: 204404 [startup+1070.16 s] Raw data (loadavg): 1.00 0.99 0.91 3/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 103462 0 0 0 106641 385 0 0 25 0 1 0 970535767 209580032 41459 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51167 41459 301 301 0 50866 0 vsize: 204668 [startup+1080.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 103469 0 0 0 107639 387 0 0 25 0 1 0 970535767 209580032 41466 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51167 41466 301 301 0 50866 0 vsize: 204668 [startup+1090.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 104288 0 0 0 108636 391 0 0 25 0 1 0 970535767 209580032 41469 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51167 41469 301 301 0 50866 0 vsize: 204668 [startup+1100.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 104293 0 0 0 109635 392 0 0 25 0 1 0 970535767 209580032 41474 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51167 41474 301 301 0 50866 0 vsize: 204668 [startup+1110.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 105172 0 0 0 110632 395 0 0 25 0 1 0 970535767 209985536 41537 4294967295 134512640 135730672 3221224576 3221223136 134787645 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51266 41537 301 301 0 50965 0 vsize: 205064 [startup+1120.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 105175 0 0 0 111630 397 0 0 25 0 1 0 970535767 209985536 41540 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51266 41540 301 301 0 50965 0 vsize: 205064 [startup+1130.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 105181 0 0 0 112629 398 0 0 25 0 1 0 970535767 209985536 41546 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51266 41546 301 301 0 50965 0 vsize: 205064 [startup+1140.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106000 0 0 0 113626 401 0 0 25 0 1 0 970535767 209985536 41549 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51266 41549 301 301 0 50965 0 vsize: 205064 [startup+1150.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106028 0 0 0 114626 402 0 0 25 0 1 0 970535767 210120704 41577 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51299 41577 301 301 0 50998 0 vsize: 205196 [startup+1160.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106848 0 0 0 115622 406 0 0 25 0 1 0 970535767 210120704 41581 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51299 41581 301 301 0 50998 0 vsize: 205196 [startup+1170.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106854 0 0 0 116621 407 0 0 25 0 1 0 970535767 210120704 41587 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51299 41587 301 301 0 50998 0 vsize: 205196 [startup+1180.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 107691 0 0 0 117618 410 0 0 25 0 1 0 970535767 213598208 42424 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 52148 42424 301 301 0 51847 0 vsize: 208592 [startup+1190.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 107696 0 0 0 118617 412 0 0 25 0 1 0 970535767 210255872 41613 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51332 41613 301 301 0 51031 0 vsize: 205328 [startup+1200.17 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 25454 Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 107699 0 0 0 119616 413 0 0 25 0 1 0 970535767 210255872 41616 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 51332 41616 301 301 0 51031 0 vsize: 205328 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.28 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 25454 Raw data (stat): 25397 (pb2sat-v2) Z 25396 21152 21151 0 -1 12 107701 0 0 0 119718 421 0 0 25 0 1 0 970535767 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.4 CPU user time (s): 1197.19 CPU system time (s): 4.21336 CPU usage (%): 100.01 Max. virtual memory (Kb): 208592 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####