Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb |
MD5SUM | ff0017de67077abd1f68238274b64e50 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1695644 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5376 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1517603678 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1517603678 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.03 |
Number of variables | 5376 |
Total number of constraints | 296 |
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 | 296 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 640 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 19:56:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26190 boxname=wulflinc5 idbench=1490 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ff0017de67077abd1f68238274b64e50 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran8x32.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran8x32.opb IDLAUNCH: 26190 /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: 680108 kB Buffers: 27820 kB Cached: 304040 kB SwapCached: 660 kB Active: 29964 kB Inactive: 303956 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 679828 kB SwapTotal: 2097136 kB SwapFree: 2095536 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15108 kB Committed_AS: 63712 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 20:16:23 (client local time) WITH STATUS 0 IN 1200.89 SECONDS stats: 26190 7 1200.89 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 16587/243375 Time: 69.1355/86400 c Decision: 16587/243375 Time: 79.9288/86400 c Decision: 16587/243375 Time: 89.3994/86400 c Decision: 16587/243375 Time: 98.2031/86400 c Decision: 16587/243375 Time: 106.05/86400 c Decision: 16587/243375 Time: 116.822/86400 c Decision: 16587/243375 Time: 126.176/86400 c Decision: 16587/243375 Time: 135.478/86400 c Decision: 16587/243375 Time: 143.785/86400 c Decision: 16587/243375 Time: 152.529/86400 c Decision: 16587/243375 Time: 163.357/86400 c Decision: 16587/243375 Time: 171.755/86400 c Decision: 16587/243375 Time: 177.516/86400 c Decision: 16587/243375 Time: 186.619/86400 c Decision: 16587/243375 Time: 195.85/86400 c Decision: 16587/243375 Time: 204.945/86400 c Decision: 16587/243375 Time: 213.201/86400 c Decision: 16587/243375 Time: 221.171/86400 c Decision: 16587/243375 Time: 230.768/86400 c Decision: 16587/243375 Time: 237.888/86400 c Decision: 16587/243375 Time: 246.535/86400 c Decision: 16587/243375 Time: 254.562/86400 c Decision: 16587/243375 Time: 262.381/86400 c Decision: 16587/243375 Time: 270.846/86400 c Decision: 16587/243375 Time: 278.71/86400 c Decision: 16587/243375 Time: 288.394/86400 c Decision: 16587/243375 Time: 296.302/86400 c Decision: 16587/243375 Time: 305.005/86400 c Decision: 16587/243375 Time: 313.773/86400 c Decision: 16587/243375 Time: 322.198/86400 c Decision: 16587/243375 Time: 330.194/86400 c Decision: 16587/243375 Time: 337.484/86400 c Decision: 16587/243375 Time: 345.244/86400 c Decision: 16587/243375 Time: 353.713/86400 c Decision: 16587/243375 Time: 361.413/86400 c Decision: 16587/243375 Time: 371.39/86400 c Decision: 16587/243375 Time: 378.734/86400 c Decision: 16587/243375 Time: 386.01/86400 c Decision: 16587/243375 Time: 393.291/86400 c Decision: 16587/243375 Time: 401.447/86400 c Decision: 16587/243375 Time: 409.685/86400 c Decision: 16587/243375 Time: 416.266/86400 c Decision: 16587/243375 Time: 425.224/86400 c Decision: 16587/243375 Time: 430.913/86400 c Decision: 16587/243375 Time: 438.771/86400 c Decision: 16587/243375 Time: 447.473/86400 c Decision: 16587/243375 Time: 455.44/86400 c Decision: 16587/243375 Time: 460.452/86400 c Decision: 16587/243375 Time: 468.662/86400 c Decision: 16587/243375 Time: 476.977/86400 c Decision: 16587/243375 Time: 486.461/86400 c Decision: 16587/243375 Time: 495.225/86400 c Decision: 16587/243375 Time: 504.563/86400 c Decision: 16587/243375 Time: 514.001/86400 c Decision: 16587/243375 Time: 522.274/86400 c Decision: 16587/243375 Time: 531.065/86400 c Decision: 16587/243375 Time: 539.224/86400 c Decision: 16587/243375 Time: 548.269/86400 c Decision: 16587/243375 Time: 557.489/86400 c Decision: 16587/243375 Time: 566.644/86400 c Decision: 16587/243375 Time: 575.802/86400 c Decision: 16587/243375 Time: 583.85/86400 c Decision: 16587/243375 Time: 591.303/86400 c Decision: 16587/243375 Time: 599.899/86400 c Decision: 16587/243375 Time: 608.08/86400 c Decision: 16587/243375 Time: 618.121/86400 c Decision: 16587/243375 Time: 627.923/86400 c Decision: 16587/243375 Time: 636.748/86400 c Decision: 16587/243375 Time: 644.336/86400 c Decision: 16587/243375 Time: 653.758/86400 c Decision: 16587/243375 Time: 663.243/86400 c Decision: 16587/243375 Time: 671.584/86400 c Decision: 16587/243375 Time: 680.044/86400 c Decision: 16587/243375 Time: 688.76/86400 c Decision: 16587/243375 Time: 699.025/86400 c Decision: 16587/243375 Time: 709.182/86400 c Decision: 16587/243375 Time: 717.911/86400 c Decision: 16587/243375 Time: 726.706/86400 c Decision: 16587/243375 Time: 735.027/86400 c Decision: 16587/243375 Time: 743.261/86400 c Decision: 16587/243375 Time: 751.247/86400 c Decision: 16587/243375 Time: 760.142/86400 c Decision: 16587/243375 Time: 768.894/86400 c Decision: 16587/243375 Time: 778.677/86400 c Decision: 16587/243375 Time: 787.699/86400 c Decision: 16587/243375 Time: 798.54/86400 c Decision: 16587/243375 Time: 806.493/86400 c Decision: 16587/243375 Time: 815.283/86400 c Decision: 16587/243375 Time: 823.131/86400 c Decision: 16587/243375 Time: 831.479/86400 c Decision: 16587/243375 Time: 841.313/86400 c Decision: 16587/243375 Time: 850.11/86400 c Decision: 16587/243375 Time: 859.426/86400 c Decision: 16587/243375 Time: 868.566/86400 c Decision: 16587/243375 Time: 876.59/86400 c Decision: 16587/243375 Time: 885.16/86400 c Decision: 16587/243375 Time: 892.612/86400 c Decision: 16587/243375 Time: 901.656/86400 c Decision: 16587/243375 Time: 910.527/86400 c Decision: 16587/243375 Time: 918.567/86400 c Decision: 16587/243375 Time: 927.917/86400 c Decision: 16587/243375 Time: 936.553/86400 c Decision: 16587/243375 Time: 944.123/86400 c Decision: 16587/243375 Time: 953.61/86400 c Decision: 16587/243375 Time: 962.076/86400 c Decision: 16587/243375 Time: 970.909/86400 c Decision: 16587/243375 Time: 979.525/86400 c Decision: 16587/243375 Time: 988.371/86400 c Decision: 16587/243375 Time: 997.685/86400 c Decision: 16587/243375 Time: 1006.19/86400 c Decision: 16587/243375 Time: 1015.44/86400 c Decision: 16587/243375 Time: 1024.57/86400 c Decision: 16587/243375 Time: 1033.29/86400 c Decision: 16587/243375 Time: 1042.73/86400 c Decision: 16587/243375 Time: 1051.49/86400 c Decision: 16590/243375 Time: 1065.42/86400 c Decision: 16590/243375 Time: 1073.92/86400 c Decision: 16590/243375 Time: 1083.36/86400 c Decision: 16590/243375 Time: 1092.21/86400 c Decision: 16590/243375 Time: 1101.2/86400 c Decision: 16590/243375 Time: 1110.9/86400 c Decision: 16590/243375 Time: 1121.05/86400 c Decision: 16590/243375 Time: 1129.13/86400 c Decision: 16590/243375 Time: 1137.44/86400 c Decision: 16590/243375 Time: 1146.88/86400 c Decision: 16590/243375 Time: 1155.23/86400 c Decision: 16590/243375 Time: 1163.64/86400 c Decision: 16590/243375 Time: 1171.17/86400 c Decision: 16590/243375 Time: 1180.44/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 2/54 19398 Raw data (stat): 19398 (runsolver) D 19397 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973452430 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 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 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 26450 0 0 0 941 58 0 0 25 0 1 0 973452430 77348864 15476 4294967295 134512640 135730672 3221224576 3221221024 135282773 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 18884 15476 301 301 0 18583 0 vsize: 75536 [startup+20.0011 s] Raw data (loadavg): 0.89 0.94 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 30727 0 0 0 1928 70 0 0 25 0 1 0 973452430 88485888 19254 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21603 19254 301 301 0 21302 0 vsize: 86412 [startup+30.0025 s] Raw data (loadavg): 0.90 0.94 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 31467 0 0 0 2926 72 0 0 25 0 1 0 973452430 92078080 19994 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22480 19994 301 301 0 22179 0 vsize: 89920 [startup+40.0102 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 31944 0 0 0 3923 75 0 0 25 0 1 0 973452430 94384128 20471 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23043 20471 301 301 0 22742 0 vsize: 92172 [startup+50.0182 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 32211 0 0 0 4922 77 0 0 25 0 1 0 973452430 95621120 20738 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23345 20738 301 301 0 23044 0 vsize: 93380 [startup+60.0183 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 32384 0 0 0 5920 79 0 0 25 0 1 0 973452430 96325632 20911 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23517 20911 301 301 0 23216 0 vsize: 94068 [startup+70.0187 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 32639 0 0 0 6918 82 0 0 25 0 1 0 973452430 97275904 21166 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23749 21166 301 301 0 23448 0 vsize: 94996 [startup+80.0185 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 33259 0 0 0 7915 85 0 0 25 0 1 0 973452430 97804288 21310 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23878 21310 301 301 0 23577 0 vsize: 95512 [startup+90.0201 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 33352 0 0 0 8912 87 0 0 25 0 1 0 973452430 98197504 21403 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 23974 21403 301 301 0 23673 0 vsize: 95896 [startup+100.02 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 34381 0 0 0 9908 92 0 0 25 0 1 0 973452430 100540416 21956 4294967295 134512640 135730672 3221224576 3221222744 134772706 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24546 21956 301 301 0 24245 0 vsize: 98184 [startup+110.02 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 34884 0 0 0 10905 95 0 0 25 0 1 0 973452430 98590720 21507 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24070 21507 301 301 0 23769 0 vsize: 96280 [startup+120.021 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 35401 0 0 0 11902 98 0 0 25 0 1 0 973452430 98738176 21548 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24106 21548 301 301 0 23805 0 vsize: 96424 [startup+130.02 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 35983 0 0 0 12898 101 0 0 25 0 1 0 973452430 99311616 21654 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24246 21654 301 301 0 23945 0 vsize: 96984 [startup+140.021 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 36491 0 0 0 13896 104 0 0 25 0 1 0 973452430 99508224 21686 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24294 21686 301 301 0 23993 0 vsize: 97176 [startup+150.022 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 37027 0 0 0 14893 107 0 0 25 0 1 0 973452430 99704832 21746 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24342 21746 301 301 0 24041 0 vsize: 97368 [startup+160.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 37561 0 0 0 15890 111 0 0 25 0 1 0 973452430 99901440 21804 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24390 21804 301 301 0 24089 0 vsize: 97560 [startup+170.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 38079 0 0 0 16886 114 0 0 25 0 1 0 973452430 100098048 21846 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24438 21846 301 301 0 24137 0 vsize: 97752 [startup+180.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 38610 0 0 0 17882 118 0 0 25 0 1 0 973452430 100491264 21901 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24534 21901 301 301 0 24233 0 vsize: 98136 [startup+190.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 39582 0 0 0 18878 123 0 0 25 0 1 0 973452430 100491264 21921 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24534 21921 301 301 0 24233 0 vsize: 98136 [startup+200.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 40071 0 0 0 19876 125 0 0 25 0 1 0 973452430 100491264 21934 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24534 21934 301 301 0 24233 0 vsize: 98136 [startup+210.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 40558 0 0 0 20872 129 0 0 25 0 1 0 973452430 100491264 21945 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24534 21945 301 301 0 24233 0 vsize: 98136 [startup+220.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 19398 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 41045 0 0 0 21868 133 0 0 25 0 1 0 973452430 100491264 21956 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24534 21956 301 301 0 24233 0 vsize: 98136 [startup+230.024 s] Raw data (loadavg): 1.07 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 41526 0 0 0 22864 137 0 0 25 0 1 0 973452430 100491264 21961 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24534 21961 301 301 0 24233 0 vsize: 98136 [startup+240.025 s] Raw data (loadavg): 1.06 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 42043 0 0 0 23862 139 0 0 25 0 1 0 973452430 100655104 22002 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24574 22002 301 301 0 24273 0 vsize: 98296 [startup+250.026 s] Raw data (loadavg): 1.05 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 43013 0 0 0 24857 145 0 0 25 0 1 0 973452430 100655104 22020 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24574 22020 301 301 0 24273 0 vsize: 98296 [startup+260.026 s] Raw data (loadavg): 1.04 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 43509 0 0 0 25853 149 0 0 25 0 1 0 973452430 100655104 22040 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24574 22040 301 301 0 24273 0 vsize: 98296 [startup+270.026 s] Raw data (loadavg): 1.04 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 44009 0 0 0 26849 153 0 0 25 0 1 0 973452430 100655104 22064 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24574 22064 301 301 0 24273 0 vsize: 98296 [startup+280.027 s] Raw data (loadavg): 1.03 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 44499 0 0 0 27846 156 0 0 25 0 1 0 973452430 100655104 22078 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24574 22078 301 301 0 24273 0 vsize: 98296 [startup+290.028 s] Raw data (loadavg): 1.03 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 45469 0 0 0 28840 162 0 0 25 0 1 0 973452430 100655104 22096 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24574 22096 301 301 0 24273 0 vsize: 98296 [startup+300.028 s] Raw data (loadavg): 1.02 0.98 0.91 2/54 19451 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 45971 0 0 0 29837 165 0 0 25 0 1 0 973452430 100818944 22122 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24614 22122 301 301 0 24313 0 vsize: 98456 [startup+310.028 s] Raw data (loadavg): 1.02 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 46458 0 0 0 30832 170 0 0 25 0 1 0 973452430 100818944 22133 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24614 22133 301 301 0 24313 0 vsize: 98456 [startup+320.028 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 46952 0 0 0 31829 173 0 0 25 0 1 0 973452430 100818944 22151 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 24614 22151 301 301 0 24313 0 vsize: 98456 [startup+330.03 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 47472 0 0 0 32826 177 0 0 25 0 1 0 973452430 100966400 22195 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24650 22195 301 301 0 24349 0 vsize: 98600 [startup+340.031 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 48444 0 0 0 33821 182 0 0 25 0 1 0 973452430 102916096 22691 4294967295 134512640 135730672 3221224576 3221222744 134772706 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25126 22691 301 301 0 24825 0 vsize: 100504 [startup+350.032 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 48952 0 0 0 34819 185 0 0 25 0 1 0 973452430 101101568 22247 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24683 22247 301 301 0 24382 0 vsize: 98732 [startup+360.032 s] Raw data (loadavg): 1.01 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 49453 0 0 0 35814 189 0 0 25 0 1 0 973452430 101232640 22272 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24715 22272 301 301 0 24414 0 vsize: 98860 [startup+370.033 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 49964 0 0 0 36811 193 0 0 25 0 1 0 973452430 101232640 22307 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24715 22307 301 301 0 24414 0 vsize: 98860 [startup+380.032 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 50485 0 0 0 37807 197 0 0 25 0 1 0 973452430 101384192 22352 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24752 22352 301 301 0 24451 0 vsize: 99008 [startup+390.033 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 51517 0 0 0 38803 202 0 0 25 0 1 0 973452430 101711872 22432 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24832 22432 301 301 0 24531 0 vsize: 99328 [startup+400.034 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 52011 0 0 0 39799 205 0 0 25 0 1 0 973452430 101711872 22450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24832 22450 301 301 0 24531 0 vsize: 99328 [startup+410.033 s] Raw data (loadavg): 1.00 0.98 0.91 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 52502 0 0 0 40795 209 0 0 25 0 1 0 973452430 101711872 22465 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24832 22465 301 301 0 24531 0 vsize: 99328 [startup+420.033 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 53476 0 0 0 41791 213 0 0 25 0 1 0 973452430 101842944 22487 4294967295 134512640 135730672 3221224576 3221223116 135301640 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24864 22487 301 301 0 24563 0 vsize: 99456 [startup+430.034 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 53970 0 0 0 42788 217 0 0 25 0 1 0 973452430 101842944 22505 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24864 22505 301 301 0 24563 0 vsize: 99456 [startup+440.033 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 54477 0 0 0 43784 221 0 0 25 0 1 0 973452430 101842944 22536 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24864 22536 301 301 0 24563 0 vsize: 99456 [startup+450.034 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 55454 0 0 0 44779 226 0 0 25 0 1 0 973452430 101982208 22561 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24898 22561 301 301 0 24597 0 vsize: 99592 [startup+460.034 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 55952 0 0 0 45776 229 0 0 25 0 1 0 973452430 101982208 22583 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24898 22583 301 301 0 24597 0 vsize: 99592 [startup+470.035 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 56456 0 0 0 46772 233 0 0 25 0 1 0 973452430 101982208 22611 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24898 22611 301 301 0 24597 0 vsize: 99592 [startup+480.035 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 57434 0 0 0 47767 239 0 0 25 0 1 0 973452430 102113280 22637 4294967295 134512640 135730672 3221224576 3221223120 134740318 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24930 22637 301 301 0 24629 0 vsize: 99720 [startup+490.034 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 57932 0 0 0 48763 243 0 0 25 0 1 0 973452430 102113280 22659 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24930 22659 301 301 0 24629 0 vsize: 99720 [startup+500.035 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 58430 0 0 0 49759 247 0 0 25 0 1 0 973452430 102113280 22681 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24930 22681 301 301 0 24629 0 vsize: 99720 [startup+510.035 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 58925 0 0 0 50755 252 0 0 25 0 1 0 973452430 102277120 22700 4294967295 134512640 135730672 3221224576 3221223060 134748050 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24970 22700 301 301 0 24669 0 vsize: 99880 [startup+520.036 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 59416 0 0 0 51751 256 0 0 25 0 1 0 973452430 102277120 22715 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24970 22715 301 301 0 24669 0 vsize: 99880 [startup+530.035 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 59920 0 0 0 52746 261 0 0 25 0 1 0 973452430 102277120 22743 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 24970 22743 301 301 0 24669 0 vsize: 99880 [startup+540.035 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 60419 0 0 0 53742 265 0 0 25 0 1 0 973452430 102440960 22766 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25010 22766 301 301 0 24709 0 vsize: 100040 [startup+550.036 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 61380 0 0 0 54737 270 0 0 25 0 1 0 973452430 104390656 23251 4294967295 134512640 135730672 3221224576 3221222744 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25486 23251 301 301 0 25185 0 vsize: 101944 [startup+560.035 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19453 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 61878 0 0 0 55732 275 0 0 25 0 1 0 973452430 102440960 22797 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25010 22797 301 301 0 24709 0 vsize: 100040 [startup+570.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 62375 0 0 0 56727 280 0 0 25 0 1 0 973452430 102440960 22818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25010 22818 301 301 0 24709 0 vsize: 100040 [startup+580.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 62872 0 0 0 57724 283 0 0 25 0 1 0 973452430 102588416 22839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25046 22839 301 301 0 24745 0 vsize: 100184 [startup+590.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 63376 0 0 0 58721 287 0 0 25 0 1 0 973452430 102588416 22867 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25046 22867 301 301 0 24745 0 vsize: 100184 [startup+600.037 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 63870 0 0 0 59717 291 0 0 25 0 1 0 973452430 102588416 22885 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25046 22885 301 301 0 24745 0 vsize: 100184 [startup+610.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 64373 0 0 0 60713 295 0 0 25 0 1 0 973452430 102731776 22912 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25081 22912 301 301 0 24780 0 vsize: 100324 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 65364 0 0 0 61709 299 0 0 25 0 1 0 973452430 102895616 22951 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25121 22951 301 301 0 24820 0 vsize: 100484 [startup+630.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 65856 0 0 0 62706 302 0 0 25 0 1 0 973452430 102895616 22967 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25121 22967 301 301 0 24820 0 vsize: 100484 [startup+640.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 66345 0 0 0 63702 307 0 0 25 0 1 0 973452430 102895616 22980 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25121 22980 301 301 0 24820 0 vsize: 100484 [startup+650.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 66848 0 0 0 64699 310 0 0 25 0 1 0 973452430 102895616 23007 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25121 23007 301 301 0 24820 0 vsize: 100484 [startup+660.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 67352 0 0 0 65696 313 0 0 25 0 1 0 973452430 103043072 23035 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25157 23035 301 301 0 24856 0 vsize: 100628 [startup+670.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 67849 0 0 0 66692 317 0 0 25 0 1 0 973452430 103043072 23056 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25157 23056 301 301 0 24856 0 vsize: 100628 [startup+680.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 68342 0 0 0 67689 320 0 0 25 0 1 0 973452430 103043072 23073 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25157 23073 301 301 0 24856 0 vsize: 100628 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 68839 0 0 0 68686 324 0 0 25 0 1 0 973452430 103043072 23094 4294967295 134512640 135730672 3221224576 3221223088 134746399 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25157 23094 301 301 0 24856 0 vsize: 100628 [startup+700.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 69822 0 0 0 69681 329 0 0 25 0 1 0 973452430 103186432 23125 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25192 23125 301 301 0 24891 0 vsize: 100768 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 70319 0 0 0 70678 332 0 0 25 0 1 0 973452430 103186432 23146 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25192 23146 301 301 0 24891 0 vsize: 100768 [startup+720.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 70810 0 0 0 71675 335 0 0 25 0 1 0 973452430 103186432 23161 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25192 23161 301 301 0 24891 0 vsize: 100768 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 71312 0 0 0 72672 338 0 0 25 0 1 0 973452430 103317504 23187 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25224 23187 301 301 0 24923 0 vsize: 100896 [startup+740.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 71809 0 0 0 73669 342 0 0 25 0 1 0 973452430 103317504 23208 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25224 23208 301 301 0 24923 0 vsize: 100896 [startup+750.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 72308 0 0 0 74665 346 0 0 25 0 1 0 973452430 103317504 23231 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25224 23231 301 301 0 24923 0 vsize: 100896 [startup+760.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 72807 0 0 0 75662 350 0 0 25 0 1 0 973452430 103448576 23254 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25256 23254 301 301 0 24955 0 vsize: 101024 [startup+770.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 73304 0 0 0 76661 351 0 0 25 0 1 0 973452430 103448576 23275 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25256 23275 301 301 0 24955 0 vsize: 101024 [startup+780.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 74274 0 0 0 77656 356 0 0 25 0 1 0 973452430 103448576 23293 4294967295 134512640 135730672 3221224576 3221223072 134747534 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25256 23293 301 301 0 24955 0 vsize: 101024 [startup+790.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 74768 0 0 0 78651 361 0 0 25 0 1 0 973452430 103604224 23311 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25294 23311 301 301 0 24993 0 vsize: 101176 [startup+800.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 75264 0 0 0 79648 365 0 0 25 0 1 0 973452430 103604224 23331 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25294 23331 301 301 0 24993 0 vsize: 101176 [startup+810.047 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 75763 0 0 0 80645 367 0 0 25 0 1 0 973452430 103604224 23354 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25294 23354 301 301 0 24993 0 vsize: 101176 [startup+820.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 76257 0 0 0 81642 371 0 0 25 0 1 0 973452430 103604224 23372 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25294 23372 301 301 0 24993 0 vsize: 101176 [startup+830.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 76759 0 0 0 82638 375 0 0 25 0 1 0 973452430 103735296 23398 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25326 23398 301 301 0 25025 0 vsize: 101304 [startup+840.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 77256 0 0 0 83634 379 0 0 25 0 1 0 973452430 103735296 23419 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25326 23419 301 301 0 25025 0 vsize: 101304 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 77756 0 0 0 84631 383 0 0 25 0 1 0 973452430 103735296 23443 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25326 23443 301 301 0 25025 0 vsize: 101304 [startup+860.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 78244 0 0 0 85628 386 0 0 25 0 1 0 973452430 103866368 23455 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25358 23455 301 301 0 25057 0 vsize: 101432 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 79218 0 0 0 86624 390 0 0 25 0 1 0 973452430 105816064 23953 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25834 23953 301 301 0 25533 0 vsize: 103336 [startup+880.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 79710 0 0 0 87621 393 0 0 25 0 1 0 973452430 103866368 23493 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25358 23493 301 301 0 25057 0 vsize: 101432 [startup+890.049 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 80211 0 0 0 88618 396 0 0 25 0 1 0 973452430 103866368 23518 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25358 23518 301 301 0 25057 0 vsize: 101432 [startup+900.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 80709 0 0 0 89614 400 0 0 25 0 1 0 973452430 103997440 23540 4294967295 134512640 135730672 3221224576 3221222896 134732462 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25390 23540 301 301 0 25089 0 vsize: 101560 [startup+910.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 81207 0 0 0 90611 404 0 0 25 0 1 0 973452430 103997440 23562 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25390 23562 301 301 0 25089 0 vsize: 101560 [startup+920.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 81703 0 0 0 91607 408 0 0 25 0 1 0 973452430 103997440 23582 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25390 23582 301 301 0 25089 0 vsize: 101560 [startup+930.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 82673 0 0 0 92602 413 0 0 25 0 1 0 973452430 103997440 23600 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25390 23600 301 301 0 25089 0 vsize: 101560 [startup+940.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 83170 0 0 0 93599 416 0 0 25 0 1 0 973452430 104161280 23621 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25430 23621 301 301 0 25129 0 vsize: 101720 [startup+950.051 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 83664 0 0 0 94595 421 0 0 25 0 1 0 973452430 104161280 23639 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25430 23639 301 301 0 25129 0 vsize: 101720 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 84168 0 0 0 95590 425 0 0 25 0 1 0 973452430 104161280 23667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25430 23667 301 301 0 25129 0 vsize: 101720 [startup+970.058 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 84662 0 0 0 96587 430 0 0 25 0 1 0 973452430 104161280 23685 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25430 23685 301 301 0 25129 0 vsize: 101720 [startup+980.063 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 85160 0 0 0 97584 433 0 0 25 0 1 0 973452430 104292352 23707 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25462 23707 301 301 0 25161 0 vsize: 101848 [startup+990.072 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 86126 0 0 0 98580 438 0 0 25 0 1 0 973452430 106242048 24197 4294967295 134512640 135730672 3221224576 3221222736 134768862 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25938 24197 301 301 0 25637 0 vsize: 103752 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 86625 0 0 0 99576 442 0 0 25 0 1 0 973452430 104292352 23744 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25462 23744 301 301 0 25161 0 vsize: 101848 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 87121 0 0 0 100573 445 0 0 25 0 1 0 973452430 104292352 23764 4294967295 134512640 135730672 3221224576 3221223120 134740268 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25462 23764 301 301 0 25161 0 vsize: 101848 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 87618 0 0 0 101569 450 0 0 25 0 1 0 973452430 104423424 23785 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25494 23785 301 301 0 25193 0 vsize: 101976 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 88115 0 0 0 102566 453 0 0 25 0 1 0 973452430 104423424 23806 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25494 23806 301 301 0 25193 0 vsize: 101976 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 88610 0 0 0 103562 457 0 0 25 0 1 0 973452430 104423424 23825 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25494 23825 301 301 0 25193 0 vsize: 101976 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 89111 0 0 0 104558 461 0 0 25 0 1 0 973452430 104558592 23850 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25527 23850 301 301 0 25226 0 vsize: 102108 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 89606 0 0 0 105555 465 0 0 25 0 1 0 973452430 104558592 23869 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25527 23869 301 301 0 25226 0 vsize: 102108 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 90108 0 0 0 106552 469 0 0 25 0 1 0 973452430 104558592 23895 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25527 23895 301 301 0 25226 0 vsize: 102108 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 90600 0 0 0 107548 472 0 0 25 0 1 0 973452430 104710144 23911 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25564 23911 301 301 0 25263 0 vsize: 102256 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 91098 0 0 0 108545 476 0 0 25 0 1 0 973452430 104710144 23933 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25564 23933 301 301 0 25263 0 vsize: 102256 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 91595 0 0 0 109541 480 0 0 25 0 1 0 973452430 104710144 23954 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25564 23954 301 301 0 25263 0 vsize: 102256 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 92093 0 0 0 110537 484 0 0 25 0 1 0 973452430 104710144 23976 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25564 23976 301 301 0 25263 0 vsize: 102256 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 92592 0 0 0 111534 488 0 0 25 0 1 0 973452430 104853504 23999 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25599 23999 301 301 0 25298 0 vsize: 102396 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 93078 0 0 0 112530 492 0 0 25 0 1 0 973452430 104853504 24009 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25599 24009 301 301 0 25298 0 vsize: 102396 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 94046 0 0 0 113524 497 0 0 25 0 1 0 973452430 104853504 24025 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25599 24025 301 301 0 25298 0 vsize: 102396 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 94562 0 0 0 114521 501 0 0 25 0 1 0 973452430 105013248 24065 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25638 24065 301 301 0 25337 0 vsize: 102552 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 95051 0 0 0 115518 505 0 0 25 0 1 0 973452430 105013248 24078 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25638 24078 301 301 0 25337 0 vsize: 102552 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 95547 0 0 0 116515 508 0 0 25 0 1 0 973452430 105013248 24098 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25638 24098 301 301 0 25337 0 vsize: 102552 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 96057 0 0 0 117511 512 0 0 25 0 1 0 973452430 105013248 24132 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25638 24132 301 301 0 25337 0 vsize: 102552 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 96551 0 0 0 118507 516 0 0 25 0 1 0 973452430 105144320 24150 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 25670 24150 301 301 0 25369 0 vsize: 102680 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 19455 Raw data (stat): 19398 (pb2sat-v2) R 19397 7266 7265 0 -1 0 97527 0 0 0 119504 519 0 0 25 0 1 0 973452430 107094016 24650 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 26146 24650 301 301 0 25845 0 vsize: 104584 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.74 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 19455 Raw data (stat): 19398 (pb2sat-v2) Z 19397 7266 7265 0 -1 12 97529 0 0 0 119564 524 0 0 25 0 1 0 973452430 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): 1200.74 CPU time (s): 1200.89 CPU user time (s): 1195.64 CPU system time (s): 5.2472 CPU usage (%): 100.013 Max. virtual memory (Kb): 104584 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####