Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-ran14x18_1.opb |
MD5SUM | d1752d9737bcd79380522c97c646ca71 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10877893 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 7812 |
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 | 1450667950777 |
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 | 1450667950777 |
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 | 1232.2 |
Number of variables | 7812 |
Total number of constraints | 536 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 252 |
Number of constraints which are nor clauses,nor cardinality constraints | 284 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 540 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 12:54:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25839 boxname=wulflinc5 idbench=1139 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: d1752d9737bcd79380522c97c646ca71 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran14x18_1.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran14x18_1.opb IDLAUNCH: 25839 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 736512 kB Buffers: 18904 kB Cached: 256172 kB SwapCached: 664 kB Active: 22408 kB Inactive: 254752 kB HighTotal: 131008 kB HighFree: 10780 kB LowTotal: 903652 kB LowFree: 725732 kB SwapTotal: 2097136 kB SwapFree: 2095532 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15312 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 13:14:59 (client local time) WITH STATUS 0 IN 1200.85 SECONDS stats: 25839 7 1200.85 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 26387/271498 Time: 49.2315/86400 c Decision: 26387/271498 Time: 56.0525/86400 c Decision: 26387/271498 Time: 62.1496/86400 c Decision: 26387/271498 Time: 67.9737/86400 c Decision: 26387/271498 Time: 73.0629/86400 c Decision: 26387/271498 Time: 78.958/86400 c Decision: 26387/271498 Time: 83.9822/86400 c Decision: 26387/271498 Time: 90.5212/86400 c Decision: 26387/271498 Time: 95.9664/86400 c Decision: 26387/271498 Time: 101.201/86400 c Decision: 26387/271498 Time: 108.076/86400 c Decision: 26387/271498 Time: 113.633/86400 c Decision: 26387/271498 Time: 119.499/86400 c Decision: 26387/271498 Time: 124.819/86400 c Decision: 26387/271498 Time: 130.784/86400 c Decision: 26387/271498 Time: 136.889/86400 c Decision: 26387/271498 Time: 142.134/86400 c Decision: 26387/271498 Time: 147.468/86400 c Decision: 26387/271498 Time: 153.382/86400 c Decision: 26387/271498 Time: 159.516/86400 c Decision: 26387/271498 Time: 165.4/86400 c Decision: 26387/271498 Time: 170.873/86400 c Decision: 26387/271498 Time: 175.905/86400 c Decision: 26387/271498 Time: 181.783/86400 c Decision: 26387/271498 Time: 186.511/86400 c Decision: 26387/271498 Time: 193.528/86400 c Decision: 26387/271498 Time: 199.208/86400 c Decision: 26387/271498 Time: 203.733/86400 c Decision: 26387/271498 Time: 209.498/86400 c Decision: 26387/271498 Time: 215.361/86400 c Decision: 26387/271498 Time: 222.492/86400 c Decision: 26387/271498 Time: 227.611/86400 c Decision: 26387/271498 Time: 233.258/86400 c Decision: 26387/271498 Time: 238.899/86400 c Decision: 26387/271498 Time: 244.905/86400 c Decision: 26387/271498 Time: 251.58/86400 c Decision: 26387/271498 Time: 257.504/86400 c Decision: 26387/271498 Time: 263.322/86400 c Decision: 26387/271498 Time: 269.127/86400 c Decision: 26387/271498 Time: 275.203/86400 c Decision: 26387/271498 Time: 282.037/86400 c Decision: 26387/271498 Time: 288.053/86400 c Decision: 26387/271498 Time: 293.456/86400 c Decision: 26387/271498 Time: 298.375/86400 c Decision: 26387/271498 Time: 304.462/86400 c Decision: 26387/271498 Time: 311.602/86400 c Decision: 26387/271498 Time: 317.346/86400 c Decision: 26387/271498 Time: 323.418/86400 c Decision: 26387/271498 Time: 329.738/86400 c Decision: 26387/271498 Time: 335.725/86400 c Decision: 26387/271498 Time: 343.059/86400 c Decision: 26387/271498 Time: 349.056/86400 c Decision: 26387/271498 Time: 354.723/86400 c Decision: 26387/271498 Time: 360.714/86400 c Decision: 26387/271498 Time: 366.096/86400 c Decision: 26387/271498 Time: 373.147/86400 c Decision: 26387/271498 Time: 378.752/86400 c Decision: 26387/271498 Time: 384.231/86400 c Decision: 26387/271498 Time: 390.153/86400 c Decision: 26387/271498 Time: 396.507/86400 c Decision: 26387/271498 Time: 403.234/86400 c Decision: 26387/271498 Time: 409.625/86400 c Decision: 26387/271498 Time: 416.123/86400 c Decision: 26387/271498 Time: 421.19/86400 c Decision: 26387/271498 Time: 427.993/86400 c Decision: 26387/271498 Time: 434.764/86400 c Decision: 26387/271498 Time: 440.458/86400 c Decision: 26387/271498 Time: 446.253/86400 c Decision: 26387/271498 Time: 452.12/86400 c Decision: 26387/271498 Time: 458.216/86400 c Decision: 26387/271498 Time: 464.721/86400 c Decision: 26387/271498 Time: 470.91/86400 c Decision: 26387/271498 Time: 476.781/86400 c Decision: 26387/271498 Time: 482.666/86400 c Decision: 26387/271498 Time: 488.578/86400 c Decision: 26387/271498 Time: 494.349/86400 c Decision: 26387/271498 Time: 500.098/86400 c Decision: 26387/271498 Time: 506.542/86400 c Decision: 26387/271498 Time: 512.68/86400 c Decision: 26387/271498 Time: 517.908/86400 c Decision: 26387/271498 Time: 524.553/86400 c Decision: 26387/271498 Time: 530.67/86400 c Decision: 26387/271498 Time: 537.046/86400 c Decision: 26387/271498 Time: 542.938/86400 c Decision: 26387/271498 Time: 548.162/86400 c Decision: 26387/271498 Time: 555.401/86400 c Decision: 26387/271498 Time: 561.907/86400 c Decision: 26387/271498 Time: 567.789/86400 c Decision: 26387/271498 Time: 573.61/86400 c Decision: 26387/271498 Time: 580.382/86400 c Decision: 26387/271498 Time: 588.1/86400 c Decision: 26387/271498 Time: 594.701/86400 c Decision: 26387/271498 Time: 600.453/86400 c Decision: 26387/271498 Time: 607.129/86400 c Decision: 26387/271498 Time: 612.626/86400 c Decision: 26387/271498 Time: 619.971/86400 c Decision: 26387/271498 Time: 625.16/86400 c Decision: 26387/271498 Time: 631.036/86400 c Decision: 26387/271498 Time: 636.98/86400 c Decision: 26387/271498 Time: 643.383/86400 c Decision: 26387/271498 Time: 650.556/86400 c Decision: 26387/271498 Time: 657.146/86400 c Decision: 26387/271498 Time: 664.245/86400 c Decision: 26387/271498 Time: 669.931/86400 c Decision: 26387/271498 Time: 676.15/86400 c Decision: 26387/271498 Time: 684.043/86400 c Decision: 26387/271498 Time: 690.086/86400 c Decision: 26387/271498 Time: 696.893/86400 c Decision: 26387/271498 Time: 703.017/86400 c Decision: 26387/271498 Time: 709.579/86400 c Decision: 26387/271498 Time: 717.289/86400 c Decision: 26387/271498 Time: 723.579/86400 c Decision: 26387/271498 Time: 729.736/86400 c Decision: 26387/271498 Time: 735.829/86400 c Decision: 26387/271498 Time: 742.526/86400 c Decision: 26387/271498 Time: 749.512/86400 c Decision: 26387/271498 Time: 756.371/86400 c Decision: 26387/271498 Time: 762.54/86400 c Decision: 26387/271498 Time: 769.217/86400 c Decision: 26387/271498 Time: 775.901/86400 c Decision: 26387/271498 Time: 783.38/86400 c Decision: 26387/271498 Time: 789.604/86400 c Decision: 26387/271498 Time: 795.589/86400 c Decision: 26387/271498 Time: 802.137/86400 c Decision: 26387/271498 Time: 808.063/86400 c Decision: 26387/271498 Time: 816.192/86400 c Decision: 26387/271498 Time: 823.575/86400 c Decision: 26387/271498 Time: 829.977/86400 c Decision: 26387/271498 Time: 836.581/86400 c Decision: 26387/271498 Time: 843.433/86400 c Decision: 26387/271498 Time: 851.307/86400 c Decision: 26387/271498 Time: 858.062/86400 c Decision: 26387/271498 Time: 865.036/86400 c Decision: 26387/271498 Time: 872.61/86400 c Decision: 26387/271498 Time: 879.036/86400 c Decision: 26387/271498 Time: 887.012/86400 c Decision: 26387/271498 Time: 893.307/86400 c Decision: 26387/271498 Time: 899.724/86400 c Decision: 26387/271498 Time: 907.207/86400 c Decision: 26387/271498 Time: 914.665/86400 c Decision: 26387/271498 Time: 922.584/86400 c Decision: 26387/271498 Time: 929.106/86400 c Decision: 26387/271498 Time: 936.623/86400 c Decision: 26387/271498 Time: 944.678/86400 c Decision: 26387/271498 Time: 951.686/86400 c Decision: 26387/271498 Time: 959.462/86400 c Decision: 26387/271498 Time: 966.253/86400 c Decision: 26387/271498 Time: 973.958/86400 c Decision: 26387/271498 Time: 980.885/86400 c Decision: 26387/271498 Time: 987.271/86400 c Decision: 26387/271498 Time: 994.135/86400 c Decision: 26387/271498 Time: 1000.16/86400 c Decision: 26387/271498 Time: 1006.42/86400 c Decision: 26387/271498 Time: 1013.9/86400 c Decision: 26387/271498 Time: 1021.48/86400 c Decision: 26387/271498 Time: 1029.97/86400 c Decision: 26387/271498 Time: 1036.81/86400 c Decision: 26387/271498 Time: 1043.23/86400 c Decision: 26387/271498 Time: 1049.7/86400 c Decision: 26387/271498 Time: 1057.23/86400 c Decision: 26387/271498 Time: 1065.52/86400 c Decision: 26387/271498 Time: 1072.92/86400 c Decision: 26387/271498 Time: 1079.05/86400 c Decision: 26387/271498 Time: 1087.07/86400 c Decision: 26387/271498 Time: 1095.37/86400 c Decision: 26387/271498 Time: 1104.09/86400 c Decision: 26387/271498 Time: 1111.29/86400 c Decision: 26387/271498 Time: 1119.21/86400 c Decision: 26387/271498 Time: 1126.83/86400 c Decision: 26387/271498 Time: 1134.22/86400 c Decision: 26387/271498 Time: 1143.2/86400 c Decision: 26387/271498 Time: 1150.69/86400 c Decision: 26387/271498 Time: 1158.77/86400 c Decision: 26387/271498 Time: 1166.35/86400 c Decision: 26387/271498 Time: 1173.38/86400 c Decision: 26387/271498 Time: 1181.68/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.90 0.94 0.90 1/54 14540 Raw data (stat): 14540 (runsolver) R 14539 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970923688 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.0006 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 25547 0 0 0 938 61 0 0 25 0 1 0 970923688 77258752 14651 4294967295 134512640 135730672 3221224576 3221036192 134609998 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 18862 14651 301 301 0 18561 0 vsize: 75448 [startup+20.0013 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 37583 0 0 0 1912 87 0 0 25 0 1 0 970923688 109817856 21485 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 26811 21485 301 301 0 26510 0 vsize: 107244 [startup+30.0025 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 38118 0 0 0 2910 89 0 0 25 0 1 0 970923688 111927296 22020 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27326 22020 301 301 0 27025 0 vsize: 109304 [startup+40.0027 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 38273 0 0 0 3906 93 0 0 25 0 1 0 970923688 112566272 22175 4294967295 134512640 135730672 3221224576 3221223184 134744671 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27482 22175 301 301 0 27181 0 vsize: 109928 [startup+50.0026 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 38747 0 0 0 4903 96 0 0 25 0 1 0 970923688 114569216 22649 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 27971 22649 301 301 0 27670 0 vsize: 111884 [startup+60.0037 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 38890 0 0 0 5900 98 0 0 25 0 1 0 970923688 115142656 22792 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28111 22792 301 301 0 27810 0 vsize: 112444 [startup+70.0041 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 40051 0 0 0 6895 103 0 0 25 0 1 0 970923688 115437568 22891 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28183 22891 301 301 0 27882 0 vsize: 112732 [startup+80.0048 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 40662 0 0 0 7891 108 0 0 25 0 1 0 970923688 115732480 22971 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28255 22971 301 301 0 27954 0 vsize: 113020 [startup+90.0049 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 41775 0 0 0 8885 113 0 0 25 0 1 0 970923688 115879936 23022 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28291 23022 301 301 0 27990 0 vsize: 113164 [startup+100.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 42851 0 0 0 9881 118 0 0 25 0 1 0 970923688 115879936 23036 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28291 23036 301 301 0 27990 0 vsize: 113164 [startup+110.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 43971 0 0 0 10876 123 0 0 25 0 1 0 970923688 116174848 23094 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28363 23094 301 301 0 28062 0 vsize: 113452 [startup+120.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 44528 0 0 0 11871 127 0 0 25 0 1 0 970923688 116174848 23120 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28363 23120 301 301 0 28062 0 vsize: 113452 [startup+130.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 45622 0 0 0 12866 133 0 0 25 0 1 0 970923688 116174848 23152 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28363 23152 301 301 0 28062 0 vsize: 113452 [startup+140.006 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 46712 0 0 0 13861 138 0 0 25 0 1 0 970923688 116322304 23180 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28399 23180 301 301 0 28098 0 vsize: 113596 [startup+150.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 47823 0 0 0 14856 143 0 0 25 0 1 0 970923688 116322304 23229 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28399 23229 301 301 0 28098 0 vsize: 113596 [startup+160.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 48373 0 0 0 15852 147 0 0 25 0 1 0 970923688 116322304 23248 4294967295 134512640 135730672 3221224576 3221223088 134746520 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28399 23248 301 301 0 28098 0 vsize: 113596 [startup+170.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 49459 0 0 0 16848 152 0 0 25 0 1 0 970923688 116469760 23272 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28435 23272 301 301 0 28134 0 vsize: 113740 [startup+180.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 50011 0 0 0 17844 156 0 0 25 0 1 0 970923688 116469760 23293 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28435 23293 301 301 0 28134 0 vsize: 113740 [startup+190.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 51137 0 0 0 18839 160 0 0 25 0 1 0 970923688 116633600 23357 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28475 23357 301 301 0 28174 0 vsize: 113900 [startup+200.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 51689 0 0 0 19834 165 0 0 25 0 1 0 970923688 116633600 23378 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28475 23378 301 301 0 28174 0 vsize: 113900 [startup+210.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 51739 0 0 0 20831 168 0 0 25 0 1 0 970923688 116920320 23428 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28545 23428 301 301 0 28244 0 vsize: 114180 [startup+220.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 52297 0 0 0 21827 172 0 0 25 0 1 0 970923688 116920320 23455 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28545 23455 301 301 0 28244 0 vsize: 114180 [startup+230.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 53378 0 0 0 22822 177 0 0 25 0 1 0 970923688 116920320 23474 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28545 23474 301 301 0 28244 0 vsize: 114180 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 53933 0 0 0 23819 180 0 0 25 0 1 0 970923688 116920320 23498 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28545 23498 301 301 0 28244 0 vsize: 114180 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 55025 0 0 0 24813 186 0 0 25 0 1 0 970923688 116920320 23528 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28545 23528 301 301 0 28244 0 vsize: 114180 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 56134 0 0 0 25808 191 0 0 25 0 1 0 970923688 117051392 23575 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28577 23575 301 301 0 28276 0 vsize: 114308 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 56723 0 0 0 26805 194 0 0 25 0 1 0 970923688 117235712 23633 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28622 23633 301 301 0 28321 0 vsize: 114488 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 57803 0 0 0 27800 200 0 0 25 0 1 0 970923688 117235712 23651 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28622 23651 301 301 0 28321 0 vsize: 114488 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 58889 0 0 0 28794 206 0 0 25 0 1 0 970923688 117366784 23675 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28654 23675 301 301 0 28353 0 vsize: 114616 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14540 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 59439 0 0 0 29790 209 0 0 25 0 1 0 970923688 117366784 23694 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 28654 23694 301 301 0 28353 0 vsize: 114616 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 3/57 14576 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 60524 0 0 0 30784 215 0 0 25 0 1 0 970923688 117366784 23717 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28654 23717 301 301 0 28353 0 vsize: 114616 [startup+320.014 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 14593 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 61087 0 0 0 31781 218 0 0 25 0 1 0 970923688 117501952 23749 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28687 23749 301 301 0 28386 0 vsize: 114748 [startup+330.015 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 14593 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 61644 0 0 0 32778 221 0 0 25 0 1 0 970923688 117501952 23775 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28687 23775 301 301 0 28386 0 vsize: 114748 [startup+340.015 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 14593 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 62734 0 0 0 33773 227 0 0 25 0 1 0 970923688 117501952 23803 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28687 23803 301 301 0 28386 0 vsize: 114748 [startup+350.015 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 14593 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 63826 0 0 0 34767 232 0 0 25 0 1 0 970923688 117637120 23833 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 28720 23833 301 301 0 28419 0 vsize: 114880 [startup+360.016 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 14593 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 70527 0 0 0 35751 249 0 0 25 0 1 0 970923688 142802944 23858 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34864 23858 301 301 0 34563 0 vsize: 139456 [startup+370.015 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 14593 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 71617 0 0 0 36745 255 0 0 25 0 1 0 970923688 142802944 23886 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34864 23886 301 301 0 34563 0 vsize: 139456 [startup+380.016 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 72711 0 0 0 37740 260 0 0 25 0 1 0 970923688 142954496 23918 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34901 23918 301 301 0 34600 0 vsize: 139604 [startup+390.018 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 73277 0 0 0 38736 264 0 0 25 0 1 0 970923688 142954496 23953 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34901 23953 301 301 0 34600 0 vsize: 139604 [startup+400.017 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 74374 0 0 0 39730 270 0 0 25 0 1 0 970923688 143085568 23988 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34933 23988 301 301 0 34632 0 vsize: 139732 [startup+410.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 75465 0 0 0 40725 275 0 0 25 0 1 0 970923688 143085568 24017 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 34933 24017 301 301 0 34632 0 vsize: 139732 [startup+420.017 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 76052 0 0 0 41722 279 0 0 25 0 1 0 970923688 143364096 24073 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35001 24073 301 301 0 34700 0 vsize: 140004 [startup+430.017 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 77142 0 0 0 42717 284 0 0 25 0 1 0 970923688 143364096 24101 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35001 24101 301 301 0 34700 0 vsize: 140004 [startup+440.017 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 77163 0 0 0 43713 288 0 0 25 0 1 0 970923688 143364096 24122 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35001 24122 301 301 0 34700 0 vsize: 140004 [startup+450.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 78241 0 0 0 44707 294 0 0 25 0 1 0 970923688 143495168 24138 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35033 24138 301 301 0 34732 0 vsize: 140132 [startup+460.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 79334 0 0 0 45702 300 0 0 25 0 1 0 970923688 143495168 24169 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35033 24169 301 301 0 34732 0 vsize: 140132 [startup+470.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 79895 0 0 0 46699 303 0 0 25 0 1 0 970923688 143495168 24199 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35033 24199 301 301 0 34732 0 vsize: 140132 [startup+480.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 80988 0 0 0 47694 308 0 0 25 0 1 0 970923688 143626240 24230 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35065 24230 301 301 0 34764 0 vsize: 140260 [startup+490.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 82076 0 0 0 48688 314 0 0 25 0 1 0 970923688 145801216 24787 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35596 24787 301 301 0 35295 0 vsize: 142384 [startup+500.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 82642 0 0 0 49684 318 0 0 25 0 1 0 970923688 143757312 24291 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35097 24291 301 301 0 34796 0 vsize: 140388 [startup+510.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 83735 0 0 0 50680 323 0 0 25 0 1 0 970923688 143757312 24322 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35097 24322 301 301 0 34796 0 vsize: 140388 [startup+520.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 84837 0 0 0 51675 328 0 0 25 0 1 0 970923688 143912960 24362 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35135 24362 301 301 0 34834 0 vsize: 140540 [startup+530.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 85401 0 0 0 52671 332 0 0 25 0 1 0 970923688 143912960 24395 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35135 24395 301 301 0 34834 0 vsize: 140540 [startup+540.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 86489 0 0 0 53667 336 0 0 25 0 1 0 970923688 143912960 24421 4294967295 134512640 135730672 3221224576 3221223264 134748475 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35135 24421 301 301 0 34834 0 vsize: 140540 [startup+550.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 87581 0 0 0 54663 341 0 0 25 0 1 0 970923688 146223104 24982 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35699 24982 301 301 0 35398 0 vsize: 142796 [startup+560.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 88146 0 0 0 55659 345 0 0 25 0 1 0 970923688 144048128 24485 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35168 24485 301 301 0 34867 0 vsize: 140672 [startup+570.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 89231 0 0 0 56655 349 0 0 25 0 1 0 970923688 144048128 24508 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35168 24508 301 301 0 34867 0 vsize: 140672 [startup+580.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 89789 0 0 0 57650 354 0 0 25 0 1 0 970923688 144179200 24535 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35200 24535 301 301 0 34899 0 vsize: 140800 [startup+590.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 90889 0 0 0 58645 359 0 0 25 0 1 0 970923688 144179200 24573 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35200 24573 301 301 0 34899 0 vsize: 140800 [startup+600.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 91451 0 0 0 59641 363 0 0 25 0 1 0 970923688 144314368 24604 4294967295 134512640 135730672 3221224576 3221222992 134741561 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35233 24604 301 301 0 34932 0 vsize: 140932 [startup+610.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 92537 0 0 0 60637 367 0 0 25 0 1 0 970923688 144314368 24628 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35233 24628 301 301 0 34932 0 vsize: 140932 [startup+620.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 93628 0 0 0 61632 372 0 0 25 0 1 0 970923688 146489344 25188 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 35764 25188 301 301 0 35463 0 vsize: 143056 [startup+630.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 94199 0 0 0 62628 377 0 0 25 0 1 0 970923688 161222656 24697 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39361 24697 301 301 0 39060 0 vsize: 157444 [startup+640.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14595 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 94757 0 0 0 63625 380 0 0 25 0 1 0 970923688 161222656 24724 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39361 24724 301 301 0 39060 0 vsize: 157444 [startup+650.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 95852 0 0 0 64621 385 0 0 25 0 1 0 970923688 163532800 25288 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39925 25288 301 301 0 39624 0 vsize: 159700 [startup+660.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 96418 0 0 0 65617 388 0 0 25 0 1 0 970923688 161357824 24792 4294967295 134512640 135730672 3221224576 3221223184 134744724 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39394 24792 301 301 0 39093 0 vsize: 157576 [startup+670.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 97504 0 0 0 66612 393 0 0 25 0 1 0 970923688 163532800 25347 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39925 25347 301 301 0 39624 0 vsize: 159700 [startup+680.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 98059 0 0 0 67609 397 0 0 25 0 1 0 970923688 161488896 24840 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39426 24840 301 301 0 39125 0 vsize: 157704 [startup+690.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 98615 0 0 0 68605 401 0 0 25 0 1 0 970923688 161488896 24865 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39426 24865 301 301 0 39125 0 vsize: 157704 [startup+700.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 99163 0 0 0 69601 405 0 0 25 0 1 0 970923688 161488896 24882 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39426 24882 301 301 0 39125 0 vsize: 157704 [startup+710.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 100255 0 0 0 70597 410 0 0 25 0 1 0 970923688 163663872 25443 4294967295 134512640 135730672 3221224576 3221222736 134769174 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39957 25443 301 301 0 39656 0 vsize: 159828 [startup+720.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 100817 0 0 0 71592 414 0 0 25 0 1 0 970923688 161624064 24943 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39459 24943 301 301 0 39158 0 vsize: 157836 [startup+730.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 101376 0 0 0 72589 418 0 0 25 0 1 0 970923688 161624064 24971 4294967295 134512640 135730672 3221224576 3221223116 135301642 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39459 24971 301 301 0 39158 0 vsize: 157836 [startup+740.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 101932 0 0 0 73584 424 0 0 25 0 1 0 970923688 161624064 24996 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39459 24996 301 301 0 39158 0 vsize: 157836 [startup+750.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 103021 0 0 0 74579 428 0 0 25 0 1 0 970923688 161755136 25023 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39491 25023 301 301 0 39190 0 vsize: 157964 [startup+760.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 103589 0 0 0 75575 432 0 0 25 0 1 0 970923688 161755136 25060 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39491 25060 301 301 0 39190 0 vsize: 157964 [startup+770.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 104672 0 0 0 76571 436 0 0 25 0 1 0 970923688 161890304 25081 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39524 25081 301 301 0 39223 0 vsize: 158096 [startup+780.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 105240 0 0 0 77568 439 0 0 25 0 1 0 970923688 161890304 25118 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39524 25118 301 301 0 39223 0 vsize: 158096 [startup+790.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 106326 0 0 0 78565 443 0 0 25 0 1 0 970923688 162021376 25142 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39556 25142 301 301 0 39255 0 vsize: 158224 [startup+800.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 106882 0 0 0 79562 447 0 0 25 0 1 0 970923688 162021376 25167 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39556 25167 301 301 0 39255 0 vsize: 158224 [startup+810.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 107439 0 0 0 80558 451 0 0 25 0 1 0 970923688 162021376 25193 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39556 25193 301 301 0 39255 0 vsize: 158224 [startup+820.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 108005 0 0 0 81553 455 0 0 25 0 1 0 970923688 162156544 25228 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39589 25228 301 301 0 39288 0 vsize: 158356 [startup+830.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 109089 0 0 0 82549 460 0 0 25 0 1 0 970923688 162156544 25250 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39589 25250 301 301 0 39288 0 vsize: 158356 [startup+840.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 109645 0 0 0 83546 463 0 0 25 0 1 0 970923688 162156544 25275 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39589 25275 301 301 0 39288 0 vsize: 158356 [startup+850.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 110735 0 0 0 84541 468 0 0 25 0 1 0 970923688 162291712 25303 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39622 25303 301 301 0 39321 0 vsize: 158488 [startup+860.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 111297 0 0 0 85538 471 0 0 25 0 1 0 970923688 162291712 25334 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39622 25334 301 301 0 39321 0 vsize: 158488 [startup+870.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 111848 0 0 0 86534 475 0 0 25 0 1 0 970923688 162291712 25354 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39622 25354 301 301 0 39321 0 vsize: 158488 [startup+880.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 112938 0 0 0 87530 480 0 0 25 0 1 0 970923688 162291712 25382 4294967295 134512640 135730672 3221224576 3221223184 134744838 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39622 25382 301 301 0 39321 0 vsize: 158488 [startup+890.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 113492 0 0 0 88526 484 0 0 25 0 1 0 970923688 162426880 25405 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39655 25405 301 301 0 39354 0 vsize: 158620 [startup+900.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 114044 0 0 0 89523 488 0 0 25 0 1 0 970923688 162426880 25426 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39655 25426 301 301 0 39354 0 vsize: 158620 [startup+910.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 114604 0 0 0 90519 491 0 0 25 0 1 0 970923688 162426880 25455 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39655 25455 301 301 0 39354 0 vsize: 158620 [startup+920.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 115705 0 0 0 91515 495 0 0 25 0 1 0 970923688 164737024 26025 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40219 26025 301 301 0 39918 0 vsize: 160876 [startup+930.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 116260 0 0 0 92512 499 0 0 25 0 1 0 970923688 162562048 25518 4294967295 134512640 135730672 3221224576 3221223056 134748058 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39688 25518 301 301 0 39387 0 vsize: 158752 [startup+940.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 116814 0 0 0 93508 503 0 0 25 0 1 0 970923688 162701312 25541 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39722 25541 301 301 0 39421 0 vsize: 158888 [startup+950.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 117368 0 0 0 94505 506 0 0 25 0 1 0 970923688 162701312 25564 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39722 25564 301 301 0 39421 0 vsize: 158888 [startup+960.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 117927 0 0 0 95502 510 0 0 25 0 1 0 970923688 162701312 25592 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39722 25592 301 301 0 39421 0 vsize: 158888 [startup+970.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 118488 0 0 0 96499 513 0 0 25 0 1 0 970923688 162836480 25622 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39755 25622 301 301 0 39454 0 vsize: 159020 [startup+980.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 119563 0 0 0 97495 517 0 0 25 0 1 0 970923688 162836480 25635 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39755 25635 301 301 0 39454 0 vsize: 159020 [startup+990.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 120116 0 0 0 98492 520 0 0 25 0 1 0 970923688 162836480 25657 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39755 25657 301 301 0 39454 0 vsize: 159020 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 120780 0 0 0 99488 524 0 0 25 0 1 0 970923688 165011456 25790 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40286 25798 301 301 0 39985 0 vsize: 161144 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 121763 0 0 0 100484 529 0 0 25 0 1 0 970923688 162967552 25711 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39787 25711 301 301 0 39486 0 vsize: 159148 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 122849 0 0 0 101479 534 0 0 25 0 1 0 970923688 162967552 25735 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39787 25735 301 301 0 39486 0 vsize: 159148 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 123406 0 0 0 102476 537 0 0 25 0 1 0 970923688 162967552 25761 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39787 25761 301 301 0 39486 0 vsize: 159148 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 123967 0 0 0 103472 541 0 0 25 0 1 0 970923688 163098624 25791 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39819 25791 301 301 0 39518 0 vsize: 159276 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 125047 0 0 0 104468 545 0 0 25 0 1 0 970923688 165273600 26340 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40350 26340 301 301 0 40049 0 vsize: 161400 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 125613 0 0 0 105464 550 0 0 25 0 1 0 970923688 163098624 25844 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39819 25844 301 301 0 39518 0 vsize: 159276 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 126711 0 0 0 106460 554 0 0 25 0 1 0 970923688 165416960 26411 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40385 26411 301 301 0 40084 0 vsize: 161540 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 127261 0 0 0 107456 558 0 0 25 0 1 0 970923688 163241984 25899 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39854 25899 301 301 0 39553 0 vsize: 159416 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 127812 0 0 0 108452 562 0 0 25 0 1 0 970923688 163241984 25919 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39854 25919 301 301 0 39553 0 vsize: 159416 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 128374 0 0 0 109450 565 0 0 25 0 1 0 970923688 165548032 26481 4294967295 134512640 135730672 3221224576 3221222752 134768862 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40417 26481 301 301 0 40116 0 vsize: 161668 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 128923 0 0 0 110446 569 0 0 25 0 1 0 970923688 163373056 25968 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39886 25968 301 301 0 39585 0 vsize: 159544 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 129478 0 0 0 111443 572 0 0 25 0 1 0 970923688 163373056 25992 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39886 25992 301 301 0 39585 0 vsize: 159544 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 130037 0 0 0 112440 575 0 0 25 0 1 0 970923688 163508224 26020 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39919 26020 301 301 0 39618 0 vsize: 159676 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 131129 0 0 0 113436 579 0 0 25 0 1 0 970923688 165683200 26581 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 40450 26581 301 301 0 40149 0 vsize: 161800 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 131692 0 0 0 114432 583 0 0 25 0 1 0 970923688 163508224 26082 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39919 26082 301 301 0 39618 0 vsize: 159676 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 132240 0 0 0 115429 586 0 0 25 0 1 0 970923688 163643392 26099 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39952 26099 301 301 0 39651 0 vsize: 159808 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 132798 0 0 0 116425 590 0 0 25 0 1 0 970923688 163643392 26126 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39952 26126 301 301 0 39651 0 vsize: 159808 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 133880 0 0 0 117420 595 0 0 25 0 1 0 970923688 163643392 26146 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39952 26146 301 301 0 39651 0 vsize: 159808 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 134443 0 0 0 118417 599 0 0 25 0 1 0 970923688 163794944 26178 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39989 26178 301 301 0 39688 0 vsize: 159956 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14597 Raw data (stat): 14540 (pb2sat-v2) R 14539 7266 7265 0 -1 0 134994 0 0 0 119413 603 0 0 25 0 1 0 970923688 163794944 26198 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 39989 26198 301 301 0 39688 0 vsize: 159956 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.73 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 14597 Raw data (stat): 14540 (pb2sat-v2) Z 14539 7266 7265 0 -1 12 134996 0 0 0 119477 608 0 0 25 0 1 0 970923688 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 0 Real time (s): 1200.73 CPU time (s): 1200.85 CPU user time (s): 1194.77 CPU system time (s): 6.08308 CPU usage (%): 100.01 Max. virtual memory (Kb): 161800 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####