Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran16x16.opb |
MD5SUM | 9ccd6fd38eec7ec6eedca3a615a280ba |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1042560 |
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 | 1526874453 |
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 | 1526874453 |
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 | 1175.06 |
Number of variables | 5376 |
Total number of constraints | 288 |
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 | 288 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 320 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-16 19:52:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26186 boxname=wulflinc1 idbench=1486 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 9ccd6fd38eec7ec6eedca3a615a280ba /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran16x16.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran16x16.opb IDLAUNCH: 26186 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 719484 kB Buffers: 16272 kB Cached: 274844 kB SwapCached: 1148 kB Active: 26292 kB Inactive: 267032 kB HighTotal: 131008 kB HighFree: 7168 kB LowTotal: 903652 kB LowFree: 712316 kB SwapTotal: 2097136 kB SwapFree: 2094896 kB Dirty: 52 kB Writeback: 0 kB Mapped: 5364 kB Slab: 16032 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 20:12:23 (client local time) WITH STATUS 0 IN 1200.61 SECONDS stats: 26186 7 1200.61 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 16912/182462 Time: 50.4973/86400 c Decision: 16912/182462 Time: 55.6425/86400 c Decision: 16912/182462 Time: 60.8807/86400 c Decision: 16912/182462 Time: 64.9501/86400 c Decision: 16912/182462 Time: 70.4723/86400 c Decision: 16912/182462 Time: 76.3384/86400 c Decision: 16912/182462 Time: 82.5315/86400 c Decision: 16912/182462 Time: 88.6615/86400 c Decision: 16912/182462 Time: 93.7977/86400 c Decision: 16912/182462 Time: 98.817/86400 c Decision: 16912/182462 Time: 104.484/86400 c Decision: 16912/182462 Time: 109.563/86400 c Decision: 16912/182462 Time: 113.986/86400 c Decision: 16912/182462 Time: 119.443/86400 c Decision: 16912/182462 Time: 124.479/86400 c Decision: 16912/182462 Time: 131.2/86400 c Decision: 16912/182462 Time: 136.987/86400 c Decision: 16912/182462 Time: 141.581/86400 c Decision: 16912/182462 Time: 147.334/86400 c Decision: 16912/182462 Time: 152.422/86400 c Decision: 16912/182462 Time: 158.303/86400 c Decision: 16912/182462 Time: 163.682/86400 c Decision: 16912/182462 Time: 168.407/86400 c Decision: 16912/182462 Time: 173.611/86400 c Decision: 16912/182462 Time: 178.581/86400 c Decision: 16912/182462 Time: 184.146/86400 c Decision: 16912/182462 Time: 189.932/86400 c Decision: 16912/182462 Time: 195.158/86400 c Decision: 16912/182462 Time: 201.369/86400 c Decision: 16912/182462 Time: 207.929/86400 c Decision: 16912/182462 Time: 215.328/86400 c Decision: 16912/182462 Time: 221.832/86400 c Decision: 16912/182462 Time: 228.266/86400 c Decision: 16912/182462 Time: 235.778/86400 c Decision: 16912/182462 Time: 240.862/86400 c Decision: 16912/182462 Time: 247.399/86400 c Decision: 16912/182462 Time: 254.782/86400 c Decision: 16912/182462 Time: 260.98/86400 c Decision: 16912/182462 Time: 267.216/86400 c Decision: 16912/182462 Time: 272.552/86400 c Decision: 16912/182462 Time: 278.907/86400 c Decision: 16912/182462 Time: 283.663/86400 c Decision: 16912/182462 Time: 290.542/86400 c Decision: 16912/182462 Time: 296.845/86400 c Decision: 16912/182462 Time: 303.101/86400 c Decision: 16912/182462 Time: 309.225/86400 c Decision: 16912/182462 Time: 315.408/86400 c Decision: 16912/182462 Time: 321.03/86400 c Decision: 16912/182462 Time: 326.35/86400 c Decision: 16912/182462 Time: 331.562/86400 c Decision: 16912/182462 Time: 338.595/86400 c Decision: 16912/182462 Time: 343.653/86400 c Decision: 16912/182462 Time: 349.385/86400 c Decision: 16912/182462 Time: 355.259/86400 c Decision: 16912/182462 Time: 361.621/86400 c Decision: 16912/182462 Time: 368.252/86400 c Decision: 16912/182462 Time: 374.721/86400 c Decision: 16912/182462 Time: 380.764/86400 c Decision: 16912/182462 Time: 386.461/86400 c Decision: 16912/182462 Time: 392.339/86400 c Decision: 16912/182462 Time: 398.902/86400 c Decision: 16912/182462 Time: 404.378/86400 c Decision: 16912/182462 Time: 411.106/86400 c Decision: 16912/182462 Time: 417.674/86400 c Decision: 16912/182462 Time: 423.806/86400 c Decision: 16912/182462 Time: 430.874/86400 c Decision: 16912/182462 Time: 436.111/86400 c Decision: 16912/182462 Time: 441.628/86400 c Decision: 16912/182462 Time: 448.166/86400 c Decision: 16912/182462 Time: 454.943/86400 c Decision: 16912/182462 Time: 461.373/86400 c Decision: 16912/182462 Time: 467.032/86400 c Decision: 16912/182462 Time: 471.538/86400 c Decision: 16912/182462 Time: 477.936/86400 c Decision: 16912/182462 Time: 483.798/86400 c Decision: 16912/182462 Time: 490.635/86400 c Decision: 16912/182462 Time: 496.927/86400 c Decision: 16912/182462 Time: 503.046/86400 c Decision: 16912/182462 Time: 509.09/86400 c Decision: 16912/182462 Time: 515.049/86400 c Decision: 16912/182462 Time: 521.148/86400 c Decision: 16912/182462 Time: 526.962/86400 c Decision: 16912/182462 Time: 533.018/86400 c Decision: 16912/182462 Time: 539.468/86400 c Decision: 16912/182462 Time: 545.323/86400 c Decision: 16912/182462 Time: 551.726/86400 c Decision: 16912/182462 Time: 558.256/86400 c Decision: 16912/182462 Time: 564.042/86400 c Decision: 16912/182462 Time: 570.122/86400 c Decision: 16912/182462 Time: 576.719/86400 c Decision: 16912/182462 Time: 583.027/86400 c Decision: 16912/182462 Time: 588.66/86400 c Decision: 16912/182462 Time: 594.334/86400 c Decision: 16912/182462 Time: 600.621/86400 c Decision: 16912/182462 Time: 606.165/86400 c Decision: 16912/182462 Time: 613.157/86400 c Decision: 16912/182462 Time: 618.722/86400 c Decision: 16912/182462 Time: 625.541/86400 c Decision: 16912/182462 Time: 631.371/86400 c Decision: 16912/182462 Time: 638.803/86400 c Decision: 16912/182462 Time: 644.849/86400 c Decision: 16912/182462 Time: 651.393/86400 c Decision: 16912/182462 Time: 657.561/86400 c Decision: 16912/182462 Time: 664.165/86400 c Decision: 16912/182462 Time: 670.976/86400 c Decision: 16912/182462 Time: 678.198/86400 c Decision: 16912/182462 Time: 686.188/86400 c Decision: 16912/182462 Time: 692.907/86400 c Decision: 16912/182462 Time: 699.224/86400 c Decision: 16912/182462 Time: 705.812/86400 c Decision: 16912/182462 Time: 711.657/86400 c Decision: 16912/182462 Time: 717.817/86400 c Decision: 16912/182462 Time: 725.006/86400 c Decision: 16912/182462 Time: 731.92/86400 c Decision: 16912/182462 Time: 738.455/86400 c Decision: 16912/182462 Time: 746.329/86400 c Decision: 16912/182462 Time: 753.212/86400 c Decision: 16912/182462 Time: 760.01/86400 c Decision: 16912/182462 Time: 767.093/86400 c Decision: 16912/182462 Time: 772.984/86400 c Decision: 16912/182462 Time: 780.187/86400 c Decision: 16912/182462 Time: 786.425/86400 c Decision: 16912/182462 Time: 793.126/86400 c Decision: 16912/182462 Time: 799.365/86400 c Decision: 16912/182462 Time: 807.071/86400 c Decision: 16912/182462 Time: 815.487/86400 c Decision: 16912/182462 Time: 821.85/86400 c Decision: 16912/182462 Time: 828.464/86400 c Decision: 16912/182462 Time: 835.369/86400 c Decision: 16912/182462 Time: 841.992/86400 c Decision: 16912/182462 Time: 848.041/86400 c Decision: 16912/182462 Time: 855.219/86400 c Decision: 16912/182462 Time: 860.715/86400 c Decision: 16912/182462 Time: 867.936/86400 c Decision: 16912/182462 Time: 874.222/86400 c Decision: 16912/182462 Time: 880.632/86400 c Decision: 16912/182462 Time: 886.495/86400 c Decision: 16912/182462 Time: 893.016/86400 c Decision: 16912/182462 Time: 899.588/86400 c Decision: 16912/182462 Time: 906.266/86400 c Decision: 16912/182462 Time: 913.593/86400 c Decision: 16912/182462 Time: 921.335/86400 c Decision: 16912/182462 Time: 927.991/86400 c Decision: 16912/182462 Time: 934.979/86400 c Decision: 16912/182462 Time: 941.645/86400 c Decision: 16912/182462 Time: 950.709/86400 c Decision: 16912/182462 Time: 958.557/86400 c Decision: 16912/182462 Time: 965.026/86400 c Decision: 16912/182462 Time: 972.324/86400 c Decision: 16912/182462 Time: 979.895/86400 c Decision: 16912/182462 Time: 987.612/86400 c Decision: 16912/182462 Time: 994.581/86400 c Decision: 16912/182462 Time: 1001.22/86400 c Decision: 16912/182462 Time: 1008.58/86400 c Decision: 16912/182462 Time: 1014.27/86400 c Decision: 16912/182462 Time: 1022.26/86400 c Decision: 16912/182462 Time: 1029.38/86400 c Decision: 16912/182462 Time: 1036.96/86400 c Decision: 16912/182462 Time: 1044.55/86400 c Decision: 16912/182462 Time: 1051.28/86400 c Decision: 16912/182462 Time: 1059.2/86400 c Decision: 16912/182462 Time: 1066/86400 c Decision: 16912/182462 Time: 1073.51/86400 c Decision: 16912/182462 Time: 1079.41/86400 c Decision: 16912/182462 Time: 1086.5/86400 c Decision: 16912/182462 Time: 1093.94/86400 c Decision: 16912/182462 Time: 1101.71/86400 c Decision: 16912/182462 Time: 1108.63/86400 c Decision: 16912/182462 Time: 1115.52/86400 c Decision: 16912/182462 Time: 1123.3/86400 c Decision: 16912/182462 Time: 1131.32/86400 c Decision: 16912/182462 Time: 1139.5/86400 c Decision: 16912/182462 Time: 1146.38/86400 c Decision: 16912/182462 Time: 1153.4/86400 c Decision: 16912/182462 Time: 1160.6/86400 c Decision: 16912/182462 Time: 1167.66/86400 c Decision: 16912/182462 Time: 1174.57/86400 c Decision: 16912/182462 Time: 1182.29/86400 c Decision: 16912/182462 Time: 1188.95/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 Raw data (loadavg): 0.92 0.95 0.90 2/55 25057 Raw data (stat): 25057 (runsolver) R 25056 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 916571217 884736 93 4294967295 134512640 135332820 3221224464 3221219632 134692420 0 0 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 93 205 205 0 11 0 vsize: 864 Current StackSize limit: 67108864 bytes [startup+10.0008 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 24927 0 0 0 939 60 0 0 25 0 1 0 916571217 78536704 13665 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 19174 13665 301 301 0 18873 0 vsize: 76696 [startup+20.0016 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 25519 0 0 0 1936 62 0 0 25 0 1 0 916571217 80982016 14257 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 19771 14257 301 301 0 19470 0 vsize: 79084 [startup+30.0013 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 26155 0 0 0 2932 66 0 0 25 0 1 0 916571217 83701760 14893 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20435 14894 301 301 0 20134 0 vsize: 81740 [startup+40.0011 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 26389 0 0 0 3929 69 0 0 25 0 1 0 916571217 84684800 15127 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20675 15127 301 301 0 20374 0 vsize: 82700 [startup+50.0009 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 26429 0 0 0 4927 71 0 0 25 0 1 0 916571217 84684800 15167 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20675 15167 301 301 0 20374 0 vsize: 82700 [startup+60.0017 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 26855 0 0 0 5924 75 0 0 25 0 1 0 916571217 84848640 15236 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20715 15236 301 301 0 20414 0 vsize: 82860 [startup+70.0024 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 27608 0 0 0 6919 79 0 0 25 0 1 0 916571217 85012480 15275 4294967295 134512640 135730672 3221224576 3221223264 134748464 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20755 15275 301 301 0 20454 0 vsize: 83020 [startup+80.0023 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 28466 0 0 0 7916 82 0 0 25 0 1 0 916571217 85565440 15419 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20890 15419 301 301 0 20589 0 vsize: 83560 [startup+90.0025 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 28846 0 0 0 8912 86 0 0 25 0 1 0 916571217 85565440 15442 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 20890 15442 301 301 0 20589 0 vsize: 83560 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 29579 0 0 0 9907 90 0 0 25 0 1 0 916571217 85712896 15461 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 20926 15461 301 301 0 20625 0 vsize: 83704 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 30371 0 0 0 10903 95 0 0 25 0 1 0 916571217 86040576 15539 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21006 15539 301 301 0 20705 0 vsize: 84024 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 31223 0 0 0 11900 98 0 0 25 0 1 0 916571217 86532096 15677 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21126 15677 301 301 0 20825 0 vsize: 84504 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 31691 0 0 0 12896 102 0 0 25 0 1 0 916571217 87023616 15788 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 21246 15788 301 301 0 20945 0 vsize: 84984 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 32448 0 0 0 13891 106 0 0 25 0 1 0 916571217 87023616 15831 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21246 15831 301 301 0 20945 0 vsize: 84984 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 33184 0 0 0 14887 111 0 0 25 0 1 0 916571217 88649728 16210 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21643 16210 301 301 0 21342 0 vsize: 86572 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 33569 0 0 0 15883 115 0 0 25 0 1 0 916571217 87187456 15881 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21286 15881 301 301 0 20985 0 vsize: 85144 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 34339 0 0 0 16879 119 0 0 25 0 1 0 916571217 87375872 15937 4294967295 134512640 135730672 3221224576 3221223200 134748126 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21332 15937 301 301 0 21031 0 vsize: 85328 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 35092 0 0 0 17874 124 0 0 25 0 1 0 916571217 87375872 15976 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21332 15976 301 301 0 21031 0 vsize: 85328 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 35508 0 0 0 18869 129 0 0 25 0 1 0 916571217 87511040 16035 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21365 16035 301 301 0 21064 0 vsize: 85460 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 36261 0 0 0 19865 134 0 0 25 0 1 0 916571217 87674880 16074 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21405 16074 301 301 0 21104 0 vsize: 85620 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 37188 0 0 0 20862 137 0 0 25 0 1 0 916571217 90071040 16644 4294967295 134512640 135730672 3221224576 3221222764 134765468 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21990 16644 301 301 0 21689 0 vsize: 87960 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 37627 0 0 0 21858 141 0 0 25 0 1 0 916571217 88932352 16369 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21712 16369 301 301 0 21411 0 vsize: 86848 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 38000 0 0 0 22855 144 0 0 25 0 1 0 916571217 88932352 16385 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21712 16385 301 301 0 21411 0 vsize: 86848 [startup+240.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 38752 0 0 0 23852 148 0 0 25 0 1 0 916571217 88932352 16423 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21712 16423 301 301 0 21411 0 vsize: 86848 [startup+250.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 39526 0 0 0 24847 152 0 0 25 0 1 0 916571217 89260032 16483 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21792 16483 301 301 0 21491 0 vsize: 87168 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 39926 0 0 0 25845 155 0 0 25 0 1 0 916571217 89423872 16526 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21832 16526 301 301 0 21531 0 vsize: 87328 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 40712 0 0 0 26840 160 0 0 25 0 1 0 916571217 89587712 16598 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21872 16598 301 301 0 21571 0 vsize: 87488 [startup+280.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 41099 0 0 0 27837 163 0 0 25 0 1 0 916571217 89751552 16628 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21912 16628 301 301 0 21611 0 vsize: 87648 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 41831 0 0 0 28834 166 0 0 25 0 1 0 916571217 89751552 16646 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21912 16646 301 301 0 21611 0 vsize: 87648 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 42602 0 0 0 29831 170 0 0 25 0 1 0 916571217 89948160 16703 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21960 16703 301 301 0 21659 0 vsize: 87840 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 42976 0 0 0 30826 175 0 0 25 0 1 0 916571217 89948160 16720 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21960 16720 301 301 0 21659 0 vsize: 87840 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 43356 0 0 0 31823 178 0 0 25 0 1 0 916571217 89948160 16743 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21960 16743 301 301 0 21659 0 vsize: 87840 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 44114 0 0 0 32818 183 0 0 25 0 1 0 916571217 90144768 16787 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22008 16787 301 301 0 21707 0 vsize: 88032 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 44498 0 0 0 33815 187 0 0 25 0 1 0 916571217 91607040 17171 4294967295 134512640 135730672 3221224576 3221222752 134768813 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22365 17171 301 301 0 22064 0 vsize: 89460 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 44895 0 0 0 34811 190 0 0 25 0 1 0 916571217 90296320 16854 4294967295 134512640 135730672 3221224576 3221223072 134747834 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22045 16854 301 301 0 21744 0 vsize: 88180 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 45666 0 0 0 35808 194 0 0 25 0 1 0 916571217 90431488 16911 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22078 16911 301 301 0 21777 0 vsize: 88312 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 46411 0 0 0 36803 199 0 0 25 0 1 0 916571217 91893760 17299 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22435 17299 301 301 0 22134 0 vsize: 89740 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 46797 0 0 0 37799 203 0 0 25 0 1 0 916571217 90628096 16971 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22126 16971 301 301 0 21825 0 vsize: 88504 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 47536 0 0 0 38795 207 0 0 25 0 1 0 916571217 90628096 16996 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22126 16996 301 301 0 21825 0 vsize: 88504 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 47925 0 0 0 39791 211 0 0 25 0 1 0 916571217 90628096 17028 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22126 17028 301 301 0 21825 0 vsize: 88504 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 48673 0 0 0 40786 216 0 0 25 0 1 0 916571217 90783744 17062 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22164 17062 301 301 0 21863 0 vsize: 88656 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 49418 0 0 0 41783 220 0 0 25 0 1 0 916571217 90783744 17093 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22164 17093 301 301 0 21863 0 vsize: 88656 [startup+430.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 49830 0 0 0 42780 223 0 0 25 0 1 0 916571217 90923008 17148 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22198 17148 301 301 0 21897 0 vsize: 88792 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 50613 0 0 0 43776 227 0 0 25 0 1 0 916571217 91262976 17217 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22281 17217 301 301 0 21980 0 vsize: 89124 [startup+450.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 51346 0 0 0 44772 232 0 0 25 0 1 0 916571217 92725248 17593 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22638 17593 301 301 0 22337 0 vsize: 90552 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 25057 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 51745 0 0 0 45769 234 0 0 25 0 1 0 916571217 91398144 17278 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22314 17278 301 301 0 22013 0 vsize: 89256 [startup+470.01 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 25110 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 52481 0 0 0 46761 242 0 0 25 0 1 0 916571217 91398144 17300 4294967295 134512640 135730672 3221224576 3221223200 134783311 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22314 17300 301 301 0 22013 0 vsize: 89256 [startup+480.01 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 25110 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 53240 0 0 0 47756 247 0 0 25 0 1 0 916571217 92991488 17702 4294967295 134512640 135730672 3221224576 3221222784 134769013 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22703 17702 301 301 0 22402 0 vsize: 90812 [startup+490.009 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 25110 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 53635 0 0 0 48752 251 0 0 25 0 1 0 916571217 91529216 17383 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22346 17383 301 301 0 22045 0 vsize: 89384 [startup+500.009 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 25110 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 54375 0 0 0 49748 255 0 0 25 0 1 0 916571217 91529216 17409 4294967295 134512640 135730672 3221224576 3221222896 134732486 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22346 17409 301 301 0 22045 0 vsize: 89384 [startup+510.01 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 25110 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 54416 0 0 0 50745 259 0 0 25 0 1 0 916571217 91693056 17450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22386 17450 301 301 0 22085 0 vsize: 89544 [startup+520.011 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 25112 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 55165 0 0 0 51741 263 0 0 25 0 1 0 916571217 91828224 17485 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22419 17485 301 301 0 22118 0 vsize: 89676 [startup+530.011 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 25112 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 55568 0 0 0 52738 266 0 0 25 0 1 0 916571217 91828224 17531 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22419 17531 301 301 0 22118 0 vsize: 89676 [startup+540.01 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 55947 0 0 0 53734 270 0 0 25 0 1 0 916571217 91828224 17553 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22419 17553 301 301 0 22118 0 vsize: 89676 [startup+550.01 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 56692 0 0 0 54729 276 0 0 25 0 1 0 916571217 91959296 17584 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22451 17584 301 301 0 22150 0 vsize: 89804 [startup+560.011 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 57438 0 0 0 55724 280 0 0 25 0 1 0 916571217 91959296 17616 4294967295 134512640 135730672 3221224576 3221223200 134783271 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22451 17616 301 301 0 22150 0 vsize: 89804 [startup+570.012 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 57821 0 0 0 56721 284 0 0 25 0 1 0 916571217 92090368 17642 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22483 17642 301 301 0 22182 0 vsize: 89932 [startup+580.012 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 58565 0 0 0 57716 288 0 0 25 0 1 0 916571217 92090368 17672 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22483 17672 301 301 0 22182 0 vsize: 89932 [startup+590.011 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 58965 0 0 0 58712 292 0 0 25 0 1 0 916571217 92274688 17715 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22528 17715 301 301 0 22227 0 vsize: 90112 [startup+600.011 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 59698 0 0 0 59708 297 0 0 25 0 1 0 916571217 92274688 17734 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22528 17734 301 301 0 22227 0 vsize: 90112 [startup+610.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 60446 0 0 0 60704 301 0 0 25 0 1 0 916571217 92274688 17768 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22528 17768 301 301 0 22227 0 vsize: 90112 [startup+620.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 60834 0 0 0 61701 304 0 0 25 0 1 0 916571217 92274688 17799 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22528 17799 301 301 0 22227 0 vsize: 90112 [startup+630.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 61209 0 0 0 62697 308 0 0 25 0 1 0 916571217 92413952 17817 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22562 17817 301 301 0 22261 0 vsize: 90248 [startup+640.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 61961 0 0 0 63693 312 0 0 25 0 1 0 916571217 92413952 17855 4294967295 134512640 135730672 3221224576 3221223224 134748261 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22562 17855 301 301 0 22261 0 vsize: 90248 [startup+650.012 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 62351 0 0 0 64690 316 0 0 25 0 1 0 916571217 92545024 17888 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22594 17888 301 301 0 22293 0 vsize: 90376 [startup+660.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 63093 0 0 0 65687 320 0 0 25 0 1 0 916571217 92676096 17916 4294967295 134512640 135730672 3221224576 3221223200 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22626 17916 301 301 0 22325 0 vsize: 90504 [startup+670.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 63473 0 0 0 66683 323 0 0 25 0 1 0 916571217 92676096 17939 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22626 17939 301 301 0 22325 0 vsize: 90504 [startup+680.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 64231 0 0 0 67679 327 0 0 25 0 1 0 916571217 92811264 17983 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22659 17983 301 301 0 22358 0 vsize: 90636 [startup+690.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 64602 0 0 0 68677 330 0 0 25 0 1 0 916571217 92811264 17997 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22659 17997 301 301 0 22358 0 vsize: 90636 [startup+700.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 64998 0 0 0 69673 333 0 0 25 0 1 0 916571217 92958720 18036 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22695 18036 301 301 0 22394 0 vsize: 90780 [startup+710.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 65766 0 0 0 70669 338 0 0 25 0 1 0 916571217 93126656 18090 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22736 18090 301 301 0 22435 0 vsize: 90944 [startup+720.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 66146 0 0 0 71665 342 0 0 25 0 1 0 916571217 93126656 18113 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22736 18113 301 301 0 22435 0 vsize: 90944 [startup+730.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 66533 0 0 0 72663 344 0 0 25 0 1 0 916571217 93261824 18143 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22769 18143 301 301 0 22468 0 vsize: 91076 [startup+740.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 66926 0 0 0 73660 347 0 0 25 0 1 0 916571217 93261824 18179 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22769 18179 301 301 0 22468 0 vsize: 91076 [startup+750.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 67669 0 0 0 74657 351 0 0 25 0 1 0 916571217 93417472 18208 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22807 18208 301 301 0 22506 0 vsize: 91228 [startup+760.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 68059 0 0 0 75654 354 0 0 25 0 1 0 916571217 93417472 18241 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22807 18241 301 301 0 22506 0 vsize: 91228 [startup+770.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 68809 0 0 0 76651 357 0 0 25 0 1 0 916571217 93548544 18277 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22839 18277 301 301 0 22538 0 vsize: 91356 [startup+780.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25114 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 69201 0 0 0 77647 361 0 0 25 0 1 0 916571217 93548544 18312 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22839 18312 301 301 0 22538 0 vsize: 91356 [startup+790.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 69946 0 0 0 78644 365 0 0 25 0 1 0 916571217 93683712 18343 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22872 18343 301 301 0 22571 0 vsize: 91488 [startup+800.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 70335 0 0 0 79640 368 0 0 25 0 1 0 916571217 93683712 18375 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22872 18375 301 301 0 22571 0 vsize: 91488 [startup+810.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 71079 0 0 0 80637 372 0 0 25 0 1 0 916571217 93683712 18405 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22872 18405 301 301 0 22571 0 vsize: 91488 [startup+820.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 71458 0 0 0 81634 375 0 0 25 0 1 0 916571217 93814784 18427 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22904 18427 301 301 0 22603 0 vsize: 91616 [startup+830.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 71836 0 0 0 82631 378 0 0 25 0 1 0 916571217 93814784 18448 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22904 18448 301 301 0 22603 0 vsize: 91616 [startup+840.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 72228 0 0 0 83628 381 0 0 25 0 1 0 916571217 93962240 18483 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22940 18483 301 301 0 22639 0 vsize: 91760 [startup+850.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 72605 0 0 0 84624 385 0 0 25 0 1 0 916571217 93962240 18503 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22940 18503 301 301 0 22639 0 vsize: 91760 [startup+860.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 73001 0 0 0 85621 389 0 0 25 0 1 0 916571217 93962240 18542 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22940 18542 301 301 0 22639 0 vsize: 91760 [startup+870.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 73741 0 0 0 86617 392 0 0 25 0 1 0 916571217 93962240 18568 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22940 18568 301 301 0 22639 0 vsize: 91760 [startup+880.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 74130 0 0 0 87615 395 0 0 25 0 1 0 916571217 94097408 18600 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22973 18600 301 301 0 22672 0 vsize: 91892 [startup+890.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 74520 0 0 0 88612 398 0 0 25 0 1 0 916571217 94097408 18633 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 22973 18633 301 301 0 22672 0 vsize: 91892 [startup+900.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 74907 0 0 0 89608 402 0 0 25 0 1 0 916571217 94244864 18663 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23009 18663 301 301 0 22708 0 vsize: 92036 [startup+910.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 75679 0 0 0 90605 406 0 0 25 0 1 0 916571217 94437376 18721 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23056 18721 301 301 0 22755 0 vsize: 92224 [startup+920.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 76069 0 0 0 91602 409 0 0 25 0 1 0 916571217 94437376 18754 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23056 18754 301 301 0 22755 0 vsize: 92224 [startup+930.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 76795 0 0 0 92598 413 0 0 25 0 1 0 916571217 94437376 18766 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23056 18766 301 301 0 22755 0 vsize: 92224 [startup+940.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 77181 0 0 0 93595 416 0 0 25 0 1 0 916571217 94580736 18795 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23091 18795 301 301 0 22790 0 vsize: 92364 [startup+950.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 77570 0 0 0 94591 420 0 0 25 0 1 0 916571217 96043008 19184 4294967295 134512640 135730672 3221224576 3221222752 134769149 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23448 19184 301 301 0 23147 0 vsize: 93792 [startup+960.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 77953 0 0 0 95589 423 0 0 25 0 1 0 916571217 94580736 18853 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23091 18853 301 301 0 22790 0 vsize: 92364 [startup+970.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 78006 0 0 0 96587 425 0 0 25 0 1 0 916571217 94969856 18906 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23186 18906 301 301 0 22885 0 vsize: 92744 [startup+980.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 78384 0 0 0 97583 429 0 0 25 0 1 0 916571217 94969856 18927 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23186 18927 301 301 0 22885 0 vsize: 92744 [startup+990.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 79115 0 0 0 98579 433 0 0 25 0 1 0 916571217 94969856 18944 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23186 18944 301 301 0 22885 0 vsize: 92744 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 79488 0 0 0 99577 436 0 0 25 0 1 0 916571217 94969856 18960 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23186 18960 301 301 0 22885 0 vsize: 92744 [startup+1010.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 80228 0 0 0 100572 440 0 0 25 0 1 0 916571217 94969856 18986 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23186 18986 301 301 0 22885 0 vsize: 92744 [startup+1020.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 80613 0 0 0 101569 444 0 0 25 0 1 0 916571217 94969856 19014 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23186 19014 301 301 0 22885 0 vsize: 92744 [startup+1030.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 81350 0 0 0 102566 447 0 0 25 0 1 0 916571217 96432128 19394 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23543 19394 301 301 0 23242 0 vsize: 94172 [startup+1040.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 81726 0 0 0 103564 449 0 0 25 0 1 0 916571217 95105024 19056 4294967295 134512640 135730672 3221224576 3221223244 134765720 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23219 19056 301 301 0 22918 0 vsize: 92876 [startup+1050.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 82108 0 0 0 104561 452 0 0 25 0 1 0 916571217 95105024 19081 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23219 19081 301 301 0 22918 0 vsize: 92876 [startup+1060.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 82848 0 0 0 105558 455 0 0 25 0 1 0 916571217 95105024 19107 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23219 19107 301 301 0 22918 0 vsize: 92876 [startup+1070.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 83240 0 0 0 106556 458 0 0 25 0 1 0 916571217 95301632 19142 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23267 19142 301 301 0 22966 0 vsize: 93068 [startup+1080.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 83619 0 0 0 107553 461 0 0 25 0 1 0 916571217 95301632 19164 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23267 19164 301 301 0 22966 0 vsize: 93068 [startup+1090.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 84374 0 0 0 108550 464 0 0 25 0 1 0 916571217 95301632 19205 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23267 19205 301 301 0 22966 0 vsize: 93068 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 84758 0 0 0 109546 468 0 0 25 0 1 0 916571217 95432704 19232 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23299 19232 301 301 0 22998 0 vsize: 93196 [startup+1110.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 85487 0 0 0 110542 472 0 0 25 0 1 0 916571217 96894976 19604 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23656 19604 301 301 0 23355 0 vsize: 94624 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 85509 0 0 0 111541 474 0 0 25 0 1 0 916571217 95432704 19269 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23299 19269 301 301 0 22998 0 vsize: 93196 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 85891 0 0 0 112539 476 0 0 25 0 1 0 916571217 95432704 19294 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23299 19294 301 301 0 22998 0 vsize: 93196 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 86632 0 0 0 113534 480 0 0 25 0 1 0 916571217 95567872 19321 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23332 19321 301 301 0 23031 0 vsize: 93328 [startup+1150.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 87001 0 0 0 114531 484 0 0 25 0 1 0 916571217 95567872 19333 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23332 19333 301 301 0 23031 0 vsize: 93328 [startup+1160.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 87388 0 0 0 115529 486 0 0 25 0 1 0 916571217 95698944 19363 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23364 19363 301 301 0 23063 0 vsize: 93456 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 88129 0 0 0 116524 491 0 0 25 0 1 0 916571217 95698944 19390 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23364 19390 301 301 0 23063 0 vsize: 93456 [startup+1180.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 88507 0 0 0 117522 494 0 0 25 0 1 0 916571217 95698944 19411 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23364 19411 301 301 0 23063 0 vsize: 93456 [startup+1190.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 88890 0 0 0 118519 497 0 0 25 0 1 0 916571217 95834112 19437 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23397 19437 301 301 0 23096 0 vsize: 93588 [startup+1200.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 25116 Raw data (stat): 25057 (pb2sat-v2) R 25056 8378 8377 0 -1 0 89635 0 0 0 119515 501 0 0 25 0 1 0 916571217 95834112 19468 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 23397 19468 301 301 0 23096 0 vsize: 93588 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.47 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 25116 Raw data (stat): 25057 (pb2sat-v2) Z 25056 8378 8377 0 -1 12 89637 0 0 0 119555 505 0 0 25 0 1 0 916571217 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.47 CPU time (s): 1200.61 CPU user time (s): 1195.55 CPU system time (s): 5.05523 CPU usage (%): 100.012 Max. virtual memory (Kb): 94624 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####